Gọi I,K lần lượt là giao điểm của AB với DE, AC với DF

a) E đối xứng D qua AB ⇒⇒ IE = ID; góc I = 90 độ

Xét tam giác AED có AI là đường trung tuyến (IE = ID) còn là đường cao (góc I = 90 độ)

nên tam giác AED cân tại A ⇒⇒ AE = AD (1)

F đối xứng D qua AC ⇒⇒ KF = KD; góc K = 90 độ

Xét tam giác AFD có AK là đường trung tuyến (KF = KD) còn là đường cao (góc K = 90 độ)

nên tam giác AFD cân tại A ⇒⇒ AF = AD (2)

Từ (1) và (2) ⇒⇒ AE = AF