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.