Vì ∆ABC cân tại A
Mà AM là trung tuyến BC
=> AM là trung trực và phân giác ∆ABC
=> BAM = CAM
Gọi O là giao điểm AM và DE
Mà OAC = OAD ( đối đỉnh )
BAO = OAE ( đối đỉnh )
Mà BAO = CAO (cmt)
=> OAD = OAE
Hay AO là phân giác DAE(1)
Mà AD = AE
=> ∆ADE cân tại A(2)
Từ (1) và (2)
=> AO là trung trực ∆ADE
=> AO = OC
AO\(\perp\)DE
Hay D và E đối xứng qua AM