全等三角形证明题

证明：
在Rt△BDF与Rt△ADC中(因为AD是高,所以都是直角三角形)
BF=AC
FD=DC
∴Rt△BDF≌Rt△ADC（HL）
∴∠FBD=∠CAD
∴∠BEA=180°-∠CAD-∠AFE
=180°-∠FBD-∠BFD（∠AFE与∠BFD对顶角相等）
=∠BDA
=90°
即BE⊥AC