Difference between revisions of "2011 IMO Problems/Problem 6"
m (→Solution) |
m (→Solution) |
||
Line 10: | Line 10: | ||
The equation for line <math>AB</math> is <math>\frac{x-x_a}{y-y_a}=\frac{x-x_b}{y-y_b}</math> | The equation for line <math>AB</math> is <math>\frac{x-x_a}{y-y_a}=\frac{x-x_b}{y-y_b}</math> | ||
− | Through a little bash, (0,1) reflects to <math>(\frac{(-x_a+x_b+x_by_a)(y_b-_a)}{(x_a-x_b)^2+(y_a-y_b)^2}, \frac{(x_by_a-x_ay_b)(x_a-x_b)+(y_a-y_b)^2}{(x_a-x_b)^2+(y_a-y_b)^2}</math>. <math>(x_a-x_b)^2+(y_a-y_b)^2</math> simplifies to <math> | + | Through a little bash, (0,1) reflects to <math>(\frac{(-x_a+x_b+x_by_a)(y_b-_a)}{(x_a-x_b)^2+(y_a-y_b)^2}, \frac{(x_by_a-x_ay_b)(x_a-x_b)+(y_a-y_b)^2}{(x_a-x_b)^2+(y_a-y_b)^2}</math>. <math>(x_a-x_b)^2+(y_a-y_b)^2</math> simplifies to <math>-(2x_ax_b+2y_ay_b)</math>. The terms for the other 2 are symmetric. |
The intersection point must reflect to itself, and the equation is <math>(\frac{x_by_a-x_ay_b-x_a+x_b}{y_b-y_a}, 1)</math>. | The intersection point must reflect to itself, and the equation is <math>(\frac{x_by_a-x_ay_b-x_a+x_b}{y_b-y_a}, 1)</math>. | ||
Revision as of 10:11, 3 May 2020
Let be an acute triangle with circumcircle . Let be a tangent line to , and let and be the lines obtained by reflecting in the lines , and , respectively. Show that the circumcircle of the triangle determined by the lines and is tangent to the circle .
Solution
Without loss of generality, let be the unit circle and let be the line .
Denote the coordinates of by and similarly for B and C.
We get , ...
The equation for line is
Through a little bash, (0,1) reflects to . simplifies to . The terms for the other 2 are symmetric. The intersection point must reflect to itself, and the equation is .
It is trivial to find the intersections of a,b and their perpendicular bisectors, so this is left to the reader as an exercise.
Regardless, the circumcenter and an intersection of the circles are collinear with (0,0), so it is a tangency.
-Trex4days