Признак Лейбница сходимости знакочередующегося ряда¶
Признак Лейбница — достаточное условие сходимости знакочередующегося числового ряда, сформулированное немецким математиком, философом и физиком Готфридом Вильгельмом Лейбницем. Признак относится к классическим инструментам математического анализа и теории рядов и позволяет устанавливать сходимость рядов специального вида, члены которых поочерёдно меняют знак, а абсолютные величины монотонно убывают к нулю.
¶Формулировка
Рассматривается знакочередующийся ряд вида
- a₁ − a₂ + a₃ − a₄ + … ,
где все числа aₙ положительны. Такой ряд записывают также в виде суммы ∑(−1)^(n−1)·aₙ.
Признак Лейбница утверждает: если выполнены два условия —
- последовательность абсолютных величин членов монотонно убывает: a₁ ≥ a₂ ≥ a₃ ≥ … ;
- предел общего члена равен нулю: lim aₙ = 0 при n → ∞,
— то ряд сходится.
Оба условия существенны. Нарушение монотонности или отличный от нуля предел общего члена могут привести к расходимости, поэтому признак применяют только после проверки этих требований.
¶Оценка остатка ряда
Помимо самого факта сходимости, признак Лейбница даёт удобную оценку остатка — суммы отброшенных членов. Если ряд удовлетворяет условиям признака, то остаток rₙ = S − Sₙ по абсолютной величине не превосходит первого отброшенного члена:
- |rₙ| ≤ aₙ₊₁.
Кроме того, знак остатка совпадает со знаком первого отброшенного члена. Это свойство широко используется в приближённых вычислениях: оно позволяет заранее определить, сколько членов ряда нужно взять, чтобы достичь заданной точности.
¶Связь с абсолютной и условной сходимостью
Признак Лейбница устанавливает условную сходимость. Ряд может сходиться по Лейбницу, но расходиться, если все его члены взять по абсолютной величине. Классический пример — знакочередующийся гармонический ряд
- 1 − 1/2 + 1/3 − 1/4 + … ,
который сходится (его сумма равна натуральному логарифму числа 2), тогда как ряд из абсолютных величин 1 + 1/2 + 1/3 + … расходится. Таким образом, признак Лейбница не даёт абсолютной сходимости и не заменяет других признаков — сравнения, Даламбера, Коши.
¶Примеры применения
Типичные случаи использования признака:
| Ряд | Условия | Вывод |
|---|---|---|
| 1 − 1/2 + 1/3 − 1/4 + … | монотонность и предел 0 выполнены | сходится условно |
| 1 − 1/√2 + 1/√3 − … | члены убывают, предел 0 | сходится условно |
| 1 − 1/2! + 1/3! − … | убывание и предел 0 | сходится |
В то же время ряд 1 − 1 + 1 − 1 + … не удовлетворяет признаку, поскольку общий член не стремится к нулю, и расходится.
¶Значение и место в теории рядов
Признак Лейбница — один из первых исторически сформулированных критериев сходимости знакопеременных рядов. Он не является необходимым условием: существуют сходящиеся знакочередующиеся ряды, для которых монотонность нарушается. Поэтому в анализе применяются и более общие результаты, например признак Дирихле и признак Абеля, обобщающие идею Лейбница на случай, когда множители не строго монотонны или имеют комплексную природу.
В учебной практике признак Лейбница традиционно изучается в курсе математического анализа вместе с признаками сравнения и признаками сходимости положительных рядов. Его ценность состоит в простоте проверки и в удобной оценке погрешности, что делает его востребованным при численных расчётах, в физике и прикладной математике, где ряды используются для приближённого представления функций.
¶Историческая справка
Готфрид Вильгельм Лейбниц (1646—1716) занимался проблемами бесконечных рядов в связи с разработкой дифференциального и интегрального исчисления. Идея чередования знаков и убывания членов как условия сходимости вошла в математическую литературу под его именем и сохранилась в стандартных курсах до настоящего времени. Строгое оформление признака в современном виде связано с последующим развитием теории пределов и учения о сходимости рядов в XVIII—XIX веках.
¶Источники
- Курс математического анализа (разделы о числовых рядах и признаках сходимости).
- Учебники по высшей математике для технических вузов.
- Энциклопедические статьи о Г. В. Лейбнице и теории рядов.