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

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

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

Опубликовано: Обновлено:

Формула

$$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{ расходится}$$

Обозначения

$a_n$
исследуемый ряд, число
$b_n$
эталонный ряд, число

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

  • Члены неотрицательны (в базовой версии признака).
  • Неравенство выполняется для всех больших n.
  • Индексация у рядов совпадает.

Ограничения

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

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

Критерий сравнения опирается на неравенства частичных сумм: если хвост сравнивается сверху сходящимся рядом, то и данный хвост не может разгоняться до бесконечности. Обратная часть работает через меньший расходящийся ряд, который «тянет» вверх любой больший. Это делает метод универсальным в практической классификации.

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

В теме рядов всегда различают поведение общего члена и поведение суммы. Даже если члены стремятся к нулю, сумма может расходиться; даже если первые члены выглядят крупными, несколько начальных значений не меняют сходимость хвоста. Поэтому решение должно опираться на предельное поведение при больших n.

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

  1. Определите, изучается отдельная последовательность, общий член ряда или последовательность частичных сумм.
  2. Проверьте условия выбранного признака: знак членов, монотонность, существование предела отношения или корня, ограничение на параметр.
  3. Вычислите нужный предел или сравните хвост ряда с эталоном: геометрическим рядом, p-рядом или гармоническим рядом.
  4. Запишите вывод именно о сходимости или расходимости и отдельно отметьте, является ли сходимость абсолютной.

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

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

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

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

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

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

Пример

1/(n^2+1) ≤ 1/n^2, значит данный ряд сходится. Пример. Для ряда \sum 1/(n^2+5) имеем 0<1/(n^2+5)<1/n^2 при n>=1. Так как \sum 1/n^2 сходится, по признаку сравнения сходится и исходный ряд. Для расходимости пример обратный: 1/\sqrt{n+1} больше константно сравним с 1/\sqrt n, а p-ряд с p=1/2 расходится, значит исходный хвост тоже не может дать конечную сумму. Контрольный шаг: после вычисления сравните ответ с необходимым условием a_n -> 0 и с поведением ближайшего эталонного ряда. Это помогает не принять формальное преобразование за доказательство сходимости.

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

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

Практика

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

Сравнить сверху

Условие. \sum 1/(n^2+1)

Решение. 1/(n^2+1) < 1/n^2, а p-ряд при p=2 сходится.

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

Сравнить снизу

Условие. \sum (1/n + 1/(n+1))

Решение. ряд ≥ 1/n, a гармонический расходится.

Ответ. расходится

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

  • Kolmogorov, Elements of Analysis
  • Apostol, Calculus Vol. 1

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

Математика

p-ряды

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

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

Математика

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

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

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

Математика

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

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

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