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

Математика для гуманитарных, экологических и экономико-юридических специальностей. Часть 2

.pdf
Скачиваний:
6
Добавлен:
05.02.2023
Размер:
4.98 Mб
Скачать
= d (f

7 1

П р и м е р 1. Найти df, åñëè f(x) = ex2 sin 5x.

Решение: òàê êàê f¢(x) = ex2 sin 5x (2x sin 5x + 5x2 cos 5x), òî df = ex2 sin 5x (2x sin 5x + 5x2 cos 5x) dx.

П р и м е р 2. Вычислить df, åñëè f(x) = x3 , в точке x0 = 2, Dx = 0,01.

Решение: df = 3x2dx.

Полагая x = x = 2, dx = x = 0,01,

получаем

df = 3 × 4 × 0,01 = 0,12.

0

 

 

 

П р и м е р 3. Заменяя приращение функции ее дифференциалом, вычислить приближенно (1,030)5. Оценить абсолютную и относительную погрешности, допускаемые при этом.

Решение: примем f(x) = x5, x0 =1,000; x1=1,030. Тогда dx = Dx = 1,030 - 1,000 = 0,030, f(x0 ) = 1,000;

f(x0 + Dx) = f(x0 ) + Df(x0 ) » f(x0 ) + df(x0 ).

В нашем случае df = 5xdx, df(x0 ) = 5 ×1× 0,030 = 0,150. Поэтому

f(x0 + Dx) = f(1,030) = (1,030)5 »1+ 0,150 =1,150.

Так как само число 1,030 приближенное и указано с точностью до тысячных, то непосредственное вычисление с округлением до тысячных дает (1,03)5 = 1,159. Таким образом, при замене приращения дифференциалом допущена абсолютная погрешность = 1,15 1,159 =

= 0,009, а относительная — δ = 0,1,159009 0,008, т.е. менее одного процента.

Иногда точность приближенного равенства Df » df бывает недостаточной (если Dx велико). Тогда привлекают дифференциалы высших порядков.

Пусть функция y = f(x) в точке x имеет производные любого порядка. Ее дифференциал df = f ¢(x)dx, называемый первым дифференциалом, является функцией двух переменных — x è Dx = dx. Приращение аргумента будем полагать в заданном процессе постоянным и независимым от выбора точки x. При таком соглашении дифференциал является функцией от x, от которой также можно найти дифференциал, называемый вторым дифференциалом или дифференциалом второго порядка, он обозначается d2f. Таким образом, d2f = d(df). Находим d2f = d (f¢(x)dx) = (f¢(x)dx)¢ dx = f¢¢(x)(dx)2. Ïðè

этом учтено, что dx не зависит от x. Èòàê, d2f = f¢¢(x)(dx)2. Аналогично можно ввести понятие дифференциала любого поряд-

êà: d3f = d(d2f) — дифференциал третьего порядка, …, d (d(n1)f) = (n1) (dx)n ) = f(n)(x)(dx)n — дифференциал порядка n. Заметим,

7 2

÷òî åñëè

y = f [x(t)] , òî df = fxdt, íî

xdt = dx,

поэтому

df = fdx

 

x t

t

 

x

êàê äëÿ x — независимой переменной, так и для x — функции другого аргумента. Это свойство называют свойством инвариантности формы записи первого дифференциала. Дифференциалы высших порядков, начиная со второго, свойством инвариантности не обладают, так как если x = x(t), òî d(dx) ¹ 0. В этом случае Dx ¹ dx.

П р и м е р 4. Найти d3f, åñëè f(x) = x4.

Решение: òàê êàê f¢(x) = 4x3, f¢¢(x) =12x2, f¢¢¢(x) = 24x, òî d3f = = 24x(dx)3.

Доказано, что если функция имеет в точке x0 производные до (n+1)-го порядка включительно, то в некоторой окрестности uδ(x0) справедлива формула

f(x)-f(x )=df(x )+

1 d2f(x )+...+

1

dnf(x )+ R

+

 

(x),

xÎUδ (x ),

n¢

1

0

0

2

0

0

n

 

 

0

 

 

 

 

0

 

 

 

 

 

(2.15)

 

 

 

 

 

 

 

 

 

 

