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

книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник

.pdf
Скачиваний:
79
Добавлен:
27.10.2023
Размер:
24.22 Mб
Скачать

в любой внутренней толке этого промежутка производная /' (х)

равна нулю.

точек с1 или с2 не совпадает

С л у ч а й 2. Хотя бы одна из

ни с одним из концов промежутка

[а, Ь]. Обозначим эту точку с.

Она находится внутри промежутка (а, Ь) и в ней функция дости­

гает наибольшего или наименьшего значения. Кроме того,

в точке

£

существует

производная функции. Согласно теореме

Ферма,

в

этой точке

/' (с) = 0. Теорема доказана.

 

П р и м е ч а н и е . При доказательстве теоремы существенно исполь­ зовались все ее условия. (Читателю полезно проследить, где и как использо­ вались эти условия.) В частности, если / (х) не дифференцируема хоть в одной точке промежутка (а, Ъ) при соблюдении остальных условий теоремы, то внутри (а, Ъ) может не быть точки, в которой производная была бы равна ну-

лю. Это показано в примере 7 п. 28 — в точке Ѳі функция не имеет производной.

Рис. 24.

НЬ)

ь

34.

Теорема

Лагранжа * (о

среднем

значении

в дифферен­

циальном исчислении). Если функ­ ция / (X) 1) непрерывна в замкну­ том промежутке [а, Ъ], 2) диф­ ференцируема по крайней мере в открытом промежутке (а, Ъ), то внутри промежутка (а, Ъ) суще­ ствует такое значение с, что вы­ полняется равенство

1 г 1 = Г ( с ) .

(2)

Д о к а з а т е л ь с т в о . Рассмотрим вспомогательную функ­

цию

ф (х) = / (X) + Хх.

Функция ф (х) удовлетворяет

первым

двум

условиям теоремы

Ролля при любом постоянном

X, как

сумма двух непрерывных и дифференцируемых функций / (х) и Хх. Она удовлетворяет третьему условию теоремы Ролля ф (а) =

=

Ф (Ь) при специальном выборе числа X из условия / (а) + Ха —

=

/ ( & ) + ХЬ, т. е., если X = — [/ (Ь) — / (а)] : (b — а). При та­

ком X функция ф (х) удовлетворяет всем условиям теоремы Ролля, а поэтому в силу заключения этой теоремы внутри промежутка (а, Ь) существует значение с, при котором ф' (с) = 0. Последнее

равенство можно записать в виде /' (с) -f- X =

0, так как ф' (х) =

= f (х) + X. Отсюда следует равенство (2).

Теорема доказана.

П р и м е ч а н и я . 1. Теорема Лагранжа является обобщением теоремы Ролля, так как если f (а) = } (Ь), то из (2) следует (1).

2. Геометрический смысл заключения теоремы Лагранжа состоит в том, что на графике AB функции / (х) есть внутренняя точка С такая, что каса­ тельная к графику в точке С параллельна хорде AB. Действительно, левая

часть равенства (2) численно равна угловому коэффициенту хорды АП, а пра­ вая часть — угловому коэффициенту касательной в точке С. Из равенства угловых коэффициентов вытекает равенство углов наклона хорды и касатель­ ной и параллельность этих линий (рис. 24).

Формула (2) называется формулой Лагранжа, или формулой конечных приращений. Из нее непосредственно следует соотноше­ ние

f (Ь) — / (а) = /' (с) (Ь а).

(3)

Заменив здесь а на х0, b на х, Ъ — а на х — х0, получим

f{x)—f(x0) = f(c){x —x0).

(4)

Обозначив Aх = х —х0, Ay —f(x) — /(х0), получим

Ay = f (с) Ах.

(5)

Формулы конечных приращений (3), (4) и (5) показывают, что

приращение функции равно произведению соответствующего при­ ращения аргумента на значение производной в некоторой средней точке.

Промежуточное между х 0 я х значение аргумента с в формулах {4) и (5) можно представить в следующем виде:

 

 

