如图三角形abc中,AB等于AC,E在CA的延长线上,AE等于AF.试说明EF垂直BC