Xét tam giác EAB và tam giác DAC có:
AB = AC (gt)
AD = AE (gt)
BE = CD (BE = BD + DE = DE + EC = CD)
=> Tam giác EAB = Tam giác DAC (c.c.c)
M là trung điểm của BC
=> AM là đường trung tuyến của tam giác ABC cân tại A (AB = AC)
=> AM là đường cao của tam giác ABC
hay AM _I_ BC
mà D, E thuộc BC
=> AM _I_ DE
hay AM là đường cao của tam giác ADE cân tại A (AD = AE)
=> AM là tia phân giác của DAE
Tam giác ADE cân tại A (AD = AE)
mà DAE = 600
=> Tam giác ADE là tam giác đều
=> ADE = AED = 600