Теорема Дирихле о простых в арифметической прогрессии

Теорема Дирихле о простых в арифметической прогрессии - одно из первых утверждений, в котором аналитические методы оказались сильнее любого элементарного перебора. Она отвечает на простой вопрос: если взять прогрессию $a, a + d, a + 2d, \dots$, то сколько в ней простых? Ответ Дирихле 1837 года: бесконечно много, как только $\gcd(a, d) = 1$. И этот ответ оказался стартовой точкой целой ветви математики - аналитической теории чисел.

Точная формулировка

Пусть $a$ и $d$ - целые числа, $d > 0$, и $\gcd(a, d) = 1$. Тогда в арифметической прогрессии

$a,\ a + d,\ a + 2d,\ a + 3d,\ \dots$

существует бесконечно много простых чисел. Иначе говоря, для любого фиксированного остатка $a \pmod d$ (взаимно простого с $d$) уравнение $p \equiv a \pmod d$ имеет бесконечно много решений среди простых $p$.

Условие $\gcd(a, d) = 1$ - необходимое: если $\gcd(a, d) = g > 1$, то все члены прогрессии делятся на $g$, и среди них в лучшем случае только сам $g$ может быть простым.

Исторический контекст: 1837 год

До Дирихле бесконечность простых в конкретных прогрессиях ($4k + 1$, $4k + 3$, $6k + 5$) умели доказывать вариациями Евклидова метода - но каждый случай требовал отдельной хитрости, и общий приём не вырисовывался. Лежандр пытался свести задачу к комбинаторному перебору, но без успеха.

Дирихле в работе 1837 года применил совершенно новый язык - аналитические функции комплексного переменного, ряды, характеры. По сути, он первым показал, что чисто арифметическое утверждение можно доказать через анализ. Это и считается рождением аналитической теории чисел: те же идеи (ряды Дирихле, L-функции, ненулевость на критической прямой) позже привели к теореме о распределении простых, гипотезе Римана и современной аналитической теории L-функций.

Идея доказательства: характеры Дирихле

Чтобы выделить простые с заданным остатком $a \pmod d$, Дирихле ввёл характеры - гомоморфизмы $\chi: (\mathbb{Z}/d\mathbb{Z})^\times \to \mathbb{C}^\times$ группы обратимых вычетов в мультипликативную группу комплексных чисел. Простейший пример такого характера по простому модулю - символ Лежандра, различающий квадратичные и неквадратичные вычеты. Их ровно $\phi(d)$ штук, где $\phi$ - функция Эйлера. Один из них тривиальный - $\chi_0$, равный $1$ на всём $(\mathbb{Z}/d\mathbb{Z})^\times$ и $0$ на остальных вычетах.

Ключевое тождество ортогональности:

$\frac{1}{\phi(d)} \sum_{\chi} \overline{\chi(a)}\, \chi(n) = \begin{cases} 1, & n \equiv a \pmod d, \\ 0, & \text{иначе}. \end{cases}$

Эта формула - фильтр: она извлекает из любой суммы по натуральным $n$ только те слагаемые, у которых $n \equiv a \pmod d$. Дальше остаётся применить её к подходящей сумме по простым.

L-функции Дирихле

Для каждого характера $\chi$ определяется ряд Дирихле - L-функция:

$L(s, \chi) = \sum_{n=1}^{\infty} \frac{\chi(n)}{n^s}.$

При $\Re s > 1$ ряд сходится абсолютно. Подобно дзета-функции Римана $\zeta(s) = L(s, \chi_0)$ (с поправкой на конечные множители для делителей $d$), L-функция допускает эйлерово произведение:

$L(s, \chi) = \prod_p \left(1 - \frac{\chi(p)}{p^s}\right)^{-1}.$

Логарифмируя и фильтруя простые по остатку через ортогональность характеров, получаем выражение:

$\sum_{p \equiv a \pmod d} \frac{1}{p^s} = \frac{1}{\phi(d)} \sum_{\chi} \overline{\chi(a)} \log L(s, \chi) + O(1),\quad s \to 1^+.$

Если показать, что правая часть стремится к бесконечности при $s \to 1^+$, то и сумма $\sum 1/p$ по простым в прогрессии расходится, а значит, таких простых бесконечно много.

Ненулевость $L(1, \chi)$ - ядро доказательства

Главная техническая часть теоремы Дирихле - утверждение

$L(1, \chi) \ne 0\quad \text{для всех нетривиальных } \chi.$

Для тривиального $\chi_0$ функция $L(s, \chi_0)$ имеет полюс в $s = 1$ (как у $\zeta$), и именно этот полюс даёт расходимость. Если бы у какого-то нетривиального $\chi$ выполнилось $L(1, \chi) = 0$, его слагаемое в сумме компенсировало бы полюс, и расходимость пропала.

Для комплексных $\chi$ ненулевость доказывается аккуратной оценкой через произведение $\prod_\chi L(s, \chi)$, которое при $s \to 1^+$ должно вести себя как ряд с положительными коэффициентами. Для вещественных нетривиальных $\chi$ задача тоньше - её решает классическая теорема о ненулевости через теорию форм (исторически связанная с квадратичным законом взаимности), или современный аналитический приём через $\zeta(s) L(s, \chi)$ и положительность коэффициентов. Эта часть и есть «волшебная» сердцевина доказательства 1837 года.

Плотность простых в прогрессии

