Gọi I là giao điểm của DE và CF
MFA = FAE = AEM = 900
=> AEMF là hình chữ nhật
BD là tia phân giác của hình vuông ABCD
=> EBM = 450
mà tam giác EBM vuông tại E
=> Tam giác EBM vuông cân tại E
=> EB = EM
mà EM = AF (AEMF là hình chữ nhật)
=> FA = EB
mà AD = AB (ABCD là hình chữ nhật)
=> AB - EB = AD - FA
=> AE = FD
Xét tam giác EAD và tam giác FDC có:
EA = FD (chứng minh trên)
EAD = FDC (= 900)
AD = DC (ABCD là hình chữ nhật)
=> Tam giác EAD = Tam giác FDC (c.g.c)
=> ADE = DCF (2 góc tương ứng)
mà AED = CDE (2 góc so le trong, AB // CD)
=> ADE + AED = DCF + CDE
mà ADE + AED = 900 (tam giác AED vuông tại A)
=> DCF + CDE = 900
=> Tam giác IDC vuông tại I
=> DE _I_ CF