2013 APMO Problems/Problem 5
Problem
Let be a quadrilateral inscribed in a circle , and let be a point on the extension of such that and are tangent to . The tangent at intersects at and the line at . Let be the second point of intersection between and . Prove that , , are collinear.
Solution
Solution 1
Let . Note that the tangents at and concur on at , so is harmonic, hence the tangents at and concur on at , say.
Now apply Pascal's Theorem to hexagon to find that , and are collinear. Now note that and both lie on the tangent at , hence also lies on the tangent at . It follows that . So and are in fact the same point. Since lies on by definition, it follows that , are indeed collinear, and thus the problem is solved.
Solution 2
We use complex numbers. Let be the unit circle, and let the lowercase letter of a point be its complex coordinate.
Since lies on the intersection of the tangents to at and , we have . In addition, lies on chord , so . This implies that , or .
lies on the tangent at , and lies on , so .
lies on chord and on the tangent at . Therefore we have and . Solving for yields are collinear, so we have , or We must prove that are collinear, or that or \begin{align*}\frac{abc+abd-2bcd}{c+d-2a} = \frac{b-\frac{ac^2+c^2d-2acd}{c^2-ad}}{\frac{1}{b}- \frac{\frac{1}{ac^2}+\frac{1}{c^2d}-\frac{2}{acd}}{\frac{1}{c^2}-\frac{1}{ad}}} = \frac{b - \frac{ac^2+c^2d-2acd}{c^2-ad}}{\frac{1}{b} - \frac{d+a-2c}{ad-c^2}} = \frac{b(c^2-ad)-(ac^2+c^2d-2acd)}{\frac{c^2-ad}{b} + (d+a-2c)}\end{align*} Cross-multiplying, we have \begin{align*}(ac+ad-2cd)(c^2-ad+bd+ab-2bc) = (c+d-2a)(bc^2-abd - ac^2 - c^2d + 2acd) \\ \implies (a-c)(c-d)(ab+bc+cd+da-2ac-2bd) = 0\end{align*} which is true.
Solution 3
Set , , and , where . Note that since is harmonic, we have collinear and with But is harmonic; therefore .
Solution 4
Use barycentrics on , in that order. It is easy to derive that and . Clearly, line has equation , and the tangent from has equation , so we get that . Line has equation , so we also get that . Line has equation , and line has equation , so we quickly derive that has coordinates , and it is easy to verify that this lies on the circumcircle , so we're done.
http://www.artofproblemsolving.com/community/c6h532682p3046946