Xét tứ giác AEDF có
\(\widehat{EAF}=\widehat{AFD}=\widehat{AED}=90^0\)
Do đó: AEDF là hình chữ nhật
mà AD là tia phân giác của \(\widehat{FAE}\)
nên AEDF là hình vuông
Suy ra: EF=AD và EF\(\perp\)AD
tứ giác AEDF có góc A =góc E = góc F =90 độ
=> AEDF là hình chữ nhật
=>EF=AD