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 "2013 IMO Problems/Problem 4"

(→‎Solution)
(→‎Solution)
Line 47: Line 47:
 
''Lemma 1:'' <math>T</math> is on <math>XY</math>.
 
''Lemma 1:'' <math>T</math> is on <math>XY</math>.
  
−
Proof: We have <math><XTW = <YTW = 90^\circ</math> because they intercept semicircles. Hence, <math><XTY = <XTW + <YTW = 180^\circ</math>, so <math>XTY</math> is a straight line.
+
Proof: We have <math>\angle{XTW} = \angle{YTW} = 90^\circ</math> because they intercept semicircles. Hence, <math>\angle{XTY} = \angle{XTW} + \angle{YTW} = 180^\circ</math>, so <math>XTY</math> is a straight line.
  
 
''Lemma 2:'' <math>T</math> is on <math>AW</math>.
 
''Lemma 2:'' <math>T</math> is on <math>AW</math>.
  
−
Proof: Let the circumcircles of <math>NBW</math> and <math>MWC</math> be <math>\omega_1</math> and <math>\omega_2</math>, respectively, and, as <math>BNMC</math> is cyclic (from congruent <math><BNC = <BMC = 90^\circ</math>), let its circumcircle be <math>\omega_3</math>. Then each pair of circles' radical axises, <math>BN, TW,</math> and <math>MC</math>, must concur at the intersection of <math>BN</math> and <math>MC</math>, which is <math>A</math>.
+
Proof: Let the circumcircles of <math>NBW</math> and <math>MWC</math> be <math>\omega_1</math> and <math>\omega_2</math>, respectively, and, as <math>BNMC</math> is cyclic (from congruent <math>\angle{BNC} = \angle{BMC} = 90^\circ</math>), let its circumcircle be <math>\omega_3</math>. Then each pair of circles' radical axises, <math>BN, TW,</math> and <math>MC</math>, must concur at the intersection of <math>BN</math> and <math>MC</math>, which is <math>A</math>.
  
 
''Lemma 3:'' <math>YT</math> is perpendicular to <math>AW</math>.
 
''Lemma 3:'' <math>YT</math> is perpendicular to <math>AW</math>.
  
−
Proof: This is immediate from <math><YTW = 90^\circ</math>.
+
Proof: This is immediate from <math>\angle{YTW} = 90^\circ</math>.
  
−
Let <math>AH</math> meet <math>BC</math> at <math>L</math>, which is also the foot of the altitude to that side. Hence, <math><ALB = 90^\circ.</math>
+
Let <math>AH</math> meet <math>BC</math> at <math>L</math>, which is also the foot of the altitude to that side. Hence, <math>\angle{ALB} = 90^\circ.</math>
  
 
''Lemma 4:'' Quadrilateral <math>THLW</math> is cyclic.
 
''Lemma 4:'' Quadrilateral <math>THLW</math> is cyclic.
  
−
Proof: We know that <math>NHLB</math> is cyclic because <math><BNH</math> and <math><BLH</math>, opposite and right angles, sum to <math>180^\circ</math>. Furthermore, we are given that <math>NTWB</math> is cyclic. Hence, by Power of a Point,
+
Proof: We know that <math>NHLB</math> is cyclic because <math>\angle{BNH}</math> and <math>\angle{BLH}</math>, opposite and right angles, sum to <math>180^\circ</math>. Furthermore, we are given that <math>NTWB</math> is cyclic. Hence, by Power of a Point,
  
 
<cmath>AT * AW = AN * AB = AH * AL.</cmath>
 
<cmath>AT * AW = AN * AB = AH * AL.</cmath>
Line 67: Line 67:
 
The converse of Power of a Point then proves <math>THLW</math> cyclic.
 
The converse of Power of a Point then proves <math>THLW</math> cyclic.
  
−
Hence, <math><WTH = 180^\circ - <WLH = 90^\circ</math>, and so <math>HT</math> is perpendicular to <math>AW</math> as well. Combining this with Lemma 3's statement, we deduce that <math>T, H, Y</math> are collinear. But, as <math>X</math> is on <math>YT</math> (from Lemma 1), <math>X, Y, H</math> are collinear. This completes the proof.
+
Hence, <math>\angle{WTH} = 180^\circ - \angle{WLH} = 90^\circ</math>, and so <math>HT</math> is perpendicular to <math>AW</math> as well. Combining this with Lemma 3's statement, we deduce that <math>T, H, Y</math> are collinear. But, as <math>X</math> is on <math>YT</math> (from Lemma 1), <math>X, Y, H</math> are collinear. This completes the proof.
  
 
<math>\blacksquare</math>
 
