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
ΔABC cân tại A
mà AD là đường trung tuyến
nên AD là phân giác của góc BAC
Xét tứ giác AEDF có \(\hat{AED}=\hat{AFD}=\hat{FAE}=90^0\)
nên AEDF là hình chữ nhật
Hình chữ nhật AEDF có AD là phân giác của góc EAF
nên AEDF là hình vuông