Гауссовы целые числа

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Решётка гауссовых чисел на комплексной плоскости

Гауссовы целые числа (гауссовы числа, целые комплексные числа) — это комплексные числа, у которых как вещественная, так и мнимая часть — целые числа[1]. Впервые введены Гауссом в монографии «Теория биквадратичных вычетов»[2] (1828—1832)[3]. Множество гауссовых целых чисел принято обозначать \mathbb{Z}[i], их свойства похожи на свойства множества обычных целых чисел \mathbb{Z}, однако имеются и существенные отличия.

Содержание

Общие свойства[править | править вики-текст]

Определение и классификация[править | править вики-текст]

Формальное определение:

\mathbb{Z}[i] = \{a+bi \mid a,b\in \mathbb{Z} \}.

Множество \mathbb{Z}[i] содержит множество обычных целых чисел \mathbb{Z} и представляет собой его расширение[4]. Сумма, разность и произведение гауссовых чисел являются гауссовыми числами; такая алгебраическая структура называется кольцом[5]. Ввести в этом комплексном кольце упорядоченность невозможно. Отметим также, что сопряжённое к гауссовому числу a+bi есть также гауссово число a-bi.

Каждое гауссово число z=a+bi удовлетворяет квадратному уравнению:

(z-a)^2+b^2=0

Поэтому гауссово число есть целое алгебраическое число.

Норма[править | править вики-текст]

Норма для гауссова числа a + bi определяется как квадрат его модуля[6]:

N \left(a+bi \right) = a^2+b^2 = (a+bi)\overline{(a+bi)}

Свойства нормы[7]:

  • Норма равна нулю только для нуля. В остальных случаях норма — положительное целое число.
  • Нормы сопряжённых чисел совпадают.
  • Норма обычного целого числа равна его квадрату.
  • Если норма нечётна, то она имеет вид 4 n + 1, то есть при делении её на 4 получается остаток 1. Никакое гауссово число не может иметь норму вида 4 n + 3.

Норма, как и модуль, обладает важным свойством мультипликативности[7]:

N(u\cdot v) = N(u)\cdot N(v)

Отсюда следует[8], что обратимыми элементами кольца (делителями единицы) являются те элементы, у которых норма равна 1, то есть \{1; -1; i; -i \}.

Два гауссовых числа называются ассоциированными, если одно получается из другого умножением на делитель единицы. Легко видеть, что ассоциированность — отношение эквивалентности[8]. Пример: гауссовы числа 1+i и 1-i ассоциированы, поскольку:

1+i = i(1-i)

У каждого ненулевого гауссова числа есть три ассоциированных с ним. Нормы всех четырёх ассоциированных между собой чисел совпадают.

Теория делимости[править | править вики-текст]

Деление нацело[править | править вики-текст]

Деление нацело гауссовых чисел определяется обычным образом[7]:

Говорят, что гауссово число u делится (нацело) на гауссово число v, если существует третье гауссово число q такое, что u=vq. Обозначение: v|u.,

Произношение: один из трёх равносильных вариантов.

  • u делится на v;
  • v делит u;
  • v — делитель u.

Используются традиционные термины: делимое или кратное (u), делитель (v) и частное от деления (q). Количество делителей гауссова числа всегда конечно, количество кратных бесконечно.

Пример: число 2 делится нацело на ~1+i, потому что ~2=(1+i)(1-i).

Все гауссовы числа делятся на делители единицы, поэтому любое гауссово число, отличное от делителей единицы, имеет как минимум 8 делителей: 4 делителя единицы и 4 их произведения на само это число. Эти делители называются тривиальными[9].

Деление нацело в \mathbb{Z}[i] по своим свойствам похоже на аналогичное деление целых чисел. Некоторые специфические для гауссовых чисел особенности[8][7]:

  • Если гауссово число z делится нацело на обычное целое число, то на это целое число делятся как вещественная, так и мнимая часть z.
  • Если u|v и v|u, то эти числа ассоциированы.
  • Если u|v, то любое из 3 чисел, ассоциированных с v, делится на любое из 3 чисел, ассоциированных с u.
  • Если u делится на v\; (u=vq), то сопряжённое к делимому число \overline u делится на сопряжённое к делителю \overline v \; (\overline u=\overline v\overline q).
  • Все делители гауссова числа z являются также делителями его нормы N(z)=z \cdot \overline{z}.
  • Норма гауссова числа чётна тогда и только тогда, когда это число делится на ~1+i.
  • Если v|u, то и норма делимого, в силу мультипликативности, делится нацело на норму делителя. При этом:
