6°. Поверхности постоянной кривизны
Проведем через произвольную точку X регулярной поверхности геодезическую и построим в некоторой окрестности точки X полугеодезическую систему координат с базой
Как показано в пункте 3°, в этих координатах первую квадратичную форму поверхности в окрестности можно привести к следующему виду:
где
При такой параметризации гауссову кривизну К поверхности можно вычислить по формуле
(см. формулу (19) пункта 2° § 5).
Таким образом, функция В должна удовлетворять дифференциальному уравнению
Выясним, какой вид имеет коэффициент первой квадратичной формы поверхности в случае, когда ее кривизна постоянна.
Для этого нужно проинтегрировать уравнение (12) при начальных условиях (10).
Рассмотрим все три возможности.
Тогда и функция В тождественно равна единице. Первая квадратичная форма имеет вид
Решением уравнения
с начальными условиями (10) является функция Тем самым первая квадратичная форма запишется в виде
Решая уравнение
при условиях (10), получаем, что и
Полученные результаты можно сформулировать следующим образом.
Так как вид первой квадратичной формы поверхности постоянной гауссовой кривизны зависит только от того значения, которое эта кривизна принимает, и не зависит от вида самой поверхности, то все поверхности заданной постоянной гауссовой кривизны локально изометричны.
В частности, все поверхности нулевой кривизны локально изометричны - плоскости, поверхности постоянной положительной кривизны локально изометричны сфере радиуса поверхности постоянной отрицательной кривизны локально изометричны псевдосфере «псевдорадиуса» (рис. 56).
Рис. 56. На рисунках изображены изометричиые поверхности: а — нулевой кривизны; б - положительной кривизны; в — отрицательной кривизны