Пока алгебра не разлучит нас

Итак, мы определили операцию, которая любой паре точек кривой (совпадающих или нет) ставит в соответствие третью точку. Докажем, что эта операция является групповой. Мы уже указали, что О — нейтральный элемент группы. Определить точку, обратную точке Р, очень просто: эта точка (обозначим ее Р') будет симметрична ей относительно оси абсцисс, так как прямая, соединяющая Р и Р', расположена вертикально, следовательно, пересекает кривую в точку О, и Р + Р' = О.

Чтобы показать, что эта операция действительно определяет группу на множестве решений уравнения y² = x³ + ах + b, осталось доказать, что она обладает свойством ассоциативности.

Пусть Р, Q и R — три произвольные точки кривой. Мы хотим убедиться, что

(P + Q) + Р = Р + (Q + P).

103

Для этого достаточно доказать, что прямая l₁ соединяющая P+Q и R, пересекает кривую в той же точке, что и прямая l₂, соединяющая Р и Q +R, следовательно, достаточно построить симметричные точки.

Сначала проведем прямую, соединяющую Р и Q, и найдем точку, в которой эта прямая пересечет кривую. Обозначим эту точку через PQ. С помощью этих двух вспомогательных прямых получим точку Р + Q. Соединим Р + Q и R прямой l₁ и посмотрим, в какой точке эта прямая пересекает кривую. Обозначим эту точку через Т.

Теперь найдем Р + (Q + R) и обозначим ее на том же рисунке. Прямая, соединяющая Q и Р, пересекает кривую в точке QR. Симметричной ей будет точка Q + R.

Нужно доказать, что прямая l₂, соединяющая Q + R и Р, пересекает кривую в точке Т.

104

Обозначим через C₁ объединение трех прямых, изображенных пунктирной линией. Учитывая, что точка схода О принадлежит прямой, соединяющей QR и Q + R, заметим, что C₁ пересекает эллиптическую кривую в следующих девяти точках:

С₁ ∩ C = {O, Р, Q, R, PQ, QR, P+Q, Q+R, T}.

Первые восемь из них также принадлежат объединению прямых, изображенных сплошными линиями, которое мы обозначим С₂.

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

К примеру, кубической кривой является эллиптическая кривая, заданная уравнением y² = x³ + ах + b. Кроме того, кубической кривой будет и объединение трех прямых, так как его уравнение представляет собой произведение уравнений этих прямых, то есть уравнений первой степени. Чтобы различить эти две ситуации, говорят, что эллиптическая кривая называется неприводимой, а объединение трех прямых представляет собой так называемый вырожденный случай. Имеем:

Предложение. Пусть С — неприводимая кубическая кривая, a C₁ и С₂ — две произвольные кубические кривые. Пусть С и С₁ пересекаются в девяти точках, восемь из которых принадлежат пересечению С и С₂. Тогда этому же пересечению будет принадлежать и девятая точка.

Применив это утверждение в нашем случае с эллиптической кривой, С₁ и С₂, получим, что точка Т принадлежит Сг Единственная точка, которой нам не хватало для определения С₂ и С, — это точка пересечения кривой и прямой, соединяющей Р и Q + R. Этой точкой обязательно будет точка Т, что и требовалось доказать. Итак, мы доказали свойство ассоциативности, таким образом, определенная нами операция является групповой. Кроме того, заметим, что мы получили абелеву группу, так как при построении Р + Q используется прямая, соединяющая Р и Q, а ее расположение не зависит от того, в каком порядке мы рассмотрим точки.

Следовательно, рациональные точки на эллиптической кривой, которые мы обозначим Е (Q), определяют группу. В 1922 году математик Луис Морделл в поисках ответа на вопрос Пуанкаре доказал следующую теорему:

105

Теорема Морделла. Абелева группа E(Q) порождена конечным числом элементов.

Иными словами, существует конечное число рациональных решений уравнения у²=х³ + ах + b, на основе которых можно восстановить все остальные путем последовательного применения групповой операции. Как мы показали, конечнопорожденная абелева группа всегда имеет вид

Z' × Z/n₁ ×...× Z/n_k.

Число копий группы целых чисел, используемых в этом выражении, называется рангом эллиптической кривой. Определить это число крайне сложно. Между прочим, одна из важнейших открытых задач современности (за ее решение полагается премия в один миллион долларов), гипотеза Бёрча — Свиннертон-Дайера, заключается в том, чтобы выразить ранг эллиптической кривой через другие аналитические инварианты. Впрочем, эллиптические кривые нужны не только для того, чтобы заработать миллион долларов: они сыграли важнейшую роль в доказательстве великой теоремы Ферма, а также помогли улучшить алгоритмы шифрования данных с открытым ключом.