N\left(\frac{u}{v}\right) = \frac {N(u)} {N(v)}
Решётка кратных для 1+2i

Геометрическое представление делимости[править | править вики-текст]

У каждого гауссова числа z есть 4 кратных с той же нормой (и, соответственно, тем же модулем) — это само z и ассоциированные с ним 3 числа, которые получаются последовательным умножением z на i:

z;\ iz;\ -z;\ -iz

Но умножение на i означает на комплексной плоскости поворот радиус-вектора числа на 90° против часовой стрелки, причём модуль результата будет тем же. Таким образом, все 4 числа образуют равносторонний крест (выделен красным на рисунке), центр и вершины которого кратны z. Последовательно сдвигая этот крест во все стороны на одну из 4 величин, ассоциированных с z, мы получаем на всей плоскости квадратную решётку, все узлы которой (вершины квадратов) кратны z. Обратно, любое кратное z совпадает с одним из узлов решётки. Ширина каждого квадрата решётки равна |z|. Далее для краткости эта решётка будет называться «решёткой кратных» (или, если требуется уточнение, «z-решёткой кратных»).

Пример: на рисунке одним из узлов решётки является число ~4-2i, кратное ~1+2i: ~4-2i=-2i(1+2i).

Простые гауссовы числа[править | править вики-текст]

Распределение гауссовых простых чисел на комплексной плоскости (простые числа выделены красным цветом)

Простое гауссово число — это ненулевое число, не имеющее других делителей, кроме тривиальных. Число, не являющееся простым, называется составным. При этом делители единицы, подобно натуральной единице, не считаются ни простыми, ни составными числами[10].

Некоторые свойства простых гауссовых чисел:

  • Если a+bi — простое гауссово число, то и сопряжённое к нему гауссово число a-bi тоже является простым.
  • Если простое гауссово число является делителем произведения гауссовых чисел, то оно является делителем по крайней мере одного из сомножителей.
  • Норма любого простого гауссова числа, кроме ассоциированных с 1+i, всегда нечётна и поэтому имеет вид 4n+1.

Натуральное простое число может не быть гауссовым простым числом. Например, числа 2 и 5 в \mathbb{Z}[i] уже не простые:

2 = (1+i)(1-i);\quad 5 = (2+i)(2-i)

Взаимно простые числа[править | править вики-текст]

Если гауссово число w является делителем для двух гауссовых чисел u и v, оно называется их общим делителем. Множество общих делителей двух чисел всегда содержит 4 делителя единицы; если других общих делителей нет, эти числа называются взаимно простыми[11].

Отметим, что если нормы гауссовых чисел ~u, v взаимно просты как целые числа, то и сами числа ~u, v взаимно просты как гауссовы числа. Обратное неверно: нормы взаимно простых гауссовых чисел могут иметь общие делители — например, 5+2i и 5-2i взаимно просты, но их нормы совпадают и поэтому не взаимно просты.

Укажем два свойства, аналогичные свойствам целых чисел.

  • Если каждое из двух гауссовых чисел u,v взаимно просто с гауссовым числом w, то и их произведение uv тоже взаимно просто[11] с w.
  • Если z|uv и при этом z взаимно просто с u, то[12] z|v.

Критерий Гаусса[править | править вики-текст]

Гаусс указал определяющие признаки простого числа в \mathbb{Z}[i][13].

Гауссово число a+bi является простым тогда и только тогда, когда:

  • либо одно из чисел a, b нулевое, а другое — целое простое число вида \pm(4n+3);
  • либо a, b оба не нули и норма a^2+b^2 — простое натуральное число.

Приведём примеры простых гауссовых чисел.

  • К первой части критерия: \pm 3;\ \pm 7;\ \pm 3i.
  • Ко второй части критерия: 1 \pm i;\ 1 \pm 2i;\ 1 \pm 4i;\ 4+5i;\ 2-3i;\ 15+22i.

