Question 140
Let $D$ be the bisector of the hypotenuse $AB$ of the right triangle $ABC$. Let us denote by $O_1$ and $O_2$ the centers of the triangles $ADC$ and $DBC$ of the outlined circles. Prove that $AB$ is tangent to the circle with diameter $O_1O_2$.