с =

XQ-J- Ѳ XQ),

(6)

где О <Ѳ

< 1 -

Действительно, число с заключено между х0 и х.

Поэтому

имеем

0 < Ѵ~^ ~°

Остается

обозначить средний

член этого неравенства буквой Ѳи мы прямо отсюда выведем соот­ ношение (6).

С л е д с т в и е

и з

т е о р е м ы

Л а г р а н ж а . Если

/ ' (х) ES 0 в промежутке

[a, b] (конечно, в точках а я b речь идет

об односторонних производных), то в этом промежутке функция

/(х) постоянна.

До к а з а т е л ь с т в о . По условию функция /' (х) диф­ ференцируема в [а, 6], и поэтому она непрерывна (см. п. 28).

Функция / (х) удовлетворяет всем условиям теоремы Лагранжа в промежутке [а, х], где х — любая фиксированная точка про­ межутка (а, 6]. Формула Лагранжа (4) для функции / (х) я про­ межутка [а, х] имеет вид

/(*) —/(«) = /'(с)( х — а) .

Здесь по условию /' (с) = 0, и поэтому справедливо равенство / (х) = / (а). Оно имеет место для любого рассматриваемого х. Следовательно, функция / (х) сохраняет в промежутке [a, b] постоянное значение, равное / (а).

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

Действительно,

если ф' (х) =

ф' (х) в

[а,

Ъ],

то (х)

— ф (х)Ѵ = 0 и ф (х) — ф (х) = сѵ Поэтому

ф (х)

= ф (х) + с1.

35.

Два

дифференциальных

уравнения.

Дифференциаль­

ным уравнением называется уравнение, содержащее производную

искомой функции (см. гл. XIII). Здесь

рассмотрены два важ­

ных примера,

в которых решения

дифференциальных уравнений

получены с помощью следствия из теоремы Лагранжа (см. п. 34).

П р и м е р

1. В естествознании встречаются переменные у (х), скорость

изменения

которых у' (х)

при каждом

значении

х

пропорциональна у (х):

 

 

 

 

У’ = ку,

 

 

 

 

(7)

где к — постоянная.

Это

соотношение

есть пример

дифференциального

уравнения.

 

 

 

 

 

 

 

 

 

сначала в виде

Желая найти у (х) из этого уравнения, представим (7)

= (кх)’. Отсюда следует (см. п. 34), что In у =

кх +

In с, где с — постоянная.

Поэтому функция, удовлетворяющая данному уравнению, имеет вид у =секх.

П р и м е р

2.

Найти функцию, удовлетворяющую

следующему диф­

ференциальному

уравнению:

 

 

 

 

 

 

 

 

 

 

у"+а2у = 0,

 

 

 

 

 

где а — постоянная.

Это

уравнение называется

уравнением гармонических

нхплебаний.

 

 

 

 

 

 

 

 

 

 

' Умножим данное уравнение на 2у' и представим результат умножения

в виде равенства

(г/'2)' =

(—а2у2)'. Следовательно (см. п. 34), у'2 = а2а 2

а2у2, гд'іе а — постоянная. Извлекая корень, получим соотношение у' =

= а V W — а/2, которое можно представить

в виде

равенства производных

( arcsin— )

)= (ах)'. Итак (см. п. 34), arcsin

— = ах -ф-ß,

где

ß —постоянная.

Поэтому именем

у = а sin (ax-j-ß) = а cos ß sin ax-\- a sin ß cos ах.

Обозначив a cos ß = cx, a s i n ß = c2> получим окончательно

^ f

У — C i S i n CLX-\~ £*2 COS Ü X %

Найденная периодическая функция удовлетворяет данному уравнению при любых значениях постоянных с1 и с2, в чем легко убедиться путем прямой проверки.

36. Теорема Коши.* Если функции / (х) и g (х) 1) непрерывны в замкнутом промежутке [а, Ъ\, 2) дифференцируемы по крайней мере в открытом промежутке (а, 6), 3) g' (х) =/= 0 в промежутке (а, Ъ), то внутри (а, Ь) существует значение с такое, что имеет место равенство