Некоторые источники для большей ясности разделяют вторую часть критерия на две[14]:

  1. Числа, ассоциированные с 1+i. Их норма равна 2.
  2. Числа, норма которых есть простое натуральное число вида 4n+1.

Сам Гаусс такого разделения не делал[15].

Следствия.

  • Никакое простое натуральное число вида 4n+1 не может быть простым гауссовым числом. Простые натуральные числа вида 4n+3 являются и простыми гауссовыми числами.
  • Норма простого гауссова числа является либо простым натуральным числом, либо квадратом простого натурального числа[16].
  • Простое натуральное число вида 4n+1 можно представить как произведение сопряжённых простых гауссовых чисел (a+b i)(a-b i) или, что то же самое, как сумму квадратов a^2+b^2. Этот факт известен как Теорема Ферма — Эйлера. Именно при исследовании данной темы, а также теории биквадратичных вычетов, Гаусс с успехом применил целые комплексные числа. Обратно, если простое натуральное число представимо в виде суммы натуральных квадратов, то в \mathbb{Z}[i] оно составное и разлагается на два сопряжённых гауссовых простых[17].
  • Каждое простое гауссово число является делителем одного и только одного простого натурального числа[17]. Это значит, что разлагая натуральные простые на гауссовы множители, мы получим все гауссовы простые.

Разложение на простые множители[править | править вики-текст]

В \mathbb{Z}[i] имеет место аналог основной теоремы арифметики: каждое гауссово число, не являющееся нулём или делителем единицы, разлагается на простые множители, причём это разложение однозначно с точностью до порядка и ассоциированности множителей[1][18].

Пример: 5=(1+2i)(1-2i)=(2-i)(2+i). Множители этих двух, по виду разных, разложений попарно ассоциированы: 1+2i=i(2-i);\ 1-2i=(-i)(2+i), так что однозначность не нарушается.

Чтобы практически разложить гауссово число z на простые множители, можно использовать приведенное выше свойство: все делители гауссова числа являются также делителями его нормы. При этом норма содержит также «лишние» простые множители, соответствующие сопряжённому к z числу.

Таким образом, начать следует с разложения нормы числа z на простые натуральные множители[19].

  1. Множитель 2, если он присутствует в разложении нормы, разлагается как (1+i)(1-i). Следует включить в результирующее разложение те из этих множителей (в соответствующей степени), на которые z делится нацело.
  2. Кроме 2, остальные множители нормы — нечётные. Множитель вида 4n+3 является простым гауссовым числом, поэтому он делит не только норму N(z)=~z \overline{z}, но и само z. Но тогда этот множитель делит и сопряжённое число \overline{z}. Отсюда вытекает, что множитель вида 4n+3 входит в разложение нормы всегда в чётной степени, а в разложение самого z — в степени, вдвое меньшей.
  3. Множитель вида 4n+1 можно разложить на произведение сопряжённых простых гауссовых чисел (или, что то же самое, на сумму квадратов натуральных чисел). И здесь следует делением выяснить, какой из сомножителей относится к исходному числу, а какой — к сопряжённому.

Пример. Разложим на простые множители 9+12i. Норма этого числа равна 225, разложим её на простые натуральные множители: ~225=3^2 \cdot 5^2. По предыдущему, ~5=(2-i)(2+i). Проверкой убеждаемся, что 9+12i делится только на ~2+i и не делится на ~2-i. Частное от деления 9+12i на ~3(2+i) равно ~2+i, поэтому окончательно получаем:

9+12i=3\cdot(2+i)^2

Теория сравнений[править | править вики-текст]

Сравнения по гауссовому модулю[править | править вики-текст]

Понятие сравнения по модулю определяется в \mathbb{Z}[i] аналогично тому, как это делается для целых чисел[20]:

Пусть w — некоторое гауссово число. Два гауссовых числа u, v называются сравнимыми по модулю w, если разность u-v делится (нацело) на w. Запись: ~u\equiv v\pmod w.

Свойства сравнений в \mathbb{Z}[i] в основном такие же, как у целых чисел. Отношение сравнимости есть отношение эквивалентности, поэтому \mathbb{Z}[i] разбивается на непересекающиеся классы вычетов — каждый такой класс содержит все сравнимые друг с другом (по заданному модулю) гауссовы числа. Для классов, как в случае целых чисел, можно определить сложение и умножение, так что получается кольцо вычетов по гауссову модулю.

