Но он подтверждается приведенным вами примером.
Нет, вывод не может подтверждаться примером. Я дал и другой пример, а вы его проигнорировали.
Правда если взять седло, то этого ограничения нет.
И кривизна отрицательная. Всё как надо.
Если пространство конечно, то седла не может быть. Или пространство так изрезано, что седло переходит в сферу, что невероятно.
Вы знаете, что такое тор (бублик)? У него на внутренней стороне кривизна отрицательна, и он устроен как седло. А на внешней стороне кривизна положительна, и он устроен как сфера.
Кроме того, можно седло постоянной отрицательной кривизны тоже склеить в такой аналог тора (только не в трёхмерном пространстве). У него не будет нигде положительной кривизны, но при этом, будет конечный объём и диаметр.
а в другой литературе эта формула встречается?
Это формула из дифференциальной геометрии (более узко говоря, из римановой геометрии). По ней существуют тонны литературы. МТУ всего лишь приводит некоторые формулы оттуда, которые использует.