f ( b ) - f ( a ) _ f ( c )

g{ b ) —g{a)

g' (c)

Д о к а з а т е л ь с т в о . Из третьего условия теоремы сле­ дует, что g (а) Ф g (b), в чем можно убедиться рассуждением от противного. Действительно, если g (а) = g (b), то, по теореме Ролля, примененной к функции g (х) (здесь выполнены все усло­ вия теоремы Ролля), получается, что g' (сД = 0 в некоторой внут­ ренней точке сх промежутка (а, Ь). Но это противоречит третьему условию теоремы.

Рассмотрим вспомогательную функцию ф (ж) = f (ж) + 'Я g (ж), где Я — число. Функция ф (ж) удовлетворяет первым двум усло­ виям теоремы Ролля при любом к как сумма Двух непрерывных и дифференцируемых функций. Она удовлетворяет третьему

условию теоремы Ролля ср (а)

= ф (Ь), если Я подчинено условию

/ (а)

+

kg (а) — f

 

(b) +

kg (b),

из

которого

следует, что

 

к =~

= — g (ь)~~^ (1) '

 

^ри таком выборе числа к функция ф (ж)

удо­

влетворяет всем трем условиям теоремы Ролля. Поэтому в силу

заключения этой теоремы существует внутри (а,

Ь) число с такое,

что имеет

место

равенство

f

/

(с) +

kg' (с) = 0 ,

или

—к =

f'

(с)

,

 

-,

 

которое

совпадает с (8).

 

 

 

 

 

 

 

 

 

 

g

( С)

 

Лагранжа есть частный случай теоремы

Заметим, что теорема

Коши,

соответствующий

случаю

g (х) = х.

 

 

 

 

 

и (х)

37.

 

Раскрытие

неопределенностей.

Пусть

функции

 

V (ж)

определены

 

в некоторой окрестности точки а. Рассмотрим

при

ж -> а следующие

выражения:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и V,

и

ѵ,

и

 

«

 

 

 

 

 

 

 

 

 

 

 

 

—, и .

 

 

 

 

 

 

Условимся в следующем, Назовем 1) неопределенностью вида

отношение ~

двух

бесконечно малых

(случай и

0, »

 

0),

2) неопределенностью

вида

 

отношение

 

Двух

бесконечно

больших

(случай

и - оо,

 

ѵ —►оо),

3)

неопределенностью

вида

оо — оо разность

и ѵ двух бесконечно больших

одного

знака

(случай и

оо,

 

V -*■ оо),

4)

 

неопределенностью вида 0 оо про-

изведение иѵ бесконечно малой на бесконечно

большую (случай

и —>- 0,

V -> оо).

 

Степенно-показательное выражение иѵ

назы­

вается 5) неопределенностью вида 0°, если и

0,

ѵ -►0, 6) неопре­

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

оо°, если и -> оо,

ѵ -> 0,

7) неопределенностью

вида

1°°,

если

 

и —►1,

ѵ -> оо.

 

 

 

 

 

 

 

 

 

Раскрытъ неопределенность того или иного вида — это значит

найти

предел соответствующей функции.

 

 

 

 

 

 

Рассмотрим прежде всего случай отношения бесконечно малых. Теорема Лопиталя.* Предел отношения двух бесконечно малых

существует и равен пределу отношения их производных-.

 

lim üi£L = lim iilifl

О)

 

(в этом состоит так называемое п р а в и л о Л о п и т а л я ) ,

если выполнены следующие условия: 1) функции и (х) и ѵ (х) опреде­ лены, непрерывны и дифференцируемы в некоторой окрестности

{а,

ß) точки a u ѵ' (х) Ф 0 в

(а, ß); 2) lim и (х) =

lim v (х) = 0;

 

существует предел lim

х~*а

х-+а

3)

_

 