Пример. Возьмём в качестве модуля сравнения 1+i. Тогда \mathbb{Z}[i] разбивается на два класса вычетов: числа a+bi, у которых a,b одинаковой чётности, попадут в один класс (содержащий кратные для модуля), а числа с разной чётностью a,b — в другой.

У гауссова сравнения имеются некоторые особенности. Например, если для целых чисел по модулю 3 существуют 3 класса вычетов с представителями 0;\ 1;\ 2, то для гауссовых чисел по тому же модулю количество классов значительно больше. Их представители:

0;\ 1;\ 2;\ i;\ 1 + i;\ 2 + i;\ 2i;\ 1 + 2i;\ 2 + 2i

Как обнаружил Гаусс, кольцо вычетов по модулю a+bi содержит ~N(a+bi)=a^2+b^2 элементов[20]. Этот факт вынуждает модифицировать некоторые классические теоремы. Например, малая теорема Ферма для целых чисел утверждает, что (a^p-a) делится на p для любого простого p и натурального a. Для гауссовых чисел это неверно, даже если ограничиться натуральными значениями p; например, для целых чисел a^3-a всегда делится на 3, а для гауссовых i^3-i=-2i, и это значение на 3 не делится. Модифицированный аналог малой теоремы Ферма формулируется следующим образом[20]:

Для простого гауссова числа w=a+bi и любого гауссова числа u
(u^{N(w)}-u) = (u^{a^2+b^2}-u) делится на w.

Проверим на том же примере с w=3; u=i. Получаем: ~(i^9-i)=0 — делится на 3.

Назовём класс вычетов по модулю w, содержащий число u, обратимым, если сравнение ~ux \equiv 1\pmod w имеет решение относительно x. Класс обратим тогда и только тогда, когда гауссовы числа u и w взаимно просты[20]. В частности, если модуль сравнений w — гауссово простое число, то каждый ненулевой класс вычетов имеет обратный элемент, а это значит, что классы вычетов по простому модулю в \mathbb{Z}[i], как и в \mathbb{Z}, образуют поле.

Функция Эйлера для гауссовых чисел[править | править вики-текст]

Введём аналог функции Эйлера для гауссовых чисел. Определение для целых чисел не годится хотя бы потому, что содержащееся в нём выражение «от 1 до n» не имеет смысла для комплексных чисел. Новое определение[20]:

Функция Эйлера \varphi(z) для гауссова числа z определяется как число обратимых классов вычетов по модулю z.

Определённая таким образом функция, как и её прототип для целых чисел, мультипликативна, поэтому достаточно знать её значения для простых чисел и их натуральных степеней. Если z — простое гауссово число, то[20]:

\varphi(z)=N(z)-1; \quad \varphi(z^k)=N(z)^{k-1}(N(z)-1)

Пример: \varphi(3+4i) = \varphi((2+i)^2) = N(2+i)(N(2+i)-1) = 5\cdot 4 = 20.

Теперь можно обобщить приведенную в предыдущем разделе малую теорему Ферма на случай произвольного (не обязательно простого) модуля сравнения, то есть привести аналог теоремы Эйлера[20]:

Если гауссово число z взаимно просто с модулем w,, то:

z^{\varphi(w)} \equiv 1 \pmod w


Сравнение по модулю 1+2i

Геометрическое представление сравнения по модулю[править | править вики-текст]

Рассмотрим для примера сравнения по модулю w=1+2i. Как сказано в разделе о геометрическом представлении делимости, можно разбить комплексную плоскость на квадраты, так, что узлы этой решётки (вершины квадратов) представляют всевозможные комплексные кратные ~1+2i. Тогда, по определению, числа сравнимы по модулю w, если их разность совпадает с одним из узлов решётки кратных.

Каждый квадрат решётки получается из любого другого квадрата сдвигом (переносом) на величину, кратную w, поэтому разность любой точки квадрата и результата её сдвига тоже кратна w. Отсюда следует окончательный вывод[20]:

Гауссовы числа сравнимы по модулю w тогда и только тогда, когда они занимают одно и то же относительное положение в своих квадратах решётки кратных.

