Let be an acute-angled triangle and altitudes and intersect at . Consider circles and with centers and and with radii and respectively. Let and be the tangent lines from to circles and respectively . Prove that and are collinear.
(Igor Nagel)
Problem 1698
Official solution
Let be the altitude (Fig. 42). Since quadrilateral is cyclic, we have . Since , we obtain .
Taking into account , , , we get that quadrilaterals and are cyclic. Hence and therefore points and are collinear.
Since is cyclic, we have . Note that . Since are cyclic, it follows that . This means that and are collinear. Notice that points and are different. This proves that and are collinear.