Артур Бенджамин: Магия математики: Как найти x и зачем это нужно

То есть сумма чисел справа будет ровно на 25 больше суммы чисел слева. Но это без учета 25, которые стоят в начале. А с ними у нас получается именно тот результат, который обещан нам знаком равенства. Следуя той же логике и призвав на помощь алгебру, мы докажем, что этот ряд можно продолжать бесконечно.

А теперь – специально для тех, кто хотел немного алгебры. Ряду n предшествует количество чисел, равное 3 + 5 + 7 +… + (2 n – 1) = n ² – 1, поэтому левая сторона нашего уравнения должна начинаться с числа n ², за которым следует n последовательных чисел, от n ² + 1 до n ² + n . Справа – n последовательных чисел, начиная с n ² + n + 1, заканчивая n ² + 2 n . Если мы временно «забудем» про число n ² слева, то увидим, что каждое из n чисел справа на n больше, чем соответствующее ему последовательное число слева. Разница при этом составляет n × n , то есть n ². Закономерность эта компенсируется начальным n ² слева, поэтому-то левая и правая части и равны.

Перейдем к другой закономерности. Как мы уже видели, из нечетных чисел можно составлять квадраты. А теперь посмотрим, что произойдет, если собрать их в один большой треугольник – вроде того, что изображен чуть ниже.

Так отлично видно, что 3 + 5 = 8, а 7 + 9 + 11 = 27, а 13 + 15 + 17 + 19 = 64. Что общего у 1, 8, 27 и 64? Да это же полные кубы чисел! Например, если сложить между собой пять чисел пятого ряда, мы получим:

Логика вроде бы подсказывает, что сумма чисел в ряду n будет равна n ³. Но насколько верным будет этот вывод? Не простое ли это совпадение? Чтобы лучше понять эту закономерность, посмотрим на числа в середине 1, 3 и 5 рядов. Что мы видим? 1, 9 и 25. То есть квадраты. В середине 2 и 4 рядов чисел нет, но по сторонам центра 2 ряда видим числа 3 и 5, среднее арифметическое которых – 4, а по сторонам центра 4 ряда – 15 и 17 со средним арифметическим 16. Давайте подумаем, как эту закономерность можно использовать.

Снова возьмем 4 ряд. Что мы тут видим? А видим мы, что сумма всех чисел в нем есть 5³ – и не нужно к ним ничего добавлять, чтобы заметить: все они симметрично расположены вокруг 25. Так как среднее арифметическое этих чисел – 5², уравнение преобразуется в 5² + 5² + 5² + 5² + 5² = 5 × 5², то есть 5³. То же справедливо и в отношении 4 ряда: среднее арифметическое всех чисел в нем – 4², их сумма – 4³. Чуть-чуть алгебры (к которой мы здесь не прибегаем), и вы легко сделаете вывод, что среднее арифметическое n чисел ряда n равно n ², а их сумма равна n ³, что и требовалось доказать.

Кстати, если уж мы взялись оперировать квадратами и кубами, не могу удержаться, чтобы не указать вам на еще одну закономерность. Что получится, если сложить кубы чисел, начиная с 1³?

Подсчитывая сумму кубов, мы получаем 1, 9, 36, 100, 225 и т. д. – числа, которые являются полными квадратами. Но это не любые квадраты, а квадраты 1, 3, 6, 10, 15 и т. д. – треугольных чисел! Мы уже знаем, что они по своей сути являются суммами простых чисел, а значит,

Другими словами, сумма кубов первых n чисел есть квадрат суммы этих самых первых n чисел. Подтвердить это мы пока не можем, но в главе 6 пару доказательств увидим.

Среди читателей наверняка найдутся те, кто, познакомившись с этими примерами, скажет: «Ух ты, здо́рово! Но какая от всего этого польза?» Здесь в любом математике проснулся бы художник, и в ответ вы услышали бы: «Разве нужно красоте оправдание иное, нежели сама красота?» Ведь чем лучше мы понимаем числовые закономерности, тем глубже постигаем их красоту. И все-таки иногда они приносят практическую пользу.

Вот простая закономерность, которую мне посчастливилось обнаружить в юности (даже если я и не был первооткрывателем). Я смотрел на пары чисел, которые в сумме давали 20 (10 и 10, например, или 9 и 11), и думал, а какие из них надо перемножить, чтобы получить наибольшее произведение? Логика подсказывала, что это 10 на 10, и моя схема эта подтвердила.

Эта закономерность была несомненна. Чем дальше отстояли друг от друга числа, тем меньше становилось произведение. И насколько они отдалялись от 100? На 1, на 4, на 9, 16, 25… То есть на 1², 2², 3², 4², 5² и т. д. А потом мне стало интересно, работает ли эта закономерность для чисел, дающих другую сумму. Я решил попробовать 26: