Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

МАТЕМАТИЧЕСКИЙ АНАЛИЗ. Часть 1

.pdf
Скачиваний:
25
Добавлен:
03.03.2016
Размер:
1.71 Mб
Скачать

§5. Дифференцируемость и полный дифференциал

Напомним, что полным приращением функции z(x, y)

в точке M0 (x0 , y0 )

называют разность

 

 

Dz = z(M ) - z(M 0 ) = z(x0 + Dx, y0 + Dy) - z(x0 , y0 ).

Определение

1. Функция z = z(x, y) называется дифференцируемой в

точке M 0 (x0 , y0 ),

если ее полное приращение в этой

точке может быть

представлено в виде:

 

 

Dz = A× Dx +B × Dy +a × Dx +b × Dy,

(1)

где А, В – некоторые числа, независящие от Dx и Dy , а α

и β – бесконечно

малые при Dx ® 0,

Dy ® 0.

 

Теорема 1. Если функция z(x, y) дифференцируема в точке M 0 (x0 , y0 ),

то: 1) она непрерывна в этой точке; 2) она имеет в этой точке конечные производные, причем z¢x (M0 ) = A, z¢y (M0 ) = B .

Доказательство первого утверждения сразу следует из (1) и замечания к §3.

Для доказательства второго утверждения положим в

(1) Dy = 0,

тогда

Dz = Dx z = ADx +aDx. Разделив обе части равенства на

Dx и устремляя

Dx к

нулю, получим:

 

 

lim

Dz

= lim(A +a), т. е. z¢x (M0 ) = A.

 

 

Dx®0

Dx

Dx®0

 

 

Аналогично доказывается и z¢y (M0 ) = B.

В отличие от функций одной переменной (для которых дифференцируемость равносильна существованию конечной производной), для функций нескольких переменных из существования частных производных не следует непрерывность и дифференцируемость. Это доказывается следующим примеров.

Пример. Рассмотрим функцию

ìxy (x2 + y2 ),если x2 + y2 ¹ 0 z(x, y) = í

î0,если x = 0, y = 0.

Вычислим производную по x в начале координат:

 

 

 

z¢

(0,0) = lim

z(0 + Dx) - z(0,0)

=

lim

(0 + Dx) × 0

×

1

= 0.

 

 

 

x

Dx®0

Dx

Dx®0 (0 + Dx)2 + 02

 

Dx

 

 

Аналогично z¢y (0,0) = 0. В то же время эта функция не является непрерывной (а

следовательно, является недифференцируемой) в начале координат, ибо ее предел в этой точке не существует (см. пример 2 §3).

Таким образом, функция z(x, y) имеет конечные производные в точке O(0,0) , но не является непрерывной в этой точке. Эта ситуация связана с тем, что существование частных производных в точке M 0 (x0 , y0 ) определяется

- 112 -

Отсюда при малых Dx и Dy

поведением функции на прямых y = y0 и x = x0 , а непрерывность зависит от

поведения функции во всей окрестности точки М0.

Примем без доказательства теорему, устанавливающую достаточные условия дифференцируемости.

Теорема 2. Если функция z = z(x, y)имеет частные производные в некоторой окрестности точки M 0 (x0 , y0 ) и эти производные непрерывны в самой точке M0 , то функция дифференцируема в точке M0 .

Определение 2. Главная часть полного приращения дифференцируемой функции, линейная относительно приращений аргументов, называется полным

дифференциалом функции

z(x, y) и обозначается символом dz :

 

dz = z¢x (x0 , y0 )Dx + z¢y (x0 , y0 )Dy.

(2)

 

Если договорится считать дифференциалами независимых переменных их

приращения, то формула (2) примет вид:

 

 

 

dz = z¢xdx + z¢ydy.

 

 

Обозначим: r =

(Dx)2 + (Dy)2 - это

расстояние между

точками

M0 (x0 + Dx, y0 + Dy) и

M 0 (x0 , y0 ). Очевидно,

что стремление r

к нулю

равносильно одновременному стремлению к нулю приращений Dx и Dy .

Формулу (1) можно теперь переписать в виде

Dz = dz +o(r), r ® 0.

