«Обычное» простое число (не комплексное) p является суммой двух квадратов, то есть p = х² + у² (х и у — обычные целые числа), тогда и только тогда, когда p перестает быть простым в гауссовой системе чисел Z[i]. И происходит это тогда и только тогда, когда либо p = 2, либо число «p» имеет, остаток 1 при делении на 4, то есть p = 4k + 1.

У Гаусса несколько «царских результатов». Он называл их разными именами. Например, есть некий закон про поведение остатков при делении одних чисел на другие. Гаусс назвал его «золотым результатом», «золотой результат Гаусса». Связь между представимостью простого числа р в виде суммы двух квадратов и его «поведением» в системе Гауссовых целых чисел — это королевская теорема Гаусса. Как следствие, «сокращая одну из эквивалентностей» в теореме выше, получаем как раз теорему Ферма — Эйлера: Простое число в обычных натуральных числах является суммой двух квадратов тогда и только тогда, когда оно имеет остаток 1 при делении на 4. Это мгновенно вычисляемая характеристика. Например, 97. При делении на 4 дает остаток 1: 97 = 96 + 1 = 4 · 24 + 1. Значит, по нашей теореме оно должно представляться в виде суммы двух квадратов. Так и есть: 97 = 81 + 16 = 9² + 4².

Возьмите число, в котором 25 цифр. Проверьте, что оно имеет остаток 1 при делении на 4, это очень просто. Проверить, что оно простое, немножко сложнее, но тоже не очень долго. Так вот, если вы узнали, что оно простое, и вычислили, что оно имеет остаток 1 при делении на 4, то вы можете спорить на любую сумму с любым неверующим Фомой, что есть два числа, суммой квадратов которых исходное число является. Никакого полного доказательства этой теоремы, кроме как через гауссовы числа, мне не известно (существует, говорят, по крайней мере 6 доказательств).

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

x² + у² = z².