已知:如图,在△ABC中,AD是∠BAC的平分线,AD的垂直平分线EF交BC的延长线于F.试说明∠BAF=∠ACF成立的