Điểm M và điểm D đối xứng qua trục AB
Suy ra AB là đường trung trực của đoạn thẳng MD
⇒ AB ⊥ DM ⇒ ∠ (AED) = 90 0
Điểm D và điểm N đối xứng qua trục AC ⇒ AC là đường trung trực của đoạn thẳng DN ⇒ AC ⊥ DN ⇒ ∠ (AFD) = 90 0
Mà ∠ (EAF) = 90 0 (gt). Vậy tứ giác AEDF là hình chữ nhật (vì có 3 góc vuông).