
- •Раздел 2. Теория пределов и непрерывность функций
- •2.1. Теория пределов
- •2.1.1. Множества на числовой оси
- •Определение 2.1.1
- •Определение 2.1.2
- •Определение 2.1.3
- •Определение 2.1.4
- •Определение 2.1.5
- •Определение 2.1.6
- •2.1.2. Определение предела функции
- •Определение 2.1.7
- •Задача 2.1.1
- •Решение
- •2.1.3. Односторонние пределы
- •Определение 2.1.8
- •Определение 2.1.9
- •Задача 2.1.2
- •Решение
- •2.1.4. Основные теоремы о пределах
- •Теорема 2.1.1. (Единственность предела)
- •Доказательство. (От противного)
- •Теорема 2.1.2. (Предельный переход в неравенстве)
- •Доказательство
- •Доказательство
- •Теорема 2.1.4. (О сжатой функции)
- •Доказательство
- •Теорема 2.1.5. (Первый замечательный предел)
- •2.1.5. Арифметические операции над функциями, имеющими конечный предел. Неопределенности
- •Задача 2.1.3
- •Задача 2.1.4
- •Задача 2.1.5
- •Решение
- •Задача 2.1.6
- •Решение
- •2.1.6. Ограниченные и неограниченные функции
- •Определение 2.1.10
- •Теорема 2.1.6
- •Доказательство
- •Теорема 2.1.7
- •Доказательство
- •Теорема 2.1.8
- •Доказательство
- •2.1.7. Бесконечно малые и бесконечно большие функции (б.м. и б.б.)
- •Определение 2.1.11
- •Теорема 2.1.9
- •Доказательство
- •Определение 2.1.11
- •Свойства б.м. и б.б. функций
- •Теорема 2.1.10
- •Доказательство
- •Теорема 2.1.11
- •Доказательство
- •Следствия:
- •Теорема 2.1.12
- •Доказательство
- •2.1.8. Сравнение бесконечно малых и бесконечно больших функций (б.м. и б.б)
- •Определение 2.1.12
- •Задача 2.1.7
- •Решение
- •Определение 2.1.13
- •Примеры
- •Свойства эквивалентных б.м.
- •Определение 2.1.14
- •Свойства эквивалентных б.б. функций
- •2.1.9. Главная часть б.м. и б.б. функций
- •Определение 2.1.14
- •Определение 2.1.15
- •Задача 2.1.8
- •Решение
- •Определение 2.1.16
- •Задача 2.1.9
- •Задача 2.1.10
- •Решение
- •2.1.10. Показательные неопределенности
- •Задача 2.1.11
- •Задача 2.1.12
- •Решение
- •2.2. Непрерывность функций
- •2.2.1. Непрерывность функции в точке. Свойства функций, непрерывных в точке. Непрерывность элементарных функций.
- •Определение 2.2.1
- •Определение 2.2.2
- •Определение 2.2.3
- •Теорема 2.2.1
- •Доказательство
- •Теорема 2.2.1
- •Доказательство
- •Определение 2.2.4
- •2.2.2. Классификация точек разрыва
- •1. Устранимый разрыв
- •2. Неустранимый разрыв первого рода
- •3. Неустранимый разрыв второго рода
- •Задача 2.2.1
- •Решение
- •Задача 2.2.2
- •Решение
- •Задача 2.2.3
- •Решение
- •Задача 2.2.4
- •Решение
- •2.2.3. Непрерывность функций на промежутке. Свойства функций, непрерывных на промежутке
- •Определение 2.2.5
- •Определение 2.2.6

