Рассмотрим теперь вопрос о суммировании бесконечной геометрической прогрессии. Назовем частичной суммой данной бесконечной прогрессии сумму ее первых членов. Обозначим частичную сумму символом

Для каждой бесконечной прогрессии

можно составить (также бесконечную) последовательность ее частичных сумм

Пусть последовательность при неограниченном возрастании имеет предел

В этом случае число S, т. е. предел частичных сумм прогрессии, называют суммой бесконечной прогрессии. Мы докажем, что бесконечная убывающая геометрическая прогрессия всегда имеет сумму, и выведем формулу для этой суммы (можно также показать, что при бесконечная прогрессия не имеет суммы, не существует).

Запишем выражение частичной суммы как суммы членов прогрессии по формуле (91.1) и будем рассматривать предел частичной суммы при

Из теоремы п. 89 известно, что для убывающей прогрессии ; поэтому, применяя теорему о пределе разности, найдем

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

Равенство (92.1) можно также писать в виде

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

Можно привести наглядную иллюстрацию в пояснение такого положения. Рассмотрим квадрат со стороной, равной единице (рис. 72). Разделим этот квадрат горизонтальной линией на две равные части и верхнюю часть приложим к нижней так, чтобы образовался прямоугольник со сторонами 2 и . После этого правую половину этого прямоугольника снова разделим горизонтальной линией пополам и верхнюю часть приложим к нижней (как показано на рис. 72). Продолжая этот процесс, мы все время преобразуем исходный квадрат с площадью, равной 1, в равновеликие фигуры (принимающие вид лестницы с утоньшающимися ступеньками).

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

т. е., как и следовало ожидать, равна площади квадрата.

Пример. Найти суммы следующих бесконечных прогрессий:

Решение, а) Замечаем, что у этой прогрессии Поэтому по формуле (92.2) находим

б) Здесь значит, по той же формуле (92.2) имеем

в) Находим, что у этой прогрессии Поэтому данная прогрессия не имеет суммы.

В п. 5 было показано применение формулы суммы членов бесконечно убывающей прогрессии к обращению периодической десятичной дроби в обыкновенную дробь.

Упражнения

1. Сумма бесконечно убывающей геометрической прогрессии равна 3/5, а сумма ее первых четырех членов равна 13/27. Найти первый член и знаменатель прогрессии.

2. Найти четыре числа, образующие знакочередующуюся геометрическую прогрессию, у которой второй член меньше первого на 35, а третий больше четвертого на 560.

3. Показать, что если последовательность

образует бесконечно убывающую геометрическую прогрессию, то и последовательность

при любом образует бесконечно убывающую геометрическую прогрессию. Сохранится ли это утверждение при

Вывести формулу для произведения членов геометрической прогрессии.

Это число называется знаменателем геометрической прогрессии, т. е. каждый член отличается от предыдущего в q раз. (Будем считать, что q ≠ 1, иначе все уж слишком тривиально). Нетрудно видеть, что общая формула n -го члена геометрической прогрессии b n = b 1 q n – 1 ; члены с номерами b n и b m отличаются в q n – m раз.

Уже в Древнем Египте знали не только арифметическую, но и геометрическую прогрессию. Вот, например, задача из папируса Райнда: «У семи лиц по семи кошек; каждая кошка съедает по семи мышей, каждая мышь съедает по семи колосьев, из каждого колоса может вырасти по семь мер ячменя. Как велики числа этого ряда и их сумма?»

Рис. 1. Древнеегипетская задача о геометрической прогресии

Эта задача много раз с разными вариациями повторялась и у других народов в другие времена. Например, в написанной в XIII в. «Книге об абаке» Леонардо Пизанского (Фибоначчи) есть задача, в которой фигурируют 7 старух, направляющихся в Рим (очевидно, паломниц), у каждой из которых 7 мулов, на каждом из которых по 7 мешков, в каждом из которых по 7 хлебов, в каждом из которых по 7 ножей, каждый из которых в 7 ножнах. В задаче спрашивается, сколько всего предметов.

Сумма первых n членов геометрической прогрессии S n = b 1 (q n – 1) / (q – 1) . Эту формулу можно доказать, например, так: S n = b 1 + b 1 q + b 1 q 2 + b 1 q 3 + ... + b 1 q n – 1 .

Добавим к S n число b 1 q n и получим:

S n + b 1 q n = b 1 + b 1 q + b 1 q 2 + b 1 q 3 + ... + b 1 q n – 1 + b 1 q n = b 1 + (b 1 + b 1 q + b 1 q 2 + b 1 q 3 + ... + b 1 q n –1) q = b 1 + S n q .

Отсюда S n (q – 1) = b 1 (q n – 1) , и мы получаем необходимую формулу.

Уже на одной из глиняных табличек Древнего Вавилона, относящейся к VI в. до н. э., содержится сумма 1 + 2 + 2 2 + 2 3 + ... + 2 9 = 2 10 – 1. Правда, как и в ряде других случаев мы не знаем, откуда этот факт был известен вавилонянам.

