Подкрепим наши доводы еще следующим рассуждением. Прямоугольник площадью в 1 квадратную единицу разобьем на два прямоугольника одинаковой площади (рис. 1). Один из получившихся прямоугольников вновь разобьем на два прямоугольника одинаковой площади. Продолжая мысленно этот процесс деления, получим прямоугольники, площади которых равны 1/2, 1/4, 1/8, ..., 1/2n, ..., квадратных единиц. Объединение всех этих прямоугольников дает исходный прямоугольник, значит, и сумма их площадей должна быть равна площади исходного:
1/2 + 1/4 + 1/8 + 1/16 + ... = 1.
Рис. 1
Приближенные суммы ряда (1)
S1 = a1,
S2 = a1 + a2,
Sn = a1 + a2 + ... + an
называются частичными суммами. Если значения частичных сумм Sn при неограниченном возрастании n стремятся к некоторому числу A, то ряд называется сходящимся; число A называют при этом суммой ряда и пишут:
a1 + a2 + a3 + ... = A.
Таким образом, эта запись есть сокращенная форма следующего утверждения: при неограниченном возрастании n значения Sn сколь угодно мало отличаются от A, т.е. число A есть предел последовательности Sn, что записывается так:
Не для всякого ряда последовательность его частичных сумм стремится к определенному пределу. Например, для ряда
1 - 1 + 1 - 1 + ... (3)
частичные суммы Sn принимают попеременно значения 1 и 0:
S1 = 1, S2 = 1-1=0, S3 = 1, S4 = 0, …
и с ростом n, очевидно, не приближаются неограниченно к какому-либо числу.
Ряд, у которого последовательность частичных сумм Sn не имеет предела, называется расходящимся. Таков ряд (3). Расходящийся ряд не имеет суммы.
Примеры сходящихся рядов:
3/10 + 3/100 + 3/1000 + 3/10000 + ...; (4)
1 - 1/3 + 1/5 - 1/7 + 1/9 - ...; (5)
1/12 + 1/22 + 1/32 + 1/42 + .... (6)
Ряд (4) сходится к числу 1/3 и дает представление этого числа бесконечной десятичной дробью: 1/3=0,333.... Суммы рядов (5) и (6) равны соответственно π/4 и π2/6 и дают возможность приближенно вычислить число π с любой степенью точности (если взять достаточно много членов ряда).
Для любого числа x, удовлетворяющего условию -1 < x < 1, сходящимся будет геометрический ряд
1 + x + x2 + x3 + x4 + ...
(его члены образуют геометрическую прогрессию со знаменателем x). Сумма его первых n членов, т.е. частичная сумма Sn, равна
Sn = (1 - xn)/(1 - x)
и в случае -1 < x < 1 при n → ∞ стремится к 1/(1 - x). Поэтому при -1 < x < 1 можно написать:
1 + x + x2 + x3 + ... = 1/(1-x). (7)
Геометрический ряд исторически был первым бесконечным рядом, для которого была определена его сумма. Архимед (III в. до н.э.) для вычисления площади параболического сегмента (т.е. фигуры, ограниченной прямой и параболой) применил суммирование бесконечной геометрической прогрессии со знаменателем 1/4.
Интересно, что после Архимеда вплоть до XVI в. математика рядами не занималась, ряды вошли в математику лишь тогда, когда началось изучение изменяющихся процессов. Математики занялись вычислением сумм рядов (например, для ряда (5) сумму нашел Г. Лейбниц, а для ряда (6) - Л. Эйлер), хотя понятие сходимости ряда точно установлено еще не было. Считалось, что любой ряд имеет сумму и с рядами можно производить те же арифметические действия, что и с многочленами: складывать, умножать, переставлять слагаемые и т. п. Иногда это приводило к фантастическим результатам, например, получали, что сумма ряда 1 - 1 + 1 - 1 + ... может быть равна и 0, и 1, и даже 1/2. Рассуждения были примерно такие:
1 - 1 + 1 - 1 + ... = (1-1) + (1-1) + ... = 0 или 1 - 1 + 1 - 1 + 1 - ... = 1 -(1-1) - (1-1) - ... = 1, а результат 1/2 получался следующим образом: если S = 1 - 1 + 1 - 1 + 1 - ..., то из равенства 1-1+1-1+... = 1-(1-1+1-1+...) следует S = 1 - S, откуда S=1/2. Позже сходящимися рядами стали считать лишь те ряды, у которых n-й член an при неограниченном возрастании n стремится к нулю. Если ряд сходится, то предел an действительно равен нулю, так как an = Sn - Sn-1 и с возрастанием n эта разность стремится к нулю. Однако нашлись ряды, у которых an стремится к нулю, а последовательность частичных сумм не имеет конечного предела. Таков, например, гармонический ряд
1 + 1/2 + 1/3 + 1/4 + ....
Четкое определение сходимости ряда, основанное на понятии предела последовательности частичных сумм, появилось лишь в начале XIX в. Тогда же началось систематическое изучение рядов.
Некоторые числовые ряды обладают тем свойством, что их сумма не меняется при перестановке членов, например, абсолютно сходящиеся ряды. Ряд (1) называется абсолютно сходящимся, если сходится ряд
|a1| + |a2| + |a3| + ...
из абсолютных величин его членов. Таковы ряды (2), (4) и (6), а ряд (5) не является абсолютно сходящимся. Абсолютно сходящиеся ряды можно складывать, вычитать, умножать и делить по тем же правилам, что и конечные суммы.
Особое значение имеет степенной ряд, т.е. ряд вида
a0 + a1x + a2x2 + a3x3 + .... (8)
Для одних значений x получающийся из (8) числовой ряд может сходиться, для других - расходиться (например, геометрический ряд (7) сходится при любом x, удовлетворяющем условию -1 < x < 1, а при x = -1 дает расходящийся ряд 1 - 1 + 1 - 1 + ...).
Множество всех значений x, для которых ряд (8) сходится, называется множеством сходимости этого ряда. На множестве сходимости сумма ряда (8) зависит от x и является функцией аргумента x. Если
a0 + a1x + a2x2 + a3x3 + ... = f(x), (9)
то левая часть равенства представляет собой разложение функции f(x) в бесконечный степенной ряд. Например, формула (7) дает разложение функции 1/(1 - x) при -1 < x < 1 в бесконечный степенной ряд.
Идея представления функций степенными рядами принадлежит И. Ньютону, он нашел разложения многих функций, например:
где x - радианная мера угла, этот ряд сходится (и к тому же абсолютно) для любого x. Если в разложении (9) функции f(x) в степенной ряд ограничиться несколькими первыми членами, то мы получим приближенное представление функции: оно тем точнее, чем больше взято членов ряда (слагаемых). Например, приближенная формула
sin x ≈ x - x3/6,
правая часть которой - первые два члена формулы (10), дает значения sin x с ошибкой, меньшей 0,0005, при всех 0 < x < 0,59, что в градусной мере соответствует углам 0° < x < 32°38'. С той же точностью до 0,0005 можно считать sin x ≈ x при всех положительных x, меньших 6°33'.
Существуют различные способы представления функций бесконечными рядами, например, при рассмотрении периодических процессов используются тригонометрические ряды, т.е. ряды вида
a0 + a1 sin x + b1 cos x + a2 sin 2x + b2 cos 2x + ....
Заметим, что все рассмотренные ряды имели ясный и вполне определенный закон образования их членов. Обычно же ряд задается формулой n-го члена ряда (an), его называют общим членом ряда. Из этой формулы подстановкой вместо n определенного числа - номера члена ряда - находят слагаемое, имеющее этот номер. Например, общий член ряда (2) имеет вид an = 1/2n, и легко находятся a1 = 1/2, a2 = 1/2n = 1/4, a3 = 1/23 = 1/8. Для ряда (3) общий член выражается так: an = (-1)n-1.