Problem:
In triangle , () is a median, is a point on and is the intersection point of with .
Prove: If , then is an angle bisector.
Problem:
In triangle , () is a median, is a point on and is the intersection point of with .
Prove: If , then is an angle bisector.
Solution:
Let , , be the projections of , and onto the line . The right triangles and are congruent, since is the midpoint of and the acute angles at are equal in size. From this it follows that .
In triangle , is parallel to and consequently
The right triangles and are similar, since the angles at are equal. From this it follows that , which together with the second-to-last relation leads to .

If we now replace in the initial relation by , we obtain:
, which leads to and finally to .
By the converse of the angle bisector theorem, .