1 + 3 + 5 + … + (2n – 1) = n²
Отступление
Чуть позже мы еще вернемся к методу подсчета кружков (как и к методу решения задачи двумя разными способами), и вы увидите, к каким интересным результатам он может привести в высшей математике. Но и для понимания основ он не менее полезен. Почему, например, 3 × 5 = 5 × 3? Уверен, вы никогда даже не задавались таким вопросом: просто однажды в детстве вам сказали, что порядок чисел при умножении абсолютно не важен (математики, кстати, называют это законом коммутативности). Но почему же три пакетика по пять жемчужин – это то же, что и пять пакетиков по три жемчужины? Самый простой способ объяснить этот закон – посчитать кружки в прямоугольнике размером 3 на 5. Считая ряд за рядом, мы видим 3 ряда, в каждом из них 5 кружков, то есть во всем прямоугольнике 3 × 5 кружков. С другой стороны, мы можем подсчитать столбики, а не ряды: по 3 кружка в каждом из 5 рядов, значит, всего кружков 5 × 3.
Эта закономерность может привести нас к другой, еще более красивой. Раз уж мы хотим заставить числа танцевать, почему бы не сделать это и с их квадратами?
Взгляните вот на такую пирамидку уравнений:
Какую закономерность вы видите? Подсчитать количество чисел в каждом ряду несложно: 3, 5, 7, 9, 11 и так далее. А дальше неожиданность: первое число каждого ряда – по крайней мере, первых 5 записанных здесь рядов – является квадратом числа. И правда: 1, 4, 9, 16, 25… Почему так получается? Возьмем пятый ряд. Сколько чисел ему предшествуют? Давайте сложим их количество: 3 + 5 + 7 + 9. Прибавим к ним еще единицу, и у нас получится первое число пятого ряда – сумма первых 5 нечетных чисел, которая, как мы уже знаем, равна 5².
А теперь просчитаем пятое уравнение, ничего к нему не добавляя. Как бы это сделал Гаусс? Если пока не обращать внимания на начальное 25, слева у нас останется 5 чисел, каждое из которых будет ровно на 5 меньше, чем соответствующее ему число справа.
То есть сумма чисел справа будет ровно на 25 больше суммы чисел слева. Но это без учета 25, которые стоят в начале. А с ними у нас получается именно тот результат, который обещан нам знаком равенства. Следуя той же логике и призвав на помощь алгебру, мы докажем, что этот ряд можно продолжать бесконечно.
Отступление
А теперь – специально для тех, кто хотел немного алгебры. Ряду n предшествует количество чисел, равное 3 + 5 + 7 +… + (2n – 1) = n² – 1, поэтому левая сторона нашего уравнения должна начинаться с числа n², за которым следует n последовательных чисел, от n² + 1 до n² + n. Справа – n последовательных чисел, начиная с n² + n + 1, заканчивая n² + 2n. Если мы временно «забудем» про число n² слева, то увидим, что каждое из n чисел справа на n больше, чем соответствующее ему последовательное число слева. Разница при этом составляет n × n, то есть n². Закономерность эта компенсируется начальным n² слева, поэтому-то левая и правая части и равны.
Перейдем к другой закономерности. Как мы уже видели, из нечетных чисел можно составлять квадраты. А теперь посмотрим, что произойдет, если собрать их в один большой треугольник – вроде того, что изображен чуть ниже.
Так отлично видно, что 3 + 5 = 8, а 7 + 9 + 11 = 27, а 13 + 15 + 17 + 19 = 64. Что общего у 1, 8, 27 и 64? Да это же полные кубы чисел! Например, если сложить между собой пять чисел пятого ряда, мы получим:
21 + 23 + 25 + 27 + 29 = 125 = 5 × 5 × 5 = 5³
Логика вроде бы подсказывает, что сумма чисел в ряду n будет равна n³. Но насколько верным будет этот вывод? Не простое ли это совпадение? Чтобы лучше понять эту закономерность, посмотрим на числа в середине 1, 3 и 5 рядов. Что мы видим? 1, 9 и 25. То есть квадраты. В середине 2 и 4 рядов чисел нет, но по сторонам центра 2 ряда видим числа 3 и 5, среднее арифметическое которых – 4, а по сторонам центра 4 ряда – 15 и 17 со средним арифметическим 16. Давайте подумаем, как эту закономерность можно использовать.
