Математика / Пределы, ряды

Критерий Коши сходимости числового ряда

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

Опубликовано: 25 мая 2026 г.Обновлено: 25 мая 2026 г.

Формула

\sum_{n=1}^{\infty}a_n\text{ сходится}\Longleftrightarrow \forall\varepsilon>0\ \exists N:\left|\sum_{k=m}^{n}a_k\right|<\varepsilon\quad(n\ge m\ge N)

Обозначения

$a_n$: n-й член числового ряда, единицы суммируемой величины
$m,n$: границы хвостовой частичной суммы, натуральные номера
$N$: номер, начиная с которого все хвосты малы, натуральное число
$\varepsilon$: заранее заданная положительная точность, единицы суммы

Условия применения

Ряд рассматривается над полным числовым пространством, обычно R или C.
Члены a_n определены для всех достаточно больших n.
Кванторы должны выполняться для любых n≥m≥N, а не только для одного фиксированного хвоста.

Ограничения

Критерий часто неудобен для прямого вычисления суммы ряда.
Проверка всех хвостовых сумм может быть сложнее специальных признаков Даламбера, Коши или сравнения.
Малость отдельного члена a_n не достаточна: нужны малые суммы произвольных хвостов.
Для условно сходящихся рядов абсолютные оценки хвоста могут быть слишком грубыми.

Подробное объяснение

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

Формула является применением критерия Коши для последовательности частичных сумм S_n=a_1+...+a_n. Разность S_n-S_{m-1} как раз равна хвосту a_m+...+a_n. Поэтому условие говорит не о каждом члене отдельно, а о любой разности двух достаточно поздних частичных сумм.

Сила критерия в том, что он не требует знать предел S_n. Это особенно важно в теории: можно доказать существование суммы, не вычисляя ее. На этой базе строятся строгие доказательства многих признаков сходимости и аккуратное обращение с бесконечными суммами.

В практических задачах критерий часто используют от противного. Для гармонического ряда отдельные члены стремятся к нулю, но блок от N+1 до 2N дает сумму порядка единицы. Это показывает, почему необходимое условие a_n→0 не является достаточным.

Критерий также объясняет смысл абсолютной сходимости. Если сумма модулей имеет малые хвосты, то хвосты исходного ряда малы по неравенству треугольника. Поэтому абсолютная сходимость автоматически влечет обычную сходимость.

Как пользоваться формулой

Запишите частичную хвостовую сумму от m до n для общего дальнего блока членов.
Для доказательства сходимости оцените модуль этого хвоста сверху выражением, стремящимся к нулю при m→∞.
Для доказательства расходимости подберите epsilon и дальние m,n, при которых хвост не меньше epsilon.
Не заменяйте условие проверкой одного члена a_n: нужен контроль суммы блока.
Если хвост легко оценить через модули, сначала проверьте абсолютную сходимость.
Сравните результат со специальными признаками, если прямой хвост получается громоздким.

Историческая справка

Огюстен-Луи Коши в Cours d'analyse 1821 года сделал сходимость центральным понятием анализа и систематически использовал критерии, основанные на поведении последовательностей. Его подход заменял прежние формальные манипуляции с бесконечными суммами более проверяемыми условиями.

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

Позднее, в XIX веке, Вейерштрасс и другие математики уточнили язык epsilon-оценок, а критерий Коши стал стандартным мостом между интуитивной идеей «хвост уже не важен» и строгим доказательством существования суммы. В современных курсах он обычно изучается до специальных признаков или используется как их теоретическая основа.

Историческая линия формулы

Критерий назван в честь Коши из-за его роли в строгой теории пределов и рядов начала XIX века. Конкретная формулировка в epsilon-языке отражает последующее развитие анализа, но базовая идея хвостовой близости частичных сумм принадлежит кошиевской традиции строгой сходимости. Поэтому в источниках обычно указывают учебную или научную традицию, а не единственного автора короткой записи.

Пример

