Difference between revisions of "Talk:2021 USAMO Problems/Problem 1"
(Figured out a nice solution to Q1. Challenging question!) |
m (Latex formatting fix) |
||
Line 1: | Line 1: | ||
− | We are given the acute triangle <math>ABC, rectangles < | + | We are given the acute triangle <math>ABC</math>, rectangles <math>AA_1B_2B, BB_1C_2C, CC_1A_2A</math> such that <math>\angle AA_1B + \angle BB_1C + \angle CC_1A = \pi</math>. Let's call <math>\angle AA_1B = \alpha, \angle BB_1C = \beta, \angle CC_1A = \gamma</math>. |
− | Construct circumcircles < | + | Construct circumcircles <math>X_1, X_2</math> around the rectangles <math>AA_1B_2B, BB_1C_2C</math> respectively. <math>X_1, X_2</math> intersect at two points: <math>B</math> and a second point we will label <math>O</math>. Now <math>A_1B</math> is a diameter of <math>X_1</math>, and <math>C_2B</math> is a diameter of <math>X_2</math>, so <math>\angle A_1OB = \angle C_2OB = \frac{\pi}{2}</math>, and <math>\angle A_1OC_2 = \pi</math>, so <math>O</math> is o the diagonal <math>A_1C_2</math>. |
− | < | + | <math>\angle A_1BB_2 = \angle A_1OB_2 = \alpha</math> (angles standing on the same arc of the circle <math>X1</math>), and similarly, <math>\angle B_1BC_2 = \angle B_1OC_2 = \beta</math>. Therefore, <math>\angle B_2OB_1 = \pi - (\alpha + \beta) = \gamma</math>. |
− | Construct another circumcircle around the triangle < | + | Construct another circumcircle <math>X_3</math> around the triangle <math>AOC</math>, which intersects <math>AA_2</math> in <math>A'</math>, and <math>CC_1</math> in <math>C'</math>. We will prove that <math>A'=A_2, C'=C_2</math>. Note that <math>\angle A2CC_1 = \gamma</math> (given), and <math>\angle A'OC' = \angle A'AC' = \gamma</math> (angles on the same arc). But since <math>A'</math> is on <math>AA_2</math>, that gives <math>\angle A_2AC' = \angle A_2CC_1</math> - meaning <math>C'</math> is on the line <math>AC_1</math>. But <math>C'</math> is also on the line <math>CC_1</math> - so <math>C'=C1</math>. Similarly, <math>A'=A_2</math>. |
− | Finally, since < | + | Finally, since <math>\angle A_2AC = \frac{\pi}{2}</math>, <math>A_2C</math> is a diameter of <math>X_3</math>, and <math>\angle A_2OC = \frac{\pi}{2}</math>. Similarly, <math>\angle B_1OC = \angle C_1OA = \angle B_2OA = \frac{\pi}{2}</math>, so O is on <math>B_2C_1, B_1A_2</math>, and the three diagonals are concurrent. |
Revision as of 14:36, 11 September 2021
We are given the acute triangle , rectangles
such that
. Let's call
.
Construct circumcircles around the rectangles
respectively.
intersect at two points:
and a second point we will label
. Now
is a diameter of
, and
is a diameter of
, so
, and
, so
is o the diagonal
.
(angles standing on the same arc of the circle
), and similarly,
. Therefore,
.
Construct another circumcircle around the triangle
, which intersects
in
, and
in
. We will prove that
. Note that
(given), and
(angles on the same arc). But since
is on
, that gives
- meaning
is on the line
. But
is also on the line
- so
. Similarly,
.
Finally, since ,
is a diameter of
, and
. Similarly,
, so O is on
, and the three diagonals are concurrent.