Einfach-logarithmischer Graph der Lösungen der Gleichung x3 + y3 + z3 = n mit ganzzahligen x, y und z, und n aus [0, 100]. Grüne Balken bedeuten, dass es für diese n nachweislich keine Lösungen gibt.
Welche Eigenschaft muss eine ganze Zahl haben, damit sie als Summe dreier Kubikzahlen und mit ganzzahligen Basen darstellbar ist? Wie lauten zu einer gegebenen Zahl mögliche Zahlentripel und , so dass erfüllt ist? Wie viele Lösungen gibt es für eine gegebene Zahl ?
Die Lösungen dieser diophantischen Gleichung für gegebene ist ein seit 160 Jahren ungelöstes Problem der Zahlentheorie.[1]
Inhaltsverzeichnis
1Lösungen der Gleichung
1.1Darstellungen für n = 0
1.2Darstellungen für n = 1
1.3Darstellungen für n = 2
1.4Darstellungen für n = 3
1.5Darstellungen für n = 4 und 5
1.6Darstellungen für n = 6
1.7Darstellungen für n = 7
1.8Konstruierbare Lösungen für n = k3m
1.9Jeweils kleinste Darstellungen für n = 0 bis 107
2Chronologie der Entdeckungen
3Eigenschaften
4Jeweils kleinste Darstellungen für n = 0 bis 91 der OEIS entnehmen
4.1Beispiel für n = 24, dem 19. Eintrag
5Trivia
6Weblinks
7Einzelnachweise
Lösungen der Gleichung
Darstellungen für n = 0
Die einfachste triviale Darstellung für als Summe dreier Kubikzahlen lautet:
.
Weitere triviale Darstellungen lauten:
mit .
Nichttriviale Darstellungen existieren nicht.
Beweis:
Angenommen, es existiert eine nichttriviale Darstellung der Form mit . Genau eine oder zwei der Variablen müssen negativ sein, denn sie können nicht alle drei gleichzeitig positiv oder negativ sein. Ohne Bedingung der Allgemeinheit kann angenommen werden, dass (Im Fall von zwei negativen Variablen, betrachtet man die Lösung ). Bringt man auf die rechte Seite, erhält man mit eine ganzzahlige Lösung für die Gleichung mit . Dies steht aber im Widerspruch zum auf Kubikzahlen angewendeten Großen Fermatscher Satz, der besagt, dass die Gleichung für positive ganze Zahlen keine Lösungen besitzt. Somit muss die Annahme fallengelassen werden, was bedeutet, dass es keine nichttriviale Darstellung der Form geben kann. ∎
Darstellungen für n = 1
Die triviale Darstellung für als Summe dreier Kubikzahlen lautet:
.
Neben dieser existieren aber auch weitere Darstellungen, wie z. B.:
.
Neben diesen Einzellösungen existieren aber auch ganze Familien von Darstellungen. Die einfachste lautet:
mit .
Zwei kompliziertere Lösungsfamilien wurden im Jahr 1936 vom Mathematiker Kurt Mahler entdeckt:[1]
mit
wie auch folgende:[1]
mit .
Für lieferte Lehmer unendlich viele polynomische Lösungsfamilien[2]. Neben
,
lassen sich für jedes einzelne unendlich viele weitere Tripel mit rekursiv mittels
,
und
konstruieren.[2] Für und erhält man die einfachen Lösungen von Kurt Mahler, für die kompliziertere.
Darstellungen für n = 2
Die triviale Darstellung für als Summe dreier Kubikzahlen lautet:
.
Eine im Jahr 1908 entdeckte nichttriviale Darstellungs-Familie lautet[1]
mit .
Weitere bekannte Darstellungen, die nicht der obigen Familie angehören, sind:
Darstellungen für n = 3
Bis September 2019 waren die einzigen bekannten Darstellungen für als Summe dreier Kubikzahlen folgende:
und
Überraschenderweise wurde im September 2019 eine weitere Darstellung entdeckt:[3]
Man weiß nicht, ob es nur diese drei, endlich viele oder unendlich viele Darstellungen für gibt.
Darstellungen für n = 4 und 5
Für und gibt es keine Lösungen.
Darstellungen für n = 6
Es gibt mehrere Darstellungen; die für lauten:
Darstellungen für n = 7
Es gibt mehrere Darstellungen; die für lauten:
Konstruierbare Lösungen für n = k3m
Lässt sich als Produkt einer Kubikzahl und einer Zahl darstellen, erbt diese Zahl alle Lösungen der Zahl auf folgende Weise:
Beispiel
Jeweils kleinste Darstellungen für n = 0 bis 107
Folgende Tabelle enthält für die jeweils kleinsten Lösungen der Gleichung mit , :[4]
Tabelle für der jeweils kleinsten Lösungen der Gleichung mit ,
für
0
0
0
0
1
0
0
1
2
0
1
1
3
1
1
1
4
keine Lösung
5
6
−1
−1
2
7
0
−1
2
8
0
0
2
9
0
1
2
10
1
1
2
11
−2
−2
3
12
7
10
−11
13
keine Lösung
14
15
−1
2
2
16
0
2
2
17
1
2
2
18
−1
−2
3
19
0
−2
3
20
1
−2
3
21
−11
−14
16
22
keine Lösung
23
24
2
2
2
25
−1
−1
3
26
0
−1
3
für
27
0
0
3
28
0
1
3
29
1
1
3
30
−283059965
−2218888517
2220422932
31
Es existiert keine Lösung.
32
33
−2736111468807040
−8778405442862239
8866128975287528
34
−1
2
3
35
0
2
3
36
1
2
3
37
0
−3
4
38
1
−3
4
39
117367
134476
−159380
40
Es existiert keine Lösung.
41
42
12602123297335631
80435758145817515
−80538738812075974
43
2
2
3
44
−5
−7
8
45
2
−3
4
46
−2
3
3
47
6
7
−8
48
−2
−2
4
49
Es existiert keine Lösung.
50
51
602
659
−796
52
23961292454
60702901317
−61922712865
53
−1
3
3
für
54
0
3
3
55
1
3
3
56
0
−2
4
57
1
−2
4
58
Es existiert keine Lösung.
59
60
−1
−4
5
61
0
−4
5
62
2
3
3
63
0
−1
4
64
0
0
4
65
0
1
4
66
1
1
4
67
Es existiert keine Lösung.
68
69
2
−4
5
70
11
20
−21
71
−1
2
4
72
7
9
−10
73
1
2
4
74
66229832190556
283450105697727
−284650292555885
75
4381159
435203083
−435203231
76
Es existiert keine Lösung.
77
78
26
53
−55
79
−19
−33
35
80
−6
−6
8
für
81
3
3
3
82
−11
−11
14
83
−2
3
4
84
−8241191
−41531726
41639611
85
Es existiert keine Lösung.
86
87
−1972
−4126
4271
88
3
−4
5
89
6
6
−7
90
−1
3
4
91
0
3
4
92
1
3
4
93
−5
−5
7
94
Es existiert keine Lösung.
95
96
14
20
−22
97
−1
−3
5
98
0
−3
5
99
2
3
4
100
−3
−6
7
101
−3
4
4
102
118
229
−239
103
Es existiert keine Lösung.
104
105
−4
−7
8
106
2
−3
5
107
−28
−48
51
[5][6][7][8][9]
Chronologie der Entdeckungen
1954
Miller und Woolet fanden 69 der 78 möglichen Lösungen für per Brute-Force-Suche aller Kombinationen .[1]
Unbekannt blieben die Lösungen der neun Zahlen und .
Die letzten 5 der 69 gefundenen Zerlegungen lauten:
1963
Gardiner, Lazarus und Stein suchten weiter mit und für .[1]
Für fanden sie folgende weitere Lösung:
Für fanden sie 708 der 778 Lösungen.
Die letzten 5 der 708 gefundenen Zerlegungen lauten:
1992
Heath-Brown, Lioen und te Riele fanden folgende weitere Lösung:
1994
Conn und Vaseršteĭn fanden folgende weitere Lösung:
1999
Für waren bereits für 75 verschiedene Lösungen bekannt.
Es kamen hinzu:
Damit fehlten nur noch die Lösungen für und .
Für fanden sie 751 der 778 Lösungen.[1]
2007
fehlten nur noch für folgende zwischen und obige Darstellungen:[1]
und
2016
wurde das Problem für von Sander Huisman gelöst:[6]
2019
wurde das Problem für vom Mathematiker Andrew Booker mittels massivem Computer-Einsatz gelöst:[10][11]
September 2019
wurde das Problem für die letzte verbliebene Zahl , nämlich für ebenfalls von Andrew Booker und dem Mathematiker Andrew Sutherland gelöst:[12][13]
Da das letzte ungelöste Problem bis für diese Art von Gleichung war, wurde spaßeshalber ein Zusammenhang mit der Antwort 42 aus der mehrfach verfilmten Roman- und HörspielreihePer Anhalter durch die Galaxis des englischen Autors Douglas Adams hergestellt.[14]
bis Mitte 2020
wurden, ebenfalls von Andrew Booker und Andrew Sutherland, drei weitere Fälle gelöst:
Eine Darstellung als Summe von drei Kubikzahlen ist somit nur noch für die folgenden acht Werte für unbekannt (Stand: 1. Juni 2020):[12]
und
Momentan ist also die Gleichung diejenige mit dem kleinsten natürlichen, für die noch keine ganzzahlige Lösung bekannt ist.
Es ist nicht bekannt, ob diese Eigenschaft für auch hinreichend ist (dann wäre nämlich das bis dato ungelöste Problem der Zahlentheorie, dem dieser Artikel gewidmet ist, gelöst). Es wurde jedoch von Heath-Brown vermutet, dass die diophantische Gleichung für alle unendlich viele ganzzahlige Lösungen hat.[15]
Es gibt einige spezielle Beziehungen zwischen und , wie zum Beispiel die folgenden:[16]
Sei ganzzahlig lösbar. Bei gegebenem gelten die folgenden Bedingungen für :
Wenn ist, muss gelten: oder .
Wenn ist, muss gelten: oder .
Wenn ist, muss gelten: oder .
Wenn ist, muss gelten: oder .
Wenn ist, muss gelten: .
Wenn ist, muss gelten: .
Wenn ist, muss gelten: .
Wenn ist, muss gelten: .
Jeweils kleinste Darstellungen für n = 0 bis 91 der OEIS entnehmen
Im Folgenden wird beschrieben, wie die kleinsten Lösungen für größere n den Listen Folge A060464 in OEIS ... Folge A060467 in OEIS zu entnehmen sind. Die vier Listen enthalten jeweils in gleicher Abfolge die Werte für n, x, y und z für Werte von n, für die eine Lösung existiert und bekannt ist. Es ist jeweils die Lösung mit enthalten.
Kenji Koyama: Tables of solutions of the Diophantine equation x³+y³+z³=n.Mathematics of Computation62 (206), April 1994, S. 941–942, abgerufen am 24. September 2019.
Eric Rowland: Koyama's table of integer solutions of n=x³+y³+z³. Abgerufen am 24. September 2019 (5417 Lösungen von n=2 bis 999, davon 521 Lösungen von n=2 bis 100).
Erik Dofs: Solution of x³+y³+z³=nxyz.Acta Arithmetica LXXIII.3, 1995, S. 201–213, abgerufen am 19. September 2019.
Kenji Koyama, Yukio Tsuruoka, Hiroshi Sekigawa: On searching for solutions of the diophantine equation x³+y³+z³=n.Mathematics of Computation66 (218), April 1997, S. 841–851, abgerufen am 19. September 2019.
Eric Rowland: Known families of integer solutions of x³+y³+z³=n. 28. Februar 2005, S. 1–6, abgerufen am 19. September 2019.
Michael Beck, Eric Pine, Wayne Tarrant, Kin Yarbrough Jensen: New Integer Representations as the Sum of three Cubes.Mathematics of Computation76 (259), Juli 2007, S. 1683–1690, abgerufen am 19. September 2019.
Sander G. Huisman: Newer Sums of three Cubes. 26. April 2016, S. 1–3, abgerufen am 19. September 2019.
Armen Avagyan, Gurgen Dallakyan: A new method in the problem of three cubes. Armenian State Pedagogical University after Khachatur Abovyan, 21. Februar 2018, S. 1–23, abgerufen am 19. September 2019.
Einzelnachweise
↑ abcdefghArmen Avagyan, Gurgen Dallakyan: A new method in the problem of three cubes. Armenian State Pedagogical University after Khachatur Abovyan, 21. Februar 2018, S. 1–23, abgerufen am 18. September 2019.
↑ abEric S. Rowland: Known families of integer solutions of x^3+y^3+z^3=n. (psu.edu [PDF]).
↑Mark McAndrew: Insanely huge Sum-Of-Three-Cubes für 3 discovered – After 66 year search. Twitter, 16. September 2018, abgerufen am 18. September 2019.
↑Hisanori Mishima: Solutions of n=x³+y³+z³, 0 <= n <= 99. Abgerufen am 18. September 2019.
↑Tito Piezas III: Integer solutions to the equation a³+b³+c³=30. Abgerufen am 18. September 2019.
↑ abSander G. Huisman: Newer Sums of three Cubes. 26. April 2016, S. 1–3, abgerufen am 19. September 2019.
↑Eric Rowland: Koyama's table of integer solutions of n=x³+y³+z³. Abgerufen am 24. September 2019 (5417 Lösungen von n=2 bis 999, davon 521 Lösungen von n=2 bis 100).
↑D. J. Bernstein: threecubes. Abgerufen am 29. September 2019 (weitere Lösungen).
↑Andrew R. Booker: Cracking the problem with 33.University of Bristol, 2019, S. 1–6, abgerufen am 18. September 2019.
↑Lance Fortnow, Bill Gasarch: x³ + y³ + z³ = 33 has a solution in Z. And its big! Computational Complexity.org, 28. April 2019, abgerufen am 18. September 2019.
↑ abRobin Houston: 42 is the answer to the question “what is (-80538738812075974)³ + 80435758145817515³ + 12602123297335631³?” The Aperiodical, 6. September 2019, abgerufen am 18. September 2019.
↑Michelle Starr: Mathematicians Solve '42' Problem With Planetary Supercomputer. science alert, 9. September 2019, abgerufen am 18. September 2019.
↑D. R. Heath-Brown: The Density of Zeros of formsfor which weak Approximation fails. Band59, Nr.200. mathematics of computation, Oktober 1992, S.613–623 (ams.org [PDF]).
↑Kenji Koyama, Yukio Tsuruoka, Hiroshi Sekigawa: On searching for solutions of the diophantine equation x³+y³+z³=n, Property 1 und 2.Mathematics of Computation66 (218), April 1997, S. 843–844, abgerufen am 28. September 2019.