Например, сравнимы все центры квадратов, или все середины их соответствующих сторон и т. п.

Деление с остатком[править | править вики-текст]

Определение[править | править вики-текст]

В кольце \mathbb{Z}[i] можно определить деление с остатком (на любое ненулевое гауссово число), потребовав, чтобы норма остатка была меньше нормы делителя[21]:

Любое гауссово число u можно разделить с остатком на любое ненулевое гауссово число v, то есть представить в виде:

u = vq + r

где частное q и остаток r — гауссовы числа, причём N(r)<N(v).

Несложно показать, что в качестве частного от деления с остатком можно взять гауссово число, ближайшее к частному от обычного деления комплексных чисел[22].

Необходимо отметить, что условие «норма остатка меньше нормы делителя» недостаточно для того, чтобы гарантировать однозначность остатка от деления. В \mathbb{Z}[i], в отличие от \mathbb{Z}, остаток неоднозначен. Например, ~7+2i можно разделить на ~3-i тремя способами:

7+2i = (3-i)(2+i)+i = (3-i)(1+i)+3 = (3-i)(2+2i)+(-1-2i)

Можно гарантировать только то, что все остатки попадают в один класс вычетов по модулю делителя.

Пример. Разделим с остатком 11+10i на 4+i. Сначала найдём частное от обычного комплексного деления:

\frac{11+10i}{4+i} = \frac{(11+10i)(4-i)}{(4+i)(4-i)} = \frac{54+29i}{17} \approx 3{,}17+1{,}7i

Ближайшее к результату гауссово число есть 3+2i, тогда остаток равен ~11+10i - (4+i)(3+2i) = 1-i. В итоге получаем:

11+10i = (4+i)(3+2i) + 1-i

Геометрическое представление[править | править вики-текст]

Из определения деления с остатком u на v следует, что ~|r|=|u-vq|., то есть модуль остатка есть расстояние между комплексными числами u и vq. Другими словами, |r| есть расстояние от делимого до одного из узлов v-решётки кратных. Требование «норма остатка меньше нормы делителя» эквивалентно условию |r|<|v|. Отсюда вытекает:

Деление с остатком u на v имеет столько решений, сколько узлов v-решётки кратных находится от делимого на расстоянии меньше |v|.

Распределение числа решений задачи деления с остатком

В выше приведенном примере деления ~7+2i на ~3-i ближайшими к делимому являются кратные делителя, образующие вершины квадрата решётки, содержащего делимое:

7+i=(3-i)(2+i)
4+2i=(3-i)(1+i)
8+4i=(3-i)(2+2i)

Все они находятся от делимого на расстоянии меньше, чем ~|v|=\sqrt{10}, Четвёртая вершина квадрата ~5+5i удалена от делимого больше чем на ~\sqrt{10}. Поэтому данная задача деления с остатком имеет три решения.

В общем случае, проведя из вершин квадрата v-решётки кратных дуги радиусом |v|, мы получим фигуру, показанную на рисунке. Если делимое находится в центральной области (красная зона), оно удалено от всех вершин менее чем на |v|, и деление с остатком может быть выполнено четырьмя способами. Если делимое находится в одном из «лепестков» (синяя зона), то одна из вершин отпадает, и число решений равно трём. Для белой зоны получаем два решения. Наконец, если делимое совпадает с одной из вершин, то остаток равен нулю, и решение единственно.

Наибольший общий делитель[править | править вики-текст]

Кольцо гауссовых чисел является евклидовым, и в нём всегда можно определить наибольший общий делитель, определённый однозначно с точностью до делителей единицы[23].

Наибольшим общим делителем НОД(u, v) для гауссовых чисел u и v, хотя бы одно из которых ненулевое, называется их общий делитель d, который делится на любой другой общий делитель u и v.

Эквивалентное определение: НОД(u, v) есть тот общий делитель u, v, у которого норма максимальна[24].

Свойства НОД
  • Если известен некоторый НОД, то любое из трёх чисел, ассоциированных с ним, также будет НОД. В частности. если один из НОД — делитель единицы, то такими же будут и остальные три НОД.
  • Гауссовы числа взаимно просты тогда и только тогда, когда их НОД есть делитель единицы.
  • Имеет место аналог соотношения Безу[25]:

