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