Решение
Областью определения функции является множество (0 + ∞) , для которого 0 есть
предельная точка. Покажем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
ε > 0 |
δ(ε) > 0 : 0 < x < δ log2 x < −ε (рис. 2.11). |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
у |
|
|
х |
|
δ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
( |
|
|
|
|
) |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
х |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− ε) |
|
|
|
|
|
|
|
Рис. 2.11. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
На рисунке 2.11 изображен график |
функции у = log2 x |
и |
проиллюстрировано |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
определение предела. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Рассмотрим равносильные неравенства |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
log2 x < −ε 0 < х< 2−ε . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
Если взять δ(ε) = 2−ε , то будет выполнено: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
ε > 0 δ(ε) = 2−ε : 0 < x < δ = 2−ε log2 x < −ε , |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
а это и доказывает, что |
lim |
log2 x = −∞. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0−0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
2.1.4. Основные теоремы о пределах |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
Теорема 2.1.1. (Единственность предела) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
Если функция f (x) |
имеет предел при x → x0 , то он единственный. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Доказательство. (От противного) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Пусть lim f (x) = A |
и lim f (x) = B . Тогда по определению конечного предела |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
x→x0 |
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) − B < ε . |
|
|||||||||||||||||||||||||||||||
ε > 0 Uδ(x0 ) : x U δ(x0 ) ∩ X f (x) − A < ε и |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
• |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Найдём |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
A − B |
|
|
= |
|
A − B + f (x) − f (x) |
|
= |
|
( A − f (x)) + ( f (x) − B) |
|
≤ |
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
≤ |
|
A − f (x) |
|
+ |
|
f (x) − B |
|
= |
|
f (x) − A |
|
+ |
|
f (x) − B |
|
< |
|
ε |
+ |
|
ε |
|
|
= ε |
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
A − B |
|
|
< ε |
ε > 0 . Поскольку модуль – число |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
Получили, что |
|
|
|
не |
отрицательное, |
то |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
неравенство |
|
A − B |
|
< ε |
|
|
ε > 0 может быть выполнено только в случае A − B = 0 , т. е. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
при A = B . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Теорема 2.1.2. (Предельный переход в неравенстве) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Если в некоторой окрестности точки |
x0 |
выполняется неравенство f (x) ≤ g(x) |
и |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
существуют конечные пределы lim f (x) = A |
и lim g(x) = B , то A ≤ B . |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство
Пусть X ― общая область определения функций определению предела функции
7
f (x) и g(x)
. Тогда по

•
lim f (x) = A ε > 0 Uδ1 (x0 ) : x U δ1 (x0 ) ∩ X f (x) − A < ε ,
x→x0
|
lim g(x) = B ε > 0 Uδ |
|
|
|
|
|
|
|
|
|
• |
(x0 ) ∩ X |
|
g(x) − B |
|
|
|
||||||||||||||
|
2 |
(x0 ) : x U δ2 |
|
< ε. |
|
||||||||||||||||||||||||||
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Если в обоих случаях взять одно и то же ε > 0 и из найденных окрестностей Uδ1 |
(x0 ) |
||||||||||||||||||||||||||||||
и Uδ2 |
(x0 ) |
выбрать |
|
наименьшую, |
|
т. |
е. |
Uδ(x0 ) =Uδ1 (x0 ) ∩Uδ2 (x0 ) , |
то |
для |
|||||||||||||||||||||
• |
(xо) ∩ X выполняются оба неравенства одновременно, т. е. |
|
|
|
|
|
|
|
|||||||||||||||||||||||
x U δ |
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
A −ε < f (x) < A + ε, B −ε < g(x) < B + ε. |
|
|
|
|
|
|
|
|||||||||||||||||
Выберем ε = |
|
A − B |
, предположив противное, т. е. пусть A > B . Тогда |
|
|
||||||||||||||||||||||||||
|
2 |
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A − B |
|
|
|
|
|
A − B |
|
A + B |
|
|
|
3A − B |
|
|
||||||||||||
|
|
|
A |
− |
|
|
|
< f (x) < A |
+ |
|
|
|
|
|
|
|
|
|
|
|
< f (x) < |
|
|
|
|
|
|
|
|||
|
|
|
|
2 |
|
|
|
|
2 |
|
|
2 |
|
|
|
2 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
A − B |
|
|
|
|
A − B |
|
|
3B − A |
< g(x) < |
|
A + B |
|
|
|||||||||||||
|
|
|
B |
− |
|
|
|
< g(x) < B |
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
2 |
|
|
|
2 |
|
|
2 |
|
|
|
2 |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
g(x) < |
A + B |
< f (x) , |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
из последнего неравенства следует, |
|
что |
g(x) < f (x) , |
|
|
что противоречит |
условию |
||||||||||||||||||||||||
теоремы, значит наше предположение |
|
|
A > B |
неверно. Тогда |
|
|
верным |
является |
|||||||||||||||||||||||
неравенство A ≤ B . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Теорема 2.1.3. (Предел суперпозиции, т. е. сложной функции) |
|
|
|
|
|
|
|
||||||||||||||||||||||||
Если: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1) f ( y) и g(x) таковы, что можно образовать их суперпозицию F(x) = f (g(x)) , |
|
||||||||||||||||||||||||||||||
2) |
существует |
|
lim g(x) = A , точка |
A - |
является |
|
|
точкой |
|
сгущения |
области |
||||||||||||||||||||
|
|
|
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
определения функции |
f ( y) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
3) существует lim f ( y) = B , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
y→A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
то существует lim |
f (g(x)) = B . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Пусть X – область определения функции g(x) , |
Y – область определения функции |
||||||||||||||||||||||||||||||
f ( y) . По определению предела функции |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
• |
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
g(x) = A U h ( A) Uδ(xo ) : x Uδ(x0 ) |
∩ X g(x) U h |
( A) , |
|
||||||||||||||||||||||||||
|
x→x0 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
• |
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
f ( y) = B Uε (B) U h |
|
( A) : y U h2 ( A) |
∩Y f ( y) Uε (B) . |
|
|||||||||||||||||||||||||
|
y→A |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Возьмём h = min {h1; h2 }. Тогда получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
• |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Uε (B) Uδ(xo ) : x U δ(xo ) ∩ X f (g(x)) Uε (B) . |
|
|
||||||||||||||||||||||||||
Значит, по определению предела функции B = lim |
f (g(x)) . |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8

