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

matem-up1

.pdf
Скачиваний:
371
Добавлен:
14.02.2015
Размер:
1.73 Mб
Скачать

α1 (x)±α2 (x) является бесконечно малой. Применяя снова

теорему 5.3, получаем утверждение а). Утверждения б), в), доказываются аналогично.

Замечания.

1) Из утверждения б) теоремы 5.4 и примера 5.1 следует, что постоянный сомножитель С можно выносить за символ предела:

xx

(

С f

(

x

))

= С

xx

(

x

)

.

lim

 

 

 

 

lim f

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

2) Из утверждения б) следует, что

 

 

 

 

lim

( f (x))n =

lim

f (x) n

, n .

xx0

 

 

 

 

xx0

 

 

 

 

 

 

В частности, lim

xn = xn .

 

 

 

 

 

 

 

 

 

 

 

xx0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Прежде чем перейти к примерам вычисления пределов, сформулируем важный результат, который будет широко использоваться. Обоснование теоремы приведём позже, в пункте 5 этого раздела.

Теорема 5.5. Для всех элементарных функций f (x) справедливо равенство

lim f (x) = f (x0 ) ,

xx0

если точка x0 принадлежит области определения функции. Пример 5.5. Вычислить:

а)

Решение.

ределения

lim

2x2 +7

; б)

lim log3 (10 + cos x).

 

 

 

 

 

x1

3x + 2

xπ

 

 

 

 

а) Так как точка

x0 = 1 принадлежит области оп-

элементарной

функции

2x2

+7

,

то

3x

+ 2

 

 

 

 

 

 

lim

2x2 +7

=

2 12 +7

=

9

= 1,8

. Впрочем, вычислить этот предел

 

 

 

x1

3x + 2 3 1 + 2 5

 

можно и с помощью теоремы 5.4.

 

б) Здесь теорему 5.4 применить нельзя, но функция эле-

ментарная, предельная точка

x0 =π принадлежит её области

161

x3 3x + 2

определения, поэтому

lim log3 (10 + cos x)= log3 (10 + cosπ )= log3 (10 1)= 2 .

xπ

Если функция, стоящая под знаком предела, не определена в предельной точке, то вычисление предела – более трудная задача, для решения которой нужно применять специальные приёмы. Рассмотрим некоторые из них на примерах.

Пример 5.6. Вычислить

lim

2 x +7

.

 

 

x→ − 1

x + 1

Решение. Функция не

определена в предельной точке

x0 = −1 , так как знаменатель обращается в 0. Теоремой 5.4 вос-

пользоваться нельзя. Функция

1

 

– бесконечно большая при

 

x + 1

x → −1

 

 

 

 

 

 

 

 

 

 

 

 

lim (2 x +7 )= 5 0 ,

 

(по

теореме 5.1). Так как

 

то и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→ − 1

 

 

функция

 

2 x +7

 

– бесконечно большая при x → −1 (по теореме

 

x + 1

 

 

 

2 x +7

 

 

 

 

 

 

 

 

5.2). Значит,

lim

 

 

= +∞ .

 

 

 

 

 

 

 

 

 

 

 

x + 1

 

 

 

 

 

 

 

x→ − 1

 

 

 

 

 

 

 

 

Заметим, что если

 

x → −1 0

 

(слева), то числитель поло-

жителен,

 

знаменатель отрицателен,

 

поэтому дробь отрицатель-

на и

lim

 

2 x +7

= −∞ . Аналогично, при

Y

 

 

 

 

 

 

 

 

x→ − 10 x + 1

 

 

 

 

 

 

 

 

x → −1 + 0 (справа) дробь принимает положи-

o–1 O

X

тельные значения и

lim

2 x +7

 

= +∞ . Та-

 

 

x + 1

 

 

 

 

 

 

 

 

 

 

 

x→ − 1+0

 

 

 

 

ким образом, исходный предел не существует. Поведение функ-