Пусть u, v — гауссовы числа, и хотя бы одно из них не нуль. Тогда существуют такие гауссовы числа x, y, что выполняется соотношение:

НОД(u, v) = xu + yv
Другими словами, наибольший общий делитель двух гауссовых чисел можно всегда представить как линейную комбинацию этих чисел с гауссовыми коэффициентами.
  • Следствие соотношения Безу[25]: если гауссовы числа u, v взаимно просты, то уравнение ~xu + yv = 1 относительно x, y имеет решение в \mathbb{Z}[i]. Вместо 1 в приведенном уравнении может стоять любой другой делитель единицы, теорема при этом останется верной.

Алгоритм Евклида и практическое вычисление НОД[править | править вики-текст]

Для определения НОД в \mathbb{Z}[i] удобно использовать алгоритм Евклида, вполне аналогичный применяемому для целых чисел. НОД получается в этой схеме как последний ненулевой остаток[26]. Алгоритм Евклида можно также использовать для нахождения коэффициентов x, y в соотношении Безу[20].

Пример 1. Найдём НОД для 32+9i и 4+11i.

Шаг 1: 32+9i = (4+11i) (2-2i) + 2-5i (разделили с остатком первое число на второе)
Шаг 2: 4+11i = (2-5i) (-2+i) + 3-i (разделили с остатком предыдущий делитель на остаток предыдущего шага)
Шаг 3: 2-5i = (3-i) (1-i) -i (то же действие)
Шаг 4: 3-i = (-i) (1+3i) (то же действие, деление выполнилось нацело)

Отметим, что на каждом шаге норма остатка монотонно уменьшается. Последний ненулевой остаток равен -i, это делитель единицы, поэтому заключаем, что исследуемые числа взаимно просты.

Пример 2. Найдём НОД для 11+3i и 1+8i.

Шаг 1: 11+3i = (1+8i) (1-i) +2-4i
Шаг 2: 1+8i = (2-4i) (-1+i) +(-1+2i)
Шаг 3: 2-4i = (-1+2i) (-2) (деление выполнилось нацело)

Последний ненулевой остаток равен -1+2i, это и есть искомый НОД. Последовательно подставляя вместо левых частей равенств правые (начиная с предпоследнего равенства, снизу вверх), мы получим соотношение Безу для НОД:

-1+2i = (11+3i)(1-i) + (1+8i)(1+2i)

Некоторые приложения[править | править вики-текст]

Гаусс использовал открытую им алгебраическую структуру для глубокого исследования биквадратичных вычетов. Можно указать и другие области успешного применения гауссовых чисел[27]. Примечательно, что значительная их часть относится к теории не комплексных, а натуральных чисел.

Разложение натуральных чисел на суммы квадратов[править | править вики-текст]

Из критерия Гаусса вытекает, что простое натуральное число вида 4n+1 можно представить в виде суммы квадратов натуральных чисел, причём единственным способом. Пример: ~29=(2+5i)(2-5i)=2^2+5^2.

Разложение натуральных чисел другого вида не всегда возможно — например, 15; 19; 27; 103 и другие числа вида 4n+3 нельзя представить в виде суммы квадратов натуральных чисел. Составные числа могут также иметь более одного варианта разложения, например[27]: ~65=4^2+7^2=1^2+8^2. Общая теорема: натуральное число представимо в виде суммы двух квадратов тогда и только тогда, когда в его каноническом разложении все простые множители вида 4n+3 входят в чётных степенях[17].

Пример: 35=5\cdot 7 нельзя представить в виде суммы квадратов, потому что число 7=4\cdot 1+3 имеет нечётную степень. Но 35\cdot 7=5\cdot 7^2 представить можно: 245=7^2+14^2.

Подсчёт числа представлений в виде суммы квадратов[править | править вики-текст]

Число представлений \rho(m) натурального числа m в виде суммы квадратов можно определить следующим образом[28]. Разложим m на простые натуральные множители:

m=2^\lambda p_1^{\lambda_1} p_2^{\lambda_2} \dots  p_r^{\lambda_r} q_1^{\mu_1} q_2^{\mu_2}\dots  q_s^{\mu_s}

