证明：如图，∠ABC=90°，AF⊥BF，CF⊥BF，
∴∠BAF=∠CBE．
在△ABF与△BCE中，

∠F＝∠BEC ∠BAF＝∠CBE AB＝CB

，
∴△ABF≌△BCE（AAS），
∴AF=BE，BF=CE，
∵BE+EF=BF，
∴EF=CE-AF．