证明:
AD平分∠BAC,
∴∠BAD=∠CAD
EF是垂直平分线
∴∠FAE=∠FDE
∴∠FAE-∠CAD=∠FDE-∠BAD
∵∠FAE-∠CAD=∠CAF,∠FDE-∠BAD=∠ABC
∴∠CAF=∠ABC,……①
又∵∠AFC=∠BFA,……②
根据三角形内角和定理,结合①和②,得
∠BAF=180°-∠ABC-∠BFA=180°-∠CAF-∠AFC=∠ACF
即∠BAF=∠ACF
得证
证明:
AD平分∠BAC,
∴∠BAD=∠CAD
EF是垂直平分线
∴∠FAE=∠FDE
∴∠FAE-∠CAD=∠FDE-∠BAD
∵∠FAE-∠CAD=∠CAF,∠FDE-∠BAD=∠ABC
∴∠CAF=∠ABC,……①
又∵∠AFC=∠BFA,……②
根据三角形内角和定理,结合①和②,得
∠BAF=180°-∠ABC-∠BFA=180°-∠CAF-∠AFC=∠ACF
即∠BAF=∠ACF
得证