∵AD平分 ∠BAC
∠BAD=∠CAD
EF⊥BC
∴∠EFD=90º
∠EDC=∠B+∠BAD
= 90º-∠DEF
∠EDB=∠C+∠CAD
=90º+∠DEF
∴∠BAD=90º-∠DEF-∠B
∠CAD=90º+∠DEF-∠C
90-∠DEF-∠B=90+∠DEF-∠C
2∠DEF=∠C-∠B
∵AD平分 ∠BAC
∠BAD=∠CAD
EF⊥BC
∴∠EFD=90º
∠EDC=∠B+∠BAD
= 90º-∠DEF
∠EDB=∠C+∠CAD
=90º+∠DEF
∴∠BAD=90º-∠DEF-∠B
∠CAD=90º+∠DEF-∠C
90-∠DEF-∠B=90+∠DEF-∠C
2∠DEF=∠C-∠B