Đ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) = 900

Đ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) = 900

Mà ∠(EAF) = 900(gt). Vậy tứ giác AEDF là hình chữ nhật (vì có 3 góc vuông).