Ta có: DF = CK => DF + FK = CK + FK => DK = CF. Xét ΔEKM có: ^EKM = 90 độ

=> ME^2 = KE^2 + KM^2 (định lí pi-ta-go). Tương tự: KE^2 = DE^2 + DK^2; KM^2 = CK^2 + CM^2

=> ME^2 = DE^2 + DK^2 + CK^2 + CM^2. Thay CK = DF, DK = CF ta được: 

ME^2 = (DE^2 + DF^2) + (CF^2 + CM^2) = FE^2 + FM^2 (định lí pi-ta-go)

Áp dụng định lí pi-ta-go đảo vào ΔEMF => ΔEMF vuông tại M => ^EFM = 90 độ