ции f (x)= 2xx++17 в окрестности точки x = −1 показано на ри-

сунке.

Пример 5.7. Вычислить lim x3 x2 x + 1 .

x1

Решение. Предел нельзя найти непосредственной подстановкой вместо x величины 1, под знаком предела – отношение

162

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

0

имеем неопределённость вида . Так как многочлены чис-

0

лителя и знаменателя дроби обращаются в нуль при x = 1, то, согласно теореме Безу, можно без остатка разделить эти многочлены на (x – 1):

_x3 – x2 – x + 1 |x – 1

 

 

_x3 – 3x + 2 |x – 1

 

x3 – x2

 

x2 – 1

 

 

x3 – x2

x2 + x – 2

 

_– x + 1

 

 

 

_ x2 – 3x + 2

 

 

– x + 1

 

 

 

 

 

x2 – x

 

 

0

 

 

 

 

 

 

_ –2x + 2

 

 

 

 

 

 

 

 

 

–2x + 2

 

 

x3 x

2 x + 1

 

 

x2 1

 

 

 

 

0

 

lim

= lim

 

=

0

 

Итак,

 

 

 

 

 

 

 

. Снова анало-

x3

3x + 2

x2

+ x

2

 

 

x1

 

x1

 

0

 

гичная ситуация. Можно снова произвести деление (или сократить, после разложения многочленов на множители):

lim

x2 1

= lim

(x 1)(x + 1)

= lim

x + 1

=

1 + 1

=

2

.

x2 + x 2

(x 1)(x + 2)

 

1 + 2

3

x1

x1

x1 x + 2

 

 

 

В последнем пределе неопределённости уже нет, и мы воспользовались свойствами пределов.

Пример 5.8. Вычислить lim

4 x

.

 

 

 

2 x + 1 3

 

 

 

x4

 

 

 

 

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

0

 

. Чтобы её

 

 

 

0

 

 

раскрыть, умножим числитель и знаменатель на выражение 2x + 1 + 3 – множитель, необходимый для получения формулы «разность квадратов» в знаменателе:

lim

4 x

0

 

= lim

 

(4 x)(

2x + 1 + 3)

 

 

=

 

 

 

 

 

 

=

2x + 1 3

0

(

 

3)(

2 x + 1 + 3)

x4

 

 

x4

2x + 1

 

163

 

 

 

(4 x)(

2 x + 1 + 3)

(

4 x)(

2 x + 1 + 3)

 

 

= lim

 

 

 

= lim

 

 

 

 

 

 

 

=

 

(2x

+ 1)9

 

 

2(x 4)

 

x4

x4

 

 

 

 

 

 

 

= lim

 

2 x + 1 + 3

=

3 + 3

 

= −3.

 

 

 

 

 

 

 

 

2

Замечание.

 

x4

2

 

 

 

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

много

примеров вида

lim

α (x)

,

где α (x) и β (x)– бесконечно малые при

x x ,

 

xx0 β (x)

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

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

стью вида

 

0

. Всего имеется 7 видов неопределённостей:

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

0

 

,

, 0 ,

∞ − ∞, 1, 00 , 0 .

 

 

 

0

 

Если предел не содержит неопределённости, значит, с помощью основных свойств пределов, он вычисляется совсем просто.

Пример 5.9.

Вычислить lim

4 x + 3

.

 

x + 1

 

x→∞ 2 x2

 

Решение. В данном случае имеем неопределённость вида

. В подобного рода примерах, чтобы избавиться от неопре-

делённости, «раскрыть» её, числитель и знаменатель делят почленно обычно на старшую степень многочлена знаменателя, в

данном случае на x2 :

 

 

 

 

 

 

4

 

3

 

 

 

 

 

 

 

4 x + 3

 

 

 

 

 

 

 

 

+

 

 

 

 

0

 

 

 

lim

= lim

 

 

x

x2

=

=

0

