"Математика: алгебра и начала математического анализа, геометрия (базовый и углублённый уровни)", Козлов В.В., Никитин А.А., Белоносов В.С. и др. /Под ред. Козлова В.В. и Никитина А.А.
Числовой ряд — это сумма членов последовательности, но бесконечное сложение имеет смысл не всегда. Чтобы определить сумму ряда, рассматривают частичные суммы и выясняют, стремятся ли они к конечному пределу. Для геометрического ряда, где соседние члены отличаются в одно и то же число раз, можно получить точную формулу. Она применима при |q| < 1, когда члены ряда уменьшаются по модулю и сумма существует.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Числовой ряд — выражение, полученное сложением членов числовой последовательности: a₁ + a₂ + a₃ + … . Здесь важно не только, какие числа стоят в записи, но и в каком порядке они складываются. Ряд помогает изучать результат бесконечного накопления слагаемых.
Частичная сумма ряда — сумма первых n членов ряда, обозначаемая Sₙ: Sₙ = a₁ + a₂ + … + aₙ. При изменении n получаются разные суммы, то есть целая последовательность частичных сумм. Именно её поведение позволяет определить, существует ли сумма бесконечного ряда.
Сходящийся ряд — ряд, последовательность частичных сумм которого имеет конечный предел. Этот предел и называют суммой ряда. Определение нужно, чтобы отличать ряды, чьи суммы приближаются к определённому числу, от тех, чьи частичные суммы неограниченно растут или колеблются.
Геометрический ряд — ряд, в котором каждый следующий член получается умножением предыдущего на одно и то же число q. Обычно его записывают так: b₁ + b₁q + b₁q² + … . Постоянное отношение q позволяет вывести общую формулу частичной суммы и проверить сходимость ряда.
Из членов a₁, a₂, a₃, … образуют частичные суммы: S₁ = a₁, S₂ = a₁ + a₂, S₃ = a₁ + a₂ + a₃ и так далее. Каждая новая сумма получается добавлением очередного члена к предыдущей, поэтому возникает последовательность S₁, S₂, S₃, … . Рассматривают именно её, потому что значение ряда зависит от того, к чему приближается накопленный итог, а не от отдельного слагаемого.
Бесконечное число слагаемых нельзя сложить за конечное число обычных действий, поэтому запись ряда сама по себе ещё не задаёт числового результата. Вместо этого находят Sₙ для первых n членов и увеличивают n без ограничения. Если Sₙ приближается к конечному числу, это число принимают за сумму ряда; если такого предела нет, конечной суммы у ряда нет.
Пусть геометрический ряд имеет вид b₁ + b₁q + b₁q² + … . Его частичная сумма Sₙ = b₁ + b₁q + … + b₁qⁿ⁻¹; умножим её на q и получим qSₙ = b₁q + b₁q² + … + b₁qⁿ. Вычтем вторую запись из первой: Sₙ − qSₙ = b₁ − b₁qⁿ, откуда при q ≠ 1 следует Sₙ = b₁(1 − qⁿ)/(1 − q).
Чтобы бесконечная сумма была конечной, частичные суммы должны приближаться к одному числу. В формуле Sₙ этому мешает слагаемое qⁿ: при |q| < 1 его модуль становится всё меньше и qⁿ стремится к нулю. Если |q| ≥ 1, степени q не стремятся к нулю, поэтому частичные суммы геометрического ряда с ненулевым первым членом не имеют конечного предела.
При |q| < 1 в формуле частичной суммы можно перейти к пределу при n → ∞: член qⁿ исчезает, а остальные части остаются неизменными. Поэтому сумма бесконечного геометрического ряда равна S = b₁/(1 − q). Формулу применяют только после проверки условия сходимости, а при отрицательном q сохраняют его знак в знаменателе.
| Свойство | Произвольный числовой ряд | Геометрический ряд |
|---|---|---|
| Вид ряда | a₁ + a₂ + a₃ + … | b₁ + b₁q + b₁q² + … |
| Частичная сумма | Sₙ = a₁ + a₂ + … + aₙ | Sₙ = b₁(1 − qⁿ)/(1 − q), q ≠ 1 |
| Условие существования конечной суммы | Предел частичных сумм должен быть конечным | |q| < 1 |
| Сумма бесконечного ряда | S = lim Sₙ, если предел существует | S = b₁/(1 − q), |q| < 1 |
| Поведение членов ряда | Определяется конкретной последовательностью | При |q| < 1 члены стремятся к нулю |
Сначала определите, какой ряд дан, и найдите его частичные суммы или параметры b₁ и q. Для геометрического ряда проверьте условие |q| < 1 до применения формулы суммы. Таблица также напоминает, что стремление членов к нулю не заменяет проверку предела частичных сумм для произвольного ряда.
Нужно установить, сходится ли ряд, и найти его сумму. Каждое следующее слагаемое получается умножением предыдущего на ½, значит перед нами геометрический ряд. Проверим знаменатель и подставим данные в формулу суммы.
Ответ: ряд сходится, его сумма равна 2.
Знаки чередуются, но это не мешает распознать геометрический ряд: от 3 к −1 и от −1 к ⅓ каждый раз умножают на одно число. Отрицательный знаменатель необходимо подставить со знаком, а условие сходимости проверить по его модулю. Тогда формула суммы даст результат без отдельного сложения членов.
Ответ: ряд сходится, его сумма равна 9/4.
При соседних ненулевых членах отношение следующего к предыдущему равно 2x, поэтому ряд геометрический с первым членом x и знаменателем 2x. Нужно найти те x, для которых ряд сходится, и только затем вычислять сумму. Отдельная проверка показывает, что при x = 0 все члены равны нулю, и этот случай тоже входит в найденный промежуток.
Ответ: ряд сходится при −½ < x < ½, сумма равна x/(1 − 2x).
Считать, что у любого бесконечного ряда есть сумма. Запись с многоточием не гарантирует конечного результата: частичные суммы могут не иметь предела. Ошибку допускают, принимая формальную запись за обычное сложение. Проверяйте, стремится ли Sₙ к конечному числу.
Применять формулу геометрической суммы при |q| ≥ 1. Формула бесконечной суммы получена как предел, а при таком q нужного предела нет. Часто путают формулу конечной частичной суммы с формулой суммы бесконечного ряда. Перед вычислениями отдельно проверьте модуль знаменателя.
Неверно определять первый член или знаменатель. После преобразования записи можно принять за b₁ не то слагаемое или сравнить несоседние члены. Найдите первый член исходного ряда, затем разделите второй на первый и проверьте отношение на следующей паре. У геометрического ряда оно должно быть одинаковым.
Терять скобки или знак в формуле S = b₁/(1 − q). При отрицательном q выражение 1 − q превращается в сумму, а не в разность. Ошибка появляется, если подставить отрицательное число без скобок. Подставляйте q целиком и проверьте, что знаменатель записан как 1 − (−|q|).
Для работы с рядами нужны знания о числовых последовательностях, арифметической и геометрической прогрессиях, пределах последовательностей и действиях с дробями. Позже понятие предела и бесконечной суммы встречается в математическом анализе, при изучении функций и в прикладных задачах. Геометрические ряды помогают описывать последовательное уменьшение длин, площадей или объёмов, когда каждый следующий объект получается масштабированием предыдущего.
Почему нельзя просто сложить бесконечное число членов ряда?
Обычное сложение предполагает конечное число действий, а у бесконечного ряда членов бесконечно много. Поэтому сумму определяют через предел: складывают первые n членов и смотрят, к какому числу стремятся эти частичные суммы.
Чем числовой ряд отличается от числовой последовательности?
Последовательность — это упорядоченный набор чисел a₁, a₂, a₃, … . Ряд записывают как сумму её членов, а его сходимость изучают по последовательности частичных сумм.
Почему геометрический ряд сходится именно при |q| < 1?
При |q| < 1 степени q стремятся к нулю, поэтому в формуле частичной суммы исчезает слагаемое с qⁿ и суммы приближаются к конечному числу. При |q| ≥ 1 частичные суммы в общем случае не имеют конечного предела.
Можно ли применять формулу суммы, если знаменатель ряда отрицательный?
Да. Условие сходимости зависит от модуля знаменателя: отрицательное q подходит, если |q| < 1. В формуле S = b₁/(1 − q) нужно подставлять q вместе с его знаком.
Почему условие стремления членов ряда к нулю само по себе ещё не гарантирует сходимость?
Стремление членов к нулю означает лишь, что отдельные слагаемые становятся всё меньше. Их накопленная сумма всё равно может расти без ограничения или не приближаться к одному числу. Например, гармонический ряд 1 + ½ + ⅓ + … расходится, хотя его члены стремятся к нулю.
§ 4. Понятие о числовом ряде. Геометрический ряд