因为EF是AD的垂直平分线所以直角三角形FAE全等于直角三角形FDE所以角角ADF=DAF (1)因为AD是角BAC的角分线所以角BAD=角DAC (2)角ACF=角ADF+角DAC角FAB=角BAD+角DAF因为(1)和(2)所以角FAB=角ACF
证明:,EF垂直平分AD ∴FA=FD∴∠FAD=∠FDA AD是角BAC的平分线∴∠BAD=∠CAD ∠B=∠FDA-∠BAD ∠CAF=∠FAD-∠CAD ∴∠B=∠CAF
对