Окружность, вписанная в прямоугольный треугольник: теоремы и примеры