It is known that: as shown in the figure, in the triangle ABC, ad is the bisector of ∠ BAC, and the extension line of intersection Ba of CE ‖ ad through point C is at E

It is known that: as shown in the figure, in the triangle ABC, ad is the bisector of ∠ BAC, and the extension line of intersection Ba of CE ‖ ad through point C is at E

It is proved that a is on the vertical bisector line of CE when ∵ ad bisects ∵ BAC, ∵ DAB = ∵ DAC, and ∵ CE ∥ ad, ∵ e = ∵ DAB, ∵ DAC = ∵ ace, ∵ e =