Xét tứ giác AFME có góc A=E=F = 90 độ nên AEMF là hình chữ nhật
nên AE=MF (1)
Xét tam giác MFC có góc F=90 độ , góc C=45 độ ( do ABC vuông tại A) do đó MFC cân tại F
do đó FM=FC (2)
từ (1) và (2) ta có AE=FC.
Xét tam giác DCF và DAE có DC=DA, FC=AE và góc DCF=DAE=45 độ , do đó hai tam giác bằng nhau theo c.g.c
nên \(\widehat{FDC}=\widehat{ADE}\Rightarrow\widehat{ADE}+\widehat{ADF}=\widehat{FDC}+\widehat{ADF}=90^0\)
vậy góc EDF=90 độ