Problem

Source: IX International Festival of Young Mathematicians Sozopol, Theme for 10-12 grade

Tags: geometry



For a non-isosceles $ABC$ we have that $2AC = AB + BC$. Point $I$ is the center of the circle inscribed in $\triangle ABC$, point $K$ is the middle of the arc $\widehat{AC}$ that includes point $B$, and point $T$ is from the line $AC$, such that $\angle TIB = 90^\circ$. Prove that the line $TB$ is tangent to the circumscribed circle of $\triangle KBI$.