Быстрое возрастание геометрической прогрессии в ряде культур, – в частности, в индийской, – неоднократно используется как наглядный символ необозримости мироздания. В известной легенде о появлении шахмат властелин предоставляет их изобретателю возможность самому выбрать награду, и тот просит такое количество пшеничных зерен, которое получится, если одно положить на первую клетку шахматной доски, два – на вторую, четыре – на третью, восемь – на четвертую и т. д., всякий раз число увеличивается вдвое. Владыка думал, что речь идет, самое большое, о нескольких мешках, но он просчитался. Нетрудно видеть, что за все 64 клетки шахматной доски изобретатель должен был бы получить (2 64 – 1) зерно, что выражается 20-значным числом; даже если засевать всю поверхность Земли, потребовалось бы не менее 8 лет, чтобы собрать необходимое количество зерен. Эту легенду иногда интерпретируют как указание на практически неограниченные возможности, скрытые в шахматной игре.

То, что это число действительно 20-значное, увидеть нетрудно:

2 64 = 2 4 ∙ (2 10) 6 = 16 ∙ 1024 6 ≈ 16 ∙ 1000 6 = 1,6∙10 19 (более точный расчет дает 1,84∙10 19). А вот интересно, сможете ли вы узнать, какой цифрой оканчивается данное число?

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

Чем больше n , тем слабее число q n отличается от нуля, и тем ближе сумма n членов геометрической прогрессии S n = b 1 (1 – q n ) / (1 – q ) к числу S = b 1 / (1 – q ) . (Так рассуждал, например, Ф. Виет). Число S называется суммой бесконечно убывающей геометрической прогрессии. Тем не менее, долгие века вопрос о том, какой смысл имеет суммирование ВСЕЙ геометрической прогрессии, с ее бесконечным числом членов, не был достаточно ясен математикам.

Убывающую геометрическую прогрессию можно видеть, например, в апориях Зенона «Деление пополам» и «Ахиллес и черепаха». В первом случае наглядно показывается, что вся дорога (предположим, длины 1) является суммой бесконечного числа отрезков 1/2, 1/4, 1/8 и т. д. Так оно, конечно, и есть с точки зрения представлений о конечной сумме бесконечной геометрической прогрессии. И все же – как такое может быть?

Рис. 2. Прогрессия с коэффициентом 1/2

В апории про Ахиллеса ситуация чуть более сложная, т. к. здесь знаменатель прогрессии равен не 1/2, а какому-то другому числу. Пусть, например, Ахиллес бежит со скоростью v , черепаха движется со скоростью u , а первоначальное расстояние между ними равно l . Это расстояние Ахиллес пробежит за время l /v , черепаха за это время сдвинется на расстояние lu /v . Когда Ахиллес пробежит и этот отрезок, дистанция между ним и черепахой станет равной l (u /v ) 2 , и т. д. Получается, что догнать черепаху – значит найти сумму бесконечно убывающей геометрической прогрессии с первым членом l и знаменателем u /v . Эта сумма – отрезок, который в итоге пробежит Ахиллес до места встречи с черепахой – равен l / (1 – u /v ) = lv / (v – u ) . Но, опять-таки, как надо интерпретировать этот результат и почему он вообще имеет какой-то смысл, долгое время было не очень ясно.

Рис. 3. Геометрическая прогрессия с коэффициентом 2/3

Сумму геометрической прогрессии использовал Архимед при определении площади сегмента параболы. Пусть данный сегмент параболы отграничен хордой AB и пусть в точке D параболы касательная параллельна AB . Пусть C – середина AB , E – середина AC , F – середина CB . Проведем прямые, параллельные DC , через точки A , E , F , B ; пусть касательную, проведенную в точке D , эти прямые пересекают в точках K , L , M , N . Проведем также отрезки AD и DB . Пусть прямая EL пересекает прямую AD в точке G , а параболу в точке H ; прямая FM пересекает прямую DB в точке Q , а параболу в точке R . Согласно общей теории конических сечений, DC – диаметр параболы (то есть отрезок, параллельный ее оси); он и касательная в точке D могут служить осями координат x и y , в которых уравнение параболы записывается как y 2 = 2px (x – расстояние от D до какой-либо точки данного диаметра, y – длина параллельного данной касательной отрезка от этой точки диаметра до некоторой точки на самой параболе).

В силу уравнения параболы, DL 2 = 2 ∙ p ∙ LH , DK 2 = 2 ∙ p ∙ KA , а поскольку DK = 2DL , то KA = 4LH . Т. к. KA = 2LG , LH = HG . Площадь сегмента ADB параболы равна площади треугольника ΔADB и площадям сегментов AHD и DRB , вместе взятых. В свою очередь, площадь сегмента AHD аналогичным образом равна площади треугольника AHD и оставшихся сегментов AH и HD , с каждым из которых можно провести ту же операцию – разбить на треугольник (Δ) и два оставшихся сегмента (), и т. д.:

Площадь треугольника ΔAHD равна половине площади треугольника ΔALD (у них общее основание AD , а высоты отличаются в 2 раза), которая, в свою очередь, равна половине площади треугольника ΔAKD , а значит, и половине площади треугольника ΔACD . Таким образом, площадь треугольника ΔAHD равна четверти площади треугольника ΔACD . Аналогично, площадь треугольника ΔDRB равна четверти площади треугольника ΔDFB . Итак, площади треугольников ΔAHD и ΔDRB , вместе взятые, равны четверти площади треугольника ΔADB . Повторение этой операции в применении к сегментам AH , HD , DR и RB выделит и из них треугольники, площадь которых, вместе взятых, будет в 4 раза меньше, чем площадь треугольников ΔAHD и ΔDRB , вместе взятых, а значит, в 16 раз меньше, чем площади треугольника ΔADB . И так далее:

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

Похожие статьи