延长AD至M,使AD=DM,连接BM因为BD=DC,AD=DM,角ADC=角BDM所以三角形ADC和BDM全等AC=BM角BMA=角CAD因为BE=AC所以BM=BE角BMA=角BEM=角AEF故角AEF=角CADAF=EF
∵AD是BC边上的高∴∠BDF=∠ADC=90°∵BF=AC,FD=CD∴△BDF≌△ADC∵△BDF≌△ADC∴∠DBF=∠DAC∵∠BFD=∠AFE∴∠AEF=∠BDF=90°∴BE⊥AC.