Подобно Диофанту, Леонардо представлял общие методики через конкретные примеры. Один из них основывался на вопросе аль-Караджи. В 1225 г. Пизу посетил император Фридрих II. Он был наслышан о Леонардо и его математических занятиях и, судя по всему, решил, что будет забавно объявить математический турнир и посмотреть на него в деле. В то время подобные публичные состязания были обычным делом. Участники задавали друг другу вопросы. В команду императора входили Джованни из Палермо и магистр Теодор. В команду Леонардо входил только сам Леонардо. Команда императора попросила Леонардо найти такой квадрат, который остался бы квадратом, если вычесть из него или прибавить к нему 5. Как обычно, все числа должны были быть рациональными. Иными словами, соперники хотели, чтобы Леонардо доказал, что 5 — число конгруэнтное, отыскав конкретное рациональное число x, для которого x − 5, x и x + 5 являются квадратами.
Эту задачу ни в коем случае нельзя назвать простой — самое краткое ее решение таково:
В этом случае
Леонардо нашел решение и включил его в «Книгу квадратов». Он получил ответ при помощи общей формулы, связанной с формулой Евклида/Диофанта для пифагоровых троек. Из нее Леонардо получил три целых квадрата с общей разностью 720, а именно: 31², 41² и 49². Затем он разделил их на 12² = 144, чтобы получить три квадрата с общей разностью 720/144, что равняется 5{38}. В терминах пифагоровых троек можно взять треугольник со сторонами 9, 40 и 41 и площадью 180 и разделить на 36. Получим треугольник со сторонами 20/3, 3/2, 41/6. Площадь его равняется 5.
Именно у Леонардо мы находим латинское слово congruum для обозначения набора из трех квадратов в арифметической прогрессии. Позже Эйлер пользовался словом congruere, «сходятся». Первые десять конгруэнтных чисел и соответствующие простейшие пифагоровы тройки приведены в табл. 3. Никаких простых закономерностей здесь не видно.
Таблица 3. Первые десять конгруэнтных чисел и соответствующие им пифагоровы тройки
Первоначальным прогрессом в этом вопросе мы обязаны в первую очередь арабским математикам, показавшим, что числа 5, 6, 14, 15, 21, 30, 34, 65, 70, 110, 154 и 190, а также еще 18 больших чисел, являются конгруэнтными. Леонардо, Анджело Дженокки (1855) и Андре Жерарден (1915 г.) добавили к этим числам 7, 22, 41, 69, 77 и еще 43 числа, не превосходящих 1000. Леонардо в 1225 г. объявил, что число 1 не конгруэнтно, но не привел никаких доказательств. В 1569 г. Ферма доказал это. К 1915 г. все конгруэнтные числа меньше 100 были определены, но проблема плохо поддавалась решению, и еще в 1980 г. статус многих чисел меньше 1000 оставался неопределенным. О сложности проблемы можно судить по тому, как Л. Бастьен открыл конгруэнтность числа 101. Стороны соответствующего прямоугольного треугольника равны:
Он нашел эти числа в 1914 г. вручную. К 1986 г., когда считать благодаря компьютерам стало проще, Г. Крамарц нашел все конгруэнтные числа до 2000.
В какой-то момент было замечено, что другое, но связанное с этой задачей уравнение y² = x³ — d²x имеет решение x, y в целых числах тогда и только тогда, когда d конгруэнтно{39}. В одном направлении это наблюдение очевидно: правая часть уравнения представляет собой произведение x, x — d и x + d, а если все сомножители являются квадратами, то квадратом является и произведение. Обратное утверждение получить также несложно. Такая формулировка задачи сразу переводит ее в богатые и процветающие владения теории чисел. Для любого заданного d это уравнение задает y², равный кубическому многочлену от x, и таким образом определяет эллиптическую кривую. Так что проблема конгруэнтных чисел — частный случай вопроса, ответить на который мечтают многие специалисты по теории чисел: при каких условиях эллиптическая кривая содержит хотя бы одну рациональную точку? Вопрос этот далеко не очевиден, даже для только что упомянутого частного случая эллиптической кривой. К примеру, 157 — число конгруэнтное, но гипотенуза простейшего прямоугольного треугольника с такой площадью равна
Прежде чем продолжить, мы позаимствуем у Леонардо его уловку — ту самую, что помогла перейти от 720 к 5, — и применим ее в самом общем виде. Умножив любое конгруэнтное число d на квадрат n² целого n, мы получим также конгруэнтное число. Чтобы убедиться в этом, достаточно взять любую рациональную пифагорову тройку, соответствующую треугольнику с площадью d, и умножить стороны на n. Площадь треугольника увеличится в n² раз. То же произойдет и при делении на n; площадь уменьшится в n² раз. Результат этого процесса будет целым только в том случае, если площадь делится нацело на квадрат целого числа (т. е. имеет квадратный делитель), так что при поиске конгруэнтных чисел достаточно работать только с числами, не имеющими такого делителя. Приведем первые несколько чисел, не имеющие квадратного делителя:
Теперь можно сформулировать критерий Таннелла. Нечетное число d, не имеющее квадратных делителей, конгруэнтно тогда и только тогда, когда число (положительных или отрицательных) целых решений x, y, z уравнения
точно вдвое превосходит число решений уравнения
Четное число d, не имеющее квадратных делителей, конгруэнтно тогда и только тогда, когда
точно вдвое превосходит число решений уравнения
Эти результаты куда полезнее, чем может показаться на первый взгляд. Поскольку все коэффициенты уравнения положительны, x, y и z по модулю не могут превосходить некие числа, кратные корню квадратному из d. Из этого следует, что число решений конечно и их можно найти систематическим поиском с применением некоторых полезных уловок. Приведем полный расчет нескольких примеров с небольшими d:
• Если d = 1, то единственными решениями первого уравнения являются x = 0, y = ±1, z = 0. То же относится и ко второму уравнению. Так что оба уравнения имеют по два решения, и, следовательно, критерий не выполняется.
• Если d = 2, то единственными решениями первого уравнения являются x = ±1, y = 0, z = 0. То же относится и ко второму уравнению. Так что оба уравнения имеют по два решения, и, следовательно, критерий не выполняется.
• Если d = 3, то единственными решениями первого уравнения являются x = ±1, y = ±1, z = 0. То же относится и ко второму уравнению. Так что оба уравнения имеют по четыре решения, и, следовательно, критерий не выполняется.
• Если d = 5 или 7, то первое уравнение не имеет решений. То же относится и ко второму уравнению. Поскольку дважды нуль равняется нулю, критерий выполняется.
• Если d = 6, то мы должны использовать критерий для четных чисел. Здесь опять же оба уравнения не имеют решений, и критерий выполняется.
Эти простые расчеты показывают, что 1, 2, 3, 4 (= 2² × 1) не являются конгруэнтными, а 5, 6 и 7 — являются. Анализ несложно продолжить, и в 2009 г. команда математиков применила тест Таннелла ко всем числам до триллиона, обнаружив при этом ровно 3 148 379 694 конгруэнтных числа. Исследователи проверили результат, повторив все расчеты дважды на разных компьютерах с использованием разных алгоритмов и программ, написанных двумя независимыми группами программистов. Билл Харт и Гонсало Торнариа пользовались компьютером Selmer в Уорикском университете. Марк Уоткинс, Дэвид Харви и Роберт Брэдшоу работали с компьютером Sage в Вашингтонском университете.
Однако во всех этих расчетах есть пробел. Таннелл доказал, что, если число d конгруэнтно, оно должно удовлетворять его критерию. Таким образом, если критерий не выполняется, число не конгруэнтно. Однако он не сумел доказать обратного: если число удовлетворяет его критерию, то оно обязательно конгруэнтно. Именно это необходимо нам, чтобы сделать вывод о конгруэнтности чисел 5, 6 и 7. В данных конкретных случаях мы можем найти подходящие пифагоровы тройки, но в общем случае это нам не поможет. Таннелл сумел показать, что обратное утверждение, о котором идет речь, непосредственно следует из гипотезы Берча — Свиннертон-Дайера, но она тоже пока не доказана.
Гипотезу Берча — Свиннертон-Дайера, как и несколько других задач тысячелетия, сложно даже сформулировать. (А вы думали, что можно получить миллион долларов, сделав что-нибудь простое?) Однако настойчивость всегда окупается, ведь в процессе работы мы осознаем глубину и оцениваем давние исторические традиции теории чисел. Если вы внимательно посмотрите на название гипотезы, то заметите, что одно тире в нем длиннее другого. Дело в том, что эту гипотезу выдвинули не математики Берч, Свиннертон и Дайер, а Брайан Берч и Питер Свиннертон-Дайер. Ее полная формально-математическая формулировка сложна для непосвященных, но речь в ней идет о фундаментальном вопросе диофантовых уравнений — алгебраических уравнений, решения которых ищутся в целых или рациональных числах. Вопрос этот предельно прост: при каких условиях эти уравнения имеют решения?
В главе 6, где речь шла о гипотезе Морделла, и в главе 7, посвященной Великой теореме Ферма, мы встретились с одним из чудеснейших инструментов математики — эллиптическими кривыми. Морделл в свое время высказал, как тогда казалось, случайную догадку, предположив, что число рациональных решений алгебраического уравнения с двумя переменными зависит от топологии соответствующей комплексной кривой. Если род равен 0 — кривая топологически представляет собой сферу, — решения задаются формулой. Если род равен 1 — кривая топологически представляет собой тор, т. е. является эллиптической кривой, — то все рациональные решения могут быть построены из подходящего конечного списка путем приложения структуры группы. Если род равен 2 или больше — кривая топологически представляет собой тор с g отверстиями, где g ≥ 2, — то число решений конечно. Как мы уже видели, Фальтингс доказал эту замечательную теорему в 1983 г.