logo
Немного по МАТАНУ

23.Первый замечательный предел

Первым замечательным пределом называется предел

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

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

Итак, пусть (этот интервал -- одно из окончаний базы). В тригонометрическом круге (радиуса) с центромпостроим центральный угол, равный, и проведём вертикальную касательную в точкепересечения горизонтальной оси с окружностью (). Обозначим точку пересечения луча с углом наклонас окружностью буквой, а с вертикальной касательной -- буквой; черезобозначим проекцию точкина горизонтальную ось.

Пусть-- площадь треугольника,-- площадь кругового сектора, а-- площадь треугольника. Тогда очевидно следующее неравенство:

Заметим, что горизонтальная координата точки равна, а вертикальная --(это высота треугольника), так что. Площадь центрального сектора круга радиусас центральным угломравна, так что. Из треугольниканаходим, что. ПоэтомуНеравенство, связывающее площади трёх фигур, можно теперь записать в виде

Все три части этого неравенства положительны, поэтому его можно записать так:

или (умножив на ) так:

Предел постоянной 1 в правой части неравенства, очевидно, равен 1. Если мы покажем, что при пределв левой части неравенства тоже равен 1, то по теореме "о двух милиционерах" предел средней частитакже будет равен 1.

Итак, осталось доказать, что . Сперва заметим, что, так какравняется длине дуги окружности, которая, очевидно, длиннее хорды. Применяя теорему "о двух милиционерах" к неравенству

при , получаем, что

(2.3)

Простая замена переменной показывает, что и. Теперь заметим, что. Применяя теоремы о линейности предела и о пределе произведения, получаем:

(2.4)

Тем самым показано, что

Сделаем теперь замену ; при этом базаперейдёт в базу(что означает, что если, то). Значит,но(-- нечётная функция), и поэтому

Мы показали, что левосторонний предел также равен 1, что и завершает доказательство теоремы.

Доказанная теорема означает, что график функции выглядит так:

Рис.2.28.График