Замечательные пределы в математическом анализе¶
Замечательные пределы — это два фундаментальных предела, играющих ключевую роль в математическом анализе и его приложениях. Первый замечательный предел описывает поведение отношения синуса малого аргумента к самому аргументу, второй — поведение выражения, связанного с числом e (основанием натурального логарифма), при стремлении показателя степени к бесконечности. Эти пределы лежат в основе вывода производных тригонометрических и показательных функций, разложений в ряды Тейлора и множества приближённых вычислений.
¶Первый замечательный предел
Первый замечательный предел формулируется как:
$$\lim_{x \to 0} \frac{\sin x}{x} = 1$$
Здесь аргумент x измеряется в радианах — это принципиально, поскольку при измерении угла в градусах предел имел бы другое значение. Смысл равенства в том, что вблизи нуля синус малого угла практически совпадает с самим углом: sin x ≈ x. Это соотношение известно ещё из геометрии — длина дуги окружности почти равна длине стягивающей её хорды при малых центральных углах.
Доказательство предела опирается на геометрическое неравенство, связывающее площади треугольника, кругового сектора и прямоугольного треугольника, построенных на одном и том же малом угле. Из него получают двойное неравенство sin x < x < tg x, откуда после деления на sin x и перехода к пределу следует требуемый результат. Теорема о двух милиционерах (сжатии) завершает доказательство.
Первый замечательный предел служит основой для вывода производной синуса и косинуса, а через них — всех остальных тригонометрических функций. Именно из него следует, что (sin x)′ = cos x. Он также применяется при вычислении пределов вида sin(kx)/x, tg x/x и их комбинаций, которые сводятся к первому замечательному пределу заменой переменной.
¶Второй замечательный предел
Второй замечательный предел определяет число e:
$$\lim_{x \to \infty} \left(1 + \frac{1}{x}\right)^x = e$$
где e ≈ 2,718281828 — иррациональная и трансцендентная константа, называемая числом Эйлера. Эквивалентная форма записи получается заменой переменной и относится к стремлению аргумента к нулю:
$$\lim_{x \to 0} (1 + x)^{1/x} = e$$
Этот предел описывает процесс непрерывного начисления процентов: если вклад растёт с номинальной ставкой 100 % годовых и число периодов начисления неограниченно увеличивается, итоговый множитель роста стремится к e. Отсюда происходит второе название числа e — «неперово число», хотя исторически логарифмы Джона Непера использовали другое основание.
Доказательство существования предела основано на монотонности и ограниченности последовательности (1 + 1/n)^n: она возрастает и ограничена сверху, следовательно, имеет конечный предел. Для действительного аргумента результат распространяется с помощью перехода к подпоследовательностям.
Из второго замечательного предела вытекает, что производная показательной функции e^x равна самой себе, а также выводится производная натурального логарифма: (ln x)′ = 1/x. Он лежит в основе определения числа e как суммы ряда 1 + 1/1! + 1/2! + 1/3! + …
¶Применение и следствия
Оба предела широко используются при раскрытии неопределённостей вида 0/0 и 1^∞. Например, пределы выражений вида (cos x − 1)/x², (e^x − 1)/x, ln(1 + x)/x сводятся к замечательным пределам после алгебраических преобразований.
| Выражение | Предел при x → 0 |
|---|---|
| sin x / x | 1 |
| tg x / x | 1 |
| (1 − cos x) / x² | 1/2 |
| (e^x − 1) / x | 1 |
| ln(1 + x) / x | 1 |
| (1 + x)^(1/x) | e |
Замечательные пределы применяются в физике и технике при линеаризации малых колебаний (маятник, электрические цепи), в теории вероятностей при выводе распределения Пуассона как предельного случая биномиального распределения, а также в численных методах и асимптотическом анализе.
¶История и терминология
Термин «замечательные пределы» закрепился в русскоязычной учебной литературе по математическому анализу. В западной традиции аналогичные соотношения называют стандартными или фундаментальными пределами, а иногда — пределами, связанными с синусом и числом e. Число e ввёл в обиход Леонард Эйлер в XVIII веке, он же доказал его иррациональность; трансцендентность числа e установил Шарль Эрмит в 1873 году.
Систематическое изложение обоих пределов присутствует в классических курсах анализа — от учебников XIX века до современных университетских пособий. В российской школе эти пределы изучаются в курсе алгебры и начал анализа старших классов и подробно разбираются на первом курсе вузов.
¶Типичные ошибки
Распространённая ошибка — применение первого замечательного предела при аргументе, измеренном в градусах, что даёт неверный результат. Другая ошибка — механическая подстановка второго замечательного предела без проверки структуры выражения: неопределённость 1^∞ требует именно вида (1 + f(x))^(1/f(x)) с f(x) → 0. Наконец, замечательные пределы не следует путать с приближёнными равенствами: sin x ≈ x и e^x ≈ 1 + x справедливы лишь при малых x и имеют ограниченную точность.
Источники: учебники по математическому анализу, справочники по высшей математике, классические курсы дифференциального и интегрального исчисления.