Сумма трёх кубов

Сумма трёх кубов — в математике открытая проблема о представимости целого числа в виде суммы трёх кубов целых (положительных или отрицательных) чисел.

Соответствующее диофантово уравнение записывается как x 3 + y 3 + z 3 = n . {displaystyle x^{3}+y^{3}+z^{3}=n.} Необходимое условие для представимости числа n {displaystyle n} в виде суммы трёх кубов: n {displaystyle n} при делении на 9 не даёт остаток 4 или 5.

В вариантах задачи число надо представить суммой кубов только неотрицательных или рациональных чисел. Любое целое число представимо в виде суммы рациональных кубов, но неизвестно, образуют ли суммы неотрицательных кубов множество с ненулевой асимптотической плотностью.

История

Вопрос о представлении произвольного целого числа в виде суммы трёх кубов существует уже около 200 лет, первое известное параметрическое решение в рациональных числах дано С. Рили в 1825 году. Параметрические решения в целых числах находят для n = 2 {displaystyle n=2} — в 1908 году А. С. Веребрюсов (учитель математики Феодосийской мужской гимназии, сын С. И. Веребрюсова), для n = 1 {displaystyle n=1} — в 1936 году Малер.

Решения

Необходимое условие для представимости числа n {displaystyle n} в виде суммы трёх кубов: n {displaystyle n} при делении на 9 не даёт остаток 4 или 5; так как куб любого целого числа при делении на 9 даёт остаток 0, 1 или 8, то сумма трёх кубов при делении на 9 не может дать остатка 4 или 5. Неизвестно, является ли это условие достаточным.

В 1992 году Роджер Хит-Браун предположил, что любое n {displaystyle n} , не дающее остатка 4 или 5 при делении на 9, имеет бесконечно много представлений в виде сумм трёх кубов.

Однако неизвестно, разрешимо ли алгоритмически представление чисел в виде суммы трёх кубов, то есть может ли алгоритм за конечное время проверить существование решения для любого заданного числа. Если гипотеза Хита-Брауна верна, то проблема разрешима, и алгоритм может правильно решить задачу. Исследование Хита-Брауна также включает в себя более точные предположения о том, как далеко алгоритму придется искать, чтобы найти явное представление, а не просто определить, существует ли оно.

Случай n = 33 {displaystyle n=33} , представление которого в виде суммы кубов долгое время не было известно, использован Бьорном Пуненом в качестве вводного примера в обзоре неразрешимых проблем теории чисел, из которых десятая проблема Гильберта является наиболее известным примером.

Небольшие числа

Для n = 0 {displaystyle n=0} существуют только тривиальные решения

a 3 + ( − a ) 3 + 0 3 = 0. {displaystyle a^{3}+(-a)^{3}+0^{3}=0.}

Нетривиальное представление 0 в виде суммы трёх кубов дало бы контрпример к доказанной Леонардом Эйлером последней теореме Ферма для степени 3: поскольку один из трёх кубов будет иметь противоположный к двум другим числам знак, следовательно его отрицание равно сумме этих двух.

Для n = 1 {displaystyle n=1} и n = 2 {displaystyle n=2} существует бесконечное число семейств решений, например (1 — Малер, 1936, 2 — Веребрюсов, 1908):

( 9 b 4 ) 3 + ( 3 b − 9 b 4 ) 3 + ( 1 − 9 b 3 ) 3 = 1 , {displaystyle (9b^{4})^{3}+(3b-9b^{4})^{3}+(1-9b^{3})^{3}=1,} ( 1 + 6 c 3 ) 3 + ( 1 − 6 c 3 ) 3 + ( − 6 c 2 ) 3 = 2. {displaystyle (1+6c^{3})^{3}+(1-6c^{3})^{3}+(-6c^{2})^{3}=2.}

Существуют другие представления и другие параметризованные семейства представлений для 1. Для 2 другими известными представлениями являются

1   214   928 3 + 3   480   205 3 + ( − 3   528   875 ) 3 = 2 , {displaystyle 1 214 928^{3}+3 480 205^{3}+(-3 528 875)^{3}=2,} 37   404   275   617 3 + ( − 25   282   289   375 ) 3 + ( − 33   071   554   596 ) 3 = 2 , {displaystyle 37 404 275 617^{3}+(-25 282 289 375)^{3}+(-33 071 554 596)^{3}=2,} 373   783   0626   090 3 + 1   490   220   318   001 3 + ( − 3   815   176   160   999 ) 3 = 2. {displaystyle 373 783 0626 090^{3}+1 490 220 318 001^{3}+(-3 815 176 160 999)^{3}=2.}

Эти равенства можно использовать для разложения любого куба или удвоенного куба на сумму трёх кубов.

Однако 1 и 2 являются единственными числами с представлениями, которые могут быть параметризованы полиномами четвёртой степени. Даже в случае представлений n = 3 {displaystyle n=3} Луи Дж. Морделл написал в 1953 году: «я ничего не знаю», кроме небольших решений

4 3 + 4 3 + ( − 5 ) 3 = 3 , {displaystyle 4^{3}+4^{3}+(-5)^{3}=3,} 1 3 + 1 3 + 1 3 = 3 , {displaystyle 1^{3}+1^{3}+1^{3}=3,}

и ещё того, что все три куба должны быть равны 1 по модулю 9. 17 сентября 2019 года Эндрю Букер и Эндрю Сазерленд, нашедшие представление для сложных случаев 33 и 42 (см. ниже), опубликовали ещё одно представление 3, для нахождения которого было затрачено 4 млн. часов в вычислительной сети Charity Engine:

