Приглашение в теорию чисел

n). (1.4.4)

Шестиугольные числа, и вообще k-угольные числа, аналогично определяются с помощью правильного k-угольника, и мы не будем больше тратить времени на их обсуждение. Фигурные числа, особенно треугольные, пользовались большой популярностью при изучении чисел в конце эпохи Возрождения, после того как греческая теория чисел проникла в Западную Европу. И сейчас их можно иногда встретить в статьях по теории чисел.

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

1 + 3 = 4, 1 + 3 + 5 = 9, 1 + 3 + 5 + 7 = 16 и т. д.

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

Рис. 6.

Система задач 1.4.

1. Докажите по индукции общую формулу (1.4.1) для треугольных чисел.

2. Докажите формулу (1.4.4) для пятиугольных чисел.

3. Докажите, что произвольное k-угольное число выражается формулой

½ k (n² - n) — n² + 2n.

§ 5. Магические квадраты

Если вы играли в «шафлборд»[1], вы можете вспомнить, что девять квадратов, на которых вы размещаете свои фишки, занумерованы числами от 1 до 9, расположенными так, как на рис. 7. Здесь числа в каждом столбце и в каждой строчке, а также в каждой из диагоналей, дают при сложении одно и то же число 15.

Рис. 7.

В общем случае магическим квадратом является расположение чисел от 1 до n² в виде квадрата так, что числа в каждом столбце, строчке и диагонали дают одинаковую сумму s, называемую магической суммой.

Пример магического квадрата с 4² = 16 числами изображен на рис. 8. Магическая сумма для него равна 34.

Рис. 8.

Для каждого числа n существует только одна магическая сумма s, которую легко найти. Так как сумма чисел в каждом столбце равна s, а столбцов — n, то сумма всех чисел в магическом квадрате равна ns.

Но сумма всех чисел от 1 до n² равна

1 + 2 +… + n² = ½ (n² + 1) n²,

что следует из формулы для суммы n членов арифметической прогрессии. Так как

n  s = ½ (n² + 1) n²,

то

s = ½ n (n² + 1). (1.5.1)

Таким образом, если число n задано, то число s определено. Магические квадраты могут быть построены для любого числа n, которое больше 2; читатель легко может убедиться, что их не существует для n = 2.

Во времена средневековья странные свойства этих квадратов считались волшебными и поэтому магические квадраты служили талисманами, защищающими тех, кто их носил, от многих несчастий. Часто воспроизводится магический квадрат, присутствующий на знаменитой гравюре Альбрехта Дюрера «Меланхолия» (она помещена на фронтисписе нашей книги). Этот квадрат воспроизведен с большим увеличением на рис. 9; при этом мы получили также возможность увидеть, как во времена Дюрера изображались цифры. Средние числа в последней строке изображают год, — 1514, в котором, как мы знаем, была создана эта гравюра. Возможно, что Дюрер, положив в основу именно эти числа, нашел остальные методом проб и ошибок. Можно доказать, что при n = 3 имеется лишь один магический квадрат, а именно квадрат, изображенный на рис. 7. Докажем этот факт. Для этого напишем числовой квадрат 3 × 3 в общем виде

x1  y1  z1
x2  y2  z2
x3  y3  z3

и выясним, какими могут быть эти девять чисел.

Рис. 9.

Вначале покажем, что центральное число y₂ должно равняться 5. Из формулы (1.5.1) следует, что при n = 3 магическая сумма s равна 15. Просуммируем теперь числа во второй строке, втором столбце и обеих диагоналях. В эту сумму каждое число, кроме числа y₂, входит по одному разу; число у₂ входит четыре раза, так как оно содержится в каждой из четырех сумм. Поэтому, так как каждая сумма равна s, то

4s = 4 × 15 = 60 =

= x₂ + y₂ + z₂ + y₁ + y₂ + y₃ + x₁ + у₂ + z₃ + z₁ + y₂ + x₃ = Зy₂ + x₁ + x₂ + x₃ + y₁ + y₂ + y₃ + z₁ + z₂ + z₃ =

= 3y₂ + 1 + 2 +… + 9 =