* Xét tứ giác AEFD, ta có:
AE = AD = DF (đề ra)
A = D = 90o
=> Tứ giác AEFD là hình vuông
=> \(AF\perp ED\)
=> EM = MF
và AF = ED
=> \(\widehat{EMF}=90^o\)
Tương tự ta cm đc \(\widehat{ENF}=90^o\)
EN = FN
* Xét tam giác EMF, ta có:
MEF + MFE = 90o
MEF = MFE
=> MEF = MFE = 45o
Tương tự ta cm đc NEF = EFN = 45o
* Xét tam giác ENF và tam giác EMF, ta có:
EF chung
MFE = NFE = 45o (cm trên)
=> Tam giác ENF = tam giác EMF ( cạnh huyền góc nhọn)
=> EM = EN = FM = FN ( các cạnh tương ứng)
=> MEF + NEF = MEN = 45 + 45 = 90o
=> MFE + NFE = MFN = 45 + 45 = 90o
* Xét tứ giác ENFM, ta có:
MEN = MFN = EMF = ENF = 90o (cm trên)
EM = EN = FM = FN (cm trên)
=> Tứ giác ENFM là hình vuông (đpcm)