Радиус окружности, описанной около прямоугольного треугольника