
книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник
.pdfв любой внутренней толке этого промежутка производная /' (х)
равна нулю. |
точек с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 рав |
на нулю, а в точке х%бесконечна; причем сама функция в этих точках опре делена.
* Аналогичный пример рассмотрен в работе И. П. Привалова и С. А. Гальперна «Основы анализа бесконечно малых».