Tứ giác AEDF có \(\hat{DEA}=\hat{EAF}=\hat{AFD}=90^{\circ}\)
nên AEDF là hình chữ nhật (1)
=> ED//AF (t/c)
=> \(\hat{BDE}=\hat{DCF}\) (2 góc đồng vị)
Xét ΔBDE vuông tại E và ΔDCF vuông tại F có
BD = DC (D là trung điểm BC)
\(\hat{BDE}=\hat{DCF}\) (cmt)
=> ΔBDE = ΔDCF(ch-gn)
=> DE=DF (2 cạnh tương ứng (2)
Từ (1) và (2), suy ra AEDF là hình vuông