Если бы числа могли говорить. Гаусс. Теория чисел (Лизана) - страница 10
Треугольное число — это число, количество единиц которого может быть представлено в форме равностороннего треугольника (по умолчанию было решено, что первое треугольное число — 1). Понятие треугольного числа было введено Пифагором, который изучил некоторые их свойства (пифагорейцев очень интересовали эстетические свойства чисел). На рисунке показаны шесть первых треугольных чисел.
Если внимательно посмотреть на первые треугольные числа, можно увидеть, что они совпадают со значением ряда T>n суммы п первых натуральных чисел. Очевидно, что это не случайность, поскольку при построении треугольного числа в каждом ряду на один элемент больше, чем в предыдущем, и первый ряд начинается с 1. Следовательно, узнать, является ли какое-либо число треугольным, равносильно тому, чтобы проверить, совпадает ли это число со значением T>n для некоторого n. Итак, каждое треугольное число T>n определяется следующей формулой:
T>n = n(n+1)/2.
Треугольное число — это число,которое можно представить в виде треугольника. Здесь указаны шесть первых таких чисел. Гаусс открыл, что любое целое положительное число может быть представлено в виде суммы, самое большее, трех треугольных чисел.
Проблема суммы, предложенная Гауссу, была равносильной тому, чтобы вычислить треугольное число, ряд основания которого был бы равен 100. Лучший способ сделать это, не вдаваясь в математические дебри, это взять другой равный треугольник, перевернуть его и поместить рядом с первым. В этом случае у нас получится прямоугольник в 100 единиц длиной и 101 шириной. Чтобы трансформация была понятной, предварительно нужно заменить равносторонние треугольники прямоугольными, просто передвинув ряды. Когда мы получили прямоугольник, вычислить общее число единиц очень просто, поскольку речь идет о произведении его сторон: 100 х 101 = 10100. Следовательно, один треугольник содержит половину единиц, то есть 5050. Следующий рисунок помогает понять построение прямоугольника на основе двух равных треугольных чисел. Ради компактности будем работать с Т>3 вместо Т>100, поскольку это не влияет на ход рассуждений. Обозначим через X единицы первого треугольного числа и через Z — единицы второго.
Как мы видим, получается прямоугольник 4x3, что и следовало ожидать. В целом сумма двух треугольных чисел Tn порождает прямоугольник n · (n + 1), так что для того, чтобы узнать число элементов T>n, достаточно разделить его на 2 — то есть снова получить, уже в результате других рассуждений, формулу построения треугольных чисел:
T>n = n(n+1)/2.
Сложно сказать точно, какое из этих двух рассуждений применил юный Гаусс. Мальчик с раннего возраста проявлял интерес к треугольным числам и их свойствам, поэтому, возможно, он понял, что требуется вычислить треугольное число с основанием в 100 единиц. Так, в его математическом дневнике есть запись от 18 июля 1796 года: «Эврика! num = Δ + Δ + Δ», что в переводе с зашифрованного языка Гаусса означает одну из его самых известных теорем, в которой утверждается, что любое целое положительное число может быть представлено в виде суммы самое большее трех треугольных чисел. Следует обратить внимание: эта теорема не предполагает, что треугольные числа должны быть разными и что их обязательно должно быть три (например, 20 = 10 + 10). Три — это лишь максимальное число треугольных чисел, но может быть достаточно и двух, а если искомое число само треугольное, то для его представления достаточно одного числа — его самого. Радость от открытия была более чем оправданной. Молодой Гаусс ответил на один из вызовов старого Ферма (1601-1665). И это был не просто вызов... Даже великий Леонард Эйлер (1707-1783) не смог справиться с этой задачей. Далее мы поговорим о Ферма и Эйлере более подробно, потому что в их работах снова появятся связи с трудами Гаусса — первого человека в истории, который ответил на одну из знаменитых гипотез Ферма. В математике гипотеза — это просто результат, который, похоже, является верным, но который не удалось доказать в строгом аналитическом виде, и при этом для него не был найден и опровергающий контрпример.