Теперь перепишем каждое слагаемое в виде разности двух других чисел – точно так же, как высота каждой ступеньки была разностью между показанием альтиметра вверху ступеньки и внизу. Начнем с первого слагаемого:
Правда, пока не очевидно, куда это приведет, но оставайтесь с нами. Сейчас мы увидим, насколько полезно переписать дробь 1/(1∙2) в виде разности двух аликвотных дробей 1/1 и 1/2. (Аликвотной называется дробь, числитель которой равен 1. Эти последовательные дроби станут играть роль последовательных показаний альтиметра.) Если арифметическое преобразование выше кажется неясным, попробуйте воспроизвести его справа налево. Справа мы вычитаем дробь 1/2 из дроби 1/1; в середине приводим их к общему знаменателю; слева упрощаем числитель.
Аналогично мы можем переписать в виде разности двух аликвотных дробей все остальные слагаемые в сумме S:
и так далее. В результате наша сумма S примет такой вид:
Теперь мы видим метод в этом безумии
[247]. Взгляните повнимательнее на структуру суммы. Почти все слагаемые входят в нее дважды, один раз с плюсом, а другой – с минусом. Например, число 1/2 сначала вычитается, а потом добавляется и в результате пропадает. То же верно для 1/3: оно встречается дважды и исчезает. Остальные дроби, до 1/99 включительно, ведут себя так же. Исключения – первое и последнее слагаемое в сумме S, у которых нет парных элементов с другим знаком. В результате, когда дым рассеивается, остаются только они. Поэтому результат таков:
Это вполне логично в свете аналогии с лестницей и снова говорит нам, что общая сумма высот всех ступенек определяется как высота вверху минус высота внизу.
К слову, S упрощается до 99/100. Это и есть ответ на задачу с 99 слагаемыми. Лейбниц понял, что с помощью того же трюка может справиться с любым числом слагаемых. Если в сумме будет N членов, а не 99, то в результате получится:
Все это проясняет ответ на изначальный вопрос Гюйгенса: когда N стремится к бесконечности, слагаемое 1/(N + 1) стремится к нулю, а потому S стремится к 1. Следовательно, это предельное значение 1 и будет ответом для задачи Гюйгенса.
Ключевой идеей, позволившей Лейбницу найти эту сумму, была ее весьма конкретная структура: оказалось, что ее можно переписать в виде суммы последовательных разностей (в данном случае в виде разности аликвотных дробей). Такая структура привела к масштабным сокращениям, как мы видели выше. Подобные суммы сегодня в математике называют телескопическими, поскольку они напоминают те старые складные подзорные трубы, которые вы могли видеть в фильмах про пиратов. Аналогия тут в том, что исходная сумма предстает в разложенной форме, но вследствие разностной структуры ее можно привести к более компактному виду. При этом выживают только слагаемые без партнеров, с которыми их можно сократить, – те, которые находятся на концах телескопа.
Естественно, Лейбниц задался вопросом, применим ли трюк с телескопированием к другим задачам. Такую идею стоило реализовать, учитывая, насколько мощной она могла быть. Если бы он, столкнувшись с длинным списком чисел, которые требуется сложить, мог записать каждое число в виде разности последовательных чисел (которые еще нужно определить), телескопический трюк сработал бы снова.
Это заставило Лейбница задуматься о площадях. Ведь определение площади под какой-то кривой на координатной плоскости сводится к суммированию длинного списка чисел – площадей множества тонких вертикальных прямоугольных полосок.
На этом рисунке отражена идея, к которой он пришел. Здесь только восемь прямоугольных полос, но вы должны попробовать представить такую же картинку с миллионами и миллиардами более тонких прямоугольников или, еще лучше, бесконечно много бесконечно тонких прямоугольников. К сожалению, это трудно нарисовать или визуализировать, поэтому-то я и использую только восемь прямоугольников.
Для простоты предположим, что у всех прямоугольников одинаковая ширина. Назовем ее Δx. Высоты прямоугольников равны y1, y2, …, y8. Тогда общая площадь всех аппроксимирующих прямоугольников составит
Такую сумму восьми чисел было бы удобно «телескопировать», если бы мы нашли какие-нибудь волшебные числа A0, A1, A2, …, A8, разности которых дают площади прямоугольников
и так далее, вплоть до y8Δx = A8 – A7. Тогда общая площадь всех прямоугольников телескопически сложилась бы так:
y1Δx + y2Δx + … + y8Δx = (A1 – A0) + (A2 – A1) + … + (A8 – A7) = A8 – A0.
