Problem

Source: St Petersburg Olympiad 2014, Grade 11, P4

Tags: geometry, circumcircle



Points $B_1,C_1$ are on $AC$ and $AB$ and $B_1C_1 \parallel BC$. Circumcircle of $ABB_1$ intersect $CC_1$ at $L$. Circumcircle $CLB_1$ is tangent to $AL$. Prove $AL \leq \frac{AC+AC_1}{2}$