Tam giác ADE cân tại A (AD = AE)

=> ADE=90độ − DAE/2

mà ABC=90độ − BAC/2

=> ADE = ABC

mà 2 góc này ở vị trí đồng vị

=> DE // BC

AB = AC (tam giác ABC cân tại A)

AD = AE (gt)

=> AB - AD = AC - AE

=> BD = CE

Xét tam giác DBM và tam giác ECM có:

DB = EC (chứng minh trên)

DBM = ECM (tam giác ABC cân tại A)

BM = CM (M là trung điểm của BC)

=> Tam giác MBD = Tam giác MCE (c.g.c)

Xét tam giác AMD và tam giác AME có:

AM chung

MD = ME (Tam giác MBD = Tam giác MCE)

DA = EA (gt)

=> Tam giác AMD = Tam giác AME (c.g.c)