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

Га́уссовы це́лые чи́сла (гауссовы числа, целые комплексные числа) — это комплексные числа, у которых как вещественная, так и мнимая часть — целые числа.

Решётка гауссовых чисел на комплексной плоскости

Примеры: $1+2i;-<!--\; -\; -->4+11i;4i;5;1-<!--\; -\; -->i$$1+2i;\quad -4+11i;\quad 4i;\quad 5;\quad 1-i$.

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

Общие свойстваПравить

Определение и классификацияПравить

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

$\mathbb{Z}[i]=\{a+bi\mid <!--\; \mid \; -->a,b\in <!--\; \in \; -->\mathbb{Z}\}$${\mathbb {Z}}[i]=\{a+bi\mid a,b\in {\mathbb {Z}}\}$ .

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

Сопряжённое к гауссовому числу $a+bi$$a+bi$  есть также гауссово число $a-<!--\; -\; -->bi$$a-bi$ .

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

$(z-<!--\; -\; -->a{)}^2+b^2=0$$(z-a)^{2}+b^{2}=0$ 

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

НормаПравить

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

$N\left(a+bi\right)=a^2+b^2=(a+bi)\stackrel{¯<!--\; ¯\; -->}{(a+bi)}$$N\left(a+bi\right)=a^{2}+b^{2}=(a+bi)\overline {(a+bi)}$ .

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

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

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

$N(u\cdot <!--\; \cdot \; -->v)=N(u)\cdot <!--\; \cdot \; -->N(v)$$N(u\cdot v)=N(u)\cdot N(v)$ 

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

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

$1+i=i(1-<!--\; -\; -->i)$$1+i=i(1-i)$ .

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

Теория делимостиПравить

Деление нацелоПравить

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

Говорят, что гауссово число $u$$u$  делится (нацело) на гауссово число $v$$v$ , если существует третье гауссово число $q$$q$  такое, что $u=vq$$u=vq$ . Обозначение: $v\mid <!--\; \mid \; -->u$$v\mid u$ .

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

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

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

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

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

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

• Если гауссово число $z$$z$  делится нацело на обычное целое число, то на это целое число делятся как вещественная, так и мнимая часть $z$$z$ .
• Если $u\mid <!--\; \mid \; -->v$$u\mid v$  и $v\mid <!--\; \mid \; -->u$$v\mid u$ , то эти числа ассоциированы.
• Если $u\mid <!--\; \mid \; -->v$$u\mid v$ , то любое из 3 чисел, ассоциированных с $v$$v$ , делится на любое из 3 чисел, ассоциированных с $u$$u$ .
• Если $u$$u$  делится на $v(u=vq)$$v\;(u=vq)$ , то сопряжённое к делимому число $\stackrel{¯<!--\; ¯\; -->}{u}$$\overline u$  делится на сопряжённое к делителю $\stackrel{¯<!--\; ¯\; -->}{v}(\stackrel{¯<!--\; ¯\; -->}{u}=\stackrel{¯<!--\; ¯\; -->}{v}\stackrel{¯<!--\; ¯\; -->}{q})$${\overline {v}}\;({\overline {u}}={\overline {v}}{\overline {q}})$ .
• Все делители гауссова числа $z$$z$  являются также делителями его нормы $N(z)=z\cdot <!--\; \cdot \; -->\stackrel{¯<!--\; ¯\; -->}{z}$$N(z)=z\cdot {\overline {z}}$ .
• Норма гауссова числа чётна тогда и только тогда, когда это число делится на $1+i$$1+i$ .
• Если $v\mid <!--\; \mid \; -->u$$v\mid u$ , то и норма делимого, в силу мультипликативности, делится нацело на норму делителя. При этом:

$N\left(\frac{u}{v}\right)=\frac{N(u)}{N(v)}$$N\left({\frac {u}{v}}\right)={\frac {N(u)}{N(v)}}$ 

 

Решётка кратных для $1+2i$$1+2i$ 

Геометрическое представление делимостиПравить

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

$z;iz;-<!--\; -\; -->z;-<!--\; -\; -->iz$$z;\ iz;\ -z;\ -iz$ 

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

Пример: на рисунке одним из узлов решётки является число $4-<!--\; -\; -->2i$$4-2i$ , кратное $1+2i$$1+2i$ :

$4-<!--\; -\; -->2i=-<!--\; -\; -->2i(1+2i)$$4-2i=-2i(1+2i)$ .

Простые гауссовы числаПравить

 

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

 

Распределение гауссовых простых вблизи нуля

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

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

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

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

$2=(1+i)(1-<!--\; -\; -->i);5=(2+i)(2-<!--\; -\; -->i)$$2=(1+i)(1-i);\quad 5=(2+i)(2-i)$ 

