延长FD两倍至点G,连接GE、GB
△DFC≌△DGB
∴FC=BG
△EDF≌△EGD
∴EF=EG
∵∠BAC=90°
∴∠ACB+∠ABC=90°=∠EBG
∴EG²=BE²+BG²即EF²=BE²+CF²