Касательная и нормаль к поверхности. Плоскость, касательная к поверхности

Пусть имеем поверхность, заданную уравнением вида

Введем следующее определение.

Определение 1. Прямая линия называется касательной к поверхности в некоторой точке , если она является

касательной к какой-либо кривой, лежащей на поверхности и проходящей через точку .

Так как через точку Р проходит бесконечное число различных кривых, лежащих на поверхности, то и касательных к поверхности, проходящих через эту точку, будет, вообще говоря, бесконечное множество.

Введем понятие об особых и обыкновенных точках поверхности

Если в точке все три производные равны нулю или хотя бы одна из этих производных не существует, то точка М называется особой точкой поверхности. Если в точке все три производные существуют и непрерывны, причем хотя бы одна из них отлична от нуля, то точка М называется обыкновенной точкой поверхности.

Теперь мы можем сформулировать следующую теорему.

Теорема. Все касательные прямые к данной поверхности (1) в ее обыкновенной точке Р лежат в одной плоскости.

Доказательство. Рассмотрим на поверхности некоторую линию L (рис. 206), проходящую через данную точку Р поверхности. Пусть рассматриваемая кривая задана параметрическими уравнениями

Касательная к кривой будет касательной к поверхности. Уравнения этой касательной имеют вид

Если выражения (2) подставить в уравнение (1), то это уравнение превратится в тождество относительно t, так как кривая (2) лежит на поверхности (1). Дифференцируя его по получим

Проекции этого вектора зависят от - координат точки Р; заметим, что так как точка Р обыкновенная, то эти проекции в точке Р одновременно не обращаются в нуль и потому

касательный к кривой, проходящей через точку Р и лежащей на поверхности. Проекции этого вектора вычисляются на основании уравнений (2) при значении параметра t, соответствующем точке Р.

Вычислим скалярное произведение векторов N и которое равно сумме произведений одноименных проекций:

На основании равенства (3) выражение, стоящее в правой части, равно нулю, следовательно,

Из последнего равенства следует, что вектор ЛГ и касательный вектор к кривой (2) в точке Р перпендикулярны. Проведенное рассуждение справедливо для любой кривой (2), проходящей через точку Р и лежащей на поверхности. Следовательно, каждая касательная к поверхности в точке Р перпендикулярна к одному и тому же вектору N и потому все эти касательные лежат в одной плоскости, перпендикулярной к вектору ЛГ. Теорема доказана.

Определение 2. Плоскость, в которой расположены все касательные прямые к линиям на поверхности, проходящим через данную ее точку Р, называется касательной плоскостью к поверхности в точке Р (рис. 207).

Заметим, что в особых точках поверхности может не существовать касательной плоскости. В таких точках касательные прямые к поверхности могут не лежать в одной плоскости. Так, например, вершина конической поверхности является особой точкой.

Касательные к конической поверхности в этой точке не лежат в одной плоскости (они сами образуют коническую поверхность).

Напишем уравнение касательной плоскости к поверхности (1) в обыкновенной точке. Так как эта плоскость перпендикулярна вектору (4), то, следовательно, ее уравнение имеет вид

Если уравнение поверхности задано в форме или уравнение касательной плоскости в этом случае примет вид

Замечание. Если в формуле (6) положим , то эта формула примет вид

ее правая часть представляет собой полный дифференциал функции . Следовательно, . Таким образом, полный дифференциал функции двух переменных в точке соответствующий приращениям независимых переменных х и у, равен соответствующему приращению аппликаты касательной плоскости к поверхности, которая является графиком данной функции.

О пределение 3. Прямая, проведенная через точку поверхности (1) перпендикулярно к касательной плоскости, называется нормалью к поверхности (рис. 207).

Напишем уравнения нормали. Так как ее направление совпадает с направлением вектора N, то ее уравнения будут иметь вид

Поверхность определяется как множество точек , координаты которых удовлетворяют определённому виду уравнений:

F (x , y , z) = 0 (1) {\displaystyle F(x,\,y,\,z)=0\qquad (1)}

