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

Важно отметить, что произведение этих двух множителей будет иметь аналогичную структуру, так как (√d)² равно d по определению. Если мы введем обозначения х₃ = х₁х₂ + dy₁y₂ и у₃ = x₁y₂ + x₂y₁ получим равенство:

(x₁+у₁√d)(x₂+у₂√d) = х₃+y₃√d.

95

Так как выполняется равенство

(x₁– y₁√d)(x₂– y₂ √d) = x₁x₂– x₁y₂√d - x₂y₁√d + y₁y₂(√d)² = х₃– y₃√d

мы можем записать уравнение (*) в следующем виде:

(х₃+y₃√d)(х₃– y₃√d) = 1.

Из этого равенства следует, что (х₃, y₃) является решением уравнения Пелля — Ферма.

Мы получили третье решение на основе двух известных. Кроме того, так как в формулах расчета х₃ и у₃ используются только сложение и умножение, то если решения (x₁, y₁) и (х₂, у₂) целочисленные, то целыми будут и (х₃, у₃).

Обозначим через • операцию, которая сопоставляет двум известным решениям третье. Наша цель — доказать следующий результат:

Предложение. Операция (х₁, у₁) • (х₂, у₂) = (х₃, у₃) определяет абелеву группу на множестве целых решений уравнения Пелля — Ферма.

Коммутативность этой операции следует из определения, так как значения х₃ и у₃ не изменятся, если мы поменяем местами (x₁, y₁) и (х₂, у₂). Следовательно, достаточно показать, что выполняются три аксиомы, которые включает определение группы. Первая из них, аксиома ассоциативности, непосредственно следует из ассоциативности произведения вещественных чисел. Теперь найдем нейтральный элемент группы. Заметим, что (1, 0) всегда будет решением уравнения х² — dy² = 1.

Посмотрим, что произойдет, если мы применим рассматриваемую операцию к этому решению и другому, произвольному решению (х₂, у₂). По нашим формулам, х₃ = 1 · х₂ + d * 0 · у₂ = х₂ и у₃ = 1 у₂ + х2 · 0 = yv следовательно, (1,0) • (х₂, у₂) = (х₂, у₂). Нейтральный элемент найден. Осталось показать, что для каждого решения существует обратное, то есть что для данного (х₁, у₁) мы можем найти другое решение (х₂, y₂) такое, что (x₁, y₁) · (x₂, y₂) = (1, 0).

Проще всего доказать это утверждение для пары чисел (х₁, -y₁), которая вновь будет решением уравнения, поскольку квадраты любого числа и противоположного ему совпадают. Кроме того,

(x₁, у₁)•(x₁, -у₁) - (x₁² -dy₁² - x₁y₁ + x₁y₁) = (1,0),

96

так как пара чисел (х₁, y₁) является решением уравнения х² — dy² = 1. Отсюда следует, что целые решения уравнения Пелля — Ферма образуют абелеву группу. Возникает вопрос: какими особенностями обладает эта группа?

Выберем из всех положительных решений уравнения Пелля — Ферма пару чисел (х, у), при которой значение выражения х² + у² будет наименьшим. Назовем это решение фундаментальным. К примеру, при d = 2 фундаментальным решением будет (3, 2). Так как З² — 2 -2² = 9 — 2·4 = 1, то эта пара чисел действительно будет решением. Осталось показать, что значение выражения х² + у² при х = 3, у = 2 будет наименьшим. Заметим, что ни одно из положительных чисел в решении не может равняться 1, так как при х = 1 у=0, а 0 — не положительное число.

Если же у = 1, то х² = 3 — это уравнение не имеет целых решений. Таким образом, единственным решением, меньшим (3, 2), может быть пара чисел (2, 2).

Однако 2²—2 · 2² = —4, следовательно, эта пара чисел не является решением уравнения.

Мы доказали, что (3, 2) — фундаментальное решение. Если мы будем последовательно выполнять операцию • над этим решением, то получим бесконечное число решений уравнения Пелля — Ферма. К примеру, (3, 2) • (3, 2) = (17,12), (3, 2) • (3, 2) • (3, 2) = (99, 70) также будут решениями уравнения. Сложнее показать, что все решения, полученные подобным образом, будут положительными.

Теорема Дирихле о единицах. Все целые положительные решения уравнения Пелля — Ферма можно получить из фундаментального решения.

С учетом этой теоремы рассмотрим порожденную фундаментальным решением циклическую группу, которая будет изоморфной группе целых чисел. К этой группе принадлежат все положительные решения (х, у), а также нейтральный элемент

(1, 0) и все обратные элементы вида (х, —у). Пусть пара чисел (х, у) — решение уравнения Пелля — Ферма. Так как (—х)² = х², решением уравнения также будет пара чисел (—х, у). Но теперь —х будет положительным числом, следовательно, это решение уже содержится в циклической группе, порожденной фундаментальным решением. Таким образом, достаточно всего лишь добавить знак. На языке математики эта операция выражается как прямое произведение целых чисел по модулю 2.

Подведем итог: множество целых решений уравнения Пелля — Ферма образует группу, изоморфную группе ℤ х ℤ/2.

97

Эллиптические кривые

Перейдем к уравнениям третьей степени и посмотрим, как можно определить группу на множестве решений уравнения у² = х³ + ах + b, где а и b — любые рациональные числа. В этом случае применим чисто геометрические методы. Начнем с того, что представим на плоскости пары вещественных чисел (х, у), которые удовлетворяют соотношению у² = x³ + ах + b. Последовательно присваивая значения одной из двух переменных и вычисляя соответствующие значения второй переменной, получим последовательность точек, которые можно соединить отрезками. Результатом будет кривая на плоскости, которая в математике называется эллиптической. Рассмотрим пример. При а = —2 и b — 1 уравнение примет вид y² = x³ — 2х +1. Если мы подставим в уравнение х = 0, правая часть примет значение 1, и мы получим уравнение y² = 1. Это уравнение имеет два решения: у = 1 и у = —1. Имеем две точки кривой:(0, 1) и (0, —1).

Если, напротив, х = 1, получим y² = 0, то есть у — 0. Подставим в уравнение х = —1.

Правая часть будет равна (—1)³—2 (—1) + 1 = —1 + 2 + 1 = 2, уравнение примет вид y² = 2. Его решениями будут у = √2 и у = —√2. Таким образом, точки с координатами (—1, √2) и (—1, —√2) также будут лежать на кривой. Эти решения не являются целыми, но это не важно — чтобы изобразить кривую на плоскости, нужно учесть все вещественные решения.

Эллиптическая кривая, заданная уравнением y² = х3-2х + 1.