Problem 4. Let $k$ be the circumcircle of $\triangle ABC$, and $D$ the point on the arc $\overarc{AB},$ which do not pass through $C$. $I_A$ and $I_B$ are the centers of incircles of $\triangle ADC$ and $\triangle BDC$, respectively. Proove that the circumcircle of $\triangle I_AI_BC$ touches $k$ iff \[ \frac{AD}{BD}=\frac{AC+CD}{BC+CD}. \] Stoyan Atanasov