называемая формулой Тейлора порядка n. Величина Rn+1(x) называ-

ется остаточным членом формулы Тейлора. Вспоминая, что dnf(x ) =

= f(n)(x )(dx)n = f

(n)(x )(x - x )n,

 

 

 

 

 

 

0

 

формулу (2.15) можно переписать

0

0

 

 

 

0

 

 

 

 

 

 

 

 

â âèäå

 

 

 

 

 

 

 

 

 

 

 

 

 

f(x) = f(x

) +

f(x0 )

(x x ) +

f′′(x0 )

(x x

)2 + ... +

 

 

 

 

0

 

 

 

1!

 

 

0

2!

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(n) (x

)

 

 

 

 

 

 

 

 

+

 

 

0

 

(x - x

)n + R

+

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n !

 

0

 

n

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Остаточный член Rn+1 можно записать в различных формах, наиболее простая из них предложена французским математиком Лагран-

æåì: Rn+1 = f(n+1) (c) (x x0 )n+1, ãäå c — некоторая точка из окрестно- (n + 1) !

ñòè Uδ(x0), лежащая между x è x0. Многочлен

Pn (x) = f(x0 ) + f(1!x0 ) (x - x0 ) +

+ f¢¢(x0 ) (x - x0 )2 + ... + f(n)(x0 ) (x - x0 )n 2! n !

называется многочленом Тейлора. Формула Тейлора позволяет функцию f(x) представить приближенно многочленом: f(x) » Pn (x). Вели- чина остаточного члена Rn+1(x) определяет абсолютную погрешность равенства f(x) » Pn(x). Итак, имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7 3

f(x) = f(x

 

) +

f(x0 )

(x x

 

) +

f′′(x0 )

(x x

)2 + ... +

 

 

 

 

 

 

 

0

 

 

 

1!

 

0

 

2!

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(n)

(x

)

 

 

 

f(n+1)(c)

 

 

 

+

1.

 

+

 

 

0

 

 

(x x )n

+

 

 

 

(x x )n

 

(2.16)

 

 

 

 

 

 

 

 

 

 

n !

 

 

0

 

 

(n + 1)!

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Соотношение (2.16) называют формулой Тейлора с остаточным

членом в форме Лагранжа. Если

lim

R

(x) = 0,

то функцию с лю-

 

 

 

 

 

 

 

 

n→∞

n+1

 

 

 

 

 

 

бой степенью точности можно представить многочленом Тейлора. Это условие заведомо выполнено, если все производные ограничены од-

ним числом, т.е.

 

f(n)(x)

< M ïðè

x U

δ

(x ), что справедливо для

 

 

 

 

 

 

 

0

 

 

 

многих практически важных функций.

 

 

 

 

 

Åñëè x0 = 0, òî

 

 

 

 

 

 

 

 

 

 

 

f(x) = f

(0) +

f(0)

x2 + ... +

f(n)(0)

xn +

f(n)(c)

xn+1.

(2.17)

 

 

(n + 1)!

 

2!

 

n !

 

 

 

 

Формулу (2.17) называют формулой Маклорена порядка n. Если функция f(x) имеет в точке x0 производные всех порядков

è Rn+1(x) 0 ïðè n → ∞, то функцию f(x) можно представить в виде степенного ряда:

 

 

 

 

 

 

 

 

 

f(x)

= a

(x x

)n,

 

(2.18)

 

 

 

 

n

 

0

 

 

 

 

 

 

n=0

 

 

 

 

 

ãäå

 

 

 

 

 

 

 

 

 

 

 

 

 

fn (x )

 

 

 

 

a

= f(x

),

a

 

0

(x x

)n.

(2.19)

 

 

0

0

 

n

n!

 

0

 

 

 

 

 

 

 

 

 

 

 

Степенной ряд (2.18), коэффициенты которого находятся по формулам (2.19), называется рядом Тейлора для функции f(x).

Вычисляя производные в нуле, легко получить следующие ряды:

 

 

 

 

x

2

 

 

 

 

x

3

 

 

 

x

n

 

 

 

x

n

 

 

 

 

 

 

 

 

 

 

1)

ex = 1+ x +

 

 

 

+

 

 

+ ... +

 

+ ... =

 

,

 

0 ! = 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

