Somme de trois cubes
En mathématiques, le problème de la somme de trois cubes est un problème non résolu en théorie des nombres. Il consiste à déterminer quels sont les entiers qui peuvent être représentés sous la forme d'une somme de trois cubes d'entiers , donc qui peuvent s'écrire sous la forme : avec .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2d/Sum_of_3_cubes.svg/220px-Sum_of_3_cubes.svg.png)
Exemples
modifierVoici quelques exemples[1] :
et un exemple plus compliqué :
Les suites de l'OEIS : A060465,
A060466,
A060467 donnent respectivement les valeurs de pour où est un entier naturel congru ni à 4 ni 5 modulo 9, avec minimaux et .
Petites valeurs de n
modifierOn peut montrer qu'une condition nécessaire pour que s'exprime comme somme de trois cubes est que n'est pas congru à 4 ou 5 modulo 9, car les cubes sont égaux à 0, 1, ou −1 modulo 9, et la somme de trois de ces nombres ne donne ni 4 ni 5 modulo 9[2]. On ne sait pas si cette condition nécessaire est aussi suffisante.
Une représentation non triviale de comme somme de trois cubes serait un contre-exemple au dernier théorème de Fermat pour l'exposant 3, car l'équation se réécrit avec , et comme l'a déjà prouvé Leonhard Euler[3], les seules solutions ont la forme
- .
Pour la représentation de et , il existe une infinité de solutions
- découverte par Kurt Mahler en 1936[4]
et
- découverte par A. S. Verebrusov en 1908[5], cité par Louis J. Mordell[6].
Ces représentations peuvent être modifiées pour donner des représentations d'entiers qui sont des cubes ou les doubles d'un cube[6]. D'autres représentations, et d'autres familles paramétrées de représentations existent pour [7]. Pour , les autres représentations connues sont[7],[8]:
Seules les représentations de 1 et 2 peuvent être paramétrées ainsi par des polynômes de degré 4[6]. Même pour les représentations de 3, Louis J. Mordell écrit en 1953 : « je n'en connais pas d'autres » à propos de ses petites solutions
- ,
et il mentionne qu'en plus, dans ce cas, les trois nombres élevés au cube doivent être égaux modulo 9[9],[10].
Exploration numérique
modifierDepuis 1955 et les études de Mordell, de nombreux auteurs ont cherché des solutions par exploration numérique [11],[12],[8],[13],[14],[15], [16],[17],[18],[19]. En 2009, Elsenhans et Jahnel[20] utilisent une méthode de Noam Elkies qui fait usage d'algorithmes de réduction de réseaux pour chercher toutes les solutions de l'équation diophantienne
pour des entiers positifs inférieurs à 1000 et pour [18], et ils laissent ouvert les valeurs de égales à 33, 42, 74, 114, 165, 390, 579, 627, 633, 732, 795, 906, 921 et 975 parmi les entiers . Après une vidéo de Timothy Browning dans Numberphile, Huisman en 2016 [21] étend cette recherche à ce qui lui permet de résoudre le cas 74 :
- .
Grâce ces recherches exhaustives, tous les entiers qui ne sont pas congrus à 4 ou 5 modulo 9 possèdent une solution, laissant encore ouvert, à ce stade, les cas 33 et 42[19].
En , Andrew Booker (en) résout le cas , en découvrant que
- .
Pour obtenir ce résultat, Booker utilise une autre stratégie de recherche dont le temps de calcul est proportionnel à plutôt qu'à leur maximum[14],[22], une approche qui avait déjà été suggérée par Heath-Brown et al.[8],[23]. Il a aussi trouvé la représentation
et vérifié qu'il n'y a pas de solutions pour et pour tout autre entier de statut inconnu avec . En , Andrew Booker et Andrew Sutherland (en) résolvent le cas et trouvent que
- .
Ils utilisent pour cela la Charity Engine, un réseau mondial qui exploite la puissance de calcul inutilisée de 500 000 ordinateurs personnels ; le calcul a pris globalement 1,3 million d'heures de calcul[24]. Ils trouvent aussi que
Booker et Sutherland ont également trouvé une troisième représentation de après encore l'équivalent de 4 millions d'heures d'ordinateur sur Charity Engine, à savoir :
Cette découverte résout la question posée il y a 65 ans par Louis J. Mordell qui a suscité tant de recherches[29].
Les cas non résolus jusqu'à 1000 sont désormais 114, 390, 579, 627, 633, 732, 921 et 975[24].
Les entiers et inférieurs à 100 sont : 0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 24, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39, ... (suite A060464 de l'OEIS) Ci-dessous sont listées les valeurs des solutions , et correspondantes de l'équation avec la valeur minimale de et et :
- 0, 0, 0, 1, -1, 0, 0, 0, 1, -2, 7, -1, -511, 1, -1, 0, 1, -11, -2901096694, -1, 0, 0, 0, 1, -283059965, -2736111468807040, -1, 0, 1, 0, 1, 117367, ... (suite A060465 de l'OEIS)
- 0, 0, 1, 1, -1, -1, 0, 1, 1, -2, 10, 2, -1609, 2, -2, -2, -2, -14, -15550555555, -1, -1, 0, 1, 1, -2218888517, -8778405442862239, 2, 2, 2, -3, -3, 134476,… (suite A060466 de l'OEIS)
- 0, 1, 1, 1, 2, 2, 2, 2, 2, 3, -11, 2, 1626, 2, 3, 3, 3, 16, 15584139827, 3, 3, 3, 3, 3, 2220422932, 8866128975287528, 3, 3, 3, 4, 4, -159380,… ( suite A060467 de l'OEIS )
Dans les quatre listes ci-dessus, la 19e valeur, est en gras : elles indiquent que pour la solution entière la plus petite de l'équation est donnée par les valeurs correspondantes, soit :
- .
Intérêt public
modifierLe problème des sommes de trois cubes a été popularisé aux États-Unis par Brady Haran, créateur de la chaîne Numberphile sur YouTube ; avec en 2015 une vidéo intitulée « The Uncracked Problem with 33 » contenant une interview de Timothy Browning[30] ; six mois plus tard une autre vidéo avec Browning, intitulée « 74 is Cracked », parle de la découverte par Huisman en 2016 d'une solution pour 74[31]. En 2019, Numberphile publie trois vidéos intitulées « 42 is the new 33 », « The mystery of 42 is solved » et « 3 as the sum of 3 cubes », pour signaler la découverte de solutions pour 33, 42, et la nouvelle solution pour 3[32],[33],[34].
La solution de Booker pour 33 a été décrite aux États-Unis dans des articles de Quanta Magazine[35] et New Scientist[36], ainsi que dans Newsweek qui annonce la collaboration de Booker et Sutherland en ces termes : « ...the mathematician is now working with Andrew Sutherland of MIT in an attempt to find the solution for the final unsolved number below a hundred: 42. »[37]. En France, un article en parle dans Pour la Science[38], un autre dans les Images des mathématiques[1].
Le nombre 42 a suscite un intérêt supplémentaire à cause de son apparition dans le roman de science-fiction Le Guide du voyageur galactique de Douglas Adams où il est la réponse à « la grande question sur la vie, l'univers et le reste ».
L'annonce de la solution pour 42 par Booker et Sutherland[39],[40] a eu un écho international, y compris un article dans New Scientist[41], The Daily Mail[42], Die Zeit[43], Der Spiegel[44], et aussi sur Futura Science[45], Gurumed[46], Hitek[47] ou Tangente[48].
Solvabilité et décidabilité
modifierEn 1992, Roger Heath-Brown a conjecturé que tout entier qui n'est pas congru à 4 ou 5 modulo 9 possède une infinité de représentations comme somme de trois cubes[49]. Le cas de ce problème a été utilisé par Bjorn Poonen comme premier exemple illustrant un article de synthèse[50] sur les problèmes indécidables en théorie des nombres, dont le dixième problème de Hilbert est l'exemple le plus connu. Même si ce cas particulier a été résolu depuis, il n'est pas connu si le problème de représenter un entier comme somme de trois cubes est décidable.
Si la conjecture de Heath-Brown est vraie, le problème est décidable. Dans ce cas, un algorithme consiste simplement à calculer le reste de modulo 9, et de retourner « non » si la valeur est 4 ou 5, et « oui » sinon. L'article de Heath-Brown contient aussi des conjectures sur la limite des entiers à tester pour trouver une solution explicite[49].
Variantes
modifier- Une variante du problème liée au problème de Waring est la question de la représentation comme somme de trois cubes d'entiers naturels. Au XIXe siècle, Charles Gustave Jacob Jacobi et ses collaborateurs ont compilé des tables de solutions pour ce problème[51]. Il est conjecturé que les nombres représentables ont une densité positive[52],[53]. La question reste ouverte, mais Trevor Wooley a montré que de ces nombres entre et possèdent de telles représentations[54],[55],[56]. La densité est au plus [2].
- Tout entier peut être représenté comme somme de trois cubes de nombres rationnels (plutôt que comme somme de cubes d'entiers)[57],[58].Cette propriété a déjà été démontrée en 1825 dans le Ladies' Diary n° 35 par un certain S. Ryley qui a fourni la famille de solution (non exhaustive) pour [59]:
- .
- Par exemple, .
Notes et références
modifier- Shalom Eliahou, « Sommes de trois cubes, qui êtes-vous ? », Images des mathématiques, CNRS, (consulté le ).
- H. Davenport, « On Waring's problem for cubes », Acta Mathematica, vol. 71, , p. 123–143 (DOI 10.1007/BF02547752, MR 0000026)
- Yu. Yu. Machis, « On Euler's hypothetical proof », Mathematical Notes, vol. 82, no 3, , p. 352–356 (DOI 10.1134/S0001434607090088, MR 2364600)
- Kurt Mahler, « Note on Hypothesis K of Hardy and Littlewood », Journal of the London Mathematical Society, vol. 11, no 2, , p. 136–138 (DOI 10.1112/jlms/s1-11.2.136, MR 1574761)
- (ru) A. S. Verebrusov, « Объ уравненiи x3 + y3 + z3 = 2u3 » [« On the equation »], Matematicheskii Sbornik, vol. 26, no 4, , p. 622–624 (JFM 39.0259.02, lire en ligne)
- L.J. Mordell, « On sums of three cubes », Journal of the London Mathematical Society, vol. 17, no 3, , p. 139–144 (DOI 10.1112/jlms/s1-17.3.139, MR 0007761)
- Armen Avagyan et Gurgen Dallakyan, « A new method in the problem of three cubes », Universal Journal of Computational Mathematics, vol. 5, no 3, , p. 45-56 (DOI 10.13189/ujcmj.2017.050301, arXiv 1802.06776, lire en ligne)
- D. R. Heath-Brown, W. M. Lioen et H. J. J. te Riele, « On solving the Diophantine equation on a vector computer », Mathematics of Computation, vol. 61, no 203, , p. 235–244 (DOI 10.2307/2152950, JSTOR 2152950, Bibcode 1993MaCom..61..235H, MR 1202610, lire en ligne)
- L.J. Mordell, « On the integer solutions of the equation », Journal of the London Mathematical Society, vol. 28, , p. 500–510 (DOI 10.1112/jlms/s1-28.4.500, MR 0056619)
- L'égalité mod 9 de nombres dont la somme des cubes est 3 a été attribuée à John Cassels par (Mordell 1953), mais sa démonstration n'a pas été publiée avant J. W. S. Cassels, « A note on the Diophantine equation », Mathematics of Computation, vol. 44, no 169, , p. 265–266 (DOI 10.2307/2007811, JSTOR 2007811, MR 771049, lire en ligne).
- J. C. P. Miller et M. F. C. Woollett, « Solutions of the Diophantine equation », Journal of the London Mathematical Society, vol. 30, , p. 101–110 (DOI 10.1112/jlms/s1-30.1.101, MR 0067916)
- V. L. Gardiner, R. B. Lazarus et P. R. Stein, « Solutions of the diophantine equation », Mathematics of Computation, vol. 18, no 87, , p. 408–413 (DOI 10.2307/2003763, JSTOR 2003763, MR 0175843)
- W. Conn et L. N. Vaserstein, « On sums of three integral cubes », dans The Rademacher legacy to mathematics (University Park, PA, 1992), vol. 166, Providence, Rhode Island, American Mathematical Society, coll. « Contemporary Mathematics », (DOI 10.1090/conm/166/01628, MR 1284068), p. 285–294
- Andrew Bremner, « Number theory (Halifax, NS, 1994) », CMS Conference Proceedings, Providence, Rhode Island, American Mathematical Society, vol. 15, , p. 87–91 (MR 1353923)
- Kenji Koyama, Yukio Tsuruoka et Hiroshi Sekigawa, « On searching for solutions of the Diophantine equation », Mathematics of Computation, vol. 66, no 218, , p. 841–851 (DOI 10.1090/S0025-5718-97-00830-2, MR 1401942)
- Noam D. Elkies, « Rational points near curves and small nonzero via lattice reduction », dans Algorithmic number theory (Leiden, 2000), Springer, Berlin, coll. « Lecture Notes in Computer Science » (no 1838), (DOI 10.1007/10722028_2, MR 1850598, arXiv math/0005139), p. 33–63
- Michael Beck, Eric Pine, Wayne Tarrant et Kim Yarbrough Jensen, « New integer representations as the sum of three cubes », Mathematics of Computation, vol. 76, no 259, , p. 1683–1690 (DOI 10.1090/S0025-5718-07-01947-3, MR 2299795)
- Andreas-Stephan Elsenhans et Jörg Jahnel, « New sums of three cubes », Mathematics of Computation, vol. 78, no 266, , p. 1227–1230 (DOI 10.1090/S0025-5718-08-02168-6, MR 2476583)
- Sander G. Huisman, « Newer sums of three cubes », Arxiv, (arXiv 1604.07746)
- (Elsenhans et Jahnel 2009)
- (Huisman 2016)
- Andrew R. Booker, « Cracking the problem with 33 », Research in Number Theory, vol. 5, no 26, (DOI 10.1007/s40993-019-0162-1, MR 3983550)
- D. R. Heath-Brown, W.M. Lioen et H.J.J te Riele, « On solving the Diophantine equation on a vector computer », Mathematics of Computation, vol. 61, no 203, , p. 235–244 (DOI 10.2307/2152950, JSTOR 2152950, MR 1202610, lire en ligne)
- Robin Houston, « 42 is the answer to the question 'what is (-80538738812075974)3 + 804357581458175153 + 126021232973356313?' », The Aperiodical,
- « page personnelle d'Andrew V. Sutherland » (consulté le )
- Donna Lu, « Mathematicians find a completely new way to write the number 3 », sur New Scientist, (consulté le )
- markmcan, « Insanely huge sum-of-three cubes for 3 discovered – after 66 year search », sur Twitter,
- Edward Dunne, « 3 », sur AMS Blogs, (consulté le ).
- L.J. Mordell, « On the Integer Solutions of the Equation », Journal of the London Mathematical Society, vol. 28, , p. 500–510 (DOI 10.1112/jlms/s1-28.4.500, MR 56619)
- Brady Haran, « The uncracked problem with 33 », Numberphile,
- Brady Haran, « 74 is cracked », Numberphile,
- Brady Haran, « 42 is the new 33 », Numberphile,
- Brady Haran, « The mystery of 42 is solved », Numberphile,
- Brady Haran, « 3 as the sum of 3 cubes », Numberphile,
- John Pavlus, « Sum-of-Three-Cubes Problem Solved for 'Stubborn' Number 33 »,
- Donna Lu, « Mathematician cracks centuries-old problem about the number 33 »,
- Aristos Georgiou, « The uncracked problem with 33: Mathematician solves 64-year-old 'Diophantine puzzle' »,
- Sean Bailly, « Problème des 3 cubes : il n’en reste plus qu’un », Pour la Science, (consulté le ).
- « Sum of three cubes for 42 finally solved – using real life planetary computer », University of Bristol,
- Sandi Miller, « The answer to life, the universe, and everything: Mathematics researcher Drew Sutherland helps solve decades-old sum-of-three-cubes puzzle, with help from "The Hitchhiker's Guide to the Galaxy." », Massachusetts Institute of Technology,
- Donna Lu, « Mathematicians crack elusive puzzle involving the number 42 »,
- Colin Fernandez, « Unlocked, the secret of 42 (but not life, the universe and everything): Experts finally crack complicated maths riddle after 65 years », sur Daily Mail,
- « Matheproblem um die Zahl 42 geknackt », sur Die Zeit,
- « Matheproblem um die 42 geknackt », sur Der Spiegel,
- « Mathématiques : le problème des trois cubes a enfin été résolu », Futura Science, (consulté le ).
- « 42 par la somme de 3 cubes : la réponse à La grande question sur la vie, l’univers et le reste… », Gurumed, (consulté le ).
- GomeWars, « Le problème des trois cubes finalement résolu après plus d'un million d'heures de calcul », Hitek actualités, (consulté le ).
- Bertrand Hauchecorne, « On peut enfin écrire 42 comme somme de trois cubes », Tangente (consulté le ).
- D. R. Heath-Brown, « The density of zeros of forms for which weak approximation fails », Mathematics of Computation, vol. 59, no 200, , p. 613–623 (DOI 10.1090/s0025-5718-1992-1146835-5, JSTOR 2153078, MR 1146835)
- Bjorn Poonen, « Undecidability in number theory », Notices of the American Mathematical Society, vol. 55, no 3, , p. 344–350 (MR 2382821, lire en ligne)
- Leonard Eugene Dickson, History of the Theory of Numbers, Vol. II: Diophantine Analysis, Carnegie Institution of Washington, (lire en ligne), p. 717
- Antal Balog et Jörg Brüdern, « Sums of three cubes in three linked three-progressions », Journal für die Reine und Angewandte Mathematik, vol. 1995, no 466, , p. 45–85 (DOI 10.1515/crll.1995.466.45, MR 1353314)
- Jean-Marc Deshouillers, François Hennecart et Bernard Landreau, « On the density of sums of three cubes », dans Algorithmic Number Theory: 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings, Berlin, Springer, coll. « Lecture Notes in Computer Science » (no 4076), (DOI 10.1007/11792086_11, MR 2282921), p. 141–155
- Trevor D. Wooley, « Breaking classical convexity in Waring's problem: sums of cubes and quasi-diagonal behaviour », Inventiones Mathematicae, vol. 122, no 3, , p. 421–451 (DOI 10.1007/BF01231451, MR 1359599, hdl 2027.42/46588, lire en ligne)
- Trevor D. Wooley, « Sums of three cubes », Mathematika, vol. 47, nos 1–2, , p. 53–61 (2002) (DOI 10.1112/S0025579300015710, MR 1924487, hdl 2027.42/152941)
- Trevor D. Wooley, « Sums of three cubes, II », Acta Arithmetica, vol. 170, no 1, , p. 73–100 (DOI 10.4064/aa170-1-6, MR 3373831, lire en ligne)
- H. W. Richmond, « On analogues of Waring's problem for rational numbers », Proceedings of the London Mathematical Society, vol. 21, , p. 401–409 (DOI 10.1112/plms/s2-21.1.401, MR 1575369)
- H. Davenport et E. Landau, « On the representation of positive integers as sums of three cubes of positive rational numbers », dans Number Theory and Analysis (Papers in Honor of Edmund Landau), New York, Plenum, (MR 0262198), p. 49–53
- (en) MICHAEL BECK, ERIC PINE, WAYNE TARRANT, KIM YARBROUGH JENSEN, « NEW INTEGER REPRESENTATIONS AS THE SUM OF THREE CUBES », MATHEMATICS OF COMPUTATION, vol. 76, no 259, , p. 1684
Liens externes
modifier- Hisanori Mishima, « Solutions of n = x3 + y3 + z3 for 0 ≤ n ≤ 99 »
- Daniel J. Bernstein, « threecubes »,
- Mathpages, « Sums of three cubes »
- Timothy Browning, « The Uncracked Problem with 33 », sur Numberphile
- Timothy Browning, « 74 is cracked », sur Numberphile
- Andrew Booker, « 42 is the new 33 », sur Numberphile
- Andrew Booker, « The Mystery of 42 is Solved », sur Numberphile
- Andrew Booker, « 3 as a sum of 3 cubes », sur Numberphile