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 1"
Line 1: Line 1:
−
[['''Problem 1:''']]
+
== Problem ==
 +
 
 
Given triangle <math>ABC</math> the point <math>J</math> is the centre of the excircle opposite the vertex <math>A.</math> This excircle is tangent to the side <math>BC</math> at <math>M</math>, and to the lines <math>AB</math> and <math>AC</math> at <math>K</math> and <math>L</math>, respectively. The lines <math>LM</math> and <math>BJ</math> meet at <math>F</math>, and the lines <math>KM</math> and <math>CJ</math> meet at <math>G.</math> Let <math>S</math> be the point of intersection of the lines <math>AF</math> and <math>BC</math>, and let <math>T</math> be the point of intersection of the lines <math>AG</math> and <math>BC.</math> Prove that <math>M</math> is the midpoint of <math>ST</math>.
 
Given triangle <math>ABC</math> the point <math>J</math> is the centre of the excircle opposite the vertex <math>A.</math> This excircle is tangent to the side <math>BC</math> at <math>M</math>, and to the lines <math>AB</math> and <math>AC</math> at <math>K</math> and <math>L</math>, respectively. The lines <math>LM</math> and <math>BJ</math> meet at <math>F</math>, and the lines <math>KM</math> and <math>CJ</math> meet at <math>G.</math> Let <math>S</math> be the point of intersection of the lines <math>AF</math> and <math>BC</math>, and let <math>T</math> be the point of intersection of the lines <math>AG</math> and <math>BC.</math> Prove that <math>M</math> is the midpoint of <math>ST</math>.
 +
 +
== Solution ==
 +
 +
First, <math>BK = BM</math> because <math>BK</math> and <math>BM</math> are both tangents from <math>B</math> to the excircle <math>J</math>.  Then <math>BJ \bot KM</math>.  Call the <math>X</math> the intersection between <math>BJ</math> and <math>KM</math>.  Similarly, let the intersection between the perpendicular line segments <math>CJ</math> and <math>LM</math> be <math>Y</math>.  We have <math>\angle XBM = \angle XBK = \angle FBA</math> and <math>\angle XMB = \angle XKB</math>.  We then have, <math>\angle XBM + \angle XBK + \angle XMB + \angle XKB = \angle MBK + \angle XMB + \angle XKB</math> <math>= \angle MBK + \angle KMB + \angle MKB = 180^{\circ} </math>.  So <math>\angle XBM = 90^{\circ} - \angle XMB</math>.  We also have <math>180^{\circ} = \angle FBA + \angle ABC + \angle XBM = 2\angle XBM + \angle ABC = 180^{\circ} - 2\angle XMB</math> <math>+ \angle ABC</math>.  Then <math>\angle ABC = 2\angle XMB</math>.  Notice that <math>\angle XFM = 90^{\circ} - \angle XMB - \angle BMF = 90^{\circ} - \angle XMB - \angle YMC</math>.  Then, <math>\angle ACB = 2\angle YMC</math>.  <math>\angle BAC = 180^{\circ} - \angle ABC - \angle ACB = 180^{\circ} - 2(\angle XMB + \angle YMC)</math> <math>= 2(90^{\circ} - (\angle XMB + \angle YMC) = 2\angle XFM</math>.  Similarly, <math>\angle BAC = 2\angle YGM</math>.  Draw the line segments <math>FK</math> and <math>GL</math>.  <math>\triangle FXK</math> and <math>\triangle FXM</math> are congruent and <math>\triangle GYL</math> and <math>\triangle GYM</math> are congruent.  Quadrilateral <math>AFJL</math> is cyclic because <math>\angle JAL = \frac{\angle BAC}{2} = \angle XFM = \angle JFL</math>.  Quadrilateral <math>AFKJ</math> is also cyclic because <math>\angle JAK = \frac{\angle BAC}{2} = \angle XFM = \angle XFK = \angle JFK</math>.  The circumcircle of <math>\triangle AFJ</math> also contains the points <math>K</math> and <math>J</math> because there is a circle around the quadrilaterals <math>AFJL</math> and <math>AFKJ</math>.  Therefore, pentagon <math>AFKJL</math> is also cyclic.  Finally, quadrilateral <math>AGLJ</math> is cyclic because <math>\angle JAL = \frac{\angle BAC}{2} = \angle YGM = \angle YGL = \angle JGL</math>.  Again, <math>\triangle AJL</math> is common in both the cyclic pentagon <math>AFKJL</math> and cyclic quadrilateral <math>AGLJ</math>, so the circumcircle of <math>\triangle AJL</math> also contains the points <math>F</math>, <math>K</math>, and <math>G</math>.  Therefore, hexagon <math>AFKJLG</math> is cyclic.  Since <math>\angle AKJ</math> and <math>\angle ALJ</math> are both right angles, <math>AJ</math> is the diameter of the circle around cyclic hexagon <math>AFKJLG</math>.  Therefore, <math>\angle AFJ</math> and <math>\angle AGJ</math> are both right angles.  <math>\triangle BFS</math> and <math>\triangle BFA</math> are congruent by ASA congruency, and so are <math>\triangle CGT</math> and <math>\triangle CGA</math>. We have <math>SB = AB</math>, <math>TC = AC</math>, <math>BM = BK</math>, and <math>CM = CL</math>.  Since <math>AK</math> and <math>AL</math> are tangents from <math>A</math> to the circle <math>J</math>, <math>AK = AL</math>.  Then, we have <math>AK = AL</math>, which becomes <math>AB + BK = AC + CL</math>, which is <math>SB + BM = TC + CM</math>, or <math>SM = TM</math>.  This means that <math>M</math> is the midpoint of <math>ST</math>. 
 +
 +
QED
 +
 +
--[[User:Aopsqwerty|Aopsqwerty]] 21:19, 19 July 2012 (EDT)

Revision as of 20:19, 19 July 2012

Problem

Given triangle $ABC$ the point $J$ is the centre of the excircle opposite the vertex $A.$ This excircle is tangent to the side $BC$ at $M$, and to the lines $AB$ and $AC$ at $K$ and $L$, respectively. The lines $LM$ and $BJ$ meet at $F$, and the lines $KM$ and $CJ$ meet at $G.$ Let $S$ be the point of intersection of the lines $AF$ and $BC$, and let $T$ be the point of intersection of the lines $AG$ and $BC.$ Prove that $M$ is the midpoint of $ST$.

Solution

First, $BK = BM$ because $BK$ and $BM$ are both tangents from $B$ to the excircle $J$. Then $BJ \bot KM$. Call the $X$ the intersection between $BJ$ and $KM$. Similarly, let the intersection between the perpendicular line segments $CJ$ and $LM$ be $Y$. We have $\angle XBM = \angle XBK = \angle FBA$ and $\angle XMB = \angle XKB$. We then have, $\angle XBM + \angle XBK + \angle XMB + \angle XKB = \angle MBK + \angle XMB + \angle XKB$ $= \angle MBK + \angle KMB + \angle MKB = 180^{\circ}$. So $\angle XBM = 90^{\circ} - \angle XMB$. We also have $180^{\circ} = \angle FBA + \angle ABC + \angle XBM = 2\angle XBM + \angle ABC = 180^{\circ} - 2\angle XMB$ $+ \angle ABC$. Then $\angle ABC = 2\angle XMB$. Notice that $\angle XFM = 90^{\circ} - \angle XMB - \angle BMF = 90^{\circ} - \angle XMB - \angle YMC$. Then, $\angle ACB = 2\angle YMC$. $\angle BAC = 180^{\circ} - \angle ABC - \angle ACB = 180^{\circ} - 2(\angle XMB + \angle YMC)$ $= 2(90^{\circ} - (\angle XMB + \angle YMC) = 2\angle XFM$. Similarly, $\angle BAC = 2\angle YGM$. Draw the line segments $FK$ and $GL$. $\triangle FXK$ and $\triangle FXM$ are congruent and $\triangle GYL$ and $\triangle GYM$ are congruent. Quadrilateral $AFJL$ is cyclic because $\angle JAL = \frac{\angle BAC}{2} = \angle XFM = \angle JFL$. Quadrilateral $AFKJ$ is also cyclic because $\angle JAK = \frac{\angle BAC}{2} = \angle XFM = \angle XFK = \angle JFK$. The circumcircle of $\triangle AFJ$ also contains the points $K$ and $J$ because there is a circle around the quadrilaterals $AFJL$ and $AFKJ$. Therefore, pentagon $AFKJL$ is also cyclic. Finally, quadrilateral $AGLJ$ is cyclic because $\angle JAL = \frac{\angle BAC}{2} = \angle YGM = \angle YGL = \angle JGL$. Again, $\triangle AJL$ is common in both the cyclic pentagon $AFKJL$ and cyclic quadrilateral $AGLJ$, so the circumcircle of $\triangle AJL$ also contains the points $F$, $K$, and $G$. Therefore, hexagon $AFKJLG$ is cyclic. Since $\angle AKJ$ and $\angle ALJ$ are both right angles, $AJ$ is the diameter of the circle around cyclic hexagon $AFKJLG$. Therefore, $\angle AFJ$ and $\angle AGJ$ are both right angles. $\triangle BFS$ and $\triangle BFA$ are congruent by ASA congruency, and so are $\triangle CGT$ and $\triangle CGA$. We have $SB = AB$, $TC = AC$, $BM = BK$, and $CM = CL$. Since $AK$ and $AL$ are tangents from $A$ to the circle $J$, $AK = AL$. Then, we have $AK = AL$, which becomes $AB + BK = AC + CL$, which is $SB + BM = TC + CM$, or $SM = TM$. This means that $M$ is the midpoint of $ST$.

QED

--Aopsqwerty 21:19, 19 July 2012 (EDT)

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2012_IMO_Problems/Problem_1&oldid=47672"