Введение

Метод, используемый для доказательства сходимости знакочередующегося ряда

В математическом анализе тест чередующегося ряда — это метод, используемый для доказательства сходимости знакочередующегося ряда, когда его члены (1) убывают по абсолютной величине и (2) стремятся к нулю в пределе. Этот тест был предложен Готфридом Лейбницем и иногда известен как критерий Лейбница, правило Лейбница или тест Лейбница. Тест является лишь достаточным, но не необходимым условием, поэтому некоторые сходящиеся знакочередующиеся ряды могут не удовлетворять первому условию теста.

Доказательство

Предположим, что нам дан ряд вида , где и для всех натуральных чисел n. (Случай достигается взятием отрицательного значения.)

Доказательство теоремы о переменных рядах

Мы хотели бы показать это, разбив на два случая. Когда k = 2m+1, то есть нечётное, то

Когда k = 2m, то есть чётное, то

что и требовалось доказать. Оба случая по существу опираются на последнее неравенство, полученное в предыдущем доказательстве. Альтернативное доказательство с использованием критерия Коши для сходимости можно найти в разделе "Суммирование знакочередующихся рядов". Обобщение представлено в тесте Дирихле.

Типичный пример

Чередующийся гармонический ряд удовлетворяет обоим условиям теоремы Лейбница для знакочередующихся рядов и сходится.

Пример, чтобы показать однообразие, необходим

Для того, чтобы заключение было верным, необходимо выполнение всех условий теста, а именно сходимость к нулю и монотонность. Например, рассмотрим ряд

Знаки чередуются и члены стремятся к нулю. Однако монотонности нет, и мы не можем применить данный критерий. Фактически, ряд расходится. Действительно, для частичной суммы мы имеем , что в два раза больше частичной суммы гармонического ряда, который расходится. Следовательно, исходный ряд расходится.