Если функция F (x , y , z) {\displaystyle F(x,\,y,\,z)} непрерывна в некоторой точке и имеет в ней непрерывные частные производные, по крайней мере одна из которых не обращается в нуль, то в окрестности этой точки поверхность, заданная уравнением (1), будет правильной поверхностью .

Помимо указанного выше неявного способа задания , поверхность может быть определена явно , если одну из переменных, например, z, можно выразить через остальные:

z = f (x , y) (1 ′) {\displaystyle z=f(x,y)\qquad (1")}

Более строго, простой поверхностью называется образ гомеоморфного отображения (то есть взаимно однозначного и взаимно непрерывного отображения) внутренности единичного квадрата. Этому определению можно дать аналитическое выражение.

Пусть на плоскости с прямоугольной системой координат u и v задан квадрат , координаты внутренних точек которого удовлетворяют неравенствам 0 < u < 1, 0 < v < 1. Гомеоморфный образ квадрата в пространстве с прямоугольной системой координат х, у, z задаётся при помощи формул х = x(u, v), у = y(u, v), z = z(u, v) (параметрическое задание поверхности). При этом от функций x(u, v), y(u, v) и z(u, v) требуется, чтобы они были непрерывными и чтобы для различных точек (u, v) и (u", v") были различными соответствующие точки (x, у, z) и (x", у", z").

Примером простой поверхности является полусфера. Вся же сфера не является простой поверхностью . Это вызывает необходимость дальнейшего обобщения понятия поверхности.

Подмножество пространства, у каждой точки которого есть окрестность, являющаяся простой поверхностью , называется правильной поверхностью .

Поверхность в дифференциальной геометрии

Геликоид

Катеноид

Метрика не определяет однозначно форму поверхности. Например, метрики геликоида и катеноида , параметризованных соответствующим образом, совпадают, то есть между их областями существует соответствие, сохраняющее все длины (изометрия). Свойства, сохраняющиеся при изометрических преобразованиях, называются внутренней геометрией поверхности. Внутренняя геометрия не зависит от положения поверхности в пространстве и не меняется при её изгибании без растяжения и сжатия (например, при изгибании цилиндра в конус) .

Метрические коэффициенты E , F , G {\displaystyle E,\ F,\ G} определяют не только длины всех кривых, но и вообще результаты всех измерений внутри поверхности (углы, площади, кривизна и др.). Поэтому всё, что зависит только от метрики, относится к внутренней геометрии.

Нормаль и нормальное сечение

Векторы нормали в точках поверхности

Одной из основных характеристик поверхности является её нормаль - единичный вектор, перпендикулярный касательной плоскости в заданной точке:

m = [ r u ′ , r v ′ ] | [ r u ′ , r v ′ ] | {\displaystyle \mathbf {m} ={\frac {[\mathbf {r"_{u}} ,\mathbf {r"_{v}} ]}{|[\mathbf {r"_{u}} ,\mathbf {r"_{v}} ]|}}} .

Знак нормали зависит от выбора координат.

Сечение поверхности плоскостью, содержащей нормаль поверхности в заданной точке, образует некоторую кривую, которая называется нормальным сечением поверхности. Главная нормаль для нормального сечения совпадает с нормалью к поверхности (с точностью до знака).

Если же кривая на поверхности не является нормальным сечением, то её главная нормаль образует с нормалью поверхности некоторый угол θ {\displaystyle \theta } . Тогда кривизна k {\displaystyle k} кривой связана с кривизной k n {\displaystyle k_{n}} нормального сечения (с той же касательной) формулой Мёнье :

k n = ± k cos θ {\displaystyle k_{n}=\pm k\,\cos \,\theta }

Координаты орта нормали для разных способов задания поверхности приведены в таблице:

Координаты нормали в точке поверхности
неявное задание (∂ F ∂ x ; ∂ F ∂ y ; ∂ F ∂ z) (∂ F ∂ x) 2 + (∂ F ∂ y) 2 + (∂ F ∂ z) 2 {\displaystyle {\frac {\left({\frac {\partial F}{\partial x}};\,{\frac {\partial F}{\partial y}};\,{\frac {\partial F}{\partial z}}\right)}{\sqrt {\left({\frac {\partial F}{\partial x}}\right)^{2}+\left({\frac {\partial F}{\partial y}}\right)^{2}+\left({\frac {\partial F}{\partial z}}\right)^{2}}}}}
явное задание (− ∂ f ∂ x ; − ∂ f ∂ y ; 1) (∂ f ∂ x) 2 + (∂ f ∂ y) 2 + 1 {\displaystyle {\frac {\left(-{\frac {\partial f}{\partial x}};\,-{\frac {\partial f}{\partial y}};\,1\right)}{\sqrt {\left({\frac {\partial f}{\partial x}}\right)^{2}+\left({\frac {\partial f}{\partial y}}\right)^{2}+1}}}}
параметрическое задание (D (y , z) D (u , v) ; D (z , x) D (u , v) ; D (x , y) D (u , v)) (D (y , z) D (u , v)) 2 + (D (z , x) D (u , v)) 2 + (D (x , y) D (u , v)) 2 {\displaystyle {\frac {\left({\frac {D(y,z)}{D(u,v)}};\,{\frac {D(z,x)}{D(u,v)}};\,{\frac {D(x,y)}{D(u,v)}}\right)}{\sqrt {\left({\frac {D(y,z)}{D(u,v)}}\right)^{2}+\left({\frac {D(z,x)}{D(u,v)}}\right)^{2}+\left({\frac {D(x,y)}{D(u,v)}}\right)^{2}}}}}

Здесь D (y , z) D (u , v) = | y u ′ y v ′ z u ′ z v ′ | , D (z , x) D (u , v) = | z u ′ z v ′ x u ′ x v ′ | , D (x , y) D (u , v) = | x u ′ x v ′ y u ′ y v ′ | {\displaystyle {\frac {D(y,z)}{D(u,v)}}={\begin{vmatrix}y"_{u}&y"_{v}\\z"_{u}&z"_{v}\end{vmatrix}},\quad {\frac {D(z,x)}{D(u,v)}}={\begin{vmatrix}z"_{u}&z"_{v}\\x"_{u}&x"_{v}\end{vmatrix}},\quad {\frac {D(x,y)}{D(u,v)}}={\begin{vmatrix}x"_{u}&x"_{v}\\y"_{u}&y"_{v}\end{vmatrix}}} .

Все производные берутся в точке (x 0 , y 0 , z 0) {\displaystyle (x_{0},y_{0},z_{0})} .

Кривизна

Для разных направлений в заданной точке поверхности получается разная кривизна нормального сечения, которая называется нормальной кривизной ; ей приписывается знак плюс, если главная нормаль кривой идёт в том же направлении, что и нормаль к поверхности, или минус, если направления нормалей противоположны.

Вообще говоря, в каждой точке поверхности существуют два перпендикулярных направления e 1 {\displaystyle e_{1}} и e 2 {\displaystyle e_{2}} , в которых нормальная кривизна принимает минимальное и максимальное значения; эти направления называются главными . Исключение составляет случай, когда нормальная кривизна по всем направлениям одинакова (например, у сферы или на торце эллипсоида вращения), тогда все направления в точке - главные.

Поверхности с отрицательной (слева), нулевой (в центре) и положительной (справа) кривизной.

Нормальные кривизны в главных направлениях называются главными кривизнами ; обозначим их κ 1 {\displaystyle \kappa _{1}} и κ 2 {\displaystyle \kappa _{2}} . Величина:

K = κ 1 κ 2 {\displaystyle K=\kappa _{1}\kappa _{2}}

Уравнение нормальной плоскости

1.

4.

Касательная плоскость и нормаль к поверхности

Пусть дана некоторая поверхность, A — фиксированная точка поверхности и B — переменная точка поверхности,

(рис. 1).

Ненулевой вектор

n
называется нормальным вектором к поверхности в точке A , если


lim
B → A
j =
π
2
.

Точка поверхности F (x , y , z) = 0 называется обыкновенной , если в этой точке

  1. частные производные F " x , F " y , F " z непрерывны;
  2. (F " x )2 + (F " y )2 + (F " z )2 ≠ 0 .

При нарушении хотя бы одного из этих условий точка поверхности называется особой точкой поверхности .

Теорема 1. Если M (x 0 , y 0 , z 0 ) — обыкновенная точка поверхности F (x , y , z) = 0 , то вектор

n
= grad F (x 0 , y 0 , z 0 ) = F " x (x 0 , y 0 , z 0 )
i
+ F " y (x 0 , y 0 , z 0 )
j
+ F " z (x 0 , y 0 , z 0 )
k
(1)

является нормальным к этой поверхности в точке M (x 0 , y 0 , z 0 ) .

Доказательство приведено в книге И.М. Петрушко, Л.А. Кузнецова, В.И. Прохоренко, В.Ф. Сафонова ``Курс высшей математики: Интегральное исчисление. Функции нескольких переменных. Дифференциальные уравнения. М.: Изд-во МЭИ, 2002 (стр. 128).

Нормалью к поверхности в некоторой ее точке называется прямая, направляющий вектор которой является нормальным к поверхности в этой точке и которая проходит через эту точку.

Канонические уравнения нормали можно представить в виде

x − x 0
F " x (x 0 , y 0 , z 0 )
=
y − y 0
F " y (x 0 , y 0 , z 0 )
=
z − z 0
F " z (x 0 , y 0 , z 0 )
.
(2)

Касательной плоскостью к поверхности в некоторой точке называется плоскость, которая проходит через эту точку перпендикулярно нормали к поверхности в этой точке.

Из этого определения следует, что уравнение касательной плоскости имеет вид:

(3)

Если точка поверхности является особой, то в этой точке нормальный к поверхности вектор может не существовать, и, следовательно, поверхность может не иметь нормали и касательной плоскости.

Геометрический смысл полного дифференциала функции двух переменных

Пусть функция z = f (x , y) дифференцируема в точке a (x 0 , y 0 ) . Ее графиком является поверхность

f (x , y) − z = 0.

Положим z 0 = f (x 0 , y 0 ) . Тогда точка A (x 0 , y 0 , z 0 ) принадлежит поверхности.

Частные производные функции F (x , y , z) = f (x , y) − z суть

F " x = f " x , F " y = f " y , F " z = − 1

и в точке A (x 0 , y 0 , z 0 )

  1. они непрерывны;
  2. F "2 x + F "2 y + F "2 z = f "2 x + f "2 y + 1 ≠ 0 .

Следовательно, A — обыкновенная точка поверхности F (x , y , z) и в этой точке существует касательная плоскость к поверхности. Согласно (3), уравнение касательной плоскости имеет вид:

f " x (x 0 , y 0 ) (x − x 0 ) + f " y (x 0 , y 0 ) (y − y 0 ) − (z − z 0 ) = 0.

Вертикальное смещение точки на касательной плоскости при переходе из точки a (x 0 , y 0 ) в произвольную точку p (x , y) есть B Q (рис. 2). Соответствующее приращение аппликаты есть

(z − z 0 ) = f " x (x 0 , y 0 ) (x − x 0 ) + f " y (x 0 , y 0 ) (y − y 0 )

Здесь в правой части стоит дифференциалd z функции z = f (x , y) в точке a (x 0 , x 0 ). Следовательно,
d f (x 0 , y 0 ). есть приращение аппликаты точки плоскости касательной к графику функции f (x , y) в точке (x 0 , y 0 , z 0 = f (x 0 , y 0 )).

Из определения дифференциала следует, что расстояние между точкой P на графике функции и точкой Q на касательной плоскости есть бесконечно малая более высокого порядка, чем расстояние от точки p до точки a .

Графиком функции 2-х переменных z = f(x,y) является поверхность, проектирующаяся на плоскость XOY в область определения функции D.
Рассмотрим поверхность σ , заданную уравнением z = f(x,y) , где f(x,y) – дифференцируемая функция, и пусть M 0 (x 0 ,y 0 ,z 0) – фиксированная точка на поверхности σ , т.е. z 0 = f(x 0 ,y 0). Назначение . Онлайн-калькулятор предназначен для нахождения уравнения касательной плоскости и нормали к поверхности . Решение оформляется в формате Word . Если необходимо найти уравнение касательной к кривой (y = f(x)), то необходимо использовать данный сервис .

Правила ввода функций :

Правила ввода функций :

  1. Все переменные выражаются через x,y,z

Касательной плоскостью к поверхности σ в её точке М 0 называется плоскость, в которой лежат касательные ко всем кривым, проведённым на поверхности σ через точку М 0 .
Уравнение касательной плоскости к поверхности, заданной уравнением z = f(x,y) , в точке M 0 (x 0 ,y 0 ,z 0) имеет вид:

z – z 0 = f’ x (x 0 ,y 0)(x – x 0) + f’ y (x 0 ,y 0)(y – y 0)


Вектор называется вектором нормали к поверхности σ в точке М 0 . Вектор нормали перпендикулярен касательной плоскости.
Нормалью к поверхности σ в точке М 0 называется прямая, проходящая через эту точку и имеющая направление вектора N.
Канонические уравнения нормали к поверхности, заданной уравнением z = f(x,y) , в точке M 0 (x 0 ,y 0 ,z 0), где z 0 = f(x 0 ,y 0), имеют вид:

Пример №1 . Поверхность задана уравнением x 3 +5y . Найти уравнение касательной плоскости к поверхности в точке M 0 (0;1).
Решение . Запишем уравнения касательной в общем виде: z - z 0 = f" x (x 0 ,y 0 ,z 0)(x - x 0) + f" y (x 0 ,y 0 ,z 0)(y - y 0)
По условию задачи x 0 = 0 , y 0 = 1 , тогда z 0 = 5
Найдем частные производные функции z = x^3+5*y:
f" x (x,y) = (x 3 +5 y)" x = 3 x 2
f" x (x,y) = (x 3 +5 y)" y = 5
В точке М 0 (0,1) значения частных производных:
f" x (0;1) = 0
f" y (0;1) = 5
Пользуясь формулой, получаем уравнение касательной плоскости к поверхности в точке М 0: z - 5 = 0(x - 0) + 5(y - 1) или -5 y+z = 0

Пример №2 . Поверхность задана неявным образом y 2 -1/2*x 3 -8z. Найти уравнение касательной плоскости к поверхности в точке M 0 (1;0;1).
Решение . Находим частные производные функции . Поскольку функция задана в неявном виде, то производные ищем по формуле:

Для нашей функции:

Тогда:

В точке М 0 (1,0,1) значения частных производных:
f" x (1;0;1) = -3 / 16
f" y (1;0;1) = 0
Пользуясь формулой, получаем уравнение касательной плоскости к поверхности в точке М 0: z - 1 = -3 / 16 (x - 1) + 0(y - 0) или 3 / 16 x+z- 19 / 16 = 0

Пример . Поверхность σ задана уравнением z = y/x + xy – 5x 3 . Найти уравнение касательной плоскости и нормали к поверхности σ в точке М 0 (x 0 , y 0 , z 0), принадлежащей ей, если x 0 = –1, y 0 = 2.
Найдем частные производные функции z = f (x , y ) = y/x + xy – 5x 3:
f x ’(x , y ) = (y/x + xy – 5x 3)’ x = – y/x 2 + y – 15x 2 ;
f y ’ (x , y ) = (y/x + xy – 5x 3)’ y = 1/x + x .
Точка М 0 (x 0 , y 0 , z 0) принадлежит поверхности σ , поэтому можно вычислить z 0 , подставив заданные x 0 = –1 и y 0 = 2 в уравнение поверхности:

z = y/x + xy – 5x 3

z 0 = 2/(-1) + (–1) 2 – 5 (–1) 3 = 1.
В точке М 0 (–1, 2, 1) значения частных производных:
f x ’(М 0) = –1/(-1) 2 + 2 – 15(–1) 2 = –15; f y ’(М 0) = 1/(-1) – 1 = –2.
Пользуясь формулой (5) получаем уравнение касательной плоскости к поверхности σ в точке М 0:
z – 1= –15(x + 1) – 2(y – 2) z – 1= –15x – 15 – 2y + 4 15x + 2y + z + 10 = 0.
Пользуясь формулой (6) получаем канонические уравнения нормали к поверхности σ в точке М 0: .
Ответы: уравнение касательной плоскости: 15x + 2y + z + 10 = 0; уравнения нормали: .

Пример №1 . Дана функция z=f(x,y) и две точки А(х 0 , y 0) и В(х 1 ,y 1). Требуется: 1) вычислить значение z 1 функции в точке В; 2) вычислить приближенное значение z 1 функции в точке В исходя из значения z 0 функции в точке А, заменив приращение функции при переходе от точки А к точке В дифференциалом; 3) составить уравнение касательной плоскости к поверхности z = f(x,y) в точке C(x 0 ,y 0 ,z 0).
Решение.
Запишем уравнения касательной в общем виде:
z - z 0 = f" x (x 0 ,y 0 ,z 0)(x - x 0) + f" y (x 0 ,y 0 ,z 0)(y - y 0)
По условию задачи x 0 = 1, y 0 = 2, тогда z 0 = 25
Найдем частные производные функции z = f(x,y)x^2+3*x*y*+y^2:
f" x (x,y) = (x 2 +3 x y +y 2)" x = 2 x+3 y 3
f" x (x,y) = (x 2 +3 x y +y 2)" y = 9 x y 2
В точке М 0 (1,2) значения частных производных:
f" x (1;2) = 26
f" y (1;2) = 36
Пользуясь формулой, получаем уравнение касательной плоскости к поверхности в точке М 0:
z - 25 = 26(x - 1) + 36(y - 2)
или
-26 x-36 y+z+73 = 0

Пример №2 . Написать уравнения касательной плоскости и нормали к эллиптическому параболоиду z = 2x 2 + y 2 в точке (1;-1;3).

В некоторой точке и имеет в ней непрерывные частные производные, по крайней мере одна из которых не обращается в нуль, то в окрестности этой точки поверхность, заданная уравнением (1), будет правильной поверхностью .

Помимо указанного выше неявного способа задания поверхность может быть определена явно , если одну из переменных, например z, можно выразить через остальные:

Также существует параметрический способ задания. В этом случае поверхность определяется системой уравнений:

Понятие о простой поверхности

Более точно, простой поверхностью называется образ гомеоморфного отображения (то есть взаимно однозначного и взаимно непрерывного отображения) внутренности единичного квадрата. Этому определению можно дать аналитическое выражение.

Пусть на плоскости с прямоугольной системой координат u и v задан квадрат , координаты внутренних точек которого удовлетворяют неравенствам 0 < u < 1, 0 < v < 1. Гомеоморфный образ квадрата в пространстве с прямоугольной системой координат х, у, z задаётся при помощи формул х = x(u, v), у = y(u, v), z = z(u, v) (параметрическое задание поверхности). При этом от функций x(u, v), y(u, v) и z(u, v) требуется, чтобы они были непрерывными и чтобы для различных точек (u, v) и (u", v") были различными соответствующие точки (x, у, z) и (x", у", z").

Примером простой поверхности является полусфера. Вся же сфера не является простой поверхностью . Это вызывает необходимость дальнейшего обобщения понятия поверхности.

Подмножество пространства, у каждой точки которого есть окрестность, являющаяся простой поверхностью , называется правильной поверхностью .

Поверхность в дифференциальной геометрии

Геликоид

Катеноид

Метрика не определяет однозначно форму поверхности. Например, метрика геликоида и катеноида , параметризованных соответствующим образом, совпадает, то есть между их областями существует соответствие, сохраняющее все длины (изометрия). Свойства, сохраняющиеся при изометрических преобразованиях, называются внутренней геометрией поверхности. Внутренняя геометрия не зависит от положения поверхности в пространстве и не меняется при её изгибании без растяжения и сжатия (например, при изгибании цилиндра в конус).

Метрические коэффициенты определяют не только длины всех кривых, но и вообще результаты всех измерений внутри поверхности (углы, площади, кривизна и др.). Поэтому всё, что зависит только от метрики, относится к внутренней геометрии.

Нормаль и нормальное сечение

Векторы нормали в точках поверхности

Одной из основных характеристик поверхности является её нормаль - единичный вектор, перпендикулярный касательной плоскости в заданной точке:

.

Знак нормали зависит от выбора координат.

Сечение поверхности плоскостью, содержащей нормаль (в данной точке), образует некоторую кривую на поверхности, которая называется нормальным сечением поверхности. Главная нормаль для нормального сечения совпадает с нормалью к поверхности (с точностью до знака).

Если же кривая на поверхности не является нормальным сечением, то её главная нормаль образует с нормалью поверхности некоторый угол θ . Тогда кривизна k кривой связана с кривизной k n нормального сечения (с той же касательной) формулой Мёнье :

Координаты орта нормали для разных способов задания поверхности приведены в таблице:

Координаты нормали в точке поверхности
неявное задание
явное задание
параметрическое задание

Кривизна

Для разных направлений в заданной точке поверхности получается разная кривизна нормального сечения, которая называется нормальной кривизной ; ей приписывается знак плюс, если главная нормаль кривой идёт в том же направлении, что и нормаль к поверхности, или минус, если направления нормалей противоположны.

Вообще говоря, в каждой точке поверхности существуют два перпендикулярных направления e 1 и e 2 , в которых нормальная кривизна принимает минимальное и максимальное значения; эти направления называются главными . Исключение составляет случай, когда нормальная кривизна по всем направлениям одинакова (например, у сферы или на торце эллипсоида вращения), тогда все направления в точке - главные.

Поверхности с отрицательной (слева), нулевой (в центре) и положительной (справа) кривизной.

Нормальные кривизны в главных направлениях называются главными кривизнами ; обозначим их κ 1 и κ 2 . Величина:

K = κ 1 κ 2

называется гауссовой кривизной , полной кривизной или просто кривизной поверхности. Встречается также термин скаляр кривизны , который подразумевает результат свёртки тензора кривизны ; при этом скаляр кривизны вдвое больше, чем гауссова кривизна.

Гауссова кривизна может быть вычислена через метрику, и поэтому она является объектом внутренней геометрии поверхностей (отметим, что главные кривизны к внутренней геометрии не относятся). По знаку кривизны можно классифицировать точки поверхности (см. рисунок). Кривизна плоскости равна нулю. Кривизна сферы радиуса R всюду равна . Существует и поверхность постоянной отрицательной кривизны - псевдосфера .

Геодезические линии, геодезическая кривизна

Кривая на поверхности называется геодезической линией , или просто геодезической , если во всех её точках главная нормаль к кривой совпадает с нормалью к поверхности. Пример: на плоскости геодезическими будут прямые и отрезки прямых, на сфере - большие круги и их отрезки.

Эквивалентное определение: у геодезической линии проекция её главной нормали на соприкасающуюся плоскость есть нулевой вектор. Если кривая не является геодезической, то указанная проекция ненулевая; её длина называется геодезической кривизной k g кривой на поверхности. Имеет место соотношение:

,

где k - кривизна данной кривой, k n - кривизна её нормального сечения с той же касательной.

Геодезические линии относятся к внутренней геометрии. Перечислим их главные свойства.

  • Через данную точку поверхности в заданном направлении проходит одна и только одна геодезическая.
  • На достаточно малом участке поверхности две точки всегда можно соединить геодезической, и притом только одной. Пояснение: на сфере противоположные полюса соединяет бесконечное количество меридианов, а две близкие точки можно соединить не только отрезком большого круга, но и его дополнением до полной окружности, так что однозначность соблюдается только в малом.
  • Геодезическая является кратчайшей. Более строго: на малом куске поверхности кратчайший путь между заданными точками лежит по геодезической.

Площадь

Ещё один важный атрибут поверхности - её площадь , которая вычисляется по формуле: