3. Геометрический смысл условия дифференцируемости функции двух переменных.
В случае функции
двух переменных условие дифференцируемости может быть иллюстрировано геометрически. Введем понятие касательной плоскости к поверхности в точке.
Плоскость П, проходящая через точку
поверхности, называется касательной плоскостью в этой точке, если угол между этой плоскостью и секущей, проходящей через точку
и любую точку
поверхности, стремится к нулю, когда точка
стремится к
(рис. 12.3).
Если в точке
существует касательная плоскость, то очевидно, что касательная в точке
о к любой кривой расположенной на поверхности и проходящей через
лежит в указанной плоскости.
Рис. 12.3
Убедимся, что из условия дифференцируемости функции
в данной точке
вытекает существование касательной плоскости к графику
этой функции в точке
Положим
где
Очевидно, условие (12.14) дифференцируемости в рассматриваемом случае можно записать следующим образом:
где А и В — постоянные, равные частным производным
в точке
— бесконечно малые при
функции
Рассмотрим следующее уравнение:
Из аналитической геометрии известно, что это уравнение определяет в декартовой системе координат
некоторую плоскость П, проходящую через точку
и имеющую нормальный вектор
Докажем, что эта плоскость П является касательной плоскостью в точке
поверхности
Для этого достаточно убедиться, что: 1) плоскость П проходит через точку
поверхности
и 2) угол
между нормалью
этой плоскости и любой секущей
стремится к
когда точка
поверхности
стремится к точке
Утверждение 1) очевидно. Перейдем к доказательству утверждения 2). Вычислим косинус угла
воспользовавшись известной формулой для косинуса угла между двумя векторами. Так как координаты вектора
равны А, В, —1, а координаты вектора
секущей равны
(см. рис. 12.3), то
Из условия дифференцируемости функции
вытекает, что
Поэтому
когда
т. е.
Утверждение 2) доказано.
Таким образом, дифференцируемость функции
в точке
с геометрической точки зрения означает наличие касательной плоскости к графику функции
в точке
Так как коэффициенты А и В равны соответственно частным производным, вычисленным в точке
то уравнение касательной плоскости может быть записано в виде
Нормальный вектор
касательной плоскости принято называть нормалью к поверхности
в точке