Здесь p_i — множители вида 4n+1, а q_j — множители вида 4n+3. Тогда возможны 3 случая.

  1. Если хотя бы один показатель степени \mu_j нечётный, число m не может быть представлено в виде суммы квадратов.
  2. Пусть все \mu_j чётные. Окончательная формула зависит от чётности \lambda_i. Если все они тоже чётные, то формула имеет вид:
\rho(m)=\frac{1}{2} [(\lambda_1+1)  (\lambda_2+1) \cdots  (\lambda_r+1) + 1 ]
  1. Если не все \lambda_i. чётные, то формула немного отличается:
\rho(m)=\frac{1}{2} (\lambda_1+1)  (\lambda_2+1) \cdots  (\lambda_r+1)

Теория пифагоровых троек[править | править вики-текст]

Пифагорова тройка — это одно из целочисленных решений уравнения:

x^2+y^2=z^2

Общее решение уравнения зависит от двух целых параметров m,n:

x=m^2-n^2; \; y=2mn; \; z=m^2+n^2

Для генерации пифагоровых троек можно использовать такой приём. Пусть a+bi — произвольное гауссово число, у которого обе компоненты a,b ненулевые. Возведя это число в квадрат, получим некоторое другое гауссово число ~c+di. Тогда тройка ~\{|c|; |d|; N(c+di)\} будет пифагоровой[27].

Пример: для исходного числа ~17+12i получим пифагорову тройку: ~(145; 408; 433).

Решение диофантовых уравнений[править | править вики-текст]

Решение многих диофантовых уравнений удаётся найти, если привлечь аппарат гауссовых чисел. Например, для уравнения ~x^2+y^2=2z^2 несложные преобразования дают два типа целых взаимно простых решений[29], зависящих от целых параметров a,b:

  1. x=a^2-2ab-b^2; \; y=a^2+2ab-b^2
  2. x=-a^2-2ab+b^2; \; y=a^2-2ab-b^2

В 1850 году Виктор Лебег, используя гауссовы числа, исследовал уравнение ~x^2+1=y^n и доказал его неразрешимость в натуральных числах. Другими словами, среди натуральных чисел вида ~n^2+1 нет ни одного полного куба или иной степени выше второй[27].

Нерешённые проблемы[править | править вики-текст]

  • Найти количество гауссовых чисел, норма которых меньше заданной натуральной константы R. В эквивалентной формулировке эта тема известна как «проблема круга Гаусса» в геометрии чисел[30]. См. последовательность A000328 в OEIS.
  • Найти прямые на комплексной плоскости, содержащие бесконечно много простых гауссовых чисел. Две такие прямые очевидны — это координатные оси; неизвестно, существуют ли другие[31].
  • Вопрос, известный под названием «ров Гаусса»: можно ли дойти до бесконечности, переходя от одного простого гауссова числа к другому скачками заранее ограниченной длины? Задача поставлена в 1962 году и до сих пор не решена[32].

Вариации и обобщения[править | править вики-текст]

Треугольная решётка чисел Эйзенштейна

Ещё одним исторически важным евклидовым кольцом, похожим по свойствам на целые числа, стали «целые числа Эйзенштейна».

Гауссовы рациональные числа, обозначаемые \mathbb Q(i) — это комплексные числа вида a+bi, где a, bрациональные числа. Это множество замкнуто относительно всех 4 арифметических операций, включая деление, и поэтому является полем, расширяющим кольцо гауссовых чисел.

История[править | править вики-текст]

В 1820-х годах Карл Фридрих Гаусс исследовал биквадратичный закон взаимности, результатом стала монография «Теория биквадратичных вычетов» (1828—1832). Именно в этом труде целые комплексные числа доказали свою полезность для решения задач теории чисел, хотя формулировка этих задач никак не связана с комплексными числами. Гаусс писал, что «естественный источник общей теории следует искать в расширении области арифметики»[3].

Карл Фридрих Гаусс в 1828 году

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

Гаусс использовал введенные им числа также и в других своих трудах, например, по алгебраическим уравнениям[33]. Идеи Гаусса были развиты в трудах Карла Густава Якоба Якоби и Фердинанда Готтхольда Эйзенштейна. В середине XIX века Эйзенштейн, Дирихле и Эрмит ввели и исследовали обобщённое понятие целого алгебраического числа.

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

