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

Вектор градиента как вектор нормали

Математический аппарат для поиска касательных опирается на дифференциальное исчисление функций многих переменных. Пусть пространственная поверхность задана неявным алгебраическим уравнением F(x, y, z) = 0. Вычислим частные производные этой функции по каждой координате (dF/dx, dF/dy, dF/dz) и подставим в них координаты интересующей нас точки M0(x0; y0; z0). Полученная тройка чисел образует вектор, называемый градиентом функции F в точке M0. Величайший геометрический смысл градиента заключается в том, что он абсолютно всегда направлен строго перпендикулярно линиям (или поверхностям) уровня функции. Следовательно, вычисленный вектор градиента является идеальным вектором нормали к искомой касательной плоскости в заданной точке.

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

Зная вектор нормали N = (dF/dx; dF/dy; dF/dz) и точку касания M0, мы можем немедленно записать классическое уравнение плоскости. Уравнение касательной плоскости принимает изящный симметричный вид: (dF/dx)*(x - x0) + (dF/dy)*(y - y0) + (dF/dz)*(z - z0) = 0 (все производные вычислены строго в точке M0). Если поверхность была задана не неявно, а явной функцией z = f(x, y) (как рельеф горы над картой), то уравнение касательной плоскости легко преобразуется. Перенеся все в одну сторону (f(x, y) - z = 0), мы получаем производную по z равную -1. Тогда уравнение касательной переписывается в удобном для физики виде: z - z0 = (df/dx)*(x - x0) + (df/dy)*(y - y0), что является точным трехмерным аналогом уравнения касательной прямой (y - y0 = y'*(x - x0)) из двумерного матанализа.

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

Нормаль к поверхности — это прямая линия, проходящая через точку касания строго перпендикулярно касательной плоскости. Поскольку мы уже выяснили, что градиент функции F(x, y, z) является вектором нормали к плоскости, он же становится направляющим вектором для искомой прямой линии нормали. Используя каноническое уравнение прямой в пространстве, мы записываем двойную пропорцию для нормали: (x - x0) / (dF/dx) = (y - y0) / (dF/dy) = (z - z0) / (dF/dz). Знание направления этой пространственной нормали критически важно при расчете траекторий преломления света (по закону Снеллиуса), где углы падения и преломления отсчитываются именно от этой воображаемой перпендикулярной линии.

Особые точки поверхности (Сингулярности)

Приведенные алгебраические формулы касательной плоскости и нормали работают безупречно, за одним важным исключением. Что произойдет, если в выбранной точке M0 все три частные производные (весь вектор градиента) одновременно обратятся в ноль? Вектор нормали станет нулевым, и составить уравнение плоскости будет невозможно. Такие точки называются особыми (или сингулярными) точками поверхности. Геометрически они представляют собой острые пики, ребра разлома или вершины конусов, в которых поверхность теряет свою гладкость, и провести единственную касательную плоскость к ним физически невозможно. Анализ таких сингулярностей (где градиент обнуляется) требует применения более глубоких методов алгебраической геометрии и исследования матрицы Гессе (вторых производных).