因为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