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 14: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.