MathDB
So many circles

Source: 2021 Czech-Polish-Slovak Match, P6

August 3, 2021

Problem Statement

Let ABCABC be an acute triangle and suppose points A,Ab,Ba,B,Bc,Cb,C,Ca,A, A_b, B_a, B, B_c, C_b, C, C_a, and AcA_c lie on its perimeter in this order. Let A1AA_1 \neq A be the second intersection point of the circumcircles of triangles AAbCaAA_bC_a and AAcBaAA_cB_a. Analogously, B1BB_1 \neq B is the second intersection point of the circumcircles of triangles BBcAbBB_cA_b and BBaCbBB_aC_b, and C1CC_1 \neq C is the second intersection point of the circumcircles of triangles CCaBcCC_aB_c and CCbAcCC_bA_c. Suppose that the points A1,B1,A_1, B_1, and C1C_1 are all distinct, lie inside the triangle ABCABC, and do not lie on a single line. Prove that lines AA1,BB1,CC1,AA_1, BB_1, CC_1, and the circumcircle of triangle A1B1C1A_1B_1C_1 all pass through a common point.
Josef Tkadlec (Czech Republic), Patrik Bak (Slovakia)