Разложение гауссовых чисел с нормой от 2 до 100 на простые гауссовы множители см. в таблице Факторизация гауссовых чисел.

Взаимно простые числаПравить

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

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

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

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

Критерий ГауссаПравить

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

Гауссово число $a+bi$$a+bi$  является простым тогда и только тогда, когда: либо одно из чисел $a,b$$a,b$  нулевое, а другое — целое простое число вида $\pm <!--\; \pm \; -->(4n+3)$$\pm (4n+3)$ ; либо $a,b$$a,b$  оба не нули и норма $a^2+b^2$$a^{2}+b^{2}$  — простое натуральное число.

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

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

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

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

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

Следствия:

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

Разложение на простые множителиПравить

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

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

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

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

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

Например, для разложения на простые множители $9+12i$$9+12i$  (норма — 225) выделяются простые натуральные множители: $225=3^2\cdot <!--\; \cdot \; -->5^2$$225=3^{2}\cdot 5^{2}$ . По предыдущему, $5=(2-<!--\; -\; -->i)(2+i)$$5=(2-i)(2+i)$ . При этом $9+12i$$9+12i$  делится только на $2+i$$2+i$  и не делится на $2-<!--\; -\; -->i$$2-i$ . Частное от деления $9+12i$$9+12i$  на $3(2+i)$$3(2+i)$  равно $2+i,$$2+i,$  поэтому окончательный результат:

$9+12i=3\cdot <!--\; \cdot \; -->(2+i{)}^2$$9+12i=3\cdot (2+i)^{2}$ .

Теория сравненийПравить

Сравнения по гауссовому модулюПравить

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

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

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

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

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

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

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

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

На том же примере с $w=3;u=i$$w=3;u=i$  результат: $(i^9-<!--\; -\; -->i)=0$$(i^{9}-i)=0$  — делится на 3.

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

Функция Эйлера для гауссовых чиселПравить

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

Функция Эйлера $\mathrm{\phi <!--\; \phi \; -->}(z)$$\varphi (z)$  для гауссова числа $z$$z$  определяется как число обратимых классов вычетов по модулю $z$$z$ .

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

$\mathrm{\phi <!--\; \phi \; -->}(z)=N(z)-<!--\; -\; -->1;\mathrm{\phi <!--\; \phi \; -->}(z^k)=N(z{)}^{k-<!--\; -\; -->1}(N(z)-<!--\; -\; -->1)$$\varphi (z)=N(z)-1;\quad \varphi (z^{k})=N(z)^{{k-1}}(N(z)-1)$ 

Пример: $\mathrm{\phi <!--\; \phi \; -->}(3+4i)=\mathrm{\phi <!--\; \phi \; -->}((2+i{)}^2)=N(2+i)(N(2+i)-<!--\; -\; -->1)=5\cdot <!--\; \cdot \; -->4=20$$\varphi (3+4i)=\varphi ((2+i)^{2})=N(2+i)(N(2+i)-1)=5\cdot 4=20$ .

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

Если гауссово число $z$$z$  взаимно просто с модулем $w,$$w,$ , то: $z^{\mathrm{\phi <!--\; \phi \; -->}(w)}\equiv <!--\; \equiv \; -->1(\mathrm{mod}w)$$z^{{\varphi (w)}}\equiv 1{\pmod w}$

 

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

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

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

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

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

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

Деление с остаткомПравить

ОпределениеПравить

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

Любое гауссово число $u$$u$  можно разделить с остатком на любое ненулевое гауссово число $v$$v$ , то есть представить в виде: $u=vq+r$$u=vq+r$  где частное $q$$q$  и остаток $r$$r$  — гауссовы числа, причём $N(r)<N(v)$ .

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

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

$7+2i=(3-<!--\; -\; -->i)(2+i)+i=(3-<!--\; -\; -->i)(1+i)+3=(3-<!--\; -\; -->i)(2+2i)+(-<!--\; -\; -->1-<!--\; -\; -->2i)$$7+2i=(3-i)(2+i)+i=(3-i)(1+i)+3=(3-i)(2+2i)+(-1-2i)$ 

Можно гарантировать только то, что все остатки попадают в один класс вычетов по модулю делителя. Впрочем, похожая ситуация имеет место и для обычных целых чисел — например, разделить с остатком 8 на 3 можно двумя способами: $8=3\cdot <!--\; \cdot \; -->2+2$$8=3\cdot 2+2$  или $8=3\cdot <!--\; \cdot \; -->3-<!--\; -\; -->1$$8=3\cdot 3-1$  (оба остатка по модулю меньше делителя) поэтому в арифметике целых чисел введено дополнительное условие, обеспечивающее однозначность операции: остаток должен быть неотрицательным.

