Problem:
In , and are two points on segment such that and . Prove that is isosceles.

Problem:
In , and are two points on segment such that and . Prove that is isosceles.

Solution:
Translate horizontally until its side coincides with side , and label the image of point by . We now have two triangles and which share the same base , have the same height (equal to the height of the original ), and equal angles and . The last implies that there is a circle passing through points and . The equal heights condition implies that is parallel to ; yet the only trapezoids inscribed in a circle are isosceles. Therefore, is isosceles with . Since the diagonals of an isosceles trapezoid are equal, . Translating back to the original , this means that and is isosceles.

Solution:
Without loss of generality, assume that the points and are arranged in this order on the line ; otherwise, switch points and in the remainder of the solution.
Suppose that is not isosceles. Without loss of generality, let . Let denote the angle bisector of , where lies on side . Reflect across and denote by and the images of and , respectively. Since , is inside side , and this forces the whole segment to be inside ; in particular, is an interior point of segment .
Because of the reflection, has equal area as . In its turn, has the equal area as (they have equal bases and heights). This implies that and have equal area, which contradicts the fact that one triangle is properly included in the other.
We conclude that our supposition is false. Therefore, and our triangle is isosceles as desired.

Solution:
Let . In the end triangles, and , and , by the Law of Sines
Then . Suppose . Then, without loss of generality, , which implies and . But if then which implies and .
This is a contradiction, so and is isosceles.
Solution:
Let . and have equal areas since they have equal bases and the same altitude from . Then
which implies . Now use the same contradiction as in the above solution.