Consider a sequence of circles $K_1,K_2,K_3,K_4, \ldots$ of radii $r_1, r_2, r_3, r_4, \ldots$ , respectively, situated inside a triangle $ABC$. The circle $K_1$ is tangent to $AB$ and $AC$; $K_2$ is tangent to $K_1$, $BA$, and $BC$; $K_3$ is tangent to $K_2$, $CA$, and $CB$; $K_4$ is tangent to $K_3$, $AB$, and $AC$; etc. (a) Prove the relation \[r_1 \cot \frac 12 A+ 2 \sqrt{r_1r_2} + r_2 \cot \frac 12 B = r \left(\cot \frac 12 A + \cot \frac 12 B \right) \] where $r$ is the radius of the incircle of the triangle $ABC$. Deduce the existence of a $t_1$ such that \[r_1=r \cot \frac 12 B \cot \frac 12 C \sin^2 t_1\] (b) Prove that the sequence of circles $K_1,K_2, \ldots $ is periodic.

A sequence of real numbers $ a_{0},\ a_{1},\ a_{2},\dots$ is defined by the formula \[ a_{i \plus{} 1} \equal{} \left\lfloor a_{i}\right\rfloor\cdot \left\langle a_{i}\right\rangle\qquad\text{for}\quad i\geq 0; \]here $a_0$ is an arbitrary real number, $\lfloor a_i\rfloor$ denotes the greatest integer not exceeding $a_i$, and $\left\langle a_i\right\rangle=a_i-\lfloor a_i\rfloor$. Prove that $a_i=a_{i+2}$ for $i$ sufficiently large. [i]Proposed by Harmel Nestra, Estionia[/i]