Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Talk:2021 USAMO Problems/Problem 1"

(Touched up the proof (removed a false assumption, reversed the order of a piece of the argument).)
Line 7: Line 7:
 
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>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.
 
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>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'=C1</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>.
 
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'=C1</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>.

Revision as of 14:53, 11 September 2021

We are given the acute triangle $ABC$, rectangles $AA_1B_2B, BB_1C_2C, CC_1A_2A$ such that $\angle AA_1B + \angle BB_1C + \angle CC_1A = \pi$. Let's call $\angle AA_1B = \alpha, \angle BB_1C = \beta, \angle CC_1A = \gamma$.

Construct circumcircles $X_1, X_2$ around the rectangles $AA_1B_2B, BB_1C_2C$ respectively. $X_1, X_2$ intersect at two points: $B$ and a second point we will label $O$. Now $A_1B$ is a diameter of $X_1$, and $C_2B$ is a diameter of $X_2$, so $\angle A_1OB = \angle C_2OB = \frac{\pi}{2}$, and $\angle A_1OC_2 = \pi$, so $O$ is on the diagonal $A_1C_2$.

$\angle A_1BB_2 = \angle A_1OB_2 = \alpha$ (angles standing on the same arc of the circle $X1$), and similarly, $\angle B_1BC_2 = \angle B_1OC_2 = \beta$. Therefore, $\angle B_2OB_1 = \pi - (\alpha + \beta) = \gamma$.

Construct another circumcircle $X_3$ around the triangle $AOC$, which intersects $AA_2$ in $A'$, and $CC_1$ in $C'$. We will prove that $A'=A_2, C'=C_2$. Note that $A'AOC$ is a cyclic quadrilateral in $X_3$, so since $\angle A'AC = \frac{\pi}{2}$, $A'C$ is a diameter of $X_3$ and $\angle A'OC = \angle A'C'C = \frac{\pi}{2}$ - so $A'ACC'$ is a rectangle.

Since $\angle A'AC = \frac{\pi}{2}$, $A_'C$ (Error compiling LaTeX. Unknown error_msg) is a diameter of $X_3$, and $\angle A_'OC = \frac{\pi}{2}$ (Error compiling LaTeX. Unknown error_msg). Similarly, $\angle B_1OC = \angle C_'OA = \angle B_2OA = \frac{\pi}{2}$ (Error compiling LaTeX. Unknown error_msg), so O is on $B_2C_', B_1A_'$ (Error compiling LaTeX. Unknown error_msg), and by opposite angles, $\angle A'OC' = \gamma = \angle A'CC'$.

Finally, since $A'$ is on $AA_2$ and $C'$ is on $CC_2$, that gives $\angle A_2AC' = \angle A_2CC_1$ - meaning $C'$ is on the line $AC_1$. But $C'$ is also on the line $CC_1$ - so $C'=C1$. Similarly, $A'=A_2$. So the three diagonals $A_1C_2, B_1A_2, C_1B_2$ intersect in $O$.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Talk:2021_USAMO_Problems/Problem_1&oldid=162046"