3 !

 

 

 

n !

 

 

n=0

n !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2

 

 

 

x

4

 

 

 

 

 

 

x

2n

 

 

 

 

(1)

n

x

2n

 

 

 

2)

cos x = 1

 

 

 

 

+

 

 

 

... + (1)n

 

 

 

 

+ ... =

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

4!

 

 

 

 

 

(2n)!

 

 

 

 

n=0

(2n)!

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

5

 

 

 

 

 

 

 

2n+1

 

 

 

(1)

n

2n+1

3)

sin x

= x

x

 

 

 

+

x

 

 

... + (1)n

 

 

x

 

 

 

 

 

 

+ ... =

 

x

 

 

 

 

 

 

 

 

 

(2n + 1) !

 

(2n + 1) !

 

 

 

3 !

 

 

 

5 !

 

 

 

 

 

 

n=0

 

(разложения 1–3 имеют место при любом значении x);

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4)

= 1 x

 

+ x2 x3 + ... = (1)n xn;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 + x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7 4

 

 

 

 

 

 

 

2

 

 

 

3

 

 

n+1

 

n

 

 

 

 

5)

ln(1 + x) = x

x

 

+

x

 

... =

(1)

x

 

;

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

n=0

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

5

 

 

 

 

2n+1

 

 

 

2n+1

 

6)

arctgx = x

x

 

 

+

x

... + (1)n

 

x

 

 

=

x

 

 

;

 

 

 

 

 

2n + 1

2n + 1

 

 

 

3

 

 

5

 

 

 

 

n=0

 

7)

(1 + x)

α

 

 

α(α − 1)L (α − n + 1)xn

 

 

 

 

 

 

 

 

= 1 +

 

 

 

 

n !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(разложения 4–7 имеют место при x < 1 ).

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

П р и м е р 5. Представить в виде суммы ряда Маклорена функ-

öèþ f(x) =

1

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x + 4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение: можем записать

1

 

=

 

 

 

1

 

 

 

 

и, используя ряд 4,

 

 

 

 

 

 

 

 

 

 

 

 

 

x + 4

4

 

1 +

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

1

 

 

 

x

n

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

получить

 

 

=

(1)n

 

 

ïðè

 

 

< 1,

 

x

 

< 4.

 

 

 

 

 

 

 

 

x +

4

4n+1

4

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Мы рассмотрели дифференциал и формулу Тейлора для функций одной переменной. Формула (2.15) сохраняется и для функций многих переменных, только значительно усложняется вид дифференциалов высших порядков.

Упражнения

1. Найдите дифференциалы функций:

à) y =

1

; á) y = arcsin

x

.

 

 

x2

 

 

 

 

 

 

a

Ответ: а)

2dx

;

á)

 

a

 

dx

.

 

 

x3

 

 

 

 

 

 

 

 

 

 

 

a a2 x2

2. Вычислите дифференциал и приращение функции f(x) при переходе из точки x0 в точку x1:

à) f(x) = 2x2 + 4x + 1, x0 = 3,000; x1= 3,040; á) f(x) = 5x3 x2 + 3, x0 = 1,000; x1= 1,010.

Ответ: а) f = 0,643, dy = 0,640; á) y = 0,131, dy = 0,130.

7 5

3. Заменяя приращение функции дифференциалом, вычислите, округлив до 0,0001:

à)

 

4,0120;

á) 3

0,9843.

 

 

 

 

 

Ответ: а) 2,0030; б) 0,9948.

 

 

 

 

4.

Запишите ряд Маклорена для функций:

 

 

à)

f(x) = e2x; á) f(x) = sin2 x; â) f(x) =

x

.

 

 

 

 

 

 

 

 

 

 

x2 + 5

 

 

2.5. Правило Лопиталя

 

 

 

 

Производная функции f(x) является пределом lim

f

и содер-

 

 

 

 

 

 

 

 

x0

x

жит неопределенность 00 . Естественно предположить, что отыскание некоторых пределов можно свести к дифференцированию функций.

Например, lim sin x sin2

согласно определению производной равен

x2

x 2

 

 

 

 

(sin x)ïðè x = 2, т.е. равен cos 2; lim

ex2 e

= 2e,

поскольку этот пре-

x 1

 

 

