In triangle , the point lies on segment such that is the angle bisector of angle . The perpendicular bisector of segment intersects the line in . Suppose that and .
a. Prove that .
b. Prove that .
In triangle , the point lies on segment such that is the angle bisector of angle . The perpendicular bisector of segment intersects the line in . Suppose that and .
a. Prove that .
b. Prove that .
a.
In triangle , the sum of the angles is , hence
Because is the angle bisector of , we have and hence the equality above can be rewritten as
Now we use that is a straight angle, hence . Substituting this yields
Because lies on the perpendicular bisector of , we have , and the equality becomes
Finally, we also see in the picture that , and hence
b.
Triangles and are similar, because (same angle) and in part (a) we proved that and hence . This yields
Using the fact that , we compute
Substituting this in the ratios above, we obtain
hence and . Because the perpendicular bisector of passes through , we have . This yields
and hence . Therefore, we conclude that
We obtain that .