Том 35. Пока алгебра не разлучит нас. Теория групп и ее применение - страница 40

(—х +1) 2 = x^>3 —2х +1 ↔ х²—2х + 1 = x^>3 —2х + 1 ↔ х² = x^>3 ↔ х² (х — 1) = 0.

Решениями этого уравнения будут х = 0 (дважды) и х = 1. Так как x_>1= 0 и х_>2 = 1, искомой точкой будет x_>3 = 0.

Подставив это значение в уравнение у = —х + 1, получим у = 1.

Таким образом, результатом операции над Р и Q будет точка Р + Q с координатами (0, —1).

Заметим, что в этом случае результатом операции над двумя целочисленными решениями уравнения вновь будет целочисленное решение.

В общем случае это верно тогда, когда коэффициенты уравнения являются целыми числами. Доказательство этого утверждения, по сути, ничем не отличается от доказательства приведенной выше леммы.

Мы преодолели первое препятствие: мы показали, что если прямая проходит через две несимметричные точки эллиптической кривой, то она также пересечет кривую в третьей точке. Но что произойдет, если точки Р и Q симметричны?

100

Они будут иметь координаты Р = (x_>1, y_>2) и Q = (х_>1—у_>2), а соединяющая их вертикальная линия будет задаваться уравнением х = х_>1 Подставив в уравнение эллиптической кривой х = x_>1 получим у² = х_>1^>3 + ах_>1+b. Мы исключили переменную х и получили, что y² равно вещественному числу. Это уравнение имеет всего два решения, ух и — yv следовательно, прямая, соединяющая Р и Q, не будет пересекать эллиптическую кривую ни в одной другой точке. PQ не существует! Как же справиться с этой проблемой? Решение подскажут художники Возрождения, которые изобрели перспективу. Чтобы сделать свои полотна более реалистичными, они изображали параллельные прямые сходящимися в удаленной точке, называемой точкой схода. Последуем примеру художников и будем считать, что наша вертикальная прямая пересекает эллиптическую кривую в третьей точке О, расположенной на бесконечности. Эта точка будет играть роль точки схода.

Фреска «Троица» работы Мазаччо (1401-1428) — первого художника эпохи Возрождения, который использовал в своих работах математические законы перспективы, чтобы придать им ощущение глубины.

101

Точка О будет иметь реальный математический смысл, если мы введем третью переменную z так, что уравнение эллиптической кривой примет вид y²z = x^>3 + axz² + bz^>3.

Теперь все члены уравнения имеют третью степень. Это в некотором смысле означает, что отличить тройку (х, у, z) от любой из кратных ей ненулевых троек (Λх, Λy, Λz) невозможно: если мы подставим эти значения в уравнение, то всегда сможем сократить общий множитель Λ^>3. Мы получили координаты, которые называются однородными и обозначаются (х: у: z), чтобы указать, что две точки, которые на первый взгляд кажутся различными, как, например (1: 2: 3) и (2: 4: 6), в действительности совпадают, так как имеют кратные координаты. Можно предполагать, что координата z принимает только значения 0 и 1. При z = 1 уравнение кривой примет вид y² = x^>3 + ах + b и мы получим те же самые точки, которые рассматривали вначале. При z = 0 имеем x^>3 = 0, следовательно, х также равен 0. Так как три координаты не могут быть равны нулю одновременно, у должен быть отличным от нуля. Однако все точки вида (0: у: 0) равны, так как имеют кратные координаты, следовательно, можно предположить, что у — 1. Имеем новую точку (0:1: 0), которая не принадлежит кривой y² = x^>3 + ах + b. Это и будет наша точка О!

Подведем итог: сначала мы доказали, что любая прямая, не расположенная вертикально и проходящая через две точки эллиптической кривой, также пересечет кривую в третьей точке. Теперь, введя бесконечно удаленную точку, мы показали, что это же утверждение верно и для вертикальной прямой. Следовательно, можно определить операцию над любыми несовпадающими точками Р и Q. Но что, если эти точки совпадают? Начнем с того, что рассмотрим две различные точки Р и Q и будем постепенно приближать точку Q к точке Р. Прямые, соединяющие Р и Q, также будут смещаться. Пределом этих прямых будет касательная к кривой, которая в окрестностях точки Р не будет пересекать кривую ни в одной другой точке.

Касательная к кривой в точке P.

102

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