получим приближенную формулу

Dz » dz ,

которая используется в приближенных вычислениях.

Замечание. С геометрической точки зрения, дифференцируемость функции z = z(x, y)в точке M 0 (x0 , y0 ) означает наличие касательной плоскости к графику функции в точке N0 (x0 , y0 , z(x0 , y0 ))(см. ниже §8).

§6. Производные сложных функций

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

1. Если y = F(u), a u = j(x),то

y¢x = (F (j(x)))¢ = F¢(j(x)) ×j¢(x).

2. Если z = z(u,v), а u = u(x),v = v(x), то для сложной функции одной

переменной z(u(x),v(x)) имеем

z¢x = zu¢ ×u¢x +zv¢ × v¢x ,

или используя другие обозначения,

- 113 -

 

dz

=

z

×

du

 

+

 

z

×

dv

.

(1)

 

zx

u

dx

v

 

 

 

 

 

 

 

dy

 

В частности, если z = z(x, y),

а y = y(x),

то

 

dz

=

z

 

+

z

×

dy

.

(2)

 

zx

x

y

 

 

 

 

 

 

dx

 

 

 

 

В этом случае производную

dz

называют полной производной, в отличие от

z

dx

x

частной производной.

 

 

 

 

 

 

 

3. Если z = z(u,v), а u = u(x, y) и v = v(x, y), то для сложной функции

 

двух переменных z(u(x, y),v(x, y))

имеем:

 

 

 

ìz¢x = zu¢ ×u¢x + zv¢ × v¢x ,

(3)

 

 

íz¢

= z¢ ×u¢ + z¢ × v¢ .

 

 

î y

u

y

v

y

 

 

 

Замечание 1. Формулы (1), (2), (3) легко обобщаются на случай функций трех и более переменных.

Замечание 2. Формулы (1), (2), (3) необходимы в теории для получения других важных результатов. На практике в случае конкретных функций нетрудно исключить зависимость функции от промежуточных переменных. Например, если z(u,v) = 2u2 - v2 ,а u(x) = sin x и v(x) = cos x , то z как функция x имеет вид

z(x) = 2sin2 x - cos2 x.

§7. Сущестование и дифференцируемость неявной функции

Теорема. Пусть функция двух переменных F(x, y)и ее частные производные Fx¢ и Fy¢ непрерывны в некоторой окрестности точки M 0 (x0 , y0 ), причем: F(x0 , y0 ) = 0, а Fy¢(x0 , y0 ) ¹ 0. Тогда уравнение F(x, y) = 0 определяет (в некоторой окрестности точки x0 ) единственную функцию y = y(x). Эта функция дифференцируема и

y¢

= -

Fx¢(x, y)

.

(1)

 

x

 

Fy¢(x, y)

 

 

 

 

Докажем формулу (1), принимая без доказательства существование и

дифференцируемость неявной

функции y(x).

То, что уравнение F(x, y) = 0

определяет некоторую функцию y(x), означает следующее: F(x, y(x)) º 0 (в некоторой окрестности точки x0 ). Продифференцируем это тождество почленно, используя формулу (2) предыдущего параграфа:

- 114 -

 

 

 

 

F(x, y(x))¢x º 0¢,

 

 

 

 

 

 

 

 

 

F

+

F

×

dy

= 0.

 

 

 

 

 

 

 

 

 

 

y

dx

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

Из последнего равенства и вытекает формула (1).

 

 

 

 

 

 

 

Пример. Рассмотрим

функцию

 

F(x, y) = y2 + x ln y + x3

и точку

M

 

(-1, 1). Вычислим

производные:

 

F¢

 

= ln y + 3x2 , F¢ = 2y +

x

.

Нетрудно

0

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

y

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

видеть, что все условия теоремы выполнены: F(x, y), Fx¢, Fy¢

непрерывны в

окрестности точки

M0 и

F(-1,1) = 0, Fy¢(-1,1) ¹ 0.

Следовательно, в

некоторой окрестности точки

x

 

= -1, уравнение y2 + x ln y + x3

= 0 определяет

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

некоторую функцию

y = y(x), обращающую уравнение

в

тождество. Ее

производная:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y¢

