SalimovRB_matematika_gl_1-20_2011_web
.pdfz |
U |
U |
|
z |
U |
U |
|
x |
e |
sinV y e |
cosV 2x, |
y |
e |
sinV x e |
cosV 2 y. |
Пусть теперь в формуле (20) U и V зависят лишь от x, т. е.
z F U , V , |
U x , |
V x . |
(27) |
Здесь U , V – функции одного аргумента x, |
поэтому в конечном счёте z |
тоже |
будет функцией одного аргумента x. При этом для производной по x остаётся в силе первая формула (26) (так как все предыдущие утверждения сохра-
няют силу), но только производные по x |
от U , V , |
z будут не частными, а |
||||||||
обычными производными. В результате будем иметь |
|
|
|
|
||||||
dz |
|
F U, V |
dU |
F U, V |
|
dV . |
(28) |
|||
dx |
|
|
|
|||||||
|
U |
|
dx |
V |
dx |
|
||||
Пусть в (27) U x, т. е. |
|
|
|
|
|
|
|
|
|
|
|
|
z F x, V , V x . |
|
(29) |
||||||
Тогда для производной zx формула (28) примет вид |
|
|
|
|
||||||
|
|
dz |
F x, V |
|
F x, V |
dV . |
(30) |
|||
|
|
|
V |
|||||||
|
|
dx |
|
x |
dx |
|
Заметим, что в этой формуле слева стоит полная производная dzdx , а справа – частная производная F / x z / x.
Пример 2. Дана функция |
z x2 eV , V cos x. |
По формуле |
(30) имеем |
||||||
dz / dx 2x eV ( sin x) 2x ecos x ( sin x). |
|
|
|
|
|
|
|||
Если z F U1, U2 ,..., Un , U1 |
1 x , |
U2 2 x , … , Un n x , |
то, поступив |
||||||
аналогично предыдущему, придём к формуле |
|
|
|
||||||
dz |
F |
dU1 |
|
F |
dU2 ... |
F |
dUn . |
|
|
|
U2 |
Un |
|
||||||
dx |
U1 |
dx |
|
dx |
dx |
|
§ 12. Дифференцирование функций, заданных неявно
Дано соотношение |
|
|
|
F x, y 0, |
(31) |
в котором F x, y есть известное выражение, содержащее x, y. |
Это соотноше- |
|
ние определяет неявную функцию y x . |
Нужно найти производную yx |
|
этой функции. Запишем соотношение (31), |
обозначив левую часть через t : |
171
5354.ru
t F x, y 0, где y x . Возьмём производную по x от функции t F x, y , в которой y x , при этом учтем, что t – функция от x. Запишем эту произ-
водную по формуле (30), заменив V |
на y и z на t : |
|||||
|
dt |
|
F |
|
F |
dy . |
|
dx |
x |
y |
|||
|
|
|
dx |
Так как t 0 при любом x , то и её производная будет тождественно равна нулю, т. е. Отсюда найдем производную
dy |
|
F x . |
(32) |
dx |
|
F y |
|
Эту формулу с помощью других символов производной можно записать так:
dy |
|
Fx x, y |
. |
(33) |
|
dx |
Fy x, y |
||||
|
|
|
|||
Рассмотрим теперь функцию z двух переменных x |
и y , заданную неявно |
||||
соотношением |
|
|
|
|
|
F x, y, z 0. |
(34) |
Нам необходимо найти частные производные z x и z y , зная лишь (34). В соотношении (34) положим y const. Тогда функция z будет зависеть лишь от x. Таким образом, мы оказываемся в той же ситуации, что и ранее (когда было задано соотношение (31)), только теперь роль y играет z, так как z – функция от x. Производную zx можем вычислить по формуле (32), в которой
вместо y должны взять z. Получим |
z |
F |
x , но производная |
z |
здесь |
||
|
x |
|
|
F |
z |
x |
|
|
|
|
|
|
|
||
частная производная, так как считаем, что y const. Итак, |
|
|
|||||
|
|
|
z |
|
F x . |
|
(35) |
|
|
|
x |
|
F z |
|
|
Аналогично найдём |
|
|
|
|
|
|
|
|
|
|
z |
|
F y . |
|
(36) |
|
|
|
y |
|
|||
|
|
|
|
F z |
|
|
В формулах (35) и (36) в правых частях можно использовать и другие обозначения частных производных, тогда получим
172
5354.ru
|
|
|
|
z |
|
Fx x, y, z |
, |
z |
|
Fy x, y, z |
. |
(37) |
||||||||
|
|
|
|
x |
Fz x, y, |
z |
y |
Fz x, y, z |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
Здесь в правой части z |
есть значение, отвечающее паре x, y |
согласно (34). |
||||||||||||||||||
Пример. Пусть z – функция двух аргументов, заданная соотношением |
||||||||||||||||||||
|
|
|
|
|
|
|
exy 2z 2 ez |
0. |
|
|
|
|
(38) |
|||||||
Здесь F x, y, z exy 2z 2 ez . По формулам (35) и (36) имеем |
|
|
|
|||||||||||||||||
z |
|
exy y |
, |
|
|
|
|
|
|
|
z |
|
exy x |
. |
|
|
|
|||
|
|
|
|
|
|
|
y |
z |
|
|
|
|||||||||
x |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
2 ez |
|
|
|
|
|
|
|
|
2 e |
|
|
|
|||||||
Найдем, например, значение z / x |
при x 0 |
и |
y 0. Как видно из (38), паре |
|||||||||||||||||
чисел x 0, y 0 отвечает z 0, поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
z |
|
|
exy |
y |
|
|
0. |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
x |
x 0 |
2 e |
z |
|
x 0 |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
y 0 |
|
|
|
|
|
|
y 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z 0 |
|
|
|
|
|
|
|
|
|
§ 13. Частные производные высших порядков
Дана функция |
z f x, y . |
|
Пусть она имеет частные производные |
|||||||||||||||
z / x fx x, y , |
|
z / y f y x, y , |
при этом каждая из них в свою очередь есть |
|||||||||||||||
функция от x |
и |
y. |
Например, |
z |
|
x |
y |
, |
z / |
x |
3y |
x |
, |
z / |
y |
3x |
y |
. Поэтому от |
|
|
|
|
3 |
3 |
|
|
|
3 |
2 |
|
|
|
3 |
2 |
|
каждой из указанных частных производных в свою очередь можно взять частные производные как по x, так и по y, если они существуют. Эти произ-
водные называются вторыми частными производными или частными произ-
водными второго порядка от функции z f |
x, |
y и обозначаются так: |
|||||||||||||||||||||||
|
z |
|
2 z |
|
|
|
, |
|
|
z |
|
2 z |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
x2 |
zxx z |
2 |
fxx |
|
|
y2 |
zyy z |
2 |
fyy , |
|||||||||||||
|
x |
x |
|
|
x |
|
|
|
y |
y |
|
|
|
y |
|
|
|
||||||||
|
|
|
|
z |
2 z |
|
|
|
|
|
z |
|
|
2 z |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
x y |
zxy |
fxy |
|
|
|
|
y x |
zyx fyx . |
|
|||||||||||
|
|
|
y |
x |
|
|
|
|
|
x |
y |
|
|
|
|
|
|
|
В последних формулах на первом месте пишется та переменная, по которой вначале проводится дифференцирование.
В качестве примера найдём вторые производные функции z x3 y3. Снача-
ла находим zx' 3x2 y3, |
z'y 3x3 y2 , отсюда |
zxx'' 6xy3, |
z''yy 6 yx3, |
zxy'' 9x2 y2 , |
z''yx 9x2 y2. |
|
|
|
|
|
173 |
|
|
5354.ru |
|
|
|
|
Производные z"xy и z"yx называются смешанными производными функции
z f x, y . В рассматриваемом примере fxy fyx |
и это оказывается не случай- |
|
но. |
|
|
Теорема 2. Если для функции z f x, y |
её смешанные |
производные |
fxy x, y и fyx x, y непрерывны, то они равны друг другу, т. е. fxy |
fyx . |
|
Принимается без доказательства. |
|
|
Поскольку вторые частные производные функции z f x, y |
в свою оче- |
редь являются функциями от x и y, от них можно снова взять частные производные как по x, так и по y, если они существуют. Продолжив этот процесс, можем найти производные любого n -го порядка этой функции. Они обозна-
чаются n z xn |
(когда мы дифференцируем n |
раз по |
x ). Если вначале n k |
|||||||||
раз дифференцируем по |
x , |
а затем k раз – |
по y , |
то обозначаем это как |
||||||||
n z |
xn k yk . Если дифференцируем вначале k |
раз по |
x , а затем n k раз – по |
|||||||||
|
то получим |
|
z |
x |
y |
|
. |
Если дифференцируем |
n раз по |
|
, то пишем |
|
y, |
|
n |
|
|
k |
n k |
|
|
|
|
y |
|
n z yn .
§14. Экстремумы и необходимые признаки экстремума функции двух переменных
Пусть (x0 , y0 ) – внутренняя точка области определения функции f (x, y).
Точка x0 , y0 называется точкой максимума функции |
z f x, y , если значе- |
|||
ние функции в этой точке больше ее значений |
|
|||
в любой точке (x, y) |
некоторой малой окрестности точки (x0 , y0 ), отличной от |
|||
последней, |
то есть |
f (x0 , y0 ) f (x, y). График функции для точек, близких к |
||
точке x0 , y0 , может, например, иметь вид, показанный на рис. 94. |
||||
Точка |
x0 , y0 |
называется точкой минимума |
|
|
функции, если значение функции в этой точке |
|
|||
меньше ее значений в любой точке (x, y) некото- |
|
|||
рой малой окрестности точки (x0 , y0 ) , отличной от |
|
|||
последней, |
т. е. |
f (x0 , y0 ) f (x, y). График этой |
|
|
функции для точек, |
непосредственно близких к |
|
||
x0 , y0 , может иметь, в частности, форму чаши с |
Рис. 94 |
|||
|
|
|
|
174
5354.ru
дном, обращенным вниз. Например, 0, 0 – точка |
|
||||||
минимума функции z x2 |
y2 . В самом деле, значение |
|
|||||
функции в этой точке меньше её значений в любой |
|
||||||
другой точке x, y . График этой функции представ- |
|
||||||
лен на рис. 95. |
|
|
|
|
|
|
|
Точки максимума и минимума называются |
|
||||||
точками экстремума функции, а значения функции в |
|
||||||
них – экстремальными значениями (минимальными и |
Рис. 95 |
||||||
максимальными). |
|
|
|
|
|
|
|
Теорема 3. Если x0 , |
y0 – точка экстремума функции z f x, y , то в |
||||||
этой точке производные |
f (x, y) |
|
x x0 , |
f (x, y) |
|
равны нулю или не существу- |
|
|
|
||||||
x |
|
y |
x x0 |
||||
|
|
|
y y0 |
|
y y |
|
|
ют. |
|
|
|
|
0 |
|
|
|
|
|
x0 , y0 |
|
|
|
|
Доказательство. Дано, что |
есть |
точка |
экстремума функции |
||||
z f x, y . Это означает, что при фиксированном y y0 |
z f x, y0 – функция |
||||||
одного переменного x – |
в точке x x0 имеет экстремум. Следовательно, со- |
гласно необходимому признаку экстремума функции одной переменной, про-
изводная |
zx fx x, y0 в |
точке x x0 равна нулю или не существует. |
Однако |
|||||
последняя |
производная |
является |
частной производной |
по x |
от функции |
|||
z f x, y , |
так как y y0 . Итак, |
z / x f x, y0 / x при |
x x0 |
обращается в |
||||
нуль или не существует, следовательно, частная производная |
f x, |
y / x |
|
x x0 |
||||
|
||||||||
|
|
|
|
|
|
|
|
y y0 |
обращается в нуль или не существует. Аналогично можно показать, что част-
ная производная f x, y / y x x0 равна нулю или не существует.
y y0
Пример. Функция z f x, y x2 y2 |
имеет минимум в начале координат и |
её частные производные f x, y / x 2x, |
f x, y / y 2 y обращаются в нуль в |
точке 0, 0 . |
|
Точки, в которых обе частные производные функции z f (x, y) обращаются в нуль или не существуют, называются критическими точками. Согласно предыдущей теореме точка экстремума функции z f (x, y) является ее критической точкой. В то же время не всякая критическая точка является точкой экстремума.
175
5354.ru
Например, |
для функции z f x, y x2 |
y2 |
имеем f x, y / x 2x, |
f x, y / y 2 y. |
Обе эти производные в точке |
0, 0 |
обращаются в нуль, но |
она не является точкой экстремума рассматриваемой функции. В самом деле, эта функция в точке 0, 0 принимает значение, равное нулю. Но это значение
не является ни максимальным, ни минимальным, так как для всех точек оси Ox, для которых y 0, функция принима-ет значения
z x2 0, а для всех точек оси Oy, для которых x 0, |
|
|
функция принимает значения z y2 0. |
Иначе гово- |
|
ря, рассматриваемая функция вблизи |
точки 0, 0 |
|
принимает значения как большие, так и меньшие ну- |
|
|
ля. Поэтому её значение в точке 0, 0 , равное нулю, |
|
|
не является ни максимальным, ни минимальным. Это |
Рис. 96 |
очевидно геометрически, так как график рассматриваемой функции является гиперболическим параболоидом (рис. 96).
На вопрос, будет ли критическая точка точкой экстремума, отвечает достаточный признак экстремума функции двух переменных z f x, y .
§ 15. Достаточный признак экстремума Схема исследования на экстремум функции двух переменных
Теорема 4. Пусть x0 , y0
f (x, y) |
|
0, |
f (x, y) |
|
|
0. |
||||||
|
|
|||||||||||
x |
|
x x0 |
|
y |
|
|
x x0 |
|
|
|
|
|
|
|
y y0 |
|
|
|
|
|
y y |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
||
|
|
|
A |
|
2 |
f x, y |
|
|
||||
|
|
|
|
|
||||||||
|
|
|
|
|
x2 |
|
|
|
x x |
|||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
y y0 |
– критическая точка функции z f x, y , когда
Обозначим
, |
B |
2 |
f x, y |
|
|
, |
C |
2 |
f x, y |
|
. |
|
|
|
|||||||||
|
x y |
|
|
|
y2 |
|
|||||
|
|
|
|
x x |
|
|
|
|
x x |
||
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|
y y0 |
|
|
|
|
|
y y0 |
Тогда: |
|
|
|
|
если AC B2 |
0, |
то x0 , y0 есть точка экстремума функции z f x, y , |
причём точка максимума при A 0 и точка минимума при A 0; |
|||
|
если AC B2 |
0, |
то x0 , y0 не является точкой экстремума. |
|
если AC B2 0, то требуются дополнительные исследования. |
Теорема принимается без доказательства.
Из изложенного вытекает следующая схема исследования функции z f x, y на экстремум:
176
5354.ru
найти критические точки этой функции (т. е. точки x0 , y0 , в которых
первые частные производные функции обращаются в нуль или не существуют); каждую найденную критическую точку исследовать с помощью доста-
точного признака экстремума; |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
найти экстремальные значения функции z f (x, y) , подставив вместо x |
|||||||||||||||||
и y |
координаты точки максимума или минимума. |
|
|
|
||||||||||||||
|
Пример. |
Исследуем |
|
на |
|
экстремум |
|
функцию z f (x, y), где |
||||||||||
f x, y x3 y3 3xy. Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
z |
3x |
2 |
3y, |
z |
3y |
2 |
3x, |
2 z |
|
6x, |
|
2 z |
3, |
2 z |
6 y. |
||
|
x |
|
y |
|
x2 |
|
x y |
y2 |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Поступим согласно указанной выше схеме. |
|
|
|
|
|
|
|
|||||||||||
Найдем критические точки функции: |
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
2 |
3y 0, |
|
|
|
2 |
y 0, |
|
|
||||
|
|
|
|
|
3x |
|
|
|
x |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 0. |
|
|
||
|
|
|
|
|
3y2 3x 0, |
|
|
y2 |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Получили систему двух уравнений с двумя неизвестными для нахождения координат критических точек. Из второго уравнения выразим x y2 и подста-
вим в первое уравнение. Тогда y4 y 0 или |
y y 1 |
|
y2 y 1 |
0. |
Приравняв |
|
|
|
|
|
нулю первый, а затем второй множители (третий множитель в нуль не обращается), получим два корня: y1 0 и y2 1. Этим двум значениям отвечают соответствующие значения x1 0 и x2 1. Итак, получили две критические
точки 0; 0 и 1;1 .
С помощью достаточного признака экстремума нужно исследовать каждую из этих критических точек. Исследуем сначала вторую точку 1;1 .
Здесь имеем
A |
2 |
f x, y |
|
|
|
|
6x |
|
|
6, B |
|
2 f x, y |
|
3, |
||||||
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
||||||||||||||
|
x2 |
|
|
|
x 1 |
|
x 1 |
|
x y |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x 1 |
||||||
|
|
|
|
|
|
y |
1 |
|
|
|
|
|
|
|
|
|
|
|
y 1 |
|
|
|
|
C |
|
2 f x, y |
|
6y |
|
|
6. |
|
|
||||||||
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
y2 |
|
|
|
|
y 1 |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x 1 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y 1 |
|
|
|
|
|
|
Таким образом, AC B2 27 0, |
следовательно, точка 1;1 – точка экстремума, |
|||||||||||||||||||
а именно, точка минимума, так как A 6 0 . |
|
|
|
|
|
|
177 |
5354.ru |
|
Найдём теперь минимальное значение функции в точке |
1;1 . Подставим |
||
координаты этой точки в выражение для функции z x3 y3 |
3xy и получим |
||
zmin z |
|
x 1 13 13 3 1. |
|
|
|
||
|
|
y 1 |
|
Другая критическая точка (0,0) исследуется аналогично. Она не является точкой экстремума.
§ 16. Нахождение наибольшего и наименьшего значений функции двух переменных в замкнутой области
Пусть в конечной области D с границей L плоскости Oxy задана непрерывная функция z f x, y и найдены значения функции в ее критических точках, лежащих в области D. Эти значения обозначим z1, z2 , ..., zn . Аналогич-
но случаю функции одного аргумента рассматриваемая функция своё наибольшее и наименьшее значения в области D может принять в точках её границы L. Поэтому при нахождении указанных значений надо рассматривать также значения функции в точках границы L области D и среди последних выделить наибольшее и наименьшее значения, которые обозначим соот-
ветственно M L , mL . С учетом теоремы 1 § 6 настоящей главы заключаем, что наибольшее значение функции z f x, y в замкнутой области D будет равно наибольшему из чисел z1, z2 , ..., zn , M L , а наименьшее значение – наименьшему
из чисел z1, z2 , ..., zn , mL .
Нахождение значений ML и mL сводится к отысканию наибольшего и наименьшего значений функции одного аргумента.
|
|
|
|
Проиллюстрируем сказанное на примере области D, |
||||||||||||||
|
|
|
|
граница L которой состоит из двух частей L1 |
и L2 , за- |
|||||||||||||
|
|
|
|
данных |
соответственно |
уравнениями |
|
y x , |
||||||||||
|
|
|
|
a x b, |
и x y , |
c y d, где x , |
x |
– одно- |
||||||||||
|
|
|
|
значные непрерывные функции (см. рис. 97). Здесь |
||||||||||||||
Рис. 97 |
|
|
|
(a) c, (b) d, |
c a, d b. Так как |
y |
x есть |
|||||||||||
|
|
|
ордината точки с абсциссой x кривой L1, значения |
|||||||||||||||
|
|
|
|
|||||||||||||||
функции f x, |
y |
|
на L1 |
представляют собой значения функции одного аргу- |
||||||||||||||
|
|
|
|
b. Аналогично значения функции f |
|
|
|
|
|
2 |
||||||||
мента f x, x |
, |
a x |
|
x, |
y |
|
на L есть |
|||||||||||
значения функции аргумента |
y : |
f y |
, y , |
c |
|
y |
|
d. |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
178
5354.ru
Пусть |
M L |
и mL |
– соответственно наибольшее и наименьшее значения |
|||
|
1 |
1 |
|
|
|
|
функции |
f x, x |
в интервале a x b, а |
M L |
и mL |
– соответственно |
|
|
|
|
|
2 |
2 |
|
наибольшее и наименьшее значения функции |
f y , y в интервале c y d. |
|||||
|
|
|
|
|
|
|
Эти числа находятся известным нам способом (§ 2 главы 7). Ясно, что mL есть наименьшее из чисел mL1 , mL2 , а ML – наибольшее из чисел M L1 и M L2 .
Аналогично поступаем в случае, когда кривую L можно разбить на части указанного вида, число которых больше двух.
Пример. Требуется найти наибольшее и наименьшее значения функции z x2 y2 в круге, ограниченном окружностью x2 y2 1.
Как уже отмечалось, эта функция, график которой изображен на рис. 96, не имеет экстремумов, так как ее единственная критическая точка (0,0) не яв-
ляется точкой экстремума (см. § 14). Следовательно, наибольшее и наименьшее значения она принимает в точках границы –
окружности x2 y2 1. |
Последнее уравнение запишем в виде |
|
y |
1 x2 при y 0; |
y 1 x2 при y 0. |
Эти уравнения определяют две полуокружности, из которых состоит исход-
ная окружность. В точках первой полуокружности ( y 0) |
функция z x2 y2 |
|
принимает значения z x2 (1 x2 ), т. е. z 2x2 1, |
1 x 1. |
Такие же значения |
эта функция принимает в точках второй полуокружности. Следовательно, достаточно найти наибольшее и наименьшее значения функции z 2x2 1 в интервале 1 x 1. Ее производная z 4x обращается в нуль при x 0, это единственная критическая точка рассматриваемой функции в интервале [ 1,1]. Она является точкой минимума согласно теореме 5 § 3 главы 7, так как z 4 0. Минимальное значение функции равно z |x 0 1. Ясно, что значения функции z 2x2 1 на концах интервала [ 1,1], равные 1, являются ее наибольшими значениями. Итак, наибольшее и наименьшие значения функции z x2 y2 в круге x2 y2 1 равны соответственно 1 и 1.
§ 17. Касательная плоскость и нормаль к поверхности
Прямая называется касательной к поверхности в точке P x, y, z этой по-
верхности, если указанная прямая является касательной в точке P к какойлибо линии, лежащей на поверхности и проходящей через точку P. Так как
179
5354.ru
через точку P проходит бесчисленное множество линий, лежащих на поверхности, то ясно, что касательных прямых к поверхности в точке P бесчисленное множество. В связи с этим докажем следующее утверждение.
Теорема 5. Пусть в пространстве Oxyz поверхность задана уравнением
F(x, y, z) 0 |
(39) |
и точка P с координатами x, y, z этой поверхности такова, что вычисленные в ней частные производные F / x, F / y, F / z от левой части уравне-
ния (39) не обращаются в нуль одновременно. Тогда все касательные прямые к поверхности в точке P лежат в одной плоскости.
Доказательство. Пусть поверхность, задан- |
|
|
ная уравнением (39), имеет вид, указанный на |
|
|
рис. 98. Пусть L – произвольная линия, лежащая |
|
|
на поверхности и проходящая через ее точку |
|
|
P x, y, z . Параметрические уравнения этой ли- |
Рис. 98 |
|
нии запишем так: |
||
|
||
x x t , |
y y t , z z t . (40) |
(здесь t – параметр). От параметрических уравнений L перейдём к векторному уравнению r r(t), где r xi y j zk,
|
r t x t |
i y t j z t k. |
|
|
|
|
(41) |
||
Здесь r r(t) – радиус-вектор точки P x, y, z . |
Мы знаем, что производная от |
||||||||
функции (41), r t x t i y t j z t k, вычисленная для точки P, |
|
отвечаю- |
|||||||
щей выбранному значе-нию параметра t, |
есть вектор с началом в точке |
P, |
|||||||
направленный по касательной к линии L. |
Будем считать, что кривая |
L |
вы- |
||||||
брана так, что r t 0. С другой стороны, |
вычислим частные производные от |
||||||||
левой части уравнения (39) для точки P. Построим вектор N с началом в точ- |
|||||||||
ке P, |
проекции на оси координат которого равны этим частным производ- |
||||||||
ным: |
N F / x, F / y, F / z . По условию теоремы проекции этого вектора |
||||||||
не обращаются в нуль одновременно, следовательно, длина вектора |
|
N |
|
|
0. |
Но |
|||
|
|
кривая L лежит на поверхности, поэтому координаты любой её точки, определённые по формулам (40), удовлетворяют уравнению (39), т. е. для всех t F x t , y t , z t 0. Это соотношение продифференцируем по t , учитывая,
180
5354.ru