х-+а ѵ (х)

Приведем доказательство теоремы для случая, когда а — число. Функции и (х) и v (х) удовлетворяют всем условиям теоремы Коши в промежутке между а и х, где х фиксировано в (а, ß). Поэтому внутри этого промежутка существует такое число с, что

и ( х ) и ( а )

к ' ( с )

т

и ( х )

и ’ (с )

ѵ ( х ) v ( а )

ѵ ' ( с )

И

v ( х)

ѵ ' ( с ) ^ ’

так как согласно непрерывности и (х) и ѵ (х) в точке а и второго условия теоремы, имеем и (а) = ѵ (а) = 0.

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

1іт-ц ^ = 1іт и' (с)

lim ц' (х) .

ѵ ' ( с )

ѵ>(ж)

Последнее равенство основано на независимости величины пре­ дела от обозначения независимой переменной. Теорема доказана.

П р и м е ч а н и е .

Правило

Лопиталя верно*

и

в

случае, когда а

символ оо.

 

 

 

 

 

 

 

 

 

. ..

sin *

 

(sin*)' ..

 

.

 

П р и м е р

1-

lim -------- =

lim !— г-г- =

lim cos* =

1.

 

 

 

x->Q

x

* - > 0

x

x-*-o

 

 

 

П р и м е р

2.

lim

1 —sin *

lim

—cos x

lim

S i n X

 

 

 

 

 

я

2x —я

 

n

2 ’

 

 

 

 

 

* T

 

 

2

 

П р и м е р

3.

lim

ln (l +

æ) ; lim —1

= 1.

 

 

 

 

 

 

 

x^o 1

 

 

 

 

Сформулируем теорему, относящуюся к случаю неопределен-

о о

ности вида — .

о о

Теорема. Если 1) и (х) и v (х) определены и дифференцируемы при всех х Ф а в окрестности точки а, где ѵ' (х) Ф 0, 2) lim и (х) —

 

 

(ж)

х-+а

= о о , lim v (х) = о о , 3) существует предел lim

- ,

то суще-

- 1,

ѵ_^/т

^

(#)

 

* Доказательство см. в работе Г. М. Фихтенгольца «Основы математиче­ ского анализа», т. I, п. 120.

ствует предел отношения и (х) к ѵ (х) и он равен пределу отно­ шения производных этих функций

 

 

lim и (#)

 

 

х -> а

ѵ(х)

 

 

 

, ,.

хп

..

пхп~х

П р и м е р 4. lim

—- = lim — -—

А

ЛЛ

* -»■ о о

рХ

X —►о о

е

с

lim

и' (х)

(10)

х-*-а

ѵ' (х)

 

 

 

 

Л.

п\

= . . . = hm —-7- = 0.

Х - + 0 0

Следовательно, степенная функция хп растет медленнее пока­

зательной функции

ех.

 

в и д а

0 • оо

приводится

к

Н е о п р е д е л е н н о с т ь

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

путем

преобразования

произ­

ведения функций иѵ к виду отношения и ѵ — и/—- или и V =

ѵ]— .

П р и м е р 5- lim хпе~х = lim

Х П

 

 

 

 

 

 

 

—j - = 0 .

 

 

 

 

 

 

X -*■ с о

X -*■ о о

 

 

 

 

 

 

 

 

Н е о п р е д е л е н н о с т ь

в и д а

оо оо можно привести

к неопределенности вида -jj- путем представления разности

и

ѵ

в виде отношения

 

 

 

 

 

 

 

 

 

и _ у

*

 

\ ѵ

 

и

J I UV

 

 

 

 

1

1

 

 

 

 

 

и

V

 

 

 

 

 

 

 

Н е о п р е д е л е н н о с т и

в и д а

1°°, оо°

и 0°

можно

раскрыть с помощью тождества

иѵ =

еѵ ln

которое имеет

место

при условии 1 ф и > 0 . Перейдем

в

этом тождестве к пределу

при X ->■ а; предполагая существование предела переменной

v lnu

и учитывая непрерывность

показательной функции, получим

 

limu° = e*, где

q = lim (v ln и).

 

(11)

 

X-+CL

 

X-+CL

 

 

Величина

v Іпм представляет

неопределенность

вида

оо° • 0.

П р и м е р

6. lim хх = еі —1,

так

 

 

1

как g= lim х ln х lim (ln x)j— -

 

X - * 0

 

* -i-0

X - + 0

x

= —lim 2 = 0.

*-o

§6. ИССЛЕДОВАНИЕ ФУНКЦИИ

Спомощью производной можно изучить различные свойства функций. Ниже доказаны теоремы о тех или иных свойствах функций. Некоторые из теорем содержат необходимые условия, другие — достаточные условия, третьи — необходимые и доста­ точные условия истинности математического предложения, пред­ ставляющего заключение соответствующей теоремы. Выясним точный смысл этих понятий.

Необходимым условием для истинности какого-либо предложе­ ния называется всякое условие, без осуществления которого это предложение заведомо неверно.

П р и м е р 1. Для делимости числа N на 6 необходимо, чтобы а) число N было целым, б) число N было четным. Каждое из этих условий является не­ обходимым условием для делимости N на 6.

