延长AD到M使AD=DM，连结BM因为BD=DC，AD=DM且∠BDM=∠ADC（对顶角）所以三角形ADC全等于三角形MDB又因为AF=EF所以∠FAE（与∠CAD为同角）=∠AEF=∠BED（与∠BEM为同角）因为三角形ADC全等于三角形MDB所以∠CAD=∠BMD且BM=AC所以∠BMD=∠BED所以BM=BE因为BM=AC（已证）所以BE=AC
