USA IMO 2003 #0i9y — USA IMO 2003 · USAMO Guide - Olympiad Mathematics Learning Platform

USA IMO 2003 #0i9y

USA IMO 2003Hard

Community difficultyNo ratings yetBe the first to rate this problem.

Understand the scale

Scale 0.5: Easiest math competition problems, often solvable even for early middle school students without experience. 1: Problems strictly for beginners, often at a moderate middle school level. 1.5: Problems for stronger beginner students, on the level of the middling problems in most middle school contests. 2: For motivated beginners, harder questions from the previous categories. 2.5: More advanced beginner problems, hardest questions from previous categories. 3: Early intermediate problems that require more creative thinking. 3.5: Tougher early intermediate problems that consistently stretch into higher-level creative thinking or conceptual knowledge. 4: Intermediate-level problems. 4.5: Upper intermediate problems approaching the upper bound for non-invitational sprint math competitions. 5: More difficult AIME problems or simple proof-based Olympiad-style problems. 6: High-level AIME-styled questions or introductory Olympiad-level questions. 7: Tougher Olympiad-level questions, may require more technical knowledge. 8: High-level Olympiad-level questions. 9: Expert Olympiad-level questions. 9.5: The hardest problems appearing on Olympiads which the strongest students could reasonably solve. 10: Historically notorious problems, generally unsuitable for even very hard competitions because they are exceedingly tedious, long, and difficult.

Problem

Let $\overline{AH_1}$ , $\overline{BH_2}$ , and $\overline{CH_3}$ be the altitudes of an acute scalene triangle $ABC$ . The incircle of triangle $ABC$ is tangent to $\overline{BC}$ , $\overline{CA}$ , and $\overline{AB}$ at $T_1, T_2$ , and $T_3$ , respectively. For $k = 1, 2, 3$ , let $P_i$ be the point on line $H_iH_{i+1}$ (where $H_4 = H_1$ ) such that $H_iT_iP_i$ is an acute isosceles triangle with $H_iT_i = H_iP_i$ . Prove that the circumcircles of triangles $T_1P_1T_2$ , $T_2P_2T_3$ , $T_3P_3T_1$ pass through a common point.