Альберт Виолант-и-Хольц - Том 9. Загадка Ферма. Трехвековой вызов математике

И здесь нужно обратить внимание на второй и третий столбцы, так как числа в третьем столбце всегда больше чисел из второго, и при делении мы также получим строго упорядоченную по убыванию последовательность чисел между 0 и 1. Таким образом, мы можем добавить в таблицу столбец V. Значения в нем будут рассчитываться по следующей формуле:

столбец V= столбец II/ столбец III.

Кроме того, можно легко показать, что если возвести каждое число во втором и третьем столбце в квадрат и вычесть одно из другого, то результат всегда будет квадратом целого числа. Таким образом, мы можем добавить в таблицу столбец VI. Значения в нем будут рассчитываться по следующей формуле:

столбец VI= √( столбец III 2— столбец II 2).

Объединив все полученные числа в одну таблицу, мы сможем исправить некоторые ошибки в исходных числах. Например, все указывает на то, что во второй строке есть ошибка, так как число в столбце V не вписывается в убывающую последовательность чисел, а в столбце VI не получается целое число. Единственный способ исправить эти ошибки — записать в третьем столбце 4825 вместо 11 521.

Теперь числа согласуются между собой.

Расширенная таблица с исправленными ошибками (исправленные значения отмечены звездочками).

Но еще удивительнее значения чисел в первом столбце. Потребовалось немало воображения, чтобы догадаться, что при делении чисел из второго столбца на числа из шестого и возведении результата в квадрат получаются числа из первого столбца с точностью до последнего десятичного знака. Поразительно! Теперь мы можем исправить все ошибки в исходных числах.

Но откуда взялись все эти числа? Очевидно, что они записаны на табличке не случайно. В течение десятилетий исследователи предлагали различные объяснения. В первом приближении может показаться, что здесь перечислены пифагоровы тройки (в столбцах II, III и VI), то есть целые числа, удовлетворяющие соотношению из теоремы Пифагора. Числа в столбце II соответствуют длинам меньших катетов, числа в столбце III — длинам гипотенуз, числа в столбце VI — длинам больших катетов. Это подтверждает и надпись на аккадском языке над столбцами II и III. Возможно, столбец VI был записан на утерянной части таблички.

Но кому понадобилось выбрать столь сложные пифагоровы тройки? Существует множество значительно более простых троек, например, (3, 4, 5), (6, 8, 10) или (3, 12, 13). Все они соответствуют сторонам прямоугольных треугольников, но не приводятся в таблице. Хотя эта табличка могла быть не единственной, было бы логично предположить, что среди первых пятнадцати строк появятся некоторые из простейших пифагоровых троек.

Гипотеза Отто Нойгебауэра

Все это заставило математика Отто Нойгебауэра предположить, что числа в столбцах II и III на самом деле являются результатами вычислений над более простыми числами. Примерно в 1931 году Нойгебауэр предположил, что создателю таблички были известны формулы для определения пифагоровых троек на основе этих чисел. Для этого он выбрал два натуральных взаимно простых числа р и q, p > q . Затем он рассчитал следующие значения:

а = р 2— q 2(столбец II),

b = 2 pq (столбец VI),

с = р 2+ q 2(столбец III).

Нетрудно видеть, что

а 2+ Ь 2= ( р 2— q 2) 2+ (2 pq ) 2= р 4— 2 p 2 q 2+ q 4+ 4 р 2 q 2= р 4+ 2 p 2 q 2+ р 4= ( р 2+ q 2) 2= с 2.

Следовательно, эти три числа образуют пифагорову тройку.

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

Выбор значений pи qсогласно гипотезе Отто Нойгебауэра(исправленные значения отмечены звездочками).

Казалось бы, все сходится. Кроме одиннадцатой строчки! Почему все числа в таблице не могут подчиняться общей закономерности? Почему закономерность нарушена именно в этой строке? Потому что она обладает крайне любопытным свойством. Числа, образующие пифагорову тройку (45, 60, 75) имеют общие делители: все они делятся на 15. Выполнив деление, получим тройку (3, 4, 5), которой соответствуют значения р = 2, q = 1.