= -

ln y +3x2

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

2y +

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечательно, что по свойствам функции двух переменных F(x, y), заданной непосредственно, мы можем судить о свойствах функции y(x), для которой непосредственного задания мы не имеем.

Замечание 1. Геометрический смысл

условия

Fy¢(x0 , y0 ) ¹ 0 : линия

определяемая уравнением F (x, y) = 0

имеет в

точке M0 (x0 , y0 )

невертикальную касательную, т.е. саму линию можно понимать как график некоторой функции (в некоторой окрестности точки М0).

Замечание 2. Теорема легко обобщается на случай неявных функций нескольких переменных.

Лекция 19

§8. Касательная к кривой в пространстве

I

Вектор-функция и ее производная

 

 

 

 

 

 

Определение 1. Если каждому значению переменной

 

t

из некоторого мно-

жества

Т поставлен в соответствие некоторый вектор

 

 

,

то говорят, что на

r

множестве Т задана вектор-функция

 

=

 

(t).

 

 

 

 

 

 

r

r

 

 

 

 

 

 

Определение 2. Вектор

 

называют пределом вектор-функции

 

(t)в точке

a

r

t0 и пишут a = lim r(t), если lim |

 

(t) - a |= 0.

 

 

 

 

 

 

r

 

 

 

 

 

 

 

t®t0

t®t0

 

 

 

 

 

 

Определение 3. Производной вектор-функции

 

(t)

 

в точке t0 называют

r

 

предел

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

- 115 -

 

 

 

 

 

 

 

 

 

 

lim

 

 

(t0 + Dt) -

 

(t0 )

=

 

 

¢(t

 

 

 

 

 

 

r

r

 

).

 

 

 

 

 

r

0

 

 

 

 

 

 

 

 

 

 

Dt®0

 

Dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если в пространстве задана декартова прямоугольная система координат, то

вектор определяется своими проекциями, т.е.

 

 

 

 

 

 

 

 

(t) = {x(t), y(t), z(t)} или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t) = x(t) ×i

+ y(t) ×

j

+ z(t) × k

.

 

r

r

Таким образом, вектор-функция – это упорядоченная тройка обычных функций одной переменной. А так как

| r(t) - a |= (x(t) - a )2 + (y(t) - a

2

)2 + (z(t) - a )2

,

 

 

 

 

1

 

 

 

 

 

3

 

то определение 2 равносильно следующим трем равенствам

 

 

 

lim x(t) = a ,

lim y(t) = a

 

,

 

lim z(t) = a .

 

t ®t0

1

t ®t0

2

 

t ®t0

3

 

Аналогично для производной получаем

 

 

 

 

 

 

 

 

¢(t) = {x¢(t), y¢(t), z¢(t)}.

 

 

 

 

 

 

r

 

 

 

 

 

 

Будем откладывать векторы

 

(t), t ÎT ,

от начала координат. Тогда их

r

концы составят в пространстве некоторую линию, которую называют

годографом вектор-функции

 

(t). Например, для вектор-функции

r

 

 

(t) = {R cost, R sin t, vt} годограф – это винтовая линия.

r

II Физический смысл производной вектор-функции

Положение точки М в пространстве можно задавать ее координатами (в не-

______

которой системе координат), а можно задавать и радиус-вектором r = OM , где О – начало координат. Если точка М движется, то r зависит от времени, т.е. движение точки в пространстве можно задавать вектор-функцией r = r (t), где t – время из некоторого промежутка. Годограф этой функции – это траектория движения. Производная r¢(t) – это вектор мгновенной скорости:

v(t) = {x¢(t), y¢(t), z¢(t)}.

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

Линию в пространстве обычно задают системой параметрических уравнений

ìx = x(t),

 

ï

 

L : íy = y(t),

 

ï

 

îz = z(t).

 

Однако, удобно такую линию понимать как годограф вектор-функции

 

r (t) = {x(t), y(t), z(t)}.

 

Напомним, что, кратко говоря, касательная к линии L в ее точке M0

–это пре-

дельной положение секущей M0M , когда точка M стремиться к M0

вдоль L.

Другими словами, касательная в точке M0 – это та прямая, проходящая через