,

 

 

 

 

 

 

1 1

2

x→∞ 2 x2 x + 1

 

x→∞

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

x

x2

 

 

 

 

 

так как при x → ∞ величины

1

и

1

 

 

– бесконечно малые.

x

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 5.10. Вычислить

lim

 

 

 

9 x2 1 + 2 x

.

 

 

 

 

 

5 x + 2

 

 

 

 

 

 

 

x→+∞

 

 

 

 

 

 

 

164

Решение. Для того, чтобы раскрыть неопределённость

, поделим числитель и знаменатель на x:

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

9 x2 1 + 2 x

 

 

9

 

 

 

+ 2

 

3 +

2

 

lim

= lim

 

x2

=

= 1 .

5 x + 2

 

 

 

2

 

5 +

0

x→+∞

x→+∞

5

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

Пример 5.11. Вычислить lim

 

9x2

1 + 2 x

.

 

 

 

 

 

5 x + 2

 

 

 

 

 

x→−∞

 

 

 

 

 

Решение. В числителе имеем неопределённость вида (∞ −∞): квадратный корень положителен, поэтому

9 x2 1 → +∞ , а 2 x → −∞ . Снова поделим числитель и знаменатель на x , учитывая, что x < 0 :

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

9x2 1

+ 2 x

 

 

9

 

 

 

+ 2

 

3 + 2

 

1

 

lim

=

lim

x2

=

= −

.

5 x +

2

 

2

 

 

5 + 0

5

x→−∞

 

x→−∞

 

 

 

 

 

 

 

 

 

 

 

 

5 +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

Рассмотрим ещё одно свойство пределов.

Теорема 5.6 (о пределе промежуточной функции).

Пусть в некоторой окрестности точки x0 выполнено неравенство f (x)g (x)h(x). Тогда если

lim f (x)= lim h(x)= b , то и lim g (x)= b .

xx0

xx0

 

xx0

Доказательство. Используем определение предела: для

любого ε > 0 в достаточно малой окрестности точки x0

 

| f (x)b |< ε ,

| h(x)b |< ε .

Или, в другой записи:

 

 

 

 

 

 

b ε < f (x)< b +ε ,

b ε < h(x)< b +ε .

Так как,

по условию, f (x)g (x)h(x) , то отсюда следует

b ε < g (x)< b +ε или

 

g (x)b

 

< ε , что и доказывает тео-

 

 

рему.

 

 

 

 

 

 

165

1.4. Два замечательных предела

Применим теорему 5.6 для доказательства важного равенства:

lim

sin x

= 1 .

Y

B D

 

1

 

 

 

 

x0

x

 

 

 

 

 

 

 

Эту формулу называют первым замеча-

 

 

 

 

 

 

X

 

 

 

 

 

x

 

 

 

 

 

 

 

A

тельным пределом.

 

O

 

 

 

 

Доказательство. Рассмотрим ок-

 

 

 

 

 

 

 

ружность радиуса

R = 1 . Пусть х цен-

 

 

 

 

 

 

 

тральный угол (в радианах), причём 0 < x < π2 . Рассмотрим тре-

угольники OАB, OАD и круговой сектор OАB. Ясно, что их площади удовлетворяют неравенствам

SOAB < Sсектора OAB < SOAD .

Вычислим эти площади, учитывая, что OА = ОB = 1, AD = tg x :

SOAB

=

1

OA OB sin x =

1

sin x ,

Sсектора OAB

=

1

R2 x =

1

x ,

2

2

2

2

 

 

 

 

 

 

 

 

SOAD = 21 OA AD = 21 tg x .

Получены полезные неравенства: sin x < x < tg x при 0 < x <

π .

Разделим

все

части

неравенства

на sin x ,

 

 

 

 

2

 

 

 

получим

1 <

 

x

<

1

 

или, что равносильно,

cos x <

sin x

< 1 . Эти не-

 

 

