Difference between revisions of "2015 IMO Problems/Problem 3"
m (→Solution) |
m (→Solution) |
||
Line 27: | Line 27: | ||
Hence, <math>ML || AQ</math> and <math>AQ = 2.ML</math> so <math>L</math> is on the perpendecular bisector of <math>AQ</math> and that follows <math>\triangle ALQ</math> is isoceles. And we know that <math>ML || AQ</math>, so <math>ML</math> is tangent to <math>(ALQ)</math>. We are done. <math>\blacksquare</math> | Hence, <math>ML || AQ</math> and <math>AQ = 2.ML</math> so <math>L</math> is on the perpendecular bisector of <math>AQ</math> and that follows <math>\triangle ALQ</math> is isoceles. And we know that <math>ML || AQ</math>, so <math>ML</math> is tangent to <math>(ALQ)</math>. We are done. <math>\blacksquare</math> | ||
+ | ~ EgeSaribas | ||
+ | |||
+ | <math>Really İmportant Note:</math> This solution is in the "IMO 2015 Solution Notes" which is written by Evan Chen. | ||
+ | |||
+ | There is the link: https://web.evanchen.cc/exams/IMO-2015-notes.pdf | ||
{{solution}} | {{solution}} | ||
Revision as of 13:46, 1 June 2024
Let be an acute triangle with . Let be its circumcircle, its orthocenter, and the foot of the altitude from . Let be the midpoint of . Let be the point on such that . Assume that the points , , , , and are all different, and lie on in this order.
Prove that the circumcircles of triangles and are tangent to each other.
The Actual Problem
Let be an acute triangle with . Let be its circumcircle, its orthocenter, and the foot of the altitude from . Let be the midpoint of . Let be the point on such that and let be the point on such that . Assume that the points , , , and are all different and lie on in this order. Prove that the circumcircles of triangles and are tangent to each other.
Solution
We know that there is a negative inversion which is at and swaps the nine-point circle and . And this maps:
. Also, let . Of course so . Hence, . So:
. Let and intersect with nine-point circle and , respectively. Let's define the point such that is rectangle. We have found and if we do the same thing, we find:
. Now, we can say:
and . İf we manage to show and are tangent, the proof ends.
We can easily say and because and are the midpoints of and , respectively.
Because of the rectangle , and .
Hence, and so is on the perpendecular bisector of and that follows is isoceles. And we know that , so is tangent to . We are done.
~ EgeSaribas
$Really İmportant Note:$ (Error compiling LaTeX. Unknown error_msg) This solution is in the "IMO 2015 Solution Notes" which is written by Evan Chen.
There is the link: https://web.evanchen.cc/exams/IMO-2015-notes.pdf This problem needs a solution. If you have a solution for it, please help us out by adding it.
See Also
2015 IMO (Problems) • Resources | ||
Preceded by Problem 2 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 4 |
All IMO Problems and Solutions |