AD平分角BAC
角EAD=角CAD,
角EDA=角DAC,
角EDA=角DAE,
AE=AD,
EF垂直于AD
EF是AD的垂直平分线,
FD=FA,
角ADF=角DAF,
角ADF=角B+角EAD,
角ADF=角DAF=角DAC+角FAC,
角FAC=角B