Хавьер Фресан - Мир математики - m. 35 Пока алгебра не разлучит нас. Теория групп и ее применение.

(x 1+у 1√d)(x 2+у 2√d) = х 3+y 3√d.

95

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

(x 1-y 1√d)(x 2-y 2√d) = x 1x 2- x 1y 2√d - x 2y 1√d + y 1y 2(√d) 2= х 3-y 3√d

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

(х 3+y 3√d)(х 3-y 3√d) = 1.

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

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

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

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

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

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

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

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

96

так как пара чисел (х 1, y 1) является решением уравнения х² — 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

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