在三角形abc中,ad是角bac的平分线,ad的垂直平分线ef交bc的延长线于f.试说明角baf等于角acf成立的原因
问题描述：
在三角形abc中,ad是角bac的平分线,ad的垂直平分线ef交bc的延长线于f.试说明角baf等于角acf成立的原因
答
EF为AD垂直平分线
AF=DF
角FAD=角FDA
角ACF=角FDA+角CAD(外角）
角BAF=角FAD+角DAB
因角DAB=角CAD(角平分线）
所以 角BAF=角ACF
答
因为EF是AD的垂直平分线
所以AE=ED
所以两个直角三角形AEF和DEF全等
所以∠EAF=∠EDF
因为AD是∠BAC平分线
所以∠BAD=∠CAD
又因为∠EAF=∠CAD+∠CAF,∠EDF=∠B+∠BAD
所以推出∠B=∠CAF(1)
在三角形ABF中,∠BAF=180°-∠B-∠AFC(2)
在三角形ACF中,∠ACF=180°-∠CAF-∠AFC(3)
由(1)(2)(3),得到∠BAF=∠ACF