Difference between revisions of "2001 IMO Shortlist Problems/G1"
m (shoeing something is not the same as showing something.) |
|||
Line 33: | Line 33: | ||
<cmath>\frac{\sin\angle CBB_2}{\sin\angle ABB_2}=\frac{\sin{(\gamma+45^{\circ})}}{\sin{(\alpha+45^{\circ})}}</cmath> | <cmath>\frac{\sin\angle CBB_2}{\sin\angle ABB_2}=\frac{\sin{(\gamma+45^{\circ})}}{\sin{(\alpha+45^{\circ})}}</cmath> | ||
− | An application of the trigonometric version of Ceva's Theorem shows that <math>AA_2</math>, <math>BB_2</math>, and <math>CC_2</math> are concurrent, which | + | An application of the trigonometric version of Ceva's Theorem shows that <math>AA_2</math>, <math>BB_2</math>, and <math>CC_2</math> are concurrent, which shows that <math>AA_1</math>, <math>BB_1</math>, and <math>CC_1</math> are concurrent. |
== Resources == | == Resources == |
Latest revision as of 15:07, 12 December 2011
Problem
Let be the center of the square inscribed in acute triangle
with two vertices of the square on side
. Thus one of the two remaining vertices of the square is on side
and the other is on
. Points
are defined in a similar way for inscribed squares with two vertices on sides
and
, respectively. Prove that lines
are concurrent.
Solution
Let ,
,
,
,
, and
. Let
be the point on the other side of
than
such that
is an isosceles right triangle. Define
and
similarly. Let
and
be the points on
and
that are the vertices of the square centered at
. We then have that
is also an isosceles right triangle. It's clear that
is parallel to
, so
and
. The ratio of similarity of both relations is
, which implies that quadrilaterals
and
are similar. Therefore
and
. It then follows that
,
, and
are collinear. Similarly
,
, and
are collinear, as are
,
, and
. It therefore suffices to show that
,
, and
are concurrent.
Let and
, for positive reals
and
. Also let
and
. Note that
, and likewise
. It then follows from the Law of Sines on triangles
and
that
and
Solving for and
gives that
and
Therefore
Similar lines of reasoning show that
and
An application of the trigonometric version of Ceva's Theorem shows that ,
, and
are concurrent, which shows that
,
, and
are concurrent.