证明：∵直角三角形ABC内部有个正方形DEFG，
∵∠DEF=∠EFG=90°，
∴∠CFG=∠BED=90°，
又∠C+∠B=90°，∠C+∠FGC=90°，
∴∠B=∠FGC，
∴△CFG∽△DEB，
∴

ED

CF

＝

BE

FG

，
∵DE=FG=EF，
∴EF²=BE•FC．