<math>\blacksquare</math>
  
 
--[[User:Suli|Suli]] 13:51, 25 August 2014 (EDT)
 
--[[User:Suli|Suli]] 13:51, 25 August 2014 (EDT)

Revision as of 20:49, 28 February 2016

Problem

Let $ABC$ be an acute triangle with orthocenter $H$, and let $W$ be a point on the side $BC$, lying strictly between $B$ and $C$. The points $M$ and $N$ are the feet of the altitudes from $B$ and $C$, respectively. Denote by $\omega_1$ is [sic] the circumcircle of $BWN$, and let $X$ be the point on $\omega_1$ such that $WX$ is a diameter of $\omega_1$. Analogoously, denote by $\omega_2$ the circumcircle of triangle $CWM$, and let $Y$ be the point such that $WY$ is a diameter of $\omega_2$. Prove that $X, Y$ and $H$ are collinear.

Hint

Draw a good diagram, or use the one below. What do you notice? (In particular, what do you want to be true? How do you prove it true?)


Solution

[asy] //Original diagram by suli, August 2014. Feel free to make edits, but please leave this comment in place. import olympiad; import math; unitsize(10); pair A = (15,25), B = (0,0), C = (20,0), W = (12,0); pair H = orthocenter(A, B, C); pair N = extension(C,H, A,B); pair M = extension(B,H, A,C); pair L = extension(A,H, B,C); path p1 = circumcircle(N, B, W); path p2 = circumcircle(C, M, W); pair X = intersectionpoints(B--(0,10), p1)[1]; pair Y = intersectionpoints(C--(20,10), p2)[1]; pair T = intersectionpoints(p1,p2)[0]; //Time to start drawing dot(A); dot(B); dot(C); dot(W); dot(H); dot(M); dot(L); dot(X); dot(N); dot(Y); dot(T); dot(circumcenter(N,B,W)); dot(circumcenter(C,M,W)); draw(p1); draw(p2); draw(A--B--C--Y--W--X--B); draw(C--A); draw(A--L); draw(B--M); draw(C--N); label("A", A, E); label("B", B, S); label("C", C, E); label("L", L, S); label("M", M, S); label("N", N, S); label("H", H, E); label("T", T, E); label("W", W, S); label("X", X, E); label("Y", Y, E); [/asy]

Let $T$ be the intersection of $\omega_1$ and $\omega_2$ other than $W$.

Lemma 1: $T$ is on $XY$.

Proof: We have $\angle{XTW} = \angle{YTW} = 90^\circ$ because they intercept semicircles. Hence, $\angle{XTY} = \angle{XTW} + \angle{YTW} = 180^\circ$, so $XTY$ is a straight line.

Lemma 2: $T$ is on $AW$.

Proof: Let the circumcircles of $NBW$ and $MWC$ be $\omega_1$ and $\omega_2$, respectively, and, as $BNMC$ is cyclic (from congruent $\angle{BNC} = \angle{BMC} = 90^\circ$), let its circumcircle be $\omega_3$. Then each pair of circles' radical axises, $BN, TW,$ and $MC$, must concur at the intersection of $BN$ and $MC$, which is $A$.

Lemma 3: $YT$ is perpendicular to $AW$.

Proof: This is immediate from $\angle{YTW} = 90^\circ$.

Let $AH$ meet $BC$ at $L$, which is also the foot of the altitude to that side. Hence, $\angle{ALB} = 90^\circ.$

Lemma 4: Quadrilateral $THLW$ is cyclic.

Proof: We know that $NHLB$ is cyclic because $\angle{BNH}$ and $\angle{BLH}$, opposite and right angles, sum to $180^\circ$. Furthermore, we are given that $NTWB$ is cyclic. Hence, by Power of a Point,

\[AT * AW = AN * AB = AH * AL.\]

The converse of Power of a Point then proves $THLW$ cyclic.

Hence, $\angle{WTH} = 180^\circ - \angle{WLH} = 90^\circ$, and so $HT$ is perpendicular to $AW$ as well. Combining this with Lemma 3's statement, we deduce that $T, H, Y$ are collinear. But, as $X$ is on $YT$ (from Lemma 1), $X, Y, H$ are collinear. This completes the proof.

$\blacksquare$

--Suli 13:51, 25 August 2014 (EDT)

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2013_IMO_Problems/Problem_4&oldid=77115"