Likewise, the assumption AB > AC
also leads to a contradiction.
Hence,
AB = AC and ABC must be isosceles.
Theorem 3. The internal angle bisectors of the angles ABC and ACB of triangle
ABC meet the Gergonne cevian AD at E and F respectively. If BE = CF, then
triangle ABC is isosceles