Пример. Для деления с остатком $11+10i$$11+10i$  на $4+i$$4+i$  вначале находится частное от обычного комплексного деления:

$\frac{11+10i}{4+i}=\frac{(11+10i)(4-<!--\; -\; -->i)}{(4+i)(4-<!--\; -\; -->i)}=\frac{54+29i}{17}\approx <!--\; \approx \; -->3,17+1,7i$${\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,$$3+2i,$  тогда остаток равен $11+10i-<!--\; -\; -->(4+i)(3+2i)=1-<!--\; -\; -->i$$11+10i-(4+i)(3+2i)=1-i$ . В итоге:

$11+10i=(4+i)(3+2i)+1-<!--\; -\; -->i$$11+10i=(4+i)(3+2i)+1-i$ 

Для гауссовых чисел имеет место аналог китайской теоремы об остатках, поскольку она доказывается с помощью алгоритма Евклида.

Геометрическое представлениеПравить

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

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

 

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

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

$7+i=(3-<!--\; -\; -->i)(2+i)$$7+i=(3-i)(2+i)$ 

$4+2i=(3-<!--\; -\; -->i)(1+i)$$4+2i=(3-i)(1+i)$ 

$8+4i=(3-<!--\; -\; -->i)(2+2i)$$8+4i=(3-i)(2+2i)$ 

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

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

Наибольший общий делительПравить

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

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

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

Свойства НОД

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

Пусть $u,v$$u,v$  — гауссовы числа, и хотя бы одно из них не нуль. Тогда существуют такие гауссовы числа $x,y$$x,y$ , что выполняется соотношение: НОД$(u,v)=xu+yv$$(u,v)=xu+yv$

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

• Следствие соотношения Безу: если гауссовы числа $u,v$$u,v$  взаимно просты, то уравнение $xu+yv=1$$xu+yv=1$  относительно $x,y$$x,y$  имеет решение в $\mathbb{Z}[i]$${\mathbb {Z}}[i]$ . Вместо 1 в приведённом уравнении может стоять любой другой делитель единицы, теорема при этом останется верной.

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

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

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

Шаг 1: $32+9i=(4+11i)(2-<!--\; -\; -->2i)+2-<!--\; -\; -->5i$$32+9i=(4+11i)(2-2i)+2-5i$  (разделили с остатком первое число на второе)

Шаг 2: $4+11i=(2-<!--\; -\; -->5i)(-<!--\; -\; -->2+i)+3-<!--\; -\; -->i$$4+11i=(2-5i)(-2+i)+3-i$  (разделили с остатком предыдущий делитель на остаток предыдущего шага)

Шаг 3: $2-<!--\; -\; -->5i=(3-<!--\; -\; -->i)(1-<!--\; -\; -->i)-<!--\; -\; -->i$$2-5i=(3-i)(1-i)-i$  (то же действие)

Шаг 4: $3-<!--\; -\; -->i=(-<!--\; -\; -->i)(1+3i)$$3-i=(-i)(1+3i)$  (то же действие, деление выполнилось нацело)

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

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

Шаг 1: $11+3i=(1+8i)(1-<!--\; -\; -->i)+2-<!--\; -\; -->4i$$11+3i=(1+8i)(1-i)+2-4i$ 

Шаг 2: $1+8i=(2-<!--\; -\; -->4i)(-<!--\; -\; -->1+i)+(-<!--\; -\; -->1+2i)$$1+8i=(2-4i)(-1+i)+(-1+2i)$ 

Шаг 3: $2-<!--\; -\; -->4i=(-<!--\; -\; -->1+2i)(-<!--\; -\; -->2)$$2-4i=(-1+2i)(-2)$  (деление выполнилось нацело)

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

$-<!--\; -\; -->1+2i=(11+3i)(1-<!--\; -\; -->i)+(1+8i)(1+2i)$$-1+2i=(11+3i)(1-i)+(1+8i)(1+2i)$ 

Некоторые приложенияПравить

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

Разложение натуральных чисел на сумму двух квадратовПравить

Из критерия Гаусса^[⇨] вытекает, что простое натуральное число вида $4n+1$$4n+1$  можно представить в виде суммы квадратов двух натуральных чисел, причём единственным способом. Пример: $29=(2+5i)(2-<!--\; -\; -->5i)=2^2+5^2$$29=(2+5i)(2-5i)=2^{2}+5^{2}$ .

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

Пример: $21=3\cdot <!--\; \cdot \; -->7$$21=3\cdot 7$  нельзя представить в виде суммы квадратов, потому что число 3 (как и 7) входит в него с нечётной степенью. Но $245=5\cdot <!--\; \cdot \; -->7^2$$245=5\cdot 7^{2}$  представить можно: $245=7^2+{14}^2$$245=7^{2}+14^{2}$ .

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

Число представлений $\mathrm{\rho <!--\; \rho \; -->}(m)$$\rho (m)$  натурального числа $m$$m$  в виде суммы квадратов (или, что то же самое, число гауссовых чисел с нормой $m$$m$ ) можно определить следующим образом. Разложим $m$$m$  на простые натуральные множители:

$m=2^{\mathrm{\lambda <!--\; \lambda \; -->}}{p}_1^{{\mathrm{\lambda <!--\; \lambda \; -->}}_1}{p}_2^{{\mathrm{\lambda <!--\; \lambda \; -->}}_2}\dots <!--\; \dots \; -->p_r^{{\mathrm{\lambda <!--\; \lambda \; -->}}_r}{q}_1^{{\mathrm{\mu <!--\; \mu \; -->}}_1}{q}_2^{{\mathrm{\mu <!--\; \mu \; -->}}_2}\dots <!--\; \dots \; -->q_s^{{\mathrm{\mu <!--\; \mu \; -->}}_s}$$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$$p_{i}$  — множители вида $4n+1,$$4n+1,$  а $q_j$$q_{j}$  — множители вида $4n+3$$4n+3$ . Тогда возможны 3 случая.

1. Если хотя бы один показатель степени ${\mathrm{\mu <!--\; \mu \; -->}}_j$$\mu _{j}$  нечётный, число $m$$m$  не может быть представлено в виде суммы квадратов.
2. Пусть все ${\mathrm{\mu <!--\; \mu \; -->}}_j$$\mu _{j}$  чётные. Окончательная формула зависит от чётности ${\mathrm{\lambda <!--\; \lambda \; -->}}_i$$\lambda _{i}$ . Если все они тоже чётные, то формула имеет вид:

$\mathrm{\rho <!--\; \rho \; -->}(m)=\frac{1}{2}[({\mathrm{\lambda <!--\; \lambda \; -->}}_1+1)({\mathrm{\lambda <!--\; \lambda \; -->}}_2+1)\cdots <!--\; \cdots \; -->({\mathrm{\lambda <!--\; \lambda \; -->}}_r+1)+1]$$\rho (m)={\frac {1}{2}}[(\lambda _{1}+1)(\lambda _{2}+1)\cdots (\lambda _{r}+1)+1]$ 

3. Если не все ${\mathrm{\lambda <!--\; \lambda \; -->}}_i$$\lambda _{i}$  чётные, то формула немного отличается:

$\mathrm{\rho <!--\; \rho \; -->}(m)=\frac{1}{2}({\mathrm{\lambda <!--\; \lambda \; -->}}_1+1)({\mathrm{\lambda <!--\; \lambda \; -->}}_2+1)\cdots <!--\; \cdots \; -->({\mathrm{\lambda <!--\; \lambda \; -->}}_r+1)$$\rho (m)={\frac {1}{2}}(\lambda _{1}+1)(\lambda _{2}+1)\cdots (\lambda _{r}+1)$ 

Теория пифагоровых троекПравить

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

$x^2+y^2=z^2$$x^{2}+y^{2}=z^{2}$ .

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

$x=m^2-<!--\; -\; -->n^2;y=2mn;z=m^2+n^2$$x=m^{2}-n^{2};\;y=2mn;\;z=m^{2}+n^{2}$ .

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

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

Решение диофантовых уравненийПравить

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

1. $x=a^2-<!--\; -\; -->2ab-<!--\; -\; -->b^2;y=a^2+2ab-<!--\; -\; -->b^2$$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$$x=-a^{2}-2ab+b^{2};\;y=a^{2}-2ab-b^{2}$ 

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

Нерешённые проблемыПравить

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

Вариации и обобщенияПравить

 

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

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

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

ИсторияПравить

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

 

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

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

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

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

ЛитератураПравить

• Айерлэнд К., Роузен М. Классическое введение в современную теорию чисел. — М.: Мир, 1987. — 416 с.
• Алфутова Н. Б, Устинов А. В. Алгебра и теория чисел. Сборник задач для математических школ. — 3-е изд., испр. и доп. — М.: МЦНМО, 2009. — 336 с. — ISBN 978-5-94057-550-4.
• Гаусс К. Ф. Труды по теории чисел. — М.: Изд-во АН СССР, 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 p.

СсылкиПравить

• Complex Gaussian Integers for 'Gaussian Graphics' (англ.). Дата обращения: 11 сентября 2013. Архивировано из оригинала 14 июня 2006 года.
• Butler, Lee A. A classification of gaussian primes (англ.). Дата обращения: 16 января 2017.
• Conrad, Keith. The gaussian integers (англ.). Дата обращения: 11 сентября 2013.