§ 6. Касательная плоскость и нормаль к поверхности
Пусть имеем поверхность, заданную уравнением вида
Введем следующее определение.
Определение 1. Прямая линия называется касательной к поверхности в некоторой точке , если она является
касательной к какой-либо кривой, лежащей на поверхности и проходящей через точку .
Так как через точку Р проходит бесконечное число различных кривых, лежащих на поверхности, то и касательных к поверхности, проходящих через эту точку, будет, вообще говоря, бесконечное множество.
Введем понятие об особых и обыкновенных точках поверхности
Если в точке все три производные равны нулю или хотя бы одна из этих производных не существует, то точка М называется особой точкой поверхности. Если в точке все три производные существуют и непрерывны, причем хотя бы одна из них отлична от нуля, то точка М называется обыкновенной точкой поверхности.
Теперь мы можем сформулировать следующую теорему.
Теорема. Все касательные прямые к данной поверхности (1) в ее обыкновенной точке Р лежат в одной плоскости.
Рис. 206.
Доказательство. Рассмотрим на поверхности некоторую линию L (рис. 206), проходящую через данную точку Р поверхности. Пусть рассматриваемая кривая задана параметрическими уравнениями
Касательная к кривой будет касательной к поверхности. Уравнения этой касательной имеют вид
Если выражения (2) подставить в уравнение (1), то это уравнение превратится в тождество относительно t, так как кривая (2) лежит на поверхности (1). Дифференцируя его по получим
Рассмотрим, далее, векторы N и проходящие через точку Р:
Проекции этого вектора зависят от - координат точки Р; заметим, что так как точка Р обыкновенная, то эти проекции в точке Р одновременно не обращаются в нуль и потому
Вектор
касательный к кривой, проходящей через точку Р и лежащей на поверхности. Проекции этого вектора вычисляются на основании уравнений (2) при значении параметра t, соответствующем точке Р.
Вычислим скалярное произведение векторов N и которое равно сумме произведений одноименных проекций:
На основании равенства (3) выражение, стоящее в правой части, равно нулю, следовательно,
Из последнего равенства следует, что вектор ЛГ и касательный вектор к кривой (2) в точке Р перпендикулярны. Проведенное рассуждение справедливо для любой кривой (2), проходящей через точку Р и лежащей на поверхности. Следовательно, каждая касательная к поверхности в точке Р перпендикулярна к одному и тому же вектору N и потому все эти касательные лежат в одной плоскости, перпендикулярной к вектору ЛГ. Теорема доказана.
Определение 2. Плоскость, в которой расположены все касательные прямые к линиям на поверхности, проходящим через данную ее точку Р, называется касательной плоскостью к поверхности в точке Р (рис. 207).
Рис. 207.
Заметим, что в особых точках поверхности может не существовать касательной плоскости. В таких точках касательные прямые к поверхности могут не лежать в одной плоскости. Так, например, вершина конической поверхности является особой точкой.
Касательные к конической поверхности в этой точке не лежат в одной плоскости (они сами образуют коническую поверхность).
Напишем уравнение касательной плоскости к поверхности (1) в обыкновенной точке. Так как эта плоскость перпендикулярна вектору (4), то, следовательно, ее уравнение имеет вид
Если уравнение поверхности задано в форме или уравнение касательной плоскости в этом случае примет вид
Замечание. Если в формуле (6) положим , то эта формула примет вид
ее правая часть представляет собой полный дифференциал функции . Следовательно, . Таким образом, полный дифференциал функции двух переменных в точке соответствующий приращениям независимых переменных х и у, равен соответствующему приращению аппликаты касательной плоскости к поверхности, которая является графиком данной функции.
О пределение 3. Прямая, проведенная через точку поверхности (1) перпендикулярно к касательной плоскости, называется нормалью к поверхности (рис. 207).
Напишем уравнения нормали. Так как ее направление совпадает с направлением вектора N, то ее уравнения будут иметь вид
Если уравнение поверхности задано в форме или , то уравнения нормали имеют вид
Замечание. Пусть поверхность есть поверхность уровня для некоторой функции трех переменных , т. е.
Очевидно, что вектор N, определенный формулой (4), направленный