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 10: Line 10:
  
 
--[[User:Aopsqwerty|Aopsqwerty]] 21:19, 19 July 2012 (EDT)
 
--[[User:Aopsqwerty|Aopsqwerty]] 21:19, 19 July 2012 (EDT)
 +
 +
==Solution 2==
 +
For simplicity, let <math>A, B, C</math> written alone denote the angles of triangle <math>ABC</math>, and <math>a</math>, <math>b</math>, <math>c</math> denote its sides.
 +
 +
Let <math>R</math> be the radius of the A-excircle. Because <math>CM = CL</math>, we have <math>CML</math> isosceles and so <math>\angle{CML} = \dfrac{\angle{C}}{2}</math> by the Exterior Angle Theorem. Then because <math>\angle{FBS} = 90^\circ - \dfrac{B}{2}</math>, we have <math>\angle{BFM} = \dfrac{angle{A}}{2}</math>, again by the Exterior Angle Theorem.
 +
 +
Notice that <math>\angle{BJM} = \dfrac{\angle{B}}{2}</math> and <math>\angle{CJM} = \dfrac{\angle{C}}{2}</math>, and so
 +
<cmath>a = R \tan \frac{B}{2} + R \tan \frac{C}{2} = R \frac{\sin \frac{B+C}{2}}{\cos \frac{B}{2} \cos \frac{C}{2}}</cmath>
 +
after converting tangents to sine and cosine. Thus,
 +
<cmath>R = a \cos \frac{B}{2} \cos \frac{C}{2} \sec \frac{A}{2}.</cmath>
 +
It follows that <math>BM = a \sin \dfrac{B}{2} \cos \dfrac{C}{2} \sec \frac{A}{2}</math>. By the Law of Sines on triangle <math>BFM</math> and <math>ABC</math> and the double-angle formula for sine, we have
 +
<cmath>BF = BM \cdot \frac{\sin \frac{C}{2}}{\sin \frac{A}{2}} = a \sin \frac{B}{2} \cdot \frac{\sin C}{\sin A} = c \sin \frac{B}{2}.</cmath>
 +
Therefore, triangle <math>BFA</math> is congruent to a right triangle with hypotenuse length <math>c</math> and one angle of measure <math>90^\circ - \dfrac{B}{2}</math> by SAS Congruence, and so <math>\angle{BFA} = 90^\circ</math>. It then follows that triangles <math>BFS</math> and <math>BFA</math> are congruent by <math>ASA</math>, and so <math>AF = FS</math>. Thus, <math>J</math> lies on the perpendicular bisector of <math>AS</math>. Similarly, <math>J</math> lies on the perpendicular bisector of <math>AT</math>, and so <math>J</math> is the circumcenter of <math>ATS</math>. In particular, <math>J</math> lies on the perpendicular bisector of <math>ST</math>, and so, because <math>JM</math> is perpendicular to <math>ST</math>, <math>M</math> must be the midpoint of <math>ST</math>, as desired.
 +
 +
--[[User:Suli|Suli]] 17:53, 8 February 2015 (EST)

Revision as of 17:53, 8 February 2015

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)

Solution 2

For simplicity, let $A, B, C$ written alone denote the angles of triangle $ABC$, and $a$, $b$, $c$ denote its sides.

Let $R$ be the radius of the A-excircle. Because $CM = CL$, we have $CML$ isosceles and so $\angle{CML} = \dfrac{\angle{C}}{2}$ by the Exterior Angle Theorem. Then because $\angle{FBS} = 90^\circ - \dfrac{B}{2}$, we have $\angle{BFM} = \dfrac{angle{A}}{2}$, again by the Exterior Angle Theorem.

Notice that $\angle{BJM} = \dfrac{\angle{B}}{2}$ and $\angle{CJM} = \dfrac{\angle{C}}{2}$, and so \[a = R \tan \frac{B}{2} + R \tan \frac{C}{2} = R \frac{\sin \frac{B+C}{2}}{\cos \frac{B}{2} \cos \frac{C}{2}}\] after converting tangents to sine and cosine. Thus, \[R = a \cos \frac{B}{2} \cos \frac{C}{2} \sec \frac{A}{2}.\] It follows that $BM = a \sin \dfrac{B}{2} \cos \dfrac{C}{2} \sec \frac{A}{2}$. By the Law of Sines on triangle $BFM$ and $ABC$ and the double-angle formula for sine, we have \[BF = BM \cdot \frac{\sin \frac{C}{2}}{\sin \frac{A}{2}} = a \sin \frac{B}{2} \cdot \frac{\sin C}{\sin A} = c \sin \frac{B}{2}.\] Therefore, triangle $BFA$ is congruent to a right triangle with hypotenuse length $c$ and one angle of measure $90^\circ - \dfrac{B}{2}$ by SAS Congruence, and so $\angle{BFA} = 90^\circ$. It then follows that triangles $BFS$ and $BFA$ are congruent by $ASA$, and so $AF = FS$. Thus, $J$ lies on the perpendicular bisector of $AS$. Similarly, $J$ lies on the perpendicular bisector of $AT$, and so $J$ is the circumcenter of $ATS$. In particular, $J$ lies on the perpendicular bisector of $ST$, and so, because $JM$ is perpendicular to $ST$, $M$ must be the midpoint of $ST$, as desired.

--Suli 17:53, 8 February 2015 (EST)

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