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

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

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

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

Формула

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

Обозначения

$n$: номер члена, натуральное число
$H_n$: частичная сумма, число

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

Члены положительны.
Индексация с n=1.
Рассматривается бесконечное суммирование.

Ограничения

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

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

Группа членов от 2^k+1 до 2^{k+1} не менее чем 2^k·1/2^{k+1}=1/2. Следовательно, по мере роста k добавляются существенные порции к сумме, и частичные суммы не ограничены. Этот пример формирует границу между сходимостью и расходимостью для медленно убывающих степенных рядов.

Гармонический ряд является главным предупреждением против неверного применения необходимого признака. Его общий член стремится к нулю, но суммы растут без конечного предела. Это показывает, что для сходимости важна не только судьба отдельного члена, но и скорость убывания всего хвоста. Гармонический ряд используют как эталон расходимости в признаке сравнения и как границу p-рядов: при p=1 сходимость еще отсутствует, а при p>1 появляется. В прикладных задачах гармонический рост часто служит примером очень медленной, но неограниченной дивергенции.

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

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

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

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

Является классическим ориентиром в теории рядов и используется с XVII–XIX веков как базовый пример медленно сходящихся членов.

Расходимость гармонического ряда известна давно и встречается в классических рассуждениях о бесконечных суммах. Доказательство через группировку удобно тем, что не требует сложной техники: оно показывает, как бесконечно много малых вкладов все же дают неограниченный рост. В истории анализа этот ряд стал одним из базовых примеров, который заставил аккуратно различать убывание членов и сходимость суммы. Позже он занял центральное место в теории p-рядов, сравнений и асимптотических оценок.

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

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

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

Пример

Разбиение на блоки 1/2, (1/2+1/3), (1/4+...+1/7) ... показывает растущие нижние оценки. Пример. Первые частичные суммы H_n=1+1/2+...+1/n растут медленно, но без ограниченной верхней границы. Группировка дает 1 +(1/2)+(1/3+1/4)+(1/5+...+1/8)+... . Каждая следующая группа после первой дает вклад больше или равный 1/2. Поэтому после достаточно большого числа групп сумма становится больше любого заранее заданного числа, хотя отдельные члены 1/n стремятся к нулю. Контрольный шаг: после вычисления сравните ответ с необходимым условием a_n -> 0 и с поведением ближайшего эталонного ряда. Это помогает не принять формальное преобразование за доказательство сходимости.

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

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

Практика

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

Классифицировать ряд

Условие. \sum_{n=1}^{\infty}1/n

Решение. По известному результату ряд расходится.

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

Косвенная проверка

Условие. Если заменить 1/n на 1/(n\log n), что ожидается по сравнению с гармоническим?

Решение. Член убывает медленнее, расходимость сохраняется.

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

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

Hardy, Divergent Series
Kolmogorov, Mathematical Analysis

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

Математика

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

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

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

Математика

Признак Коши для рядов

$a_n>0, a_n\downarrow 0 \Rightarrow \sum a_n \text{ сходится }\iff \sum 2^n a_{2^n} \text{ сходится}$

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

Математика

p-ряды

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

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