证明：∵CF⊥BD于点F，AE⊥BD，
∴∠AEB=∠CFB=90°，
∴∠ABE+∠BAE=90°，
又∵∠ABC=90°，
∴∠ABE+∠CBE=90°，
∴∠BAE=∠CBF，
在三角形ABE和BCF中，

∠AEB＝∠CFB ∠BAE＝∠CBF AB＝AC

，
∴△ABE≌△BCF（AAS），
∴CF=BE，AE=BF，
∴EF=BE-AE．