Difference between revisions of "2008 IMO Problems/Problem 1"

(Created page with "== Problem 1 == An acute-angled triangle <math>ABC</math> has orthocentre <math>H</math>. The circle passing through <math>H</math> with centre the midpoint of <math>BC</math> in...")
 
(Credit for this solution goes to AoPS user Jan)
Line 1: Line 1:
== Problem 1 ==
+
== Problem ==
 
An acute-angled triangle <math>ABC</math> has orthocentre <math>H</math>. The circle passing through <math>H</math> with centre the midpoint of <math>BC</math> intersects the line <math>BC</math> at <math>A_1</math> and <math>A_2</math>. Similarly, the circle passing through <math>H</math> with centre the midpoint of <math>CA</math> intersects the line <math>CA</math> at <math>B_1</math> and <math>B_2</math>, and the circle passing through <math>H</math> with centre the midpoint of <math>AB</math> intersects the line <math>AB</math> at <math>C_1</math> and <math>C_2</math>. Show that <math>A_1</math>, <math>A_2</math>, <math>B_1</math>, <math>B_2</math>, <math>C_1</math>, <math>C_2</math> lie on a circle.
 
An acute-angled triangle <math>ABC</math> has orthocentre <math>H</math>. The circle passing through <math>H</math> with centre the midpoint of <math>BC</math> intersects the line <math>BC</math> at <math>A_1</math> and <math>A_2</math>. Similarly, the circle passing through <math>H</math> with centre the midpoint of <math>CA</math> intersects the line <math>CA</math> at <math>B_1</math> and <math>B_2</math>, and the circle passing through <math>H</math> with centre the midpoint of <math>AB</math> intersects the line <math>AB</math> at <math>C_1</math> and <math>C_2</math>. Show that <math>A_1</math>, <math>A_2</math>, <math>B_1</math>, <math>B_2</math>, <math>C_1</math>, <math>C_2</math> lie on a circle.
 +
 +
== Solution ==
 +
 +
[[Image:IMO20081.png|thumb|right|500px]]
 +
 +
Let <math>M_A</math>, <math>M_B</math>, and <math>M_C</math> be the midpoints of sides <math>BC</math>, <math>CA</math>, and <math>AB</math>, respectively. It's not hard to see that <math>M_BM_C\parallel BC</math>. We also have that <math>AH\perp BC</math>, so <math>AH \perp M_BM_C</math>. Now note that the radical axis of two circles is perpendicular to the line connecting their centers. We know that <math>H</math> is on the radical axis of the circles centered at <math>M_B</math> and <math>M_C</math>, so <math>A</math> is too. We then have <math>AC_1\cdot AC_2=AB_2\cdot AB_1\Rightarrow \frac{AB_2}{AC_1}=\frac{AC_2}{AB_1}</math>. This implies that <math>\triangle AB_2C_1\sim \triangle AC_2B_1</math>, so <math>\angle AB_2C_1=\angle AC_2B_1</math>. Therefore <math>\angle C_1B_2B_1=180^{\circ}-\angle AB_2C_1=180^{\circ}-\angle AC_2B_1</math>. This shows that quadrilateral <math>C_1C_2B_1B_2</math> is cyclic. Note that the center of its circumcircle is at the intersection of the perpendicular bisectors of the segments <math>C_1C_2</math> and <math>B_1B_2</math>. However, these are just the perpendicular bisectors of <math>AB</math> and <math>CA</math>, which meet at the circumcenter of <math>ABC</math>, so the circumcenter of <math>C_1C_2B_1B_2</math> is the circumcenter of triangle <math>ABC</math>. Similarly, the circumcenters of <math>A_1A_2B_1B_2</math> and <math>C_1C_2A_1A_2</math> are coincident with the circumcenter of <math>ABC</math>. The desired result follows.

Revision as of 11:12, 19 July 2011

Problem

An acute-angled triangle $ABC$ has orthocentre $H$. The circle passing through $H$ with centre the midpoint of $BC$ intersects the line $BC$ at $A_1$ and $A_2$. Similarly, the circle passing through $H$ with centre the midpoint of $CA$ intersects the line $CA$ at $B_1$ and $B_2$, and the circle passing through $H$ with centre the midpoint of $AB$ intersects the line $AB$ at $C_1$ and $C_2$. Show that $A_1$, $A_2$, $B_1$, $B_2$, $C_1$, $C_2$ lie on a circle.

Solution

IMO20081.png

Let $M_A$, $M_B$, and $M_C$ be the midpoints of sides $BC$, $CA$, and $AB$, respectively. It's not hard to see that $M_BM_C\parallel BC$. We also have that $AH\perp BC$, so $AH \perp M_BM_C$. Now note that the radical axis of two circles is perpendicular to the line connecting their centers. We know that $H$ is on the radical axis of the circles centered at $M_B$ and $M_C$, so $A$ is too. We then have $AC_1\cdot AC_2=AB_2\cdot AB_1\Rightarrow \frac{AB_2}{AC_1}=\frac{AC_2}{AB_1}$. This implies that $\triangle AB_2C_1\sim \triangle AC_2B_1$, so $\angle AB_2C_1=\angle AC_2B_1$. Therefore $\angle C_1B_2B_1=180^{\circ}-\angle AB_2C_1=180^{\circ}-\angle AC_2B_1$. This shows that quadrilateral $C_1C_2B_1B_2$ is cyclic. Note that the center of its circumcircle is at the intersection of the perpendicular bisectors of the segments $C_1C_2$ and $B_1B_2$. However, these are just the perpendicular bisectors of $AB$ and $CA$, which meet at the circumcenter of $ABC$, so the circumcenter of $C_1C_2B_1B_2$ is the circumcenter of triangle $ABC$. Similarly, the circumcenters of $A_1A_2B_1B_2$ and $C_1C_2A_1A_2$ are coincident with the circumcenter of $ABC$. The desired result follows.