证明：
∵∠ABE＋∠FBC=∠BCF+∠FBC=90度
∴∠FBC=∠ABE
在△AEB和△BFC中
∠AEB=∠BFC=90度
∠FBC=∠ABE
AB=BC
∴△AEB≌△BFC
∴AE=BF,CF=BE
EF+BF=CF
即EF=CF－AE