точно вдвое превосходит число решений уравнения
Четное число 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 г.
Рациональные решения уравнений эллиптических кривых обладают одним поразительным свойством: благодаря геометрической конструкции, показанной на рис. 28 в главе 6, они образуют группу. Получившаяся структура называется группой Морделла — Вейля, и специалисты по теории чисел очень хотели бы иметь возможность вычислять ее. Для этого нужно найти систему генераторов: рациональных решений, из которых при помощи оператора группы могут быть получены все остальные. Если это не удается, то хотелось бы по меньшей мере определить основные характеристики группы, хотя бы ее величину. Здесь, однако, многое еще непонятно. Иногда группа бесконечна и порождает бесконечно много рациональных решений, иногда конечна, и тогда число рациональных решений тоже конечно. Было бы полезно иметь возможность определить, к какой категории относится конкретный случай. Но что нам по-настоящему хотелось бы знать, так это абстрактную структуру группы.
Доказательство Морделла, что конечный список генерирует все решения, говорит о том, что группа должна состоять из конечной группы и решетчатой группы. Решетчатая группа включает в себя все списки целых чисел конкретной конечной длины. Если длина чисел, к примеру, три, то группа состоит из всех списков (m1, m2, m3) целых чисел, и эти списки складываются очевидным образом:
(m1, m2, m3) + (n1, n2, n3) = (m1 + n1, m2 + n2, m3 + n3).
Длина списка называется рангом группы (и геометрически представляет собой размерность решетки). Если ранг группы 0, группа конечна. Если ранг не равен нулю, группа бесконечна. Поэтому, чтобы понять, сколько существует решений, нам необязательно знать полную структуру группы. Достаточно знать ее ранг. Именно об этом говорит гипотеза Берча — Свиннертон-Дайера.