sin x

 

cos x

 

 

 

x

 

 

 

 

 

 

 

 

 

равенства верны и при

π < x < 0 , так как функции

 

cos x

 

и

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

– чётные. Так как

sin x < x , то 0

1 cos x = 2 sin

2 x

x

2

 

.

 

x

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из теоремы 5.6 следует:

lim (1 cos x)= 0 , или, что то же самое,

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

sin x

 

lim cos x = 1 . Ещё раз применим теорему 5.6: функция

 

 

 

 

x

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

166

заключена между двумя функциями, имеющими при x0 оди-

наковый предел, равный 1. Отсюда следует, что и lim sin x = 1 .

x0 x

Пример 5.12. Вычислить lim 1 cos 2x .

x0 2x2

Решение.

 

1 cos 2x

0

 

 

2 sin2 x

 

sin x

sin x

lim

 

 

 

=

 

= lim

 

 

 

= lim

 

 

lim

 

 

 

=1 1 =1.

 

2x

2

 

 

2x

2

 

 

x

 

x0

 

 

0

x0

 

 

x0

 

x

x0

 

 

 

Для раскрытия неопределённости вида (1)

 

применяют

второй замечательный предел:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

1 +

 

 

= e = 2,71828... 2,7 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

x→∞

 

 

x

 

 

 

 

 

 

 

 

 

 

Число

иррациональное. В математике и её приложениях

большое значение имеют функции,

связанные с числом e : экс-

понента ex

и натуральный логарифм ln x = loge

x .

Второй замечательный предел можно записать в виде:

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

lim (1 + x)

 

 

 

= e .

 

 

 

 

 

 

x

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

Пример 5.13. Вычислить

 

 

2x + 3

2 x

 

lim

 

 

 

.

 

 

 

+ 1

 

 

 

 

 

 

 

 

 

x→∞ 2x

 

 

Решение. Так как

 

 

3

 

 

 

 

 

 

 

 

 

 

 

2 x + 3

 

 

2

+

 

 

2

 

 

 

 

 

 

 

lim

= lim

x

 

 

= 1

,

а

lim 2 x = ∞ , то имеем

 

 

 

 

 

=

 

 

 

=

 

 

 

1

2

x→∞ 2 x + 1

 

x→∞

2

 

 

 

 

 

 

 

 

x→∞

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

предел, связанный с раскрытием неопределенности вида (1).

Чтобы воспользоваться вторым замечательным пределом, сделаем преобразования:

 

2 x + 3 2 x

 

 

 

2 x + 3

 

2 x

 

 

 

2 2 x

lim

 

 

= lim

1

+

 

1

 

= lim

1

+

 

.

2 x + 1

2 x + 1

2 x + 1

x→∞

 

x→∞

 

 

 

 

x→∞

 

 

 

167

Для удобства обозначим

2

 

 

 

= t ,

отсюда

x =

 

1

1

 

. Очевид-

2 x + 1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

но, t 0

 

при x → ∞ . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2 x

 

 

 

 

 

2

 

1

1

 

 

 

 

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

1 +

 

 

 

 

= lim

(1

+ t )

 

t

 

2 = lim (

1 + t )t

 

 

=

 

 

 

 

 

 

x →∞

 

 

2 x + 1

 

 

t 0

 

 

 

 

 

 

 

 

 

t 0

 

 

 

 

 

 

 

 

 

 

 

 

1

lim

(1

 

1

lim (1 + t )1

= e e 1 = e2 .

= lim (1 + t )t

+ t )t

t 0

 

 

t 0

 

 

 

 

 

t 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.5. Числовая последовательность и её предел

Числовой последовательностью называется бесконечное множество чисел, каждому из которых присвоен порядковый номер:

x1 , x2 , x3 , ... , xn , ....

Более строго можно определить последовательность как отображение :

1 x1 , 2 x2 , 3 x3 , ... , n xn , ... .

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