569   936   821   221   962   380   720 3 + ( − 569   936   821   113   563   493   509 ) 3 + ( − 472   715   493   453   327   032 ) 3 = 3 , {displaystyle 569 936 821 221 962 380 720^{3}+(-569 936 821 113 563 493 509)^{3}+(-472 715 493 453 327 032)^{3}=3,}

Остальные числа

С 1955 года, вслед за Морделлом, многие исследователи осуществляют поиск решений с помощью компьютера.

В 1954 году Миллер и Вуллетт находят представления для 69 чисел от 1 до 100. В 1963 году Гардинер, Лазарус, Штайн исследуют интервал от 1 до 999, они находят представления для многих чисел, кроме 70 чисел, из которых 8 значений меньше 100. В 1992 году Хит-Браун и др. нашли решение для 39. В 1994 году Кояма, используя современные компьютеры, находит решения для ещё 16 чисел от 100 до 1000. В 1994 году Конн и Вазерштайн — 84 и 960. В 1995 году Бремнер — 75 и 600, Люкс — 110, 435, 478. В 1997 году Кояма и др. — 5 новых чисел от 100 до 1000. В 1999 году Элкис — 30 и ещё 10 новых чисел от 100 до 1000. В 2007 году Бек и др. — 52, 195, 588. В 2016 году Хёйсман — 74, 606, 830, 966.

Elsenhans и Jahnel в 2009 году использовали метод Элкиса, применяющий редуцирование базиса решётки для поиска всех решений диофантова уравнения x 3 + y 3 + z 3 = n {displaystyle x^{3}+y^{3}+z^{3}=n} для положительных n {displaystyle n} не больше 1000 и для max ( | x | , | y | , | z | ) < 10 14 {displaystyle max {ig (}|x|,|y|,|z|{ig )}<10^{14}} , затем Хёйсман в 2016 году расширил поиск до max ( | x | , | y | , | z | ) < 10 15 {displaystyle max {ig (}|x|,|y|,|z|{ig )}<10^{15}} .

Весной 2019 года Эндрю Букер (Бристольский университет) разработал другую стратегию поиска со временем расчётов пропорциональным min ( | x | , | y | , | z | ) {displaystyle min {ig (}|x|,|y|,|z|{ig )}} , а не их максимуму, и нашёл представление 33 и 795:

33 = 8   866   128   975   287   528 3 + ( − 8   778   405   442   862   239 ) 3 + ( − 2   736   111   468   807   040 ) 3 , {displaystyle 33=8 866 128 975 287 528^{3}+(-8 778 405 442 862 239)^{3}+(-2 736 111 468 807 040)^{3},} 795 = ( − 14   219   049   725   358   227 ) 3 + 14   197   965   759   741   571 3 + 2   337   348   783   323   923 3 . {displaystyle 795=(-14 219 049 725 358 227)^{3}+14 197 965 759 741 571^{3}+2 337 348 783 323 923^{3}.}

В сентябре 2019 года Букер и Эндрю Сазерленд закрыли интервал до 100, найдя представление 42, для чего было затрачено 1,3 миллиона часов расчёта в глобальной вычислительной сети Charity Engine:

42 = ( − 80   538   738   812   075   974 ) 3 + 80   435   758   145   817   515 3 + 12   602   123   297   335   631 3 . {displaystyle 42=(-80 538 738 812 075 974)^{3}+80 435 758 145 817 515^{3}+12 602 123 297 335 631^{3}.}

Позже, в этом же месяце, они нашли разложение числа 906 :

906 = ( − 74   924   259   395   610   397 ) 3 + 72   054   089   679   353   378 3 + 35   961   979   615   356   503 3 . {displaystyle 906=(-74 924 259 395 610 397)^{3}+72 054 089 679 353 378^{3}+35 961 979 615 356 503^{3}.}

А затем 165:

165 = ( − 385   495   523   231   271   884 ) 3 + 383   344   975   542   639   445 3 + 98   422   560   467   622   814 3 . {displaystyle 165=(-385 495 523 231 271 884)^{3}+383 344 975 542 639 445^{3}+98 422 560 467 622 814^{3}.}

На 2019 год были найдены представления всех чисел до 100, не равных 4 или 5 по модулю 9. Остаются неизвестными представления для 7 чисел от 100 до 1000: 114, 390, 627, 633, 732, 921, 975.

Наименьший нерешённый случай — n = 114 {displaystyle n=114} .

Варианты

Существует вариант задачи, в котором число необходимо представить в виде суммы трёх кубов неотрицательных целых чисел, эта задача связана с проблемой Варинга. В XIX веке Карл Густав Якоб Якоби и его коллеги составили таблицы решений этой задачи. Предполагается, но не доказано, что представимые числа имеют положительную асимптотическую плотность, хотя Тревор Вули показал, что таким образом возможно представить Ω ( n 0,917 ) {displaystyle Omega (n^{0{,}917})} чисел в интервале от 1 {displaystyle 1} до n {displaystyle n} . Плотность не более Γ ( 4 / 3 ) 3 / 6 ≈ 0,119 {displaystyle Gamma (4/3)^{3}/6approx 0{,}119} .

Ещё один вариант — с рациональными числами. Известно, что любое целое число может быть представлено в виде суммы трёх кубов рациональных чисел.