As shown in the figure: in △ ABC, D is the point on BC, de ⊥ Ba is in E, DF ⊥ AC is in F, and de = DF? And explain the reason

As shown in the figure: in △ ABC, D is the point on BC, de ⊥ Ba is in E, DF ⊥ AC is in F, and de = DF? And explain the reason

∧ de ⊥ Ba, DF ⊥ AC, de = DF, ∧ ad is the bisector of ∠ BAC, ∧ DAE = ∠ DAF, ∧ DAE + ∠ ade = ∠ DAF + ∠ ADF, ∧ ade = ∠ ADF, ∧ ad vertical bisector EF