x1

 

 

дел равен значению производной от функции f(x) = ex2

в точке x = 1.

Рассмотрим более сложный пример: lim

 

ex2

e4

. Поделив чис-

 

 

sin 2

x2 sin x

 

 

 

литель и знаменатель на x 2, получим

lim

(ex2 e4 )

(x 2)

. Âè-

 

 

 

 

(sin x sin 2) (x 2)

 

x2

 

дим, что числитель стремится к (ex2 )

ïðè x = 2, а знаменатель —

ê (sin x)ïðè x = 2. Следовательно, этот предел равен 4e4sin 2. Ïðè

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

0

è

применяют следующие теоре-

 

0

 

 

 

мы Лопиталя, которые мы приводим без доказательства.

Теорема 1 (о раскрытии неопределенности

0

). Если: 1) функции

0

 

 

 

o

 

 

 

 

 

 

f(x) è g(x) определены в окрестности Uδ (x0 ); 2) lim f(x) = 0,

 

o

 

 

 

xx0

 

 

существуют производные f (x)

lim g(x) = 0; 3) в окрестности Uδ (x0 )

xx0

 

 

 

 

7 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¹ 0; 4) существует

 

 

lim

 

f (x)

= K, то существует

 

 

 

 

 

 

 

 

 

 

 

è g¢(x), причем g

(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx0 g¢(x)

 

 

 

 

 

 

 

 

 

 

è

 

lim

 

f(x)

, также равный K.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx0 g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р 1. Найти lim

x - arctgx

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение: условия 1–3 теоремы 1, очевидно, выполнены. Прове-

рим условие 4. В нашем примере f(x) = x - arctgx,

f¢(x) =1-

 

1

=

 

 

 

+ x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

=

 

x2

, g(x) = x3, g¢(x) = 3x2. Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1+ x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

f¢(x)

= lim

x2 /(1 + x2 )

= lim

 

 

1

+ x2

=

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0 g¢(x)

x0

 

 

 

 

 

 

x0

 

 

 

 

3

 

 

 

 

3

 

 

 

 

 

 

 

Из теоремы 1 следует, что lim

x - arctgx

 

=

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

0

 

 

3x2

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание. Иногда предел lim

 

f(x)

опять приводит к неопреде-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

x0 g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ленности

0

. Тогда применяют еще раз теорему 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р 2. Найти lim

x - sin x

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение: lim

x - sin x

= lim

1 - cos x

 

= lim

sin x

=

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

x3

x0

3x2

 

 

x0 6x

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 2 (о раскрытии неопределенности

 

). Если: 1) функции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

o

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(x) è g(x) определены в

окрестности Uδ (x0 ); 2) lim f(x) = ∞,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

o

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx0

 

 

lim g(x) = ∞; 3) всюду в окрестности Uδ (x0 )

существуют производ-

xx0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

íûå f ¢(x) è g¢(x), причем g¢(x) ¹ 0; 4) существует lim

 

 

f (x)

= K,

òî ñó-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx0 g¢(x)

 

 

ществует и lim

f(x)

, также равный K.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xx0 g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7 7

Теоремы 1 и 2 легко перефразировать на случай односторонних пределов x ®ox0 ± 0, а также на случай x ® ¥, -¥ , +¥, если заменить

окрестность Uδ (x0 ) на другие виды окрестностей.

П р и м е р 3. Найти lim tgx . x→π / 2 tg3x

Решение: имеем неопределенность вида .

Условия 1–3 теоремы 2, очевидно, выполнены. Проверим условие 4. В нашем примере

 

 

 

f(x) = tg x,

g(x) = tg 3x, f¢(x) =

 

 

1

 

, g¢(x) =

 

 

 

3

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

x

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

 

 

 

 

cos 3x

 

Поэтому lim

f¢(x)

=

 

lim

cos2

3x

=

 

lim

 

1 + cos 6x

 

. Получили

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→ π 2 g¢(x)

 

x→ π 2 3 cos2 x

 

 

x→ π 2 3(1 + cos 2x)

 

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

 

0 . Применяем теорему 1, условия которой

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1–3 выполнены. Проверяем четвертое условие: lim

 

 

(1 + cos 6x)

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→ π 2 3(1 + cos 2x)

 