- 116 -

M0 , направляющий вектор которой есть предел направляющего вектора секущей.

_____

=

 

 

_____

=

 

 

 

(t0 + Dt). Тогда

 

 

 

 

 

 

Пусть OM0

 

(t0 ) и

OM

 

 

 

 

 

 

 

 

 

r

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

______

______ _______

 

 

 

 

 

 

 

 

 

 

 

D

 

= OM - OM 0 = M 0M ,

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

т.е. D

 

, а следовательно и

D

 

/ Dt

служат направляющими векторами секущей.

r

r

Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

= lim D

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

aêàñ = lim añåê = lim añåê

r

=

 

¢(t0 ).

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

M ®M 0 t ®Dt

t

®Dt Dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда получаем два вывода:

1)вектор мгновенной скорости точки направлен по касательной к траектории движения;

2)канонические уравнения касательной к линии L в точке M 0 (x0 , y0 , z0 ), которая соответствует значению параметра t0 , имеют вид:

x - x0 = y - y0 = z - z0 . x¢(t0 ) y¢(t0 ) z¢(t0 )

Пример. Показать, что касательные к линии r (t) = {R cost, R sin t,vt} образуют с осью Oz постоянный угол.

Решение. Для винтовой линии направляющий вектор касательной aêàñ = = r¢(t) = {-R sin t, R cos t,v}. Если j – угол между касательной и осью Oz , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cosj =

| a × k

|

 

.

 

 

 

 

 

 

 

 

 

 

| a | × | k |

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

– орт оси Oz : k = {0, 0,1}. Значит,

 

Напомним, что k

 

cosj = | -R sin t × 0 + R sin t × 0 + v ×1|

=

v

.

(-R sin t)2 + (R cost)2 + v2 ×1

 

R2 + v2

 

Как видим, cosj , а значит и j , не зависят от параметра t, т.е j = сonst. Замечание. Нетрудно заметить, что для плоской линии

ìx = x(t),

íîy = y(t)

уравнение касательной имеет вид

x- x(t0 ) = y - y(t0 ) . x¢(t0 ) y¢(t0 )

ìx = a cost,

Пример. Составить уравнение касательной к эллипсу í

îy = bsin t.

Решение. Пусть M0 (x0 , y0 )– точка касания, соответствующая значению параметра t0 : x0 = a cost0 , y0 = bsin t0 . Тогда уравнение касательной:

- 117 -

x - a cost0

=

y - bsin t0

,

- a sin t0

 

 

b cost0

xbcost0 - ab cos2 t0 = - yasin t0 + absin2 t0 ,

xba cost0

+

yabsin t0

= ab,

a

b

 

 

bxxa 0 + ayyb 0 = ab.

Разделив обе части последнего равенства на а .b, получим известную формулу для касательной к эллипсу в его точке M0 (x0 , y0 ):

xxa20 + yyb20 =1.

§9. Касательная плоскость к поверхности

Рассмотрим уравнение с тремя переменными F(x, y, z) = 0. В координатном пространстве оно определяет некоторую поверхность (s ).

Определение 1. Точка P0 (x0 , y0 , z0 )Î(s ) называется обыкновенной, если в этой точке существуют конечные производные Fx¢, Fy¢, Fz¢, причем они не обра-

щаются в ноль одновременно. В противном случае точка называется особой. Определение 2. Прямая линия называется касательной прямой к поверх-

ности (s ) в ее обыкновенной точке P0 , если она является касательной к некоторой линии, лежащей на (s ) и проходящей через точку P0 .

Теорема. Все касательные прямые к поверхности в ее обыкновенной точке лежат в одной плоскости.

Доказательство. Пусть линия

ìx = x(t), L : ïíy = y(t),

ïîz = z(t)

лежит на данной поверхности (s ): F(x, y, z) = 0 и проходит через ее точку P0 (x0 , y0 , z0 ). Это означает следующее:

1)F(x(t), y(t), z(t)) º 0;

2)существует значение t0 такое, что x0 = x(t0 ), y0 = y(t0 ), z0 = z(t0 ).

