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

Основа анализа уравнений первой степени заключается в том, чтобы показать, как из двух решений ах + by = с получается пара целых чисел (х, у), таких что ах +

+ by = 0. В этом случае вы увидите, что если нам известны два решения уравнения

Пелля — Ферма, то из них можно вывести третье. Для этого нужно представить выражение х² — dy² в виде

х² - dy² =(x+y√d)(x-y√d).

Эти множители уже не будут целыми числами (они содержат квадратный корень числа, которое не является квадратом), следовательно, они не могут одновременно равняться 1 или —1. Но если (x₁, y₁) и (х₂, у₂) — решения уравнения, то

Перемножив уравнения, получим:

(x₁+y₁ √d)(x₁-y₁√d)(x₂+y₂√d)(x₂-y₂√d) = l. (*)

Начнем раскрывать скобки с выражений со знаком плюс:

(x₁+y₁√d)(x₂+y₂ √d) = x₁x₂ + x₁y₂√d + x₂y₁√d + y₁y₂(√d)²

Важно отметить, что произведение этих двух множителей будет иметь аналогичную структуру, так как (√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) также будут решениями уравнения. Сложнее показать, что все решения, полученные подобным образом, будут положительными.

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

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