Problem

Source: Stars of Mathematics 2024 P4 (senior level)

Tags: geometry



Let $\gamma_1$ and $\gamma_2$ be two disjoint circles, with centers $O_1$ and $O_2$. One of their exterior tangents cuts $\gamma_1$ in $A_1$ and $\gamma_2$ in $A_2$. One of their common internal tangents cuts $\gamma_1$ in $B_1$ and $\gamma_2$ in $B_2$, and the other common internal tangent cuts $\gamma_1$ in $C_1$ and $\gamma_2$ int $C_2$. Let $B_1B_2$ and $C_1C_2$ intersect in $O$. $X$ is the point where $A_2O$ cuts $\gamma_1$ and $OX<OB_1$. Similarly, $Y$ is the point where $A_1O$ cuts $\gamma_2$ and $OY<OB_2$. The perpendicular in $X$ to $OX$ cuts $O_1B_1$ in $P$ and the perpendicular in $Y$ to $OY$ cuts $O_2C_2$ in $Q$. Prove that $PQ$ and $A_1A_2$ are parallel. Proposed by Flavian Georgescu