你题错了,应该为“F为AE上的一点”
证明:
∠EFD=90°-∠DEF=90°-(∠B+∠BAC/2)
=90°-∠B-(180°-∠B-∠C)/2
=90°-∠B-90°+∠B/2+∠C/2
=½(∠C-∠B)°