= lim

-6 sin 6x =

lim

sin 6x

. Опять получили неопределенность

 

 

x→π 2 -6 sin 2x

x→π 2 sin 2x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òèïà

 

0

.

Находим lim

 

(sin 6x)

=

lim

 

6 cos 6x

= 3,

 

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

 

 

0

 

 

x→π 2 (sin 2x

x→ π 2 2 cos 2x

 

 

 

 

 

 

 

 

lim

 

tgx

= 3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→π 2 tg3x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание. Можно было в этом примере ограничиться однократ-

ным применением правила Лопиталя. Предел lim

 

1 + cos 6x

íàé-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→π 2 3(1 + cos 2x)

 

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

lim

1 + cos 6x

x→π2 3(1 + cos 2x)

 

 

1

 

(6x)2

 

 

 

 

 

 

 

36

 

= lim

2

=

= 3

 

 

x→π 2 3 ×

1

(2x)2

3 × 4

 

 

2

 

 

 

 

(см. в подразд. 1.22 таблицу эквивалентных бесконечно малых).

Неопределенности 0 Ч ¥ и ¥ - ¥ сводятся к рассмотренным выше путем алгебраических преобразований соответствующих выражений.

Неопределенности 00, ¥0, 1сводятся к неопределенности 0 Ч ¥ путем логарифмирования.

7 8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р 4. Найти

 

 

 

 

 

ln(ex 1)

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

+0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

Решение: имеем неопределенность 00. Обозначим

 

 

 

 

 

ln(ex 1)

, íà-

y = x

 

ходим ln y =

 

ln x

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln (ex 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

x

1

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

(ln x)

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

=

 

=

 

lim

 

 

 

 

 

 

 

 

=

lim

 

 

 

 

 

 

=

=

 

 

 

x

 

0

 

 

 

 

 

 

 

 

 

 

x

 

x0+0

ln(e

1)

 

 

 

x0+

ln (ex 1)

 

x0+0

xe

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

lim

(ex 1)

=

lim

 

e

x

 

=

1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(xex )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0+0

 

 

 

 

x0

+0 ex + xex

 

 

 

 

 

 

 

 

 

 

 

 

Òàê êàê

 

lim

ln y = 1, то, учитывая непрерывность функции ln x,

 

x0+0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

получаем

lim

ln y = ln

(

 

lim y) = 1,

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

 

lim

y = e. Òà-

x

0+0

 

 

 

 

 

x0+0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

+0

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ким образом,

lim

 

ln(ex 1)

 

= e.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

0

+0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.6. Основные теоремы дифференциального исчисления

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

Пусть дано множество X. Точку x0 множества X называют внутренней, если она принадлежит множеству вместе с некоторой окрестностью Uδ(x0); если же в окрестности Uδ(x0) имеются точки, как принадлежащие X, так и не принадлежащие, то точка x0 называется граничной. Граничная точка множества может и не принадлежать множеству. Например, для множества (a,b] точки a è b граничные, причем точка a множеству не принадлежит, а точка b — принадлежит. Все точки множества (a,b], кроме точки b, внутренние.

Теорема 1 (Ферма). Пусть функция y = f(x) определена на множестве X и во внутренней точке x0 этого множества принимает наибольшее или наименьшее значение. Если существует f (x0), òî f (x0) = 0.

7 9

Доказательство. Пусть в точке x0 функция принимает наибольшее значение. Тогда f(x0 + Dx) £ f(x0 ) для любых значений Dx таких, что (x0 + Dx) Î X. Поэтому Dy = f(x0 + Dx) - f(x0 ) £ 0 независимо от

знака Dx. Следовательно, Dy ³ 0, åñëè Dx > 0. По теореме 5 из под-

Dx

разд. 1.18 (о переходе к пределу в неравенстве) и из условия суще-

ствования f ¢(x ) получаем

f¢(x ) = lim

Dy ³ 0,

f+¢(x

) = lim

Dy £ 0.

0

0

x0

0

Dx

0

x0+0

Dx

 

 

 

Так как по условию теоремы производная f ¢(x0) существует, то f(x0 ) = f+(x0 ), что возможно, только если f ¢(x0) = 0. Теорема доказана.

Таким образом, в точке наибольшего значения производная или не существует, или равна нулю, если существует. Геометрически теорема Ферма означает, что если в точке наибольшего или наименьшего значения существует касательная, то она параллельна оси Ox.

Теорема 2 (Ролля). Если функция y = f(x) : 1) непрерывна на [a,b]; 2) дифференцируема на (a,b); 3) в точках x = a è x = b принимает равные значения, т.е. f(a) = f(b), то существует такая точка ξ (a,b), в которой f(x) = 0.

