Problem

Source: Belarusian MO 2022

Tags: geometry, Locus



On plane circles $\omega_1, \omega_2, \omega_3$ with centers $O_1,O_2,O_3$ are given such that $\omega_1$ is externally tangent $\omega_2$ and $\omega_3$ at points $P, Q$ respectively. On $\omega_1$ point $C$ is chosen arbitrarily. Line $CP$ intersects $\omega_2$ at $B$, line $CQ$ intersects $\omega_3$ at $A$. Point $O$ is the circumcenter of $ABC$. Prove that the locus of points $O$ (when $C$ changes) is a circle, the center of which lies on the circumcircle of $O_1O_2O_3$