In △ ABC, ab = AC, D is a point on the extension line of Ca, DF ⊥ BC

In △ ABC, ab = AC, D is a point on the extension line of Ca, DF ⊥ BC

∵AB=AC
∴∠B=∠C
∵DF⊥BC
The mutual complementation of ﹥ D + ﹥ C = 90 degree
∠B+∠BEF=90°
∵B=∠C
∴∠D=∠BEF
∵∠ bef = ∠ DEA to vertex angle
∴∠DEA=∠D
That is, ADE = AED