Дирихле доказал бесконечность простых, но не дал точной асимптотики. Её даёт более сильная теорема - теорема о простых в арифметической прогрессии (доказанная позже, в рамках обобщения теоремы о распределении простых на прогрессии):

$\pi(x; d, a) \sim \frac{1}{\phi(d)} \cdot \frac{x}{\ln x},\quad x \to \infty,$

где $\pi(x; d, a)$ - количество простых $p \le x$ с $p \equiv a \pmod d$. Смысл: простые равномерно распределены по всем $\phi(d)$ допустимым остаткам - каждый получает свою долю $1/\phi(d)$. Например, при $d = 4$ среди простых до $x$ примерно половина имеет вид $4k + 1$, и примерно половина - вид $4k + 3$ (с небольшой расхождением в пользу второго класса - известным «уклоном Чебышёва»).

Сравнение с теоремой о распределении простых

Классическая PNT (теорема о распределении простых) утверждает $\pi(x) \sim x / \ln x$. Теорема Дирихле - её «арифметический» предтеча: она про существование простых в классах вычетов, без точной асимптотики. Теорема о простых в прогрессиях объединяет обе: добавляет к PNT равномерное распределение по остаткам.

Различие в инструментах: PNT опирается на ненулевость $\zeta(s)$ на прямой $\Re s = 1$, а теорема о прогрессиях - на аналогичную ненулевость всех L-функций $L(s, \chi)$ на той же прямой. Гипотеза Римана для L-функций (GRH) даёт количественные оценки погрешности: $\pi(x; d, a) = \frac{1}{\phi(d)} \mathrm{Li}(x) + O(\sqrt{x} \log x)$.

Классические следствия

• Простые вида $4k + 1$ и $4k + 3$: бесконечно много в каждом классе. Простые $4k + 1$ - это в точности те, что представимы суммой двух квадратов (теорема Ферма о двух квадратах).
• Простые вида $6k + 5$: бесконечно много. Любое простое $p > 3$ имеет вид $6k + 1$ или $6k + 5$.
• Простые вида $10k + 3$: бесконечно много простых с последней цифрой $3$ в десятичной записи.
• Простые в любой допустимой прогрессии $a + nd$: бесконечно, и распределены равномерно - каждый из $\phi(d)$ классов вычетов содержит «свою» $1/\phi(d)$ долю простых.

Типовые задачи

• Доказать бесконечность простых в конкретной прогрессии (например, $7k + 4$) - сослаться на теорему Дирихле, проверив $\gcd(4, 7) = 1$.
• Перечислить первые простые в прогрессии: для $4k + 1$ это $5, 13, 17, 29, 37, 41, 53, 61, 73, 89, \dots$.
• Оценить долю простых до $x$ в данной прогрессии - применить асимптотику $\pi(x; d, a) \sim x / (\phi(d) \ln x)$.
• Построить характеры по модулю $d$ - выписать таблицу значений всех $\phi(d)$ характеров на представителях классов.

Частые ошибки

• Игнорируют условие $\gcd(a, d) = 1$: пробуют применить теорему к $6k + 4$ - там $\gcd(4, 6) = 2$, и единственное простое в прогрессии - $2$, дальше все чётные.
• Путают с признаком Дирихле для рядов: это совсем другая теорема того же автора - про сходимость рядов вида $\sum a_n b_n$.
• Считают, что простые распределены равномерно «по абсолютному числу»: распределение равномерное в смысле плотности $1/\phi(d)$, но конкретные числа в малых интервалах могут давать значительные отклонения (уклон Чебышёва, гонки простых).
• Думают, что доказательство Дирихле элементарно: попытка обойтись без L-функций и комплексного анализа не работает - это принципиально аналитический результат.
• Полагают, что теорема даёт явную формулу для $n$-го простого в прогрессии: она даёт лишь асимптотическую плотность, без явных формул.

FAQ

В чём разница между теоремой Дирихле и теоремой Евклида? Теорема Евклида утверждает бесконечность всех простых, без условий на остаток. Теорема Дирихле - более тонкое утверждение: бесконечность простых в каждом допустимом классе вычетов $\pmod d$. Доказательство Евклида - элементарное (по противоречию), Дирихле - глубоко аналитическое.

Можно ли доказать частные случаи без L-функций? Да, для конкретных $d$ (например, $4k + 1$, $4k + 3$, $6k + 5$, $3k + 2$) есть элементарные доказательства в духе Евклида. Но универсального элементарного доказательства теоремы Дирихле для произвольного $d$ не существует - это одна из её замечательных особенностей.

Что значит «равномерно распределены»? Что для большого $x$ доля простых $p \le x$ с $p \equiv a \pmod d$ среди всех простых $p \le x$ стремится к $1/\phi(d)$ для любого $a$ с $\gcd(a, d) = 1$. То есть простые «не предпочитают» один класс вычетов другому в асимптотическом смысле.

Коротко

Теорема Дирихле 1837 года утверждает: в любой арифметической прогрессии $a + nd$ с $\gcd(a, d) = 1$ бесконечно много простых, и распределены они равномерно - каждый из $\phi(d)$ допустимых классов вычетов получает асимптотически долю $1/\phi(d)$. Доказательство построено на характерах Дирихле, L-функциях $L(s, \chi)$ и ключевой ненулевости $L(1, \chi) \ne 0$ для нетривиальных характеров. Это первая теорема, где аналитический метод оказался необходим для арифметического результата - точка рождения аналитической теории чисел.