Как математики доказали существование бесконечно многих простых чисел вида p² + 4q²

Сегодня о простом, точные простых, числах. Простые числа — фундаментальные кирпичики математики, но их распределение по числовой оси до сих пор остаётся одной из главных загадок. Все знают, что простых чисел бесконечно много, но предсказать их появление в ряду чисел точно невозможно.

Недавно два математика — Бен Грин (Оксфорд) и Мехтааб Савни (Колумбийский университет) — смогли доказать, что существует бесконечно много простых чисел особого вида, причём для этого они использовали методы, которые раньше применялись в совершенно другой области математики.

В чём именно прорыв: простые числа особого вида

Давно известно, что простые числа могут принимать разные закономерные формы.
Например такая, некоторые простые числа — это квадраты двух других простых чисел, сложенные вместе (13 = 2² + 3²).
Или простые числа в виде p² + 4q², где p и q тоже простые (например, 41 = 5² + 4 × 2²). Именно про простые числа в таком виде в 2018 году математики Фридлендер и Иванець поставили вопрос: существует ли бесконечно много простых чисел в виде p² + 4q²**?
Грин и Савни доказали, что да.**

Как это удалось: новые методы в теории чисел

Вместо того чтобы сразу считать «настоящие» простые, они начали с упрощённого набора — так называемых «грубых» простых (чисел, которые не делятся на самые маленькие простые 2, 3, 5 и 7).

🔹 Оказалось, что сначала можно доказать существование бесконечного количества таких чисел в ослабленном варианте.
🔹 Затем учёные использовали неожиданную связь с другой областью математики — нормами Гауэрса, разработанными для оценки случайности чисел. По-простому, норма Гауэрса порядка k измеряет, насколько «структурированная» или «случайная» функция на конечной группе, например, функция от чисел 1 до N. Если маленькая — поведение хаотично, если большая — в ней есть структура.
🔹 С помощью этой теории удалось перенести доказательство с грубых простых на настоящие простые.

Почему это важно для теории чисел и изучения простых чисел

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

Этот результат подтверждает: простые числа не так хаотичны, как кажется, и в их структуре скрывается порядок, который математики только начинают открывать.