IMO 2023 Problem 6

Let $ABC$ be an equilateral triangle. Let $A_1,B_1,C_1$ be interior points of $ABC$ such that $BA_1=A_1C$ , $CB_1=B_1A$ , $AC_1=C_1B$ , and $$\angle BA_1C+\angle CB_1A+\angle AC_1B=480^\circ$$ Let $BC_1$ and $CB_1$ meet at $A_2,$ let $CA_1$ and $AC_1$ meet at $B_2,$ and let $AB_1$ and $BA_1$ meet at $C_2.$ Prove that if triangle $A_1B_1C_1$ is scalene, then the three circumcircles of triangles $AA_1A_2, BB_1B_2$ and $CC_1C_2$ all pass through two common points.

(Note: a scalene triangle is one where no two sides have equal length.)

Proposed by Ankan Bhattacharya, USA