如图，在Rt△ABC中，∠A=90°，D为斜边BC中点，DE⊥DF，求证：EF2=BE2+CF2．

解题思路：延长ED到G，使DG=DE，连接EF、FG、CG，由于DF=DF，∠EDF=∠FDG=90°，DG=DE，可得出△EDF≌△GDF，所以EF=FG，同理证出BE=CG，所以要证明EF²=BE²+CF²，只需证明FG²=FC²+CG²即可．

证明：延长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²．

点评：
本题考点： 勾股定理；全等三角形的判定与性质．

考点点评： 本题考查勾股定理的应用，关键在于找出相应的直角三角形，两直角边的平方和等于斜边的平方，证明过程中运用到全等三角形的判定和等价替换的方法．

延长FM至G使得FM=MG,链接BG,EG.因为FM=MG,BM=CM,所以GB平行CF,且有三角形CMF全等三角形BMG可得CF=BG,于是BG垂直AB.所以勾股定理EG^2=BE^2+BG^.另外ME是BG的中垂线,所以EG=EF.于是EF^2=EG^2=BE^2+BG^2=BE^2+CF^2