Теорема 2.1.4. (О сжатой функции) |
|
|
|
|
Если в некоторой |
окрестности |
точки x0 |
три функции |
связаны неравенством |
ϕ(x) ≤ f (x) ≤ g(x) и |
существуют |
конечные |
пределы lim ϕ(x) = lim g(x) = A , то |
|
|
|
|
x→x0 |
x→x0 |
существует lim f (x) = A.
x→x0
Доказательство
Пусть X - общая область определения трёх функций, тогда
•
lim ϕ(x) = A Uε ( A) Uδ1 (x0 ) : x U δ1 (x0 ) ∩ X ϕ(x) − A
x→x0
lim |
g(x) = A U |
ε ( A) Uδ |
|
• |
(x0 ) ∩ X |
|
g(x) − A |
|
|
(x0 ) : x U δ2 |
|
|
|||||||
x→x0 |
|
2 |
|
|
|
|
|
|
|
Найдём |
окрестность |
Uδ(x0 ) =Uδ |
(x0 ) ∩Uδ |
(x0 ) , |
|
тогда |
|
||
|
|
|
1 |
|
2 |
|
|
|
|
•
x U δ(x0 ) ∩ X выполняются оба неравенства одновременно:
<ε,
<ε .
для
A −ε < ϕ(x) < A + ε и A −ε < g(x) < A + ε.
Но так как ϕ(x) ≤ f (x) ≤ g(x) , то A −ε < ϕ(x) ≤ f (x) ≤ g(x) < A + ε, а это означает,
что существует lim f (x) = A.
x→x0
Теорема 2.1.5. (Первый замечательный предел)
Сначала докажем, что при 0 < x < |
π |
выполняется неравенство |
|
. |
sin x < x < tg x |
||||
|
2 |
|
|
|
|
|
|
|
Возьмём Ι четверть тригонометрического круга и отложим угол x радиан (рис. 2.12).
|
|
|
|
|
|
|
|
|
|
|
Рис. 2.12. |
|
|
|
|
|
|
|
|
|
|||||
Очевидно, |
что |
S OAC < Sсек.OAC < S OBC , |
найдём эти |
площади, |
|
зная, что |
радиус |
||||||||||||||||||
окружности равен 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
R2 x = |
1 |
|
|||
S OAC |
= |
OA |
OC sin(OA ; OC) = |
1 1 sin x , Sсек.OAC = |
x , |
||||||||||||||||||||
2 |
2 |
2 |
2 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
S OBC = |
1 |
OC BC = |
1 |
1 |
tg x = |
1 |
|
tg x . |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
||||||
Значит, |
1 |
sin x < |
|
1 |
x < |
1 |
tg x sin x < x < tg x |
x (0; |
|
π |
) . |
|
|
|
|
||||||||||
|
2 |
2 |
2 |
|
|
|
|
||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь докажем, что
9