Let be an acute-angled triangle and be the foot of altitude from . Let , be the touching points of tangent lines from to the circles with diagonals and , respectively. Point is given on the plane such that
Prove that , , and lie on a circle.
Solution
Suppose that and lie on the circumcircle of and , respectively.
Note that . Similarly we have . Summing these two implies that . Denote by the intersection of , , then
and similarly . Therefore is an isosceles triangle and . Similarly, one can show that and so quadrilateral is cyclic. Properties of imply that is the -excenter of the triangle and so is the angle bisector of . Let be the midpoint of the arc (the one that does not contain ) in the circumcircle of . Clearly lies on .
On the other hand, since triangle is isosceles, is a diagonal of the circumcircle of . Thus, we can conclude that
This implies is cyclic as desired. ■
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.