Difference between revisions of "2013 APMO Problems/Problem 5"
(Created page with "== Problem == Let <math>ABCD</math> be a quadrilateral inscribed in a circle <math>\omega</math>, and let <math>P</math> be a point on the extension of <math>AC</math> such t...") |
|||
Line 26: | Line 26: | ||
<cmath>\frac{b-e}{\bar{b}-\bar{e}} = \frac{b-r}{\bar{b}-\bar{r}} \implies -be = \frac{b-r}{\frac{1}{b} - \bar{r}}</cmath> | <cmath>\frac{b-e}{\bar{b}-\bar{e}} = \frac{b-r}{\bar{b}-\bar{r}} \implies -be = \frac{b-r}{\frac{1}{b} - \bar{r}}</cmath> | ||
or | or | ||
− | + | <cmath>\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)}</cmath> | |
Cross-multiplying, we have | Cross-multiplying, we have | ||
− | + | <cmath>(ac+ad-2cd)(c^2-ad+bd+ab-2bc) = (c+d-2a)(bc^2-abd - ac^2 - c^2d + 2acd)</cmath> | |
− | \implies (a-c)(c-d)(ab+bc+cd+da-2ac-2bd) = 0 | + | <cmath>\implies (a-c)(c-d)(ab+bc+cd+da-2ac-2bd) = 0</cmath> |
which is true. | which is true. | ||
Line 38: | Line 38: | ||
=== Solution 4 === | === Solution 4 === | ||
− | Use barycentrics on <math>CBD</math>, in that order. It is easy to derive that <math>P=(-a^2:b^2:c^2)</math> and <math>A=(-a^2:2b^2:2c^2)</math>. Clearly, line <math>PD</math> has equation <math>\frac{x}{y}=\frac{-a^2}{b^2}</math>, and the tangent from <math>C</math> has equation <math>c^2y+b^2z=0</math>, so we get that <math>Q=(-a^2:b^2:c^2)</math>. Line <math>AD</math> has equation <math>\frac{x}{y}=\frac{-a^2}{2b^2}</math>, so we also get that <math>R=(-a^2:2b^2:-2c^2)</math>. Line <math>AQ</math> has equation <math>4b^2c^2x+3a^2c^2y-a^2b^2z=0</math>, and line <math>BR</math> has equation <math>\frac{x}{z}=\frac{a^2}{2c^2}</math>, so we quickly derive that <math>E</math> has coordinates <math>(3a^2:-2b^2:6c^2)</math>, and it is easy to verify that this lies on the circumcircle <math> | + | Use barycentrics on <math>CBD</math>, in that order. It is easy to derive that <math>P=(-a^2:b^2:c^2)</math> and <math>A=(-a^2:2b^2:2c^2)</math>. Clearly, line <math>PD</math> has equation <math>\frac{x}{y}=\frac{-a^2}{b^2}</math>, and the tangent from <math>C</math> has equation <math>c^2y+b^2z=0</math>, so we get that <math>Q=(-a^2:b^2:c^2)</math>. Line <math>AD</math> has equation <math>\frac{x}{y}=\frac{-a^2}{2b^2}</math>, so we also get that <math>R=(-a^2:2b^2:-2c^2)</math>. Line <math>AQ</math> has equation <math>4b^2c^2x+3a^2c^2y-a^2b^2z=0</math>, and line <math>BR</math> has equation <math>\frac{x}{z}=\frac{a^2}{2c^2}</math>, so we quickly derive that <math>E</math> has coordinates <math>(3a^2:-2b^2:6c^2)</math>, and it is easy to verify that this lies on the circumcircle <math>{\sum_{\text{cyc}}a^2yz=0}</math>, so we're done. |
http://www.artofproblemsolving.com/community/c6h532682p3046946 | http://www.artofproblemsolving.com/community/c6h532682p3046946 |
Revision as of 20:28, 28 May 2016
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 Cross-multiplying, we have 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