Гипотеза ABC: что такое rad и качество тройки

Гипотеза ABC - одна из самых загадочных задач современной теории чисел. Она говорит о связи между сложением и умножением натуральных чисел через «радикал»: произведение всех различных простых делителей. Формулировка проста, следствия поразительны: из неё вытекает Великая теорема Ферма, теорема Тюэ-Зигеля-Рота и десятки других результатов. Ниже разберём, что такое $\text{rad}(n)$, как вычислить показатель качества тройки $q$ и почему даже маленькие числа вроде $32 + 49 = 81$ могут быть математически экстремальными. Загрузите тройку в калькулятор прямо сейчас - он посчитает $\text{rad}(abc)$ и качество $q$ мгновенно.

Что такое радикал числа

Радикал $\text{rad}(n)$ - это произведение всех различных простых делителей числа $n$, каждый взятый ровно один раз, без учёта степени:

$\text{rad}(n) = \prod_{\substack{p \mid n \\ p \text{ простое}}} p.$

Примеры, которые сразу показывают суть:

• $\text{rad}(12) = \text{rad}(2^2 \cdot 3) = 2 \cdot 3 = 6$
• $\text{rad}(81) = \text{rad}(3^4) = 3$
• $\text{rad}(30) = 2 \cdot 3 \cdot 5 = 30$

Заметьте: если число свободно от квадратов (нет простого $p$ с $p^2 \mid n$), то $\text{rad}(n) = n$. Если же число - большая степень простого, как $81 = 3^4$, радикал крошечный: $\text{rad}(81) = 3$.

Именно это свойство делает $\text{rad}$ мерой «степенной концентрации»: чем больше в числе повторяющихся множителей, тем меньше его радикал относительно самого числа.

Формулировка гипотезы

Пусть $a + b = c$, где $a, b, c$ - натуральные числа, $\gcd(a, b) = 1$ (взаимно простые). Тогда гипотеза ABC утверждает:

Для любого $\varepsilon > 0$ существует константа $K(\varepsilon)$ такая, что для всех допустимых троек $(a, b, c)$: $c < K(\varepsilon) \cdot \bigl(\text{rad}(abc)\bigr)^{1 + \varepsilon}.$

Иными словами, $c$ не может быть существенно больше $\text{rad}(abc)$. «Существенно» здесь означает «с показателем степени строго больше $1 + \varepsilon$» при фиксированном $\varepsilon$ для всех троек, кроме конечного числа.

Гипотеза эквивалентна следующему утверждению: показатель качества

$q(a,b,c) = \frac{\log c}{\log \text{rad}(abc)}$

не превосходит $1$ для почти всех троек. Более точно: для любого $\varepsilon > 0$ лишь конечное число троек имеет $q > 1 + \varepsilon$.

Рассчитать для своей задачи

Показатель качества и «хорошие» тройки

Тройка с $q > 1$ называется «хорошей»: $c > \text{rad}(abc)$, то есть сумма превышает радикал произведения. Это нарушение «тривиальной» оценки $c \leq \text{rad}(abc)$ (которая для большинства троек выполняется с запасом).

Рекордные известные тройки:

Обратите внимание: самые «качественные» тройки задействуют числа с высокими степенями одного простого. Именно поэтому $13 + 243 = 256$ ($13 + 3^5 = 2^8$) имеет такой высокий $q$: $\text{rad}(13 \cdot 243 \cdot 256) = 13 \cdot 3 \cdot 2 = 78$, тогда как $c = 256$.

Рассчитать для своей задачи

Как вычислить rad(abc) пошагово

Разберём тройку $5 + 27 = 32$, то есть $a = 5$, $b = 3^3 = 27$, $c = 2^5 = 32$.

Шаг 1. Убеждаемся, что $\gcd(5, 27) = 1$ (взаимно простые).

Шаг 2. Разлагаем каждое число на простые: $a = 5, \quad b = 3^3, \quad c = 2^5.$

Шаг 3. Собираем множество всех различных простых делителей $abc$: $\{2, 3, 5\}$.

Шаг 4. Вычисляем радикал: $\text{rad}(abc) = 2 \cdot 3 \cdot 5 = 30.$

Шаг 5. Находим качество: $q = \frac{\log 32}{\log 30} = \frac{5\log 2}{\log 30} \approx \frac{5 \times 0{,}3010}{1{,}4771} \approx 1{,}407.$

Значение $q \approx 1.407$ означает: $c = 32$ примерно в $30^{1.407} \approx 32$ раз больше, чем $1$ - что тавтологично, но показатель $1.407 > 1$ сигнализирует о «нарушении тривиальной оценки».

Следствия и связи с другими теоремами

Гипотеза ABC - один из самых мощных инструментов потенциального доказательства в теории чисел. Из неё, в частности, следуют:

