Let be a triangle with . Let and be the intersection points of the line with the internal and external angle bisectors at , so that is between and . Prove that if is any point on the circle with diameter , then .
Solution
The internal and external angle bisectors divide the segment internally and externally in the same ratio . This can be seen, for example, with the aid of the Sine Rule, applied to the triangles and for the internal bisector and to the triangles and for the external angle bisector. In particular, we obtain
Let and be points on the line such that and .
As , we have and as , we have . This implies , hence .
Because is on the circle with diameter , and so also . Therefore, is on the circle with diameter . As was shown to be the midpoint of , we obtain . This implies now
If is the intersection point of the angle bisector of and , then
This implies that , and so is the angle bisector of .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.