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

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

Примеры: 1 + 2 i ; − 4 + 11 i ; 4 i ; 5 ; 1 − i {displaystyle 1+2i;quad -4+11i;quad 4i;quad 5;quad 1-i} .

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

Общие свойства

Определение и классификация

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

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

Сопряжённое к гауссовому числу a + b i {displaystyle a+bi} есть также гауссово число a − b i {displaystyle a-bi} .

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

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

Норма

Норма для гауссова числа a + b i {displaystyle a+bi} определяется как квадрат его модуля:

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

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

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

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

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

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

Теория делимости

Деление нацело

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

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

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

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

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

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

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

• Если гауссово число z {displaystyle z} делится нацело на обычное целое число, то на это целое число делятся как вещественная, так и мнимая часть z {displaystyle z} .
• Если u ∣ v {displaystyle umid v} и v ∣ u {displaystyle vmid u} , то эти числа ассоциированы.
• Если u ∣ v {displaystyle umid v} , то любое из 3 чисел, ассоциированных с v {displaystyle v} , делится на любое из 3 чисел, ассоциированных с u {displaystyle u} .
• Если u {displaystyle u} делится на v ( u = v q ) {displaystyle v;(u=vq)} , то сопряжённое к делимому число u ¯ {displaystyle {overline {u}}} делится на сопряжённое к делителю v ¯ ( u ¯ = v ¯ q ¯ ) {displaystyle {overline {v}};({overline {u}}={overline {v}}{overline {q}})} .
• Все делители гауссова числа z {displaystyle z} являются также делителями его нормы N ( z ) = z ⋅ z ¯ {displaystyle N(z)=zcdot {overline {z}}} .
• Норма гауссова числа чётна тогда и только тогда, когда это число делится на 1 + i {displaystyle 1+i} .
• Если v ∣ u {displaystyle vmid u} , то и норма делимого, в силу мультипликативности, делится нацело на норму делителя. При этом:

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

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

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

Пример: на рисунке одним из узлов решётки является число 4 − 2 i {displaystyle 4-2i} , кратное 1 + 2 i {displaystyle 1+2i} :

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

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

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

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

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

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

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

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

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

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

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

Критерий Гаусса

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

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

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

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

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

Следствия:

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

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

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

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

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

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

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

Теория сравнений

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

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

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

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

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

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

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

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

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

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

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

Пример: φ ( 3 + 4 i ) = φ ( ( 2 + i ) 2 ) = N ( 2 + i ) ( N ( 2 + i ) − 1 ) = 5 ⋅ 4 = 20 {displaystyle varphi (3+4i)=varphi ((2+i)^{2})=N(2+i)(N(2+i)-1)=5cdot 4=20} .

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

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

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

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

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

Деление с остатком

Определение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Некоторые приложения

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

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

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

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

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

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

Число представлений ρ ( m ) {displaystyle ho (m)} натурального числа m {displaystyle m} в виде суммы квадратов (или, что то же самое, число гауссовых чисел с нормой m {displaystyle m} ) можно определить следующим образом. Разложим m {displaystyle m} на простые натуральные множители:

Здесь p i {displaystyle p_{i}} — множители вида 4 n + 1 , {displaystyle 4n+1,} а q j {displaystyle q_{j}} — множители вида 4 n + 3 {displaystyle 4n+3} . Тогда возможны 3 случая.

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

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

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

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

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

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

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

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

Нерешённые проблемы

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

Вариации и обобщения

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

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

История

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

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

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

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