• Великая теорема Ферма для больших $n$: если $x^n + y^n = z^n$ имеет решение в натуральных числах, то $\text{rad}(x^n y^n z^n) = \text{rad}(xyz)$ несравнимо мало по сравнению с $z^n$, что нарушает ABC.

• Теорема Тюэ-Зигеля-Рота: алгебраическое число не может быть «слишком хорошо» приближено рациональными. ABC даёт эффективную версию с явной константой.

• Гипотеза Ланга о рациональных точках на кривых: из ABC следует, что у кривой рода $g \geq 2$ конечное число рациональных точек (теорема Фальтингса получает эффективное следствие).

• Теорема Сильвермана о примитивных делителях: для последовательности Люка-Лемера из ABC следует, что примитивный простой делитель существует при всех достаточно больших $n$.

Все эти результаты объединяет общая идея: если $a + b = c$ и числа содержат высокие степени простых (маленький радикал), то сумма «не может быть больше, чем позволяет радикал» - ABC формализует это ограничение.

Текущий статус: доказана ли гипотеза?

В 2012 году японский математик Синъити Мотидзуки опубликовал четыре препринта суммарным объёмом около 600 страниц, в которых заявил о доказательстве гипотезы ABC в рамках разработанной им «межуниверсальной геометрии Тейхмюллера» (IUT). Математическое сообщество до сих пор не пришло к единому мнению: ключевой лемма 3.12 из четвёртой части вызывает серьёзные возражения у таких специалистов, как Питер Шольце и Якоб Штикс. Сам Мотидзуки считает возражения несостоятельными.

В 2020 году работа была опубликована в японском журнале PRIMS (главным редактором которого является коллега Мотидзуки), что усилило скептицизм в мировом сообществе. По состоянию на 2026 год гипотеза ABC официально считается открытой.

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

• Забыть про взаимную простоту. Гипотеза сформулирована для $\gcd(a, b) = 1$. Тройка $(4, 6, 10)$, где $\gcd(4,6) = 2 \neq 1$, под гипотезу не подпадает.
• Путать $\text{rad}(abc)$ и $\text{rad}(a) \cdot \text{rad}(b) \cdot \text{rad}(c)$. Если у $a$, $b$, $c$ есть общие простые делители (например $a = 2^3$, $c = 2^5$), второе произведение даёт повторы. Правильный $\text{rad}(abc)$ - произведение уникальных простых всего $abc$.
• Думать, что $q > 1$ нарушает гипотезу. Нет - гипотеза допускает конечное число троек с $q > 1 + \varepsilon$ для любого фиксированного $\varepsilon$. Нарушением было бы существование бесконечной серии троек с $q \geq 1 + \varepsilon_0$ при некотором $\varepsilon_0 > 0$.
• Смешивать логарифмы. В формуле $q = \log c / \log \text{rad}(abc)$ основание логарифма не важно (при замене оба меняются одинаково), но нужно использовать одно и то же основание в числителе и знаменателе.
• Считать, что гипотеза доказана. Работа Мотидзуки не признана математическим сообществом - это активная область исследований.

FAQ

Что такое гипотеза ABC простыми словами? Если три взаимно простых числа связаны соотношением $a + b = c$, то произведение всех различных простых делителей $a \cdot b \cdot c$ не может быть намного меньше $c$. Иными словами, «простые числа, входящие в разложение», почти всегда «контролируют» размер суммы.

Почему из гипотезы ABC следует теорема Ферма? Если $x^n + y^n = z^n$ для простого $n \geq 5$, то $a = x^n$, $b = y^n$, $c = z^n$ дают $\text{rad}(abc) \leq xyz \leq z^3$, а $c = z^n$. Тогда $q \approx n/3$. При $n \geq 4$ имеем $q > 1 + \varepsilon$ при $\varepsilon = (n-3)/3 > 0$ - но ABC гарантирует лишь конечное число таких троек. Для конкретных $(x, y, z)$ можно показать, что таких решений нет вовсе.

Кто и когда сформулировал гипотезу? Гипотезу независимо предложили Дэвид Мессер (Masser) и Жозеф Эстерле (Oesterle) в 1985 году. Мессер работал над аналогами для многочленов (в случае многочленов аналогичное утверждение доказано и называется теоремой Мейсона-Стотерса), Эстерле перенёс идею на целые числа.

Коротко

Гипотеза ABC утверждает, что для взаимно простых $a + b = c$ справедливо $c < K(\varepsilon) \cdot \text{rad}(abc)^{1+\varepsilon}$ при любом $\varepsilon > 0$. Ключевой инструмент - радикал $\text{rad}(n)$, произведение уникальных простых делителей, и показатель качества $q = \log c / \log \text{rad}(abc)$: большинство троек имеют $q \leq 1$, а рекордные «хорошие» тройки достигают $q \approx 1.63$. Гипотеза остаётся недоказанной, но из неё вытекают десятки важнейших теорем теории чисел, что делает её одной из самых влиятельных открытых задач математики.