Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2012 IMO Problems/Problem 5"

(latex edit)
m (degree)
Line 13: Line 13:
  
  
−
Then, since <math>\angle AYB = \angle AZB = 90</math>, by ceva's theorem, the point <math>R</math> lies on the line <math>CD</math>.
+
Then, since <math>\angle AYB = \angle AZB = 90^{\circ}</math>, by ceva's theorem, the point <math>R</math> lies on the line <math>CD</math>.
  
 
Since triangles <math>ABC</math> and <math>ACD</math> are similar, <math>AL^2 = AC^2 = AD \cdot AB</math>, Thus <math>\angle ALD = \angle ABL</math>.
 
Since triangles <math>ABC</math> and <math>ACD</math> are similar, <math>AL^2 = AC^2 = AD \cdot AB</math>, Thus <math>\angle ALD = \angle ABL</math>.
Line 22: Line 22:
  
  
−
So <math>\angle ADR = \angle ALR = 90</math>, and in the same way <math>\angle BKR = 90</math>. Therefore, the lines <math>RK</math> and <math>RL</math> are tangent to <math>\Gamma'</math> and <math>\Gamma''</math>, respectively.
+
So <math>\angle ADR = \angle ALR = 90^{\circ}</math>, and in the same way <math>\angle BKR = 90^{\circ}</math>. Therefore, the lines <math>RK</math> and <math>RL</math> are tangent to <math>\Gamma'</math> and <math>\Gamma''</math>, respectively.
  
  
−
Since <math>R</math> is on the line <math>CD</math>, and the line <math>CD</math> is the concentric line of <math>\Gamma'</math> and <math>\Gamma''</math>, <math>RK^2 = RL^2</math>, Thus <math>RK = RL</math>. Since <math>RM</math> is in the middle and <math>\angle ADR = \angle BKR = 90</math>,
+
Since <math>R</math> is on the line <math>CD</math>, and the line <math>CD</math> is the concentric line of <math>\Gamma'</math> and <math>\Gamma''</math>, <math>RK^2 = RL^2</math>, Thus <math>RK = RL</math>. Since <math>RM</math> is in the middle and <math>\angle ADR = \angle BKR = 90^{\circ}</math>,
 
we can say triangles <math>RKM</math> and <math>RLM</math> are congruent. Therefore, <math>KM = LM</math>.
 
we can say triangles <math>RKM</math> and <math>RLM</math> are congruent. Therefore, <math>KM = LM</math>.
  

Revision as of 03:14, 20 November 2023

Problem

Let $ABC$ be a triangle with $\angle BCA=90^{\circ}$, and let $D$ be the foot of the altitude from $C$. Let $X$ be a point in the interior of the segment $CD$. Let $K$ be the point on the segment $AX$ such that $BK=BC$. Similarly, let $L$ be the point on the segment $BX$ such that $AL=AC$. Let $M=\overline{AL}\cap \overline{BK}$. Prove that $MK=ML$

Solution

Let's draw a circumcircle around triangle $ABC$ (= $\Gamma$), a circle with it's center as $A$ and radius as $AC$ (= $\Gamma'$), a circle with its center as $B$ and radius as $BC$ (= $\Gamma''$). Since the center of $\Gamma$ lies on $BC$, the three circles above are coaxial to line $CD$.


Let Line $AX$ and Line $BX$ collide with $\Gamma$ on $P$ ($\neq A$) and $Q$ ($\neq B$), Respectively. Also let $R$ be the point where $AQ$ and $BP$ intersect.


Then, since $\angle AYB = \angle AZB = 90^{\circ}$, by ceva's theorem, the point $R$ lies on the line $CD$.

Since triangles $ABC$ and $ACD$ are similar, $AL^2 = AC^2 = AD \cdot AB$, Thus $\angle ALD = \angle ABL$. In the same way, $\angle BKD = \angle BAK$.

Therefore, $\angle ARD = \angle ABQ = \angle ALD$ making $(A, R, L, D)$ concyclic. In the same way, $(B, R, K, D)$ is concyclic.


So $\angle ADR = \angle ALR = 90^{\circ}$, and in the same way $\angle BKR = 90^{\circ}$. Therefore, the lines $RK$ and $RL$ are tangent to $\Gamma'$ and $\Gamma''$, respectively.


Since $R$ is on the line $CD$, and the line $CD$ is the concentric line of $\Gamma'$ and $\Gamma''$, $RK^2 = RL^2$, Thus $RK = RL$. Since $RM$ is in the middle and $\angle ADR = \angle BKR = 90^{\circ}$, we can say triangles $RKM$ and $RLM$ are congruent. Therefore, $KM = LM$.


Edit: I believe that this solution, which was posted on IMO 2012-4's page, was meant to be posted here.


Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.

See Also

2012 IMO (Problems) • Resources
Preceded by
Problem 4 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 6
All IMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2012_IMO_Problems/Problem_5&oldid=204781"