∠B與∠CAF相等,證明如下：
因為AD為角BAC的角平分線,
所以∠CAD=∠BAD(1)
因為FE垂直平分AD
所以AE=ED
所以兩個直角三角形AFE和DFE全等
所以∠FAD=∠FDA(2)
因為∠FAD=∠CAF+∠CAD,∠FDA=∠B+∠BAD
即∠CAF=∠FAD=∠CAD,∠B=∠FDA-∠BAD(3)
由(1)(2)(3),得∠B=∠CAF