Problem:
Let be a cyclic quadrilateral (i.e. inscribed in a circle) such that . Prove that the intersection point of the angle bisectors of angle and angle lies on .
Solution
Solution:
Let lie on segment so that . Then, . So, and are both isosceles. Let , and let . Then , but since the quadrilateral is cyclic, this gives . Likewise, and .
Now, let the circumcircle of triangle intersect line again at . We will assume that lies on the same side of as (the other case is completely analogous). Since quadrilateral is cyclic, we have , and . So lies on the bisectors of angles and , which means it is precisely the intersection point specified in the problem statement. Since was constructed to lie on , we are done.
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.