ผมทำแล้ว มันยาวมากมาก น่าจะมีวิธีที่สั้นกว่านี้

พิสูจน์แบบเรขาคณิต
จาก http://ppantip.com/topic/30066238 ความเห็นที่ 5-1 และ 5-5

จะได้ CE = AB

จากนั้น
1. สร้างสามเหลี่ยมด้านเท่า CDF โดยที่ F อยุ่ด้านขวาของด้าน CD
2. เชื่อมเส้น EF
3. กำหนดจุด X บนด้าน AC ที่ทำให้ BX = AB

จาก 3 จะได้ สามเหลี่ยม XBD เป็นสามเหลี่ยมหน้าจั่ว (มุมที่ฐาน BD = 40 องศา)
ดังนั้น XD = XB = AB  แต่ AB = CE (จากกระทู้ก่อนหน้านี้) --> XD = CE

ทำให้สามเหลี่ยม XDB = ECF ทุกประการ (XD=EC, มุม XDB = ECF = 40 องศา, DB = CF เพราะ DB = DC)
ดังนั้น XB = EF --> XB=XD=EF=EC

ทำให้สามเหลี่ยม CDE = FDE ทุกประการ (CD=FD, DE=DE, EC=EF)
--> มุม CDE = 60/2 = 30 องศา

จากนั้นก็ไม่ยาก ไล่มุมไปมา จะได้ มุม AED = 20 องศา

ตอบ 20 องศา

ยาวมาก ๆ ๆ ๆ ๆ น่าจะมีวิธีที่สั้นกว่านี้ เหมือนจะขับรถจากกรุงเทพฯ ไปหนองคาย แต่ไปผ่านเชียงใหม่ก่อน

ขอขอบคุณ จขกท ที่ช่วยวาดภาพประกอบ (คห 10-2)