‹-- Назад
Свойства градиента и производной по направлению
Напомним, что для скалярного произведения двух векторов
и
выполнеяется равенство


























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












Тогда при её линия уровня
представляет собой пустое множество, так как при всех
верно неравенство

При линия уровня состоит из одной точки
, так как равенство


При уравнение






При увеличении











Заметим, что если функция задана в области
, то через каждую точку
области
проходит некоторая поверхность уровня (а именно, поверхность уровня
). Поверхности уровня, соответствующие разным значениям
, не пересекаются друг с другом. (Действительно, если бы поверхности
и
, где
, пересекались в некоторой точке
, то функция
принимала бы в точке
, с одной стороны, значение
, а с другой стороны -- значение
, что невозможно.)
Итак, при передвижении точки по поверхности уровня функции
значения
не изменяются. Если поверхность уровня представляет собою плоскость
, то вдоль любой оси
, лежащей в этой плоскости, производная по направлению
будет равняться 0, так как во всех точках оси функция
принимает одно и то же значение
. Значит, вектор
, вычисленный в любой точке этой плоскости, ей перпендикулярен.
Так же обстоит дело и в случае, когда поверхность уровня -- это не обязательно плоскость (но произвольная поверхность): в этом случае градиент оказывается перпендикулярным к касательной плоскости, проведённой к этой поверхности уровня.
Наводящие соображения при этом таковы. Во всех точках поверхности значение функции
постоянно и равно
. Рассмотрим поверхность близкого уровня
:
. Тогда разность значений функции
в точках поверхностей
и
постоянна и равна
. Рассмотрим произвольную ось
, проходящую через точку
. Эта ось пересекает поверхность
в некоторой точке
.
Тогда










С другой стороны, направление, в котором производная максимальна -- это направление вектора
. Значит, направление вектора
перпендикулярно касательной плоскости
, что и требовалось получить.
Более точную формулировку даёт следующая









Доказательство. Если , то утверждение теоремы верно. Предположим теперь, что
. Значит, хотя бы одна из компонент градиента отлична от 0; предположим для определённости, что это
. Тогда, согласно теореме о неявной функции, из уравнения



















где













Поскольку для функции