Продифференцируем тождество из пункта 1): Fx¢ × x¢(t) + Fy¢ × y¢(t) + Fz¢ × z¢(t)≡ 0.

Рассмотрим этот результат в точке t = t0 :

Fx¢(x(t0 ), y(t0 ), z(t0 )) × x¢(t0 ) + Fy¢(P0 ) × y¢(t0 ) + Fz¢(P0 ) × z¢(t0 ) = 0.

- 118 -

Левая часть последнего равенства – это скалярное произведение направляющего вектора касательной к линии L в точке P0

a = {x¢(t0 ), y¢(t0 ), z¢(t0 )}

и вектора

n = {Fx¢(P0 ), Fy¢(P0 ), Fz¢(P0 )},

проекции которого определяются лишь поверхностью (s ) и ее точкой P0 , и не зависит от линии L. Но равенство a × n = 0 означает, что a ^ n , т.е. все касательные прямые к (s ) в ее точке P0 перпендикулярны вектору n . Это же, в свою

очередь, означает, что все эти прямые лежат в одной плоскости и n есть нормальный вектор этой плоскости. Теорема доказана.

Определение 3. Плоскость, в которой лежат все касательные прямые к поверхности в ее обыкновенной точке, называется касательной плоскостью.

Уравнение касательной плоскости к поверхности (s ): F(x, y, z) = 0 в ее обыкновенной точке P0 (x0 , y0 , z0 )имеет вид

Fx¢(x0, y0, z0 ) × (x - x0 ) + Fy¢(P0 ) × (y - y0 ) + Fz¢(P0 ) × (z - z0 ) = 0.

В случае явного задания поверхности (s ): z = z(x, y) уравнение касательной

плоскости таково:

z - z0 = z¢x (x0 , y0 ) × (x - x0 ) + z¢y (x0 , y0 ) × (y - y0 ).

Определение 4. Прямая, проходящая через точку P0 поверхности (s ) и

перпендикулярная касательной плоскости, называется нормалью к поверхности. Уравнения нормали (канонические):

x - x0 = y - y0 = z - z0 . Fx¢(P0 ) Fy¢(P0 ) Fz¢(P0 )

Пример. К поверхности (s ): x2 + y2 + 2z2 = 4 провести касательную плоскость a , параллельную плоскости b : x + y - 2z +13 = 0.

Решение. Нормальный вектор касательной плоскости составлен из частных производных функции F(x, y, z) = x2 + y2 + 2z2 - 4, вычисленных в точке

касания:

na = {2x0 ,2y0 ,4z0}.

Так как a || b , то na || nb = {1,1,-2}и, следовательно na = l × nb , т.е

2x0 = l, 2y0 = l, 4z0 = -2l.

Таким образом, точка касания такова: P0

æ l

,

l

,-

l

ö

P0

Î(s ),значит ее

ç

2

2

2

÷ Но

 

 

è

 

 

 

ø

 

 

координаты удовлетворяют уравнению (s ):

 

 

 

 

 

 

 

 

 

æ l ö2

æ l

ö

2

 

æ

-

l ö

2

 

 

ç ÷

+ ç ÷

+ ç

 

÷

= 4.

 

è 2 ø

è 2

ø

 

 

è

 

 

2 ø

 

 

 

 

- 119 -

 

 

 

 

 

 

 

 

 

Отсюда l2 = 4 и l = ±2. Имеем две точки касания (и две касательные плоскости):

P01 = (1,1,-1)и P02 = (-1,-1,1) .

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

1× (x -1) +1× (y -1) - 2× (z +1) = 0 и 1× (x +1) +1× (y +1) - 2× (z -1) = 0.

После упрощения получим:

x + y - 2z - 4 = 0 и x + y - 2z + 4 = 0.

Приведем ряд задач для самостоятельного решения.

1)Дана поверхность (s ): x × y × z = a3 (a > 0). Доказать, что любая каса-

тельная плоскость к (s ) образует с координатными плоскостями тетраэдр постоянного объема.

2)Дана поверхность (s ): x + y + z = a . Доказать, что любая касса-

тельная плоскость к (s ) отсекает от координатных осей отрезки, сумма длин которых постоянна.

3) Дана поверхность (s ): z = x × f (yx), где f (t)– дифференцируемая

