Problem

Source: 2020 Macedonian National Olympiad

Tags: geometry, Ugly, Angle Bisectors, angle bisector, circumcircle



Let $ABC$ be a triangle, and $A_1, B_1, C_1$ be points on the sides $BC, CA, AB$, respectively, such that $AA_1, BB_1, CC_1$ are the internal angle bisectors of $\triangle ABC$. The circumcircle $k' = (A_1B_1C_1)$ touches the side $BC$ at $A_1$. Let $B_2$ and $C_2$, respectively, be the second intersection points of $k'$ with lines $AC$ and $AB$. Prove that $|AB| = |AC|$ or $|AC_1| = |AB_2|$.