證明：延長ED到G，使DG=DE，連接EF、FG、CG，如圖所示：
在△EDF和△GDF中

DF=DF ∠EDF=∠FDG=90° DG=DE

，
∴△EDF≌△GDF（SAS），
∴EF=FG
又∵D為斜邊BC中點
∴BD=DC
在△BDE和△CDG中

BD=DC ∠BDE=∠CDG

，
∴△BDE≌△CDG（SAS）
∴BE=CG，∠B=∠BCG
∴AB∥CG
∴∠GCA=180°-∠A=180°-90°=90°
在Rt△FCG中，由勾股定理得：
FG²=CF²+CG²=CF²+BE²
∴EF²=FG²=BE²+CF²．