Problem:
Let be a triangle and let be a point inside the triangle such that bisects . Let line meet side at . Let line meet side at . Let be the intersection of the (internal) angle bisectors of and . Prove that if lies on segment , then triangle is isosceles.
Solutions — 2
Solution 1
Solution:
Assume lies on . Then by the angle bisector theorem in triangles and , we have
Applying the angle bisector theorem in triangles and , we also have:
Combining all of the above, we get that
Now extend beyond to meet at . Applying the angle bisector theorem in triangle , we have
Combining (1) and (2) gives
By the converse of the angle bisector theorem, this implies bisects , i.e.,
Therefore, by angles on a line, we have
Since , , and , triangles and are congruent (ASA). Then
and we're done.
Solution 2
Solution:
Label the following angles:
Now consider the product
By the law of sines (in triangles , , and ), this becomes
which simplifies to . Since lies inside triangle ,
Therefore we have
i.e. . We also have (vertically opposite angles). Combining these,
From here we conclude in the same manner as in Solution 1.