过D作DG⊥AC交CA的延长线于点G,则DG=DE
由△ADG≌△ADE得：AG=AE
连结DC、DB
∵DF垂直平分BC
∴DB=DC
∴Rt△DEB≌Rt△GDC（HL）
∴BE=CG
∴BE=CG=AC+AG=AC+AE
即BE-AC=AE