证明：因为EF是AD的垂直平分线所以就ADC=角DAC因为角ADC=角B+角BAD角DAE=角DAC+角EAC所以角DAC+角EAC=角BAD+角B因为AD平分角BAC所以角BAD=角DAC所以角B=角EAC
