Problem

Source: Regional Olympiad - Federation of Bosnia and Herzegovina 2009

Tags: geometry, Equilateral Triangle, fixed



Let $ABC$ be an equilateral triangle such that length of its altitude is $1$. Circle with center on the same side of line $AB$ as point $C$ and radius $1$ touches side $AB$. Circle rolls on the side $AB$. While the circle is rolling, it constantly intersects sides $AC$ and $BC$. Prove that length of an arc of the circle, which lies inside the triangle, is constant