функция. Доказать, что все касательные плоскости к (s ) пересекаются в одной точке.

Лекция 20

§10. Производные высших порядков

Если функция z = z(x, y)имеет частные производные z¢x (x, y) è z¢y (x, y)

в каждой точке некоторой области D , то они представляют собой функции двух переменных, определенные в D . Может случиться, что эти функции имеют в D частные производные. Тогда эти производные называются частными производными второго порядка

¢

¢

¢¢

¢

¢

¢¢

,

¢

¢

¢¢

,

¢

¢

¢¢ .

(zx )x

= zxx ,

(zx )y

= zxy

 

(zy )y

= zyy

 

(zy )x

= zyx

Используются и другие обозначения, например:

 

 

 

z¢¢

=

2 z

,

z¢¢

=

2 z

.

 

 

 

 

 

 

 

 

 

xx

 

x2

 

xy

 

xy

 

Производные z¢¢

 

z¢¢

 

 

 

 

 

 

 

и

 

называются смешанными производными второго поряд-

xy

 

yx

 

 

 

 

 

 

 

 

ка. При некоторых условиях смешанные производные не зависят от порядка дифференцирования.

Теорема. Пусть функция z(x, y) имеет в области D частные производные

z¢x , z¢y , z¢xy¢ , z¢yx¢ . Пусть, кроме того, смешанные производные z¢xy¢ и z¢yx¢ непре-

рывны в D . Тогда имеет место равенство

z¢xy¢ = z¢yx¢ .

- 120 -

Аналогично производным второго порядка вводятся частные производные третьего, четвертого, …, n -го порядка. Для смешанных производных высших порядков остается справедливой сформулированная выше теорема.

§11. Экстремумы функции нескольких переменных

 

Пусть функция z = z(x, y)

определена в

некоторой области

D Ì R2 и

пусть

M 0 (x0 , y0 ) – внутренняя точка этой области.

 

 

Определение 1. Говорят, что функция z(x, y) имеет в точке M0

локальный

максимум (минимум), если существует такая окрестность точки M0 ,

в которой

выполняется неравенство

 

 

 

 

z(M ) £ z(M0 )

( z(M ) ³ z(M0 )).

 

Если

знак “=” достигается только в точке

M0 , то максимум

(минимум)

называется собственным, в противном случае – несобственным. Точки максимума и минимума называются точками экстремума.

Теорема 1. (необходимое условие экстремума). Если функция z(x, y) имеет экстремум в точке M0 и обладает в этой точке частными производными первого порядка, то эти производные обращаются в ноль в точке M0 .

Доказательство. Пусть для определенности M0 (x0 , y0 ) – точка максимума функции z(x, y) . Рассмотрим функцию одной переменной F(x) = z(x, y0 ).

Тогда в некоторой окрестности точки x0

F(x) £ F(x0 ), т.е точка x0 – это точка

максимума функции F(x). Кроме того,

F(x) – дифференцируема в точке x0 ,

ибо F¢(x) = z¢x (x, y0 ) . В силу теоремы Ферма Fx¢(x0 ) = 0, т.е и z¢x (x0 , y0 ) = 0. Аналогично доказывается и равенство z¢y (x0 , y0 ) = 0 .

Определение 2. Точки, в которых все частные производные первого порядка функции z(x, y) обращаются в 0, называются стационарными точками данной функии.

Замечание 1. Если M0 (x0 , y0 ) – стационарная точка функии z = z(x, y), то касательная плоскость к поверхности, заданной уравнением: z = z(x, y), в точке P0 (x0 , y0 , z(x0 , y0 )) имеет уравнение z = z(x0 , y0 ), т.е горизонтальна.

Замечание 2. Экстремумы могут быть не только в стационарных точках, но и в точках, в которых хотя бы одна из производных z¢x и z¢y не существует или

имеет бесконечное значение.

Замечание 3. Не во всякой стационарной точке функция имеет экстремум. Например, для функции z = x× y точка O(0,0) – стационарная: z¢x = y, z¢y = x обращаются в ноль в начале координат. Но в этой точке функция не имеет ни мак-

- 121 -