证明:∵角ABE+角BAE=90° 角BAE+角CAF=90°
∴角ABE=角CAF
在△ABE与△CAF中
角ABE=角CAF
角AEB=角CFA
AB=AC
∴△ABE≌△CAF
∴AE=CF BE=AF
∴EF=CF-BE