Достаточным условием для истинности какого-либо предло­ жения называется всякое условие, из которого следует, что это предложение верно.

П р и м е р 2. Для делимости числа N на 6 достаточно, чтобы число N делилось на 12, или, чтобы число N делилось на 6к, где к — любое натуральное число.

В нашем примере речь идет о математическом предложении «число N делится на 6». Это предложение может быть истинным (верным) или неверным в зависимости от числа N. Если выполнено

достаточное

условие: N = 6к,

то предложение верно — число

N

делится на 6.

Если нарушено любое из необходимых условий

(например, N

— нецелое число), то предложение неверно — число

N

не делится на 6.

называют

п р и з н а к о м .

 

Достаточное

условие иногда

 

Необходимым

и достаточным условием

называется условие,

являющееся необходимым и вместе с тем достаточным для истин­ ности рассматриваемого предложения. Необходимое и достаточ­

ное

условие

иногда называют к р и т е р и е м .

 

 

Так, для делимости числа N на 6 необходимо и достаточно,

чтобы оно делилось на 2 и на 3.

функции. Условия

монотонности

38.

Условие

постоянства

функции.

 

 

 

того чтобы

в

промежутке

[а,

Ъ] функция

Теорема 1. Для

f (х) сохраняла постоянное значение, необходимо

и

достаточно,

чтобы было выполнено условие

 

 

 

 

 

 

 

 

 

 

