![]() ![]() » Cas de deux cubes |
Tout entier naturel n non nul peut-il s'écrire sous la forme x3 + y3 + z3 (x, y et z entiers non nuls) ?
Il s'agit aujourd'hui encore d'un problème ouvert. Des stratégies appliquées à certains types d'entiers ont été mis au point mais aucun algorithme général n'a été exhibé (» voir par exemple réf.6b). Pour un entier n donné, la recherche d'une solution (x,y,z) s'avère généralement stérile, d'autant que n est grand, si l'on se limite aux entiers naturels, et ce malgré l'aide d'ordinateurs puissants. On se place alors dans l'ensemble Z* des entiers relatifs non nuls. C'est ainsi que pour les 100 premiers entiers naturels, la recherche s'est terminée victorieusement en 2019, comme on va le voir ci-après.
♦ Accepter 0 pour valeur de x, y et/ou z, devient une décomposition en somme de deux cubes non nuls, voire un seul..., comme 23 = 03 + 13 + 13 et 8 = 03 + 03 + 23. On sort du problème étudié.
♦ Par souci de simplification de l'écriture, une somme algébrique comme 2 = 73 + (-6)3 + (-5)3 peut s'écrire 2 = 73 - 63 - 53.
Quelques exemples de décomposition en somme de trois cubes :
2 = 73 - 63 - 53 ; 3 = 13 + 13 + 13 = 43 + 43 - 53 ; 6 = (-1)3 + (-1)3 + 23 ; 7 = 1043 + 323 - 1053
9 = 2173 - 2163 - 523 ; 10 = (-3)3 + (-3)3+ 43; ... ; 100 = 783 + 463 - 833.
∗∗∗
Montrer que pour n = 2, on a une infinité de décomposition en développant :
(1 + 6t3)3 + (1 - 6t3)3,
t ∈ N.
Par exemple : si t = 1000, 60013
+ (-5999)3 - 6003 = 2
En se limitant à n ≤ 100, pas de solutions pour les entiers 4, 5, 13, 14, 22, 23, 31, 32, 40, 41, 49, 50, 58, 59, 67, 68, 76, 77, 85, 86, 94 et 95 car :
Un entier congru à 4 ou 5 modulo 9 ne peut
pas s'écrire comme somme de trois cubes
(»
congruences arithmétiques)
Preuve : soit x ∈ Z. On voit ci-dessous que les restes possibles, modulo 9, de la division euclidienne de x3 par 9 sont 0 et ± 1. On en déduit que les restes possibles de la somme n = x3 + y3 + z3 sont 0, ± 1 (1 ou 8), ± 2 (2 ou 7) et ± 3 (3 ou 6) : la somme n de trois cubes ne peut pas être congru à 4 ou 5.
restes de x ÷ 9 |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 ≡ -1 |
restes de x2 ÷ 9 | 1 | 4 | 0 | 7 | 7 | 0 | 4 | 1 |
restes de x3 ÷ 9 | 1 | 8 ≡ -1 | 0 | 1 | 8 ≡ -1 | 0 | 1 | 8 ≡ -1 |
Autrement dit, vu que 5 = - 4 [9]
Une condition nécessaire pour qu'un entier naturel n s'écrive comme somme de trois cubes est n ≠ ± 4 [9].
On ne sait toujours pas si cette condition est suffisante pour assurer une décomposition en trois cubes. Elle permet en tout cas d'éliminer des cas de recherche inutiles.
La recherche relative aux 78 premiers entiers naturels susceptibles d'être décomposables en somme de 3 cubes s'est achevée fin 2019 grâce à l'entêtement d'un mathématicien britannique, Andrew R. Booker, professeur à l'université de Bristol : 33 et 42 résistaient encore cette année là.
En 2016, le physicien et mathématicien Sander G. Huisman (université de Twente, Pays-Bas) découvrait la décomposition de 74 après plus de 100 000 heures de calcul, en poussant les recherches de |x|, |y| et |z| jusqu'à 1015 :
74 = (- 284 650 292 555 885)3 + (283 450 105 697 727)3 + (66 229 832 190 556)3 (» réf.4)
Pour n = 33, Booker établit un programme de recherches sophistiqué (» réf.1a) en poussant à max(|x|, |y|, |z|) ≤ 1016 et obtient fructueusement en mars 2019 :
33 = (8 866 128 975 287 528)3 + (- 8 778 405 442 862 239)3 + (- 2 736 111 468 807 040)3
Pour n = 42, Booker et Andrew V. Sutherland du MIT poussent victorieusement jusqu'à 1017 avec un nouvel algorithme approprié et trouvent, à l'automne de la même année : (» réf.1b)
42 = (- 80 538 738 812 075 974)3 + (80 435 758 145 817 515)3 + (12 602 123 297 335 631)3
et la découverte de ce résultat nécessita un demi-million d'ordinateurs de particuliers à travers le monde utilisés pendant les heures d'inutilisation de ces derniers (» Futura Sc., réf.5) !
➔ On peut ainsi noter ce résultat fort intéressant :
les 78 entiers naturels n, n ≤ 100, non congrus à 4 ou 5 modulo 9 (soit ± 4 modulo 9) possèdent
au moins une décomposition en somme de trois cubes (» site cr.yp.to : réf.3).
Autrement dit, la condition nécessaire
d'existence d'une décomposition énoncée au début de cette étude s'avère
suffisante si n ≤ 100. Au-delà de n = 100, ce joli résultat est entaché
d'incertitudes : par exemple et parmi de nombreux autres, 975 = 3 [9], donc distinct de ± 4
modulo 9, mais pas de décomposition trouvée avec max(|x|, |y|, |z|)
= 1015 (»
réf.3).
En
1955, Mordell, qui s'intéressait encore à sujet depuis
les années 1940, admettait ne pas trouver de décompositions de 3 autres
que 13 + 13 + 13 et
43 + 43 + (-5)3 (»
réf.6a), son équipe se limitant à max(|x|,
|y|, |z|) ≤ 3200. Pas étonnant, car une solution
pas vraiment triviale, découverte par Booker et Sutherland en 2020 (»
réf.1b), a nécessité max (|x|, |y|,
|z|) = 1021 :
5699368212219623807203 + (- 569936821113563493509)3 + (- 472715493453327032)3 = 3
Décomposition d'un entier naturel en somme de deux cubes : |
Un entier naturel n non nul peut-il s'écrire sous la forme x3 + y3 (x et y entiers non nuls) ?
à la manière du cas précédent, on montrera facilement ce résultat :
Un entier congru à 3, 4, 5 ou 6 modulo 9 ne peut pas s'écrire comme somme de deux cubes
Autrement dit :
Une condition nécessaire pour qu'un entier naturel n s'écrive comme somme de deux cubes est que son reste dans la division euclidienne par 9 soit égal à 0, 1, 2, 7 ou 8, ce qui équivaut à n = 9k, 9k ± 1, 9k ± 2.
En vertu de l'identité remarquable bien connue a3 - b3 = (a - b)(a2 + ab + b2), on a :
x3 + y3
= (x + y)(x2 - xy +y2)
(f)
On peut supposer x > 0 et y > 0 : n = x3 + y3 ou bien x > 0 et y < 0 : n = x3 + (- y)3 = x3 - y3 (somme de deux cubes dans Z, différence de deux cubes dans N).
Le cas x = y est trivial : il peut se produire lorsque n est pair, n = 2x3, réduisant la recherche à la racine cubique de n/2. Par exemple, 2 = 13 + 13; 16 = 23 + 23, 54 = 33 + 33, etc.
Le cas x = 1 (resp. y = ±1) conduit à n = 13 + y3 (resp. n = x3 ± 13) : tout cube augmenté ou diminué de 1 est une solution du problème : 2 = 13 + 13, 7 = 23 - 13, 9 = 23 + 13, 26 = 33 - 13, 28 = 33 + 13, 63 = 43 - 13, 65 = 43 + 13, ... , 1729 = 123 + 13, ...
i On se place désormais dans le cas x ≥ 1 avec y ≥ 2 ou y < 0 :
Proposition :
Dans la décomposition (f) : x3 + y3 = (x + y)(x2 - xy +y2) , on a x + y ≤ x2 - xy + y2.
Preuve : cette inégalité peut s'écrire y2 - y(x + 1) + x2 - x ≥ 0; le discriminant est Δ = 4 - 3(x - 1)2.
Si x = 1, Δ = 4, l'inéquation se réduit à y2 - 2y = y(y - 2) ≥ 0, c'est à dire à y < 0 ou y ≥ 2, ce qui est bien le cas.
Si x = 2, Δ = 1, l'inéquation se réduit à y2 - 3x + 2 = (y - 1)(y - 2) ≥ 0, c'est à dire y ≥ 2.
Si x ≥ 3, Δ < 0 : y2 - y(x + 1) + x2 - x ne possède pas de solution et garde le signe de y2 > 0 pour tout y on nul; la propriété est vérifiée.
Revenons à la factorisation
(f)
: x3 + y3
= (x + y)(x2 - xy +y2).
à la manière de Sutherland &
Booker
n = rs, r ≤ s avec 3x2 - 3rx + r2 - s = 0, y = r - x (rs)
Par suite, connaissant la décomposition en facteurs premiers de l'entier n, on teste les diverses factorisations du type n = r × s, r ≤ s, l'équation du second degré permet mesure de connaître x puis y à condition que ses racines soient dans Z, dont l'une positive.
➔ La somme des racines étant 3r/3 = r = x + y, l'équation (rs) fournit x et y dans les conditions exposées. Le produit des racines est (r2 - s)/3 : lorsque r2 - s < 0, la décomposition sera une différence de deux cubes.
Exemple 1 : n = 91 : n ± 1 n'est pas un cube; 91 = 7 × 13. Posons r = 7, s = 13. On est amené à résoudre 3x2 - 21x + 36 = 0; les solutions sont x = 4 et x = 3. On en déduit 91 = 43 + 33. Inutile de tester r = 13, s = 7 (r > s).
Exemple 2 :
n = 1729 : n ± 1 n'est pas un cube; 1729 = 7 × 13 × 19.
Testons r = 7, s = 13 × 19 = 247. On obtient 3x2 - 21x - 198 = 0.
Δ = 2817 n'est pas un carré parfait; à rejeter
Testons r = 13, s = 7 × 19 = 247. On obtient 3x2 - 39x + 36 = 0.
Δ = 1089 = 332. Ce qui fournit x = 1 ou x = 12 :
1729 = 13 + 123.
Testons r = 19, s = 7 × 13 = 91. On obtient 3x2 - 57x + 270 = 0.
Δ = 9 = 32. Ce qui fournit x = 9 ou x = 10 :
1729 = 93 + 103.
Inutile de tester les autres combinaisons : on aurait r > s.
i Pour la petite histoire, 1729 est lié à Ramanujan et G. Hardy : ce dernier était venu en taxi pour rencontrer le jeune mathématicien indien. Le véhicule portait le no 1729. A son arrivée, il en fit par à Ramanujan en lui disant n'avoir rien trouvé d'intéressant à ce nombre en y réfléchissant le long du trajet. Mais si, lui dit-il, c'est le plus petit entier décomposable de deux façons en une somme deux cubes. Depuis, on appelle nombres de Hardy-Ramanujan ou, plaisamment, nombres Taxicab d'ordre k un entier se décomposant de k façons distinctes en somme de deux cubes (» réf.13).
Exemple 3 : n = 217 : n - 1 = 216 = 63. On peut donc écrire 217 = 63 + 13.
Exemple 4 :
n = 819 : n ± 1 n'est pas un cube; la décomposition en facteurs premiers
conduit à 819 = 32 × 7 × 13.
Testons r = 3, s = 273. On obtient 3x2 - 9x - 264 = 0.
x = 11 ou x = -8 :
819 = 113 -83.
Les cas r = 7, 9 et 13 ne conduisent pas à des solutions entières.
Testons r = 3 × 7 = 21, s = 39. On obtient 3x2 - 63x + 402
= 0. Pas de solution.
Les autres combinaisons conduisent à r > s : à rejeter.
Exemple 5 : n = 55 : n ± 1 n'est pas un cube; 55 = 5 × 11. Posons r = 5, s = 11. On est amené à résoudre 3x2 - 15x - 96 = 0; les solutions ne sont pas entières. On en déduit que 55 ne s'exprime pas comme somme ou différence de deux cubes. C'est par contre une somme de trois cubes dont parmi d'autres décompositions : 55 = 43 -13 - 23 = 103 - 63 - 93 (» réf.3).
! Noter qu'un entier peut admettre des décompositions en somme de deux cubes et en somme de trois cubes; trois exemples :
7 = 23 - 13 = 323 + 1043 - 1053;
19 = 33 - 23 = 263 + 763 - 773;
56 = 43 - 23 = 313 + 423 - 473.
➔ Pour en savoir plus :
a) Cracking the problem with 33, par Andrew R. Booker
:
https://people.maths.bris.ac.uk/~maarb/papers/cubesv1.pdf
b) Sums of three cubes (Shuterland & Booker), mai 2020 :
https://math.mit.edu/~drew/NTW2020.pdf
Table n < 100 (en acceptant 0) : http://www.asahi-net.or.jp/~KC2H-MSM/mathland/math04/matb0100.htm
Table 1 < n < 1000 (antérieures à 2016) avec les solutions distinctes trouvées pour un même entiers : http://cr.yp.to/threecubes/19990801