初二年级的几何证明题已知:三角型ABC,AD平分BAC,EF垂直平分AD,交BC的延长线于F,求证:角B=角CAF