In △ ABC, ∠ BAC = 90 °, BD bisection ∠ ABC, AE ⊥ BC in E. verification: AF = ad

In △ ABC, ∠ BAC = 90 °, BD bisection ∠ ABC, AE ⊥ BC in E. verification: AF = ad

It is proved that: ∵ - BAC = 90 °, ∵ - ADF = 90 ° - abd. ∵ AE ⊥ BC is equal to e, ∵ - AFD = - BFE = 90 ° - DBC. ∵ BD is equal to ABC, ∵ abd = - DBC. ∵ AFD = - ADF. ≁ AF = ad