Математика. Утрата определенности.

В первой работе по математическому анализу (1669) Ньютон не без гордости ввел бесконечные ряды для упрощения основных операций — дифференцирования и интегрирования. Так, воспользовавшись для интегрирования (антидифференцирования) функции y = 1/(1 + x²) теоремой о разложении бинома, Ньютон получил ряд

y = 1 − x² + х⁴ − x⁶ + х⁸ − …,

который и проинтегрировал почленно. Ньютон обратил внимание на то, что если ту же функцию представить в виде y = 1/(x² + 1), то та же теорема о разложении бинома даст ряд

y = 1/x

² − 1/х⁴ + 1/x⁶ − 1/х⁸ + ….

Ньютон заметил далее, что при достаточно малом x следует пользоваться первым разложением, а при достаточно большом x — вторым. Из этого видно, что Ньютон интуитивно сознавал важность такого свойства ряда, как сходимость, хотя и не имел о нем ясного представления.

Обоснование, данное Ньютоном производимым им операциям над бесконечными рядами, может служить великолепным образцом логики того времени. В статье 1669 г. Ньютон утверждал:

То, что обычный анализ [алгебра] выполняет с помощью уравнений с конечным числом членов (если это выполнимо), [новый анализ] всегда может выполнить с помощью уравнений с бесконечным числом членов [рядов]; поэтому я, не задумываясь, назвал новое исчисление анализом. Рассуждения в нем не менее надежны, чем в обычном анализе, не менее точны и уравнения, хотя мы, смертные, чей разум ограничен узкими пределами, не можем ни выразить, ни постичь все члены этих уравнений дабы найти из них точные значения тех величин, которые нам нужны.

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

Подобно Ньютону и Лейбницу, над решением странной проблемы бесконечных рядов бились несколько представителей славного математического рода Бернулли, а также Эйлер, Д'Аламбер и другие математики XVIII в. Применяя бесконечные ряды в анализе, они совершали всевозможные ошибки, предлагали неверные доказательства, приходили к неверным заключениям. Более того, иногда они в обоснование своих результатов приводили рассуждения, которые мы, ретроспективно, можем назвать лишь смехотворными и нелепыми. Даже беглого перечисления таких рассуждений достаточно, чтобы понять, какая сумятица и неразбериха царили тогда в представлениях о свойствах бесконечных рядов.

При x = 1 ряд (8), представляющий функцию 1/(1 + x),

1/(1 + x) = 1 − x + x² − х³ + x⁴ − …, (8)

переходит в ряд

1 − 1 + 1 − 1 + 1 − ….

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

(1 − 1) + (1 − 1) + (1 − 1) + …,

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

1 − (1 − 1) − (1 − 1) −  …,

то столь же ясно, что сумма ряда должна равняться единице. Однако ясно также и то, что если сумму ряда обозначить через S, то

S = 1 − (1 − 1 + 1 − 1 + …),

или

S = 1 − S,

откуда S = ¹/₂. Последний результат подкрепляется еще одним доводом. Интересующий нас ряд можно рассматривать как геометрическую прогрессию со знаменателем −1, а сумма бесконечной геометрической прогрессии с первым членом a и знаменателем r равна a/(1

− r). В нашем случае сумма равна 1/[1 − (−1)], или ¹/₂.

Гвидо Гранди (1671-1742) в своем небольшом сочинении «Квадратура окружностей и гипербол» (Quadratura circuit et hyperbolae, 1703) другим методом получил сумму, равную ¹/₂. Полагая в (8) x = 1, он нашел:

¹/₂ = 1 − 1 + 1 − 1 + 1 − ….

Тем самым Гранди утверждал, что сумма ряда равна ¹/₂. Но одновременно он заявлял, что сумма того же ряда равна 0. По мнению Гранди, полученное им «равенство» 0 = ¹/₂ доказывало, что мир мог быть создан из ничего.