Xét tam giác EAD và tam giác EBC có:
AE = BE (gt).
^AED = ^BEC (đối đỉnh).
DE = CE (gt).
=> Tam giác EAD = Tam giác EBC (c - g - c)
Tam giác EAD = Tam giác EBC (cmt).
=> ^ADE = ^BCE (cặp góc tương ứng).
Ta có: AC = AE + CE.
BD = BE + DE.
Mà AE = BE (gt); DE = CE (gt).
=> AC = BD.
Xét tam giác BAD và tam giác ABC có:
BD = AC (gt).
^ADB = ^BCA (^ADE = ^BCE).
AB chung.
=> Tam giác BAD = Tam giác ABC (c - g - c)