证明：∵ED⊥AB，
∴∠ADE=∠ACB=90°；
∴∠DAE+∠DEA=∠DAE+∠B=90°，
即∠DEA=∠B；
∵AD⊥EF，FA⊥AC，
∴∠FAE=∠C=90°，
在△AFE和△CAB中
∵

∠FAE＝∠C AE＝BC ∠DEA＝∠B

，
∴△AFE≌△CAB（ASA）．
∴AB=EF．