См. также[править | править вики-текст]

Литература[править | править вики-текст]

  • Айерлэнд К., Роузен М. Классическое введение в современную теорию чисел. — М.: Мир, 1987. — 416 с.
  • Гаусс К. Ф. Труды по теории чисел. — М.: Изд-во АН СССР, 1959. — С. 695—754.
  • Гауссово число // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1977. — Т. 1.
  • Калужнин Л. А. Основная теорема арифметики. — М.: Наука, 1969. — 32 с. — (Популярные лекции по математике).
  • Колмогоров А. Н., Юшкевич А. П. (ред.). Математика XIX века. Математическая логика, алгебра, теория чисел, теория вероятностей. — М.: Наука, 1978. — Т. I.
  • Кузьмин Р. О., Фаддеев Д. К. Алгебра и арифметика комплексных чисел. Пособие для учителей. — М.: Учпедгиз, 1939. — 187 с.
  • Окунев Л. Я. Целые комплексные числа. — М.: Гос. уч.-пед. изд-во Наркомпроса РСФСР, 1941. — 56 с.
  • Сендеров В., Спивак А. Суммы квадратов и целые гауссовы числа // Квант. — 1999. — № 3. — С. 14-22.
  • Hardy G. H., Wright E. M. An introduction to the theory of numbers. — 4th edition. — Oxford.: Oxford University Press, 1968. — 421 с.

Ссылки[править | править вики-текст]

Примечания[править | править вики-текст]

  1. 1 2 Математическая энциклопедия, 1977
  2. Гаусс К. Ф., 1959, с. 655—754.
  3. 1 2 3 Математика XIX века. Том I: Математическая логика, алгебра, теория чисел, теория вероятностей, 1978, с. 88—92.
  4. Кузьмин Р. О., Фаддеев Д. К., 1939, с. 146.
  5. Айерлэнд К., Роузен М., 1987, с. 23.
  6. Окунев Л. Я., 1941, с. 27—28.
  7. 1 2 3 4 Кузьмин Р. О., Фаддеев Д. К., 1939, с. 147—149.
  8. 1 2 3 Окунев Л. Я., 1941, с. 29.
  9. Окунев Л. Я., 1941, с. 32.
  10. Кузьмин Р. О., Фаддеев Д. К., 1939, с. 150.
  11. 1 2 Кузьмин Р. О., Фаддеев Д. К., 1939, с. 155.
  12. Кузьмин Р. О., Фаддеев Д. К., 1939, с. 156.
  13. Окунев Л. Я., 1941, с. 41, 44.
  14. A classification of gaussian primes, с. 10.
  15. Гаусс К. Ф., 1959, с. 698.
  16. Кузьмин Р. О., Фаддеев Д. К., 1939, с. 158.
  17. 1 2 3 Conrad, Keith, Глава 9.
  18. Окунев Л. Я., 1941, с. 33—34.
  19. Conrad, Keith, Глава 6.
  20. 1 2 3 4 5 6 7 8 9 Conrad, Keith, Глава 7.
  21. Conrad, Keith, Глава 3.
  22. Окунев Л. Я., 1941, с. 30—31.
  23. Окунев Л. Я., 1941, с. 35—36.
  24. Conrad, Keith, Глава 4.
  25. 1 2 Conrad, Keith, Глава 5.
  26. Кузьмин Р. О., Фаддеев Д. К., 1939, с. 153—155.
  27. 1 2 3 4 Conrad, Keith, Глава 8.
  28. Кузьмин Р. О., Фаддеев Д. К., 1939, с. 164—166.
  29. Кузьмин Р. О., Фаддеев Д. К., 1939, с. 162—163.
  30. Conway J. H., Sloane N. J. A. Sphere Packings, Lattices and Groups. — Springer-Verlag. — P. 106.
  31. Ribenboim, Paulo. The New Book of Prime Number Records, Ch.III.4.D Ch. 6.II, Ch. 6.IV. — 3rd ed.. — New York: Springer, 1996. — ISBN 0-387-94457-5.
  32. Guy Richard K. Unsolved problems in number theory. — 3rd ed.. — New York: Springer, 2004. — P. 55—57.. — ISBN 978-0-387-20860-2
  33. Hardy G. H., Wright E. M., 1968, с. 189.