§ 5. Abc – Гипотеза для натуральных чисел

abc-гипотеза: для любого  > 0 найдётся такая константа K(ε) > 0, что для всех ненулевых взаимно простых натуральных чисел a, b, c со свойством a + b = c, верно неравенство c  K(ε)·r(abc)^1+ , где для заданного натурального числа n с каноническим разложением n = символr(n) обозначает выражение p₁ … p_k и называется радикалом числа n (при этом считаем, что r(1) = 1).

Примеры: 1. r(24) = r(2³3) = 23 = 6,

2. r(10) = r(25) = 25 = 10,

3. r(2016) = r(2⁴101) = 2101 = 202.

Ясно, что для любого числа n  N выполнены неравенства r(n)  n, r(n^m) = r(n)  n = (n^m)^{1 / m} .

Любую тройку натуральных чисел (a; b; c) со свойствами a + b = c, НОД(a, b) = 1 будем называть abc-тройкой. Нетрудно понять, что условие НОД(a, b) = 1 взаимной простоты чисел a, b равносильно условию взаимной простоты любой пары чисел из abc-тройки. Например, НОД(a, c) = 1 : если D = НОД(a, c), то D | a, D | c и из равенства a + b = c получаем, что D | b = c – a, т.е. D – общий делитель a и b, а значит, D = 1. Таким образом, в определении abc-тройки можно ограничиться условием взаимной простоты НОД(a, b, c) = 1 всех трёх чисел a, b, c в совокупности.

Примеры: 1. 1 + 1 = 2. Здесь c = 2 < 1r(abc)^1+ = 12^1+, K() = 1.

2. 1 + 2 = 3, c = 3 < 1r(abc)^1+ = 16^1+, K() = 1.

3. 1 + 3 = 4. Здесь c = 4 < 1r(abc)^1+ = 16^1+, K() = 1.

4. 1 + 8 = 9, c = 9 < r(abc)^1+ = 6^1+, K() = .

5. 3 + 125 = 128. Здесь c = 128 < 4r(abc)^1+ = 430^1+, K() = 4.

6. 5 + 27 = 32, c = 32 < 1,1r(abc)^1+ = 1,130^1+, K() = 1,1.

7. 12 + 13 = 25, c = 25 < 1r(abc)^1+ = 1390^1+, K() = 1.

abc-Гипотеза выглядит сложнее, чем для многочленов. Первое, что приходит в голову – упростить её формулировку: существует такая константа K > 0, что для любой abc-тройки верно c < Kr(abc). Однако, как показали два студента Йельского университета Стейл Войтек Ястрзебовский и Дэн Шпильман такое предположение не верно:

Лемма. (1) Для любого k  N .

(2) Для любого k  N тройка являетсяabc-тройкой, причём с = > r(abc) = 3r().

(3) Не существует такой константы K > 0, что для любого k  N для abc-тройки из (1) верно c < Kr(abc).

Доказательство. (1) Индукция по k. База k = 1: 8 = 3² – 1  2³.

Предположим, что для k = 1, … , m и докажем, что это верно и при k = m + 1: . Действительно, , так что . Первая скобка чётна, т.е. делится на 2, а вторая скобка по предположению индукции делится на 2 ^m+2. Произведение же скобок делится на 2 ^m+3, что и требовалось.

(2) То, что – abc-тройка, не вызывает сомнений. Проверим неравенство: r(abc) = r(1) = r(). Если , где s  k + 2, – каноническое разложение, то простые числа в правой части не равны 3: иначе, 3 | , 3 | и 3 | (), что невозможно. Поэтому r() = 32p₂ … p_k   . Таким образом, с = > r(abc).

(3) От противного с учётом предыдущих вычислений:

,

т.е. K > , что невозможно при k   .

Лемма доказана.

Утверждение (2) леммы показывает, что существует бесконечно много abc-троек со свойством c > r(abc). Такие тройки называются хитовыми. Расчёты на ЭВМ показывают, что хитовых троек относительно мало: для c < 50000 есть только 276 хитовых троек. Приведём все хитовые тройки для c < 1000 (их всего 31):

