Определение 1. Две поверхности F1 и F2 называются изометричными, если между их точками может быть установлено такое взаимно однозначное соответствие, при котором соответствующие кривые на поверхностях F1 и F2 имеют одинаковые длины.
Про изометричные поверхности говорят, что одна из них получена изгибанием другой. Таким образом, изгибание поверхности – это деформация, при которой не изменяются длины кривых на поверхности.
Следующие рисунки показывают изгибание плоскости в двугранный угол, а далее в параболический цилиндр и изгибание трёхгранного угла в коническую поверхность, которая имеет такую же развёртку в плоский угол, что и данный трёхгранный угол.

Теорема 1. Пусть поверхности F и F
определены регулярными векторными функциями
и
, для которых порядок регулярности к ≥ 1, с одной и той же областью определения Q. Если коэффициенты первых квадратичных форм поверхностей F и F
в области Q равны, то есть для всех 
Е
= Е¢
, F
= F¢
, G
= G¢
, (1)
то поверхности F и F¢ изометричны.
Доказательство. Будем считать соответствующими точками поверхностей F и F
точки М
и
, имеющие одни и те же координаты
.
Пусть гладкая кривая g на F задаётся уравнениями:
t Î (
).
Тогда соответствующая ей кривая g¢ на F
задаётся теми же уравнениями. Поэтому, в силу равенств (1)
s (g) =
=
=
= s (g¢),
откуда и следует изометричность поверхностей F и F¢.
Теорема 2. Пусть поверхности F и F
определены регулярными векторными функциями
и
, для которых порядок регулярности к ≥ 1 с одной и той же областью определения Q. Тогда если их точки, имеющие одинаковые внутренние координаты
, соответствуют друг другу по изометрии, то коэффициенты первых квадратичных форм поверхностей F и F
равны.
Доказательство. Нам надо доказать, что
Е
= Е¢
, F
= F¢
, G
= G¢
.
Рассмотрим три пары соответственных кривых, заданных уравнениями:
g ÎF и g¢Î F¢:
tÎ(
) Þ
,
.
g1 ÎF и g¢1 Î F¢:
tÎ(
) Þ
,
.
g2 ÎF и g¢2 Î F¢:
tÎ(
) Þ
,
.
Мы рассматриваем переменную t из промежутка (
).
Согласно условию теоремы, соответствующие друг другу по изометрии кривые имеют равные длины, т.е. выполняется равенство
s(g) = s(g¢), s(g1) = s(g¢1), s(g2) = s(g¢2),
s(g) =
=
= s(g¢). (2)
Так как равенство (2) верно для любого
Î (
), то равны подинтегральные выражения
=
, а следовательно,
Е
= Е¢
. (3)
Применяя такие же рассуждения к кривым g1 ÎF и g¢1 Î F¢, получим:
G
= G¢
. (4)
Учитывая, что Е = Е¢ и G = G¢, рассмотрим третью пару кривых g2 ÎF и g¢2 Î F¢.
Получим равенство:

=
.
Равенство верно для любого
Î (
). Поэтому равны подинтегральные выражения
Е
+2F
+G
= E′
+2F′
+G′
.
Из этого равенства, учитывая равенства (3) и (4), получим, что
F
= F¢
. (5)
Теорема доказана.