
85
§ 10. Переход к пределу в неравенствах
Теорема 13. Пусть для всех и функции и при
имеют один и тот же предел, равный . Тогда тот же предел
при имеет функция , заключённая между и .
Доказательство. Пусть – заданное сколь угодно малое число. Так
как при имеет предел, равный , то для числа найдётся
число , такое, что для всех будет выполняться неравенство
. Аналогично, так как имеет при предел, равный , то
для указанного числа найдётся такое число , что для всех будет
выполняться неравенство . Пусть – наибольшее из чисел и
. Тогда для всех выполняются оба предыдущих неравенства. Значит,
для всех имеют место следующие неравенства, равносильные соответ-
ствующим предыдущим: Поэтому для всех
с учетом условия теоремы будем иметь
Отсюда для всех ,
т. е. справедливо неравенство , равносильное последнему.
Итак, для всех имеем , но это означает, что есть предел
при . Теорема доказана.
Легко проверить, что теорема остаётся справедливой и в том случае, ко-
гда для всех .
Теорема 14. Если для всех функция и существует предел этой
функции при , то этот предел неотрицателен:
Доказательство. Дано, что существует предел , который мы
обозначим . Нужно доказать, что .
Предположим обратное, т. е. что (хотя все условия теоремы выпол-
няются). Выберем число настолько малым, чтобы было . Так как
функция имеет при предел, равный , то для выбранного числа
найдётся такое число , что для всех будет выполняться нера-
венство или равносильное ему неравенство По-
этому для всех получим . Итак, для всех будем иметь
. Но это противоречит условию теоремы, следовательно, предположе-
ние, что , должно быть отброшено. Теорема доказана.
( ) ( )
(), () .b x fx fx gx b
εϕ ε
−< < < <+