Доказательство. По второй теореме Вейерштрасса (см. теорему 6, подразд. 1.22) функция, непрерывная на [a,b], достигает своего наименьшего значения m и наибольшего — M. Если окажется m = M, тогда f(x) = c è f ¢(x) = 0 во всех точках на (a,b). В качестве точки x можно взять любую точку из (a,b). Åñëè æå m < M, то одно из значений m èëè M принимается в точке x, лежащей внутри (a,b), òàê êàê f(a) = f(b), à M ¹ m. По теореме Ферма f ¢(x) = 0. Теорема доказана.

Геометрически теорема Ролля означает, что если f(a) = f(b), то существует точка на (a,b), в которой касательная к графику функции параллельна оси Ox. В частности, если f(a) = f(b) = 0, то теорему Ролля можно сформулировать по-другому: между двумя последовательными корнями уравнения f(x) = 0 для дифференцируемой функции f(x) имеется хотя бы один корень уравнения f ¢(x) = 0.

Теорема 3 (Лагранжа). Если функция f(x) : 1) непрерывна на [a,b]; 2) дифференцируема на (a,b), то существует такая точка ξ (a,b), в которой

f¢(x) =

f(a) - f(b)

.

(2.20)

 

 

b - a

 

Выражение (2.20) называется формулой Лагранжа.

8 0

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

F(x) = f(x) f(a) f(b) (x a). Эта функция удовлетворяет всем усло- b a

виям теоремы Ролля (предлагается убедиться в этом самостоятель-

 

 

 

 

 

 

 

 

 

 

 

 

 

Íî F(x) = f(x)

но). Поэтому существует точка ξ, в которой F (ξ) = 0.

f(a) f(b)

 

,

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

f

′ ξ

)

=

f(a) f(b)

.

 

 

b a

 

 

(

 

 

b a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда и следует формула (2.20). Теорема доказана.

 

Если положим a = x0, b = x0 +

 

x, то формулу (2.20) можно перепи-

 

 

 

 

x(x0 + x) f(x0 )

 

 

y

 

ñàòü â âèäå

 

f (x) =

 

 

 

 

 

 

èëè

x

= f (ξ),

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = f(ξ) x.

 

 

(2.21)

Выражение (2.21) называют формулой о конечных приращениях.

2.7. Условия постоянства и монотонности функции

Сформулируем эти условия в виде теорем.

Теорема 1. Пусть функция f(x) непрерывна в промежутке X (конечном или бесконечном, замкнутом или нет) и имеет внутри него конечную производную f (x) = 0. Для того чтобы функция f(x) áûëà â X постоянной, необходимо и достаточно, чтобы f (x) = 0 внутри X.

Доказательство. Необходимость условия очевидна: из f(x) = const следует f (x) = 0. Покажем его достаточность. Пусть f (x) = 0 внутри X. Зафиксируем любую точку x0 X и возьмем любую другую точку x X. К функции f(x) и промежутку [x0, x] èëè [x, x0] приме-

ним теорему Лагранжа: f(x) f(x0) = f (ξ)(x x0). Òàê êàê f (ξ) = 0, òî f(x) = f(x0) = const. Теорема доказана.

П р и м е р 1. Доказать, что arcsin x + arccos x = 2π .

Решение: рассмотрим функцию f(x) = arcsinx + arccosx, дифференцируемую на (1,1).

 

1

 

1

 

 

то по теореме 1 f(x) = c = const.

Òàê êàê

 

 

 

 

= 0,

f (x) =

1x2

1x2

 

 

 

 

 

 

Поскольку f(0) = 2π , òî c = 2π .

Теорема 2. Пусть функция f(x) непрерывна на отрезке [a,b] и имеет конечную производную на (a,b). Для того чтобы функция