AD是三角形ABC中角BAC的平分线,AD的垂直平分线EF交BC的延长线于F,说明角BAF等于角ACF的理由