Задача. Исследовать ряд sum_{n=1}^{∞} 1/n на сходимость через критерий Коши. Дано: a_n=1/n. Для выполнения критерия нужно, чтобы для любого epsilon>0 нашелся номер N, после которого всякая сумма от m до n была меньше epsilon. Возьмем произвольный N и рассмотрим хвост от N+1 до 2N. В нем N слагаемых, каждое не меньше 1/(2N). Значит sum_{k=N+1}^{2N}1/k ≥ N·1/(2N)=1/2. Выбираем epsilon=1/3. Какой бы N ни был взят, найден дальний хвост с суммой не меньше 1/2, то есть больше epsilon. Ответ: гармонический ряд расходится. Проверка: члены 1/n действительно стремятся к нулю, но критерий Коши требует большего — малости целых хвостовых блоков, а это условие нарушено. Дополнительная проверка: сравниваем результат с исходной записью при допустимых значениях переменных или на граничном случае из условия. Если обе записи дают одно и то же значение и не нарушают ограничения, преобразование выполнено согласованно.

Частая ошибка

Самая частая ошибка — считать, что a_n→0 уже означает выполнение критерия Коши. На самом деле должны быть малы суммы любых дальних блоков. Вторая ошибка — проверять только хвост до бесконечности, когда его значение неизвестно, вместо конечной разности S_n-S_m. При доказательстве расходимости часто выбирают m и n не зависящими от N, из-за чего не проверяют дальнюю часть ряда. Еще одна ошибка — забывать модуль в условии и получать ложную малость из-за знаковых сокращений.

Практика

Задачи с решением

Расходимость гармонического ряда

Условие. Показать по критерию Коши, что ряд sum 1/n расходится.

Решение. Берем m=N+1, n=2N. Тогда хвостовая сумма больше N·(1/(2N))=1/2. Она не становится меньше epsilon=1/3.

Ответ. Критерий Коши не выполнен, ряд расходится.

Хвост геометрического ряда

Условие. Проверить малость хвоста ряда sum q^n при |q|<1.

Решение. |sum_{k=m}^{n}q^k|≤sum_{k=m}^{∞}|q|^k=|q|^m/(1-|q|). При m→∞ эта оценка стремится к 0.

Ответ. Ряд сходится.

Дополнительные источники

Rudin, Principles of Mathematical Analysis, chapter 3, numerical series
Apostol, Calculus, Vol. 1, infinite series
Zorich, Mathematical Analysis I, chapter on series
Fichtenholz, Differential and Integral Calculus, Vol. 2, numerical series

Связанные формулы

Математика

Необходимый признак сходимости ряда

$\sum_{n=1}^{\infty} a_n\text{ сходится }\Rightarrow\lim_{n\to\infty} a_n=0$

Если ряд сходится, то его члены обязательно стремятся к нулю; это обязательный, но не достаточный тест. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.

Математика

Гармонический ряд

$\sum_{n=1}^{\infty} \frac{1}{n} \,\,\text{(расходится)}$

Гармонический ряд является эталоном: член 1/n→0 слишком медленно для сходимости. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.

Математика

p-ряды

$\sum_{n=1}^{\infty} \frac{1}{n^p} \text{ сходится }\iff p>1$

Сходимость p-рядов полностью описывается значением p относительно 1. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.

Математика

Признак сравнения

$0\le a_n\le b_n,\;\sum b_n\text{ сходится }\Rightarrow\sum a_n\text{ сходится};\;0\le b_n\le a_n,\;\sum b_n\text{ расходится }\Rightarrow\sum a_n\text{ расходится}$

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

Математика

Абсолютная и условная сходимость

$\sum a_n\text{ абсолютно сходится}\iff\sum|a_n|\text{ сходится};\;\sum a_n\text{ условно сходится }\iff\sum a_n\text{ сходится, но }\sum|a_n|\text{ расходится}$

Классификация разделяет устойчивую сходимость от сходимости за счёт знакопеременного баланса. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.