чать {xn} . Число x1 называется первым элементом (членом) последовательности, x2 – вторым, …, xn общим или n

элементом последовательности.

Пример 5.14. Последовательность 1, 21 , 13 , 41 , 51 , ... по-

строена следующим образом: каждому натуральному числу n

соответствует число n1 , значит xn = n1 , последовательность

можно записать кратко 1 .

n

Пример 5.15. В последовательности {(1)n }, как и в лю-

бой другой, бесконечно много элементов:

168

1,

1,

1, 1, 1,

1, .... Однако значений она имеет всего два:

1,

1 . Можно рассматривать даже постоянную последователь-

ность,

имеющую

только одно значение: {xn} ={c} , т.е.

xn = c ( n).

Последовательность {xn} называется возрастающей, если

xn xn+1 ( n ). Если xn < xn+1 ( n ), то {xn} называется

строго возрастающей. Аналогично определяются убывающие

( xn xn+1 ) и строго убывающие ( xn > xn+1 ) последовательно-

сти. Последовательности этих типов объединяются под общим названием монотонных (или строго монотонных).

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

C : n xn C .

Дадим определение конечного предела последовательно-

сти.

Число b называется пределом последовательности {xn} ,

если для любого (даже очень маленького) положительного числа ε можно указать такое натуральное число n0, что при всех n n0 элементы последовательности xn отличаются от b мень-

ше, чем на ε.

Это определение можно записать в символической форме:

b = lim x

 

ε > 0 n

: n n

 

x

 

b

 

< ε .

 

 

 

 

n→∞

n

0

0

 

 

n

 

 

 

 

 

 

 

 

В общем случае n0 зависит от ε. Как правило, чем меньше ε, тем больше n0.

Последовательность, для которой точка b является преде-

лом, называют сходящейся к этой точке.

Пример 5.16. Показать, что lim 1 = 0 .

n→∞ n

Решение. Требуется доказать, что

169

ε > 0 n : n > n

1

0

< ε . Возьмём произвольное ε > 0.

 

0

 

0

n

 

 

 

 

 

 

 

 

 

 

1

 

 

 

n >

1

. Число

1

 

Неравенство

0

< ε

равносильно

 

может

n

 

ε

ε

 

 

 

 

 

 

 

 

 

 

 

 

быть дробным,

поэтому возьмём n

=

1

(целая часть числа

 

 

 

 

ε

 

 

 

 

0

 

 

 

 

ε1 ). Ясно, что при n > n0 будет выполнено n1 < ε .

Дадим определение бесконечного предела последовательности:

lim x

n

= +∞ K > 0 n

: n n

x

n

> K ,

n→∞

 

0

0

 

 

 

lim x

n

= −∞ K > 0 n

: n n

x

n

< −K .

n→∞

0

0

 

 

В отличие от последовательностей, которые сходятся к конечному пределу, последовательности, которые имеют бесконечный предел (так же, как и последовательности, не имеющие ни конечного, ни бесконечного предела) называют расходящи-

мися.

Пример 5.17. Показать,

что lim

(1)n n

не существует,

n + 1

 

 

 

 

n→∞

 

 

(1)

n

n

 

 

 

т.е. последовательность

 

расходится.

 

 

n + 1

 

 

 

 

 

 

 

 

 

 

Решение. В самом деле, если выбрать, например, ε = 1, то все элементы последовательности с чётными номерами попадают в ε-окрестность точки x = 1, а все элементы с нечётными номерами – в ε-окрестность совсем иной точки x = – 1, причём, эти окрестности не имеют общих точек.

–2

–1

x3

 

0

 

 

 

1

x4 2

|

|

• •

 

|

••|

 

|

 

 

x5

 

 

x1

 

x2

 

x6

 

X

 

 

 

 

 

 

 

Но, по определению, если бы какая-либо точка была пределом этой последовательности, то все её элементы, начиная с некото-

170

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]