/*(х) =

0 при

а ^ х ^ Ъ .

 

 

(1)

Д о к а з а т е л ь с т в о .

Н е о б х о д и м о с т ь .

Если / (х)

постоянна в

[а,

Ъ],

то она имеет производную, и эта производная

тождественно

равна нулю

(см.

и. 28).

 

 

 

Д о с т а т о ч н о с т ь .

Если / (х) в каждой точке промежутка

[а, 6] имеет равную нулю производную, то в силу следствия из

теоремы Лагранжа

функция / (х)

сохраняет

в [а, йі

постоянное

значение.

Теорема

доказана.

 

 

 

 

 

Установим условия монотонности функции (см. п. 20). Пусть

функция у = / (х)

определена в

промежутке

[а,

Ь].

Рассмотрим

две точки X и х 0 этого промежутка и соответствующие прираще­

ния

аргумента

Ах = х х 0 и

функции

Аг/ = / (х) — / (х0).

Теорема 2. Если в промежутке

[а, Ъ] функция у — / (х) диф­

ференцируема и возрастает (убывает), то ее производная в этом промежутке не отрицательна (не положительна), т. е.

Г(х)5* 0 [ / » ^ 0 ] .

(2)

Действительно, если / (х) возрастающая, то Дг/5>0 при ДжХ)

и Дг/<0 при Дж<0 (см. и. 20). В обоих случаях

а сле­

довательно, /' (ж) - lim 4^- 5а 0.

Если

же

f (х)

убывающая, то

-

| | <

 

Дж-*0

 

 

 

 

 

 

 

 

 

а0 Г ,( х ) ^ о .

 

 

 

 

 

 

 

 

 

 

Теорема 3.

Если функция

y = f(x)

непрерывна в [а, b] и диф­

ференцируема

в (а, Ъ), причем

0

 

 

 

0],

 

 

(3)

 

 

 

f { x ) >

l f " ( x ) c

 

 

то эта функция возрастает (убывает) в

[а,

6].

 

 

 

Действительно, согласно формуле конечных приращений (см.

п. 34)

для произвольных

X и

х 0 из

[a,

b]

имеем

 

 

 

 

 

ДУ = f

(с) Ах.

 

 

 

(4)

 

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

(і)

> 0

в (а, Ъ)

и Ах

> 0 ,

то Ду > 0

и данная функция возрастает в [а, Ь]. Если же f

(х) <<0 лАхф О ,

то

Ді/ < 0 и функция убывает.

 

 

 

 

 

 

 

 

П р и м е р

1. Функция у =

ж3

всюду возрастающая по определению

этого понятия. Ее производная у'

=

За;2 всюду положительна,

за исключе­

нием точки х0 =

0, где она равна нулю.

 

 

 

 

 

П р и м е ч а н и е . Производная строго монотонной функции не можеТ обратиться тождественно в нуль ни в каком промежутке монотонности. Дей­ ствительно, пусть / (х), например, возрастает в (а, b) и /' (а;) = 0 в (а, Ь). Эти условия несовместимы, потому что из второго условия следует постоян­ ство / (х) в (a, b), а согласно первому условию функция не постоянна.

П р и м е р

2.

Функция

у = ctg х убывает всюду,

где sin х ф 0, по­

тому что при этом условии у

1

< 0 .

 

 

sin2

 

 

П р и м е р

3.

Функция у

X

 

2е2х ►> 0,

= е2х всюду возрастает, так как у' =

П р и м е р

4.

 

Найти промежутки

возрастания и

убывания

функции

1

1

 

Для этого находим производную данной функции у'

у = — X*---- —X 2 .

а;3

X = X (х — 1)(а; +

1).

Производная обращается

в нуль в точках

ад

1, х 2

0, х3

1.

Выясним знак производной в промежутках изме­

нения

переменной

х,

которые

указаны

в первой строке таблицы. Далее

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

X

— ОО

—1 —1 < а ;< 0

0 < z < ; i

l< a ;< -fo o '

V'

+

+

У

Убывает

Возрастает

Убывает

Возрастает

Заметим, что знак производной

позволяет судить не

о знаке функции,

а о характере ее изменения.

 

 

 

 

\х\.

Для этого рассмотрим

П р и м е р

5. Доказать неравенство sin |ж| ^

функцию / (х) =

X — sin ж и ее производную /' (х) =

1 — cos х.

При всех х

величина /' (х) Ss 0, причем равенство нулю имеет место лишь в изолирован­

ных точках. Поэтому / (х)

всюду возрастает. При ж0 = О имеем / (ж0) =

0.

Следовательно, при х > 0 имеем / (х)

=

х — sin і > 0

и поэтому sin х <; х.

При X <( 0 имеем / (і) <; 0 и поэтому sin х >

х, a sin (—х)

х.

Объединяя

результаты, получаем sin \х\ ^ |ж| при всех х.

 

 

 

 

 

 

 

 

 

 

39.

 

Максимум

и минимум

функ­

 

 

ции.

 

Пусть

функция

/

(X)

непре­

 

 

рывна

в

промежутке (а,

Ь) и х 0

 

 

точка этого промежутка.

Функция

 

 

 

О п р е д е л е н и е .

 

 

 

/ (X)

имеет в точке х 0 максимум (ми­

 

 

нимум),

если

значение

функции

 

 

/ (X) в точке х 0является наибольшим

 

 

(наименьшим)

среди

ее значений

в

 

 

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

точки х 0.

 

 

Это значит, что существует такое

летворяющих

условию

число ô > 0, что

для

 

всех х,

удов-

0 <і\х

х й \ < б ,

выполняется

нера-

венство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(x )< f(x о)

 

[f(x )> f(x 0)].

 

 

 

 

(5)

Условие (5) можно

представить соответственно в виде

 

 

 

Ду = /(* )—Н хо)<&

[Ду>0].

 

 

 

(6)

Если функция имеет в точке

х 0 максимум

или

минимум,

то

говорят, что она имеет в этой точке экстремум, а сама точка

х 0

называется точкой экстремума

 

функции

(рис. 25).

 

 

 

 

Из определения следует, что понятие экстремума носит локаль­ ный характер в том смысле, что в случае экстремума неравенства

(5) и (6) не обязаны выполняться для всех значений х в области определения функции, а лишь в некоторой окрестности точки х 0 (за исключением х 0).

В случае максимума график функции имеет вершину, и точке максимума х 0 соответствует ордината / (х0), наибольшая среди соседних ординат. Очевидно, функция может иметь несколько максимумов и несколько минимумов, причем иной максимум может быть меньше другого минимума. На рис. 25 / (ж0) < / (я3).

Наибольшее значение функции в промежутке [а, Ъ] — это не обязательно наибольший из максимумов; это может быть значение функции на границе промежутка, например в точке х = Ъ (см. рис. 25).

П р и м е ч а н и е . Если функция имеет в точке х0 экстремум, например минимум, то это еще ие значит, что справа от хп функция возрастает, а слева убывает. Это показывает следующий пример, в котором х0 есть точка сгуще­ ния экстремумов. Пусть функция задана равенствами

f (х) =æs ^2 — sin -j- ^

 

при х ф О,

/(0) = 0.

(7)

Можно доказать*, что в точке х0 =

0

данная функция непрерывна и имеет

минимум. Ее производная /' (х) — 2 x

^ 2 — sin

^ + cos~

в любой окрест­

ности точки х0 (но не в самой точке х0) непрерывна и меняет знак бесконечно

много раз. А сама функция / (х) не монотонна

ни слева, ни справа от хп

(рис. 26).

 

 

 

Теорема.

Если

дифферен­

 

цируемая в

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

 

ки х 0

функция / (X)

имеет в

 

этой

точке экстремум, то про­

 

изводная /' (х) в точке х 0 равна

 

нулю:

 

 

 

 

 

/'(*„) = 0.

(8)

 

В

сущности это другая фор-

Рис. 26.

мулировка теоремы Ферма, все условия которой здесь выполнены, а поэтому имеет место и ее заключение.

Для дифференцируемой функции / (х) условие (8) является необходимым условием экстремума. Но функция может иметь в точке экстремум и не быть в этой точке дифференцируемой. На рис. 21 показан график такой функции. Следовательно, необхо­ димо, чтобы в точке экстремума производная функции либо не существовала, либо была равна нулю.

Заметим, что условие (8), будучи необходимым условием экст­ ремума дифференцируемой функции, не является достаточным условием экстремума. Это показывает пример: функция у = х3 не имеет экстремума, но ее производная равна нулю в точке х 0 =

-

0.

 

 

Значения аргумента, при которых производная равна нулю

или имеет

разрыв, называются критическими значениями.

 

П р и м е р . Функция у = х ^ г (х + 5) имеет критические значения х 1 =

=

—2 и i j =

0, потому что производная у' = 5 + 2)/Зу х в точке х 1 рав­

на нулю, а в точке х%бесконечна; причем сама функция в этих точках опре­ делена.

* Аналогичный пример рассмотрен в работе И. П. Привалова и С. А. Гальперна «Основы анализа бесконечно малых».

Соседние файлы в папке книги из ГПНТБ