Difference between revisions of "Talk:2021 USAMO Problems/Problem 1"
(Add Geogebra graph) |
m (Latex formating fix) |
||
(One intermediate revision by the same user not shown) | |||
Line 5: | Line 5: | ||
<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>. | <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 <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'= | + | 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_1</math>. Note that <math>A'AOC</math> is a cyclic quadrilateral in <math>X_3</math>, so 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 = \angle A'C'C = \frac{\pi}{2}</math> - so <math>A'ACC'</math> is a rectangle. |
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 .