№	тройка	№	тройка
1	1 + 8 = 9 > r(12332) = 6	2	1 + 48 = 49 > r(132472) = 42
3	1 + 63 = 64 > r(1(327)26) = 42	4	1 + 80 = 81 > r(1(245)34) = 30
5	5 + 27 = 32 > r(53325) = 30	6	32 + 49 = 81 > r(257234) = 42
7	3 + 125 = 128 > r(35327) = 30	8	4 + 121 = 125 > r(2211253) = 110
9	1 + 224 = 225 > r(1(257)(3252) = 210	10	1 + 242 = 243 > r(1(2112)35) = 66
11	1 + 288 = 289 > r(1(2532)172) = 102	12	2 + 243 = 245 > r(235(572) = 210
13	7 + 243 = 250 > r(735(253)) = 210	14	13 + 243 = 256 > r(133528) = 78
15	81 + 175 = 256 > r(34(527)28) = 210	16	100 + 243 = 343 > r((2252)3573) = 210
17	32 + 343 = 375 > r(2573(353)) = 210	18	169 + 343 = 512 > r(1327329) = 182
19	1 + 512 = 513 > r(129(3319)) = 114	20	5 + 507 = 512 > r(5(3132)29) = 390
21	27 + 512 = 539 > r(3329(7211)) = 462	22	49 + 576 = 625 > r(72(2632)54) = 210
23	81 + 544 = 625 > r(34(2617)54) = 510	24	200 + 529 = 729 > r((2352)23236) = 690
25	1 + 624 = 625 > r(1(24313)54) = 390	26	1 + 675 = 676 > r(1(3352)(22132)) = 390
27	104 + 625 = 729 > r((2313)5436) = 390	28	343 + 625 = 968 > r(7354(23112)) = 770
29	1 + 728 = 729 > r(1(2391)36) = 546	30	25 + 704 = 729 > r(52(2611)36) = 330
31	1 + 960 = 961 > r(1(2635)312) = 930

Смысл хитовости понятен: только хитовые тройки могут дать пример к abc-гипотезе, поэтому именно на них и сосредоточено внимание математической общественности. Можно ввести меру хитовости abc-тройки : для abc-тройки (a; b; c) положим . Ясно, что это равенство эквивалентно следующим соотношениям:

ln c = ln r(a, b, c) 

 c = e^{ln r(a, b, c)} = (e^{ln r(a, b, c)})^  c = r(a, b, c)^{(a, b, c)},

т.е. (a, b, c) = log _{r(a, b, c)} c .

Оказывается, что все известные abc-тройки имеют ограниченную меру хитовости. Вот первые три тройки в хит-параде хитовых троек:

1. a = 2, b = 3¹⁰109, c = 23⁵,  = 1,62991…

2. a = 11², b = 3²5⁶7³, c = 2²¹23,  = 1,62599…

3. a = 191307, b = 729²31⁸, c = 2⁸3²²5⁴,  = 1,62349…

Для примера приведём меры хитовости для всех хитовых троек со значениями c < 1000:

№	тройка	№	тройка
1	1 + 8 = 9,  = 1.22629…	2	1 + 48 = 49,  = 1.0412…
3	1 + 63 = 64,  = 1.11269…	4	1 + 80 = 81,  = 1.29203…
5	5 + 27 = 32,  = 1.01897…	6	32 + 49 = 81,  = 1.17571…
7	3 + 125 = 128,  = 1.42656…	8	4 + 121 = 125,  = 1.02719…
9	1 + 224 = 225,  = 1.01290…	10	1 + 242 = 243,  = 1.31110…
11	1 + 288 = 289,  = 1.22518…	12	2 + 243 = 245,  = 1.02882…
13	7 + 243 = 250,  = 1.03260…	14	13 + 243 = 256,  = 1.27279…
15	81 + 175 = 256,  = 1.03704…	16	100 + 243 = 343,  = 1.09175…
17	32 + 343 = 375,  = 1.10843…	18	169 + 343 = 512,  = 1.19875…
19	1 + 512 = 513,  = 1.31757…	20	5 + 507 = 512,  = 1.04562…
21	27 + 512 = 539,  = 1.02512…	22	49 + 576 = 625,  = 1.20396…
23	81 + 544 = 625,  = 1.03261…	24	200 + 529 = 729,  = 1.00841…
25	1 + 624 = 625,  = 1.07904…	26	1 + 675 = 676,  = 1.09219…
27	104 + 625 = 729,  = 1.10484…	28	343 + 625 = 968,  = 1.03443…
29	1 + 728 = 729,  = 1.04586…	30	25 + 704 = 729,  = 1.13667…
31	1 + 960 = 961,  = 1.00479…

В связи сэтим естественно возникают следующие вопросы:

О верхней грани меры хитовости: существует ли такое число g, что нет abc-троек с мерой хитовости больше g : (a, b, c)  g ?

О конечности числа abc-троек с высокой мерой хитовости: верно ли, что для любого h > 1 существует лишь конечное число abc-троек со свойством (a, b, c)  h, и бесконечно много abc-троек, для которых верно 1 < (a, b, c) < h ?

Оба эти утверждения пока не доказаны, но и не опровергнуты. Ясно, что из положительного ответа на второй вопрос следует положительный ответ и на первый: если h > 1 и лишь конечное число abc-троек имеют меры хитовости ₁ , … , _k больше h, то можно взять g = max{₁ , … , _k } + 1. С другой стороны, положительный ответ на второй вопрос эквивалентен справедливости abc-гипотезы:

Теорема (об эквивалентных формулировках abc-гипотезы). Следующие утверждения эквивалентны:

(1) abc-гипотеза: для любого  > 0 существует константа K() > 0, для которой c  K()r(a, b, c)^{1 + } для любой abc-тройки;

(2) для любого  > 0 существует лишь конечное число хитовых abc-троек: с > r(a, b, c)^{1 + } ;

(3) для любого h > 1 существует лишь конечное число abc-троек со свойством (a, b, c)  h .

Доказательство. (1)  (2) От противного: пусть для некоторого  > 0 есть бесконечное множество хитовых abc-троек {(a_i ; b_i ; c_i )}_{i  N} со свойством r(a_i , b_i , c_i)^{1 + } < с_i . По abc-гипотезе для числа найдётся такая константаK = , что c_i  Kr(a_i , b_i , c_i), а значит, будут верны неравенства r(a_i , b_i , c_i)^{1 + } < Kr(a_i , b_i , c_i) , r(a_i , b_i , c_i)<K, т.е. ограничена последовательность {r(a_i ; b_i ; c_i )}_{i  N} : r(a_i , b_i , c_i) < K . Поэтому ограничена последовательность {c_i} _{i  N} : c_i  Kr(a_i , b_i , c_i)<K , вопреки бесконечности рассматриваемого множества хитовых троек.

(2)  (3) Пусть для любого  > 0 существует лишь конечное число хитовых abc-троек: с > r(a, b, c)^{1 + }. Выбрав число h > 1 и взяв  = h – 1, получим набор хитовых троек (a_i ; b_i ; c_i ) (1  i  k), удовлетворяющих неравенствам с_i > r(a_i , b_i , c_i)^h . Если тройка (a ; b ; c) имеет меру хитовости , тоc = r(a, b, c)^{(a, b, c)} > r(a, b, c)^h, так что любая такая тройка должна совпадать с одной из (a_i ; b_i ; c_i ) (1  i  k), что и требовалось.

(3)  (1) Пусть для любого h > 1 существует лишь конечное число abc-троек со свойством (a, b, c)  h  c = r(a, b, c)^{(a, b, c)}  r(a, b, c)^h . Зафиксировав произвольное  > 0 и положив h = 1 + , получим лишь конечное число k = k() троек (a_i ; b_i ; c_i ) (1  i  k), удовлетворяющих неравенствам с_i  r(a_i , b_i , c_i)^h = r(a_i , b_i , c_i)^{1 + }. Взяв , получим с_i < K()r(a_i , b_i , c_i)^{1 + }. Для остальных хитовых abc-троек выполнены неравенства c  r(a, b, c)^{1 + } < K()r(a, b, c)^{1 + }. Таким образом, из утверждения (3) следует abc-гипотеза.

Теорема доказана.

Правдоподобность abc-гипотезы укрепляется её справедливостью для многочленов и компьютерными расчётами. В Интернете существует проект по проверке этой гипотезы (а также и некоторых других) путём вычислений, распределённых по компьютерам многочисленных пользователей. Справедливость abc-гипотезы уже проверена для всех натуральных чисел с несколькими десятками цифр. При этом не только не найдено контрпримера, но и не превзойдёна максимальная мера хитовости  = 1,62991… Поэтому с abc-гипотезой тесно связано следующее не менее правдоподобное предположение: для любой abc-тройки верно с < r(a, b, c)², в котором максимальная мера хитовости даже огрублена до двух. Это предположение будем в дальнейшем называть (abc)-гипотезой.