在三角形abc中,ad为角bac的角平分线,ef垂直平分ad交ad于点e,交bc延长线与f,求证,角b=角caf