Difference between revisions of "Talk:2021 USAMO Problems/Problem 1"
m (typo) |
m (Latex formating fix) |
||
Line 9: | Line 9: | ||
Since <math>\angle A'AC = \frac{\pi}{2}</math>, <math>A'C</math> is a diameter of <math>X_3</math>, and <math>\angle A'OC = \frac{\pi}{2}</math>. Similarly, <math>\angle B_1OC = \angle C'OA = \angle B_2OA = \frac{\pi}{2}</math>, so O is on <math>B_2C', B_1A'</math>, and by opposite angles, <math>\angle A'OC' = \gamma = \angle A'CC'</math>. | Since <math>\angle A'AC = \frac{\pi}{2}</math>, <math>A'C</math> is a diameter of <math>X_3</math>, and <math>\angle A'OC = \frac{\pi}{2}</math>. Similarly, <math>\angle B_1OC = \angle C'OA = \angle B_2OA = \frac{\pi}{2}</math>, so O is on <math>B_2C', B_1A'</math>, and by opposite angles, <math>\angle A'OC' = \gamma = \angle A'CC'</math>. | ||
− | Finally, since <math>A'</math> is on <math>AA_2</math> and <math>C'</math> is on <math>CC_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'= | + | Finally, since <math>A'</math> is on <math>AA_2</math> and <math>C'</math> is on <math>CC_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'=C_1</math>. Similarly, <math>A'=A_2</math>. So the three diagonals <math>A_1C_2, B_1A_2, C_1B_2</math> intersect in <math>O</math>. |
[[File:USAMO_Q1.png|alt="USAMO Q1 graph"|800px|USAMO 2021 Q1 set-up]] | [[File:USAMO_Q1.png|alt="USAMO Q1 graph"|800px|USAMO 2021 Q1 set-up]] |
Latest revision as of 13:14, 15 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 on 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
is a cyclic quadrilateral in
, so since
,
is a diameter of
and
- so
is a rectangle.
Since ,
is a diameter of
, and
. Similarly,
, so O is on
, and by opposite angles,
.
Finally, since is on
and
is on
, that gives
- meaning
is on the line
. But
is also on the line
- so
. Similarly,
. So the three diagonals
intersect in
.