As shown in the figure, in △ ABC, the bisector of ∠ a = 90 ° and ∠ B intersects AC at D, ah and DF are perpendicular to BC, h and F are perpendicular feet

As shown in the figure, in △ ABC, the bisector of ∠ a = 90 ° and ∠ B intersects AC at D, ah and DF are perpendicular to BC, h and F are perpendicular feet

In △ abd and △ FBD, the bisector of ∵ B intersects AC at D, ≌ abd = ∠ DBF. In △ abd and △ FBD, ≌ BD = BD, ≌ FBD, ≌ ade = EDF, ad = DF, ≁ ah ⊥ BC, DF ⊥ BC, that is AE ∥ DF, ≌ AED = EDF = ade, ≌ AE = ad and ad = D