Nombre de Descartes

En théorie des nombres, un nombre de Descartes est un nombre impair qui serait un nombre parfait impair, si l'un de ses diviseurs composés était considéré comme premier. Ces nombres portent le nom de René Descartes qui a observé que le nombre $D = 3 272 \cdot11 2 \cdot13 2 \cdot22 021 = (3\cdot1 001) 2 \cdot (22\cdot1001 - 1) = 198 585 576 189$ serait un nombre parfait impair si son diviseur $22 021$ était premier ; en effet, la somme de ses diviseurs serait égale à son double :

{\begin{aligned}\sigma (D)&=(3^{2}+3+1)\cdot (7^{2}+7+1)\cdot (11^{2}+11+1)\cdot (13^{2}+13+1)\cdot (22021+1)=(13)\cdot (3\cdot 19)\cdot (7\cdot 19)\cdot (3\cdot 61)\cdot (22\cdot 1001)\\&=3^{2}\cdot 7\cdot 13\cdot 19^{2}\cdot 61\cdot (22\cdot 7\cdot 11\cdot 13)=2\cdot (3^{2}\cdot 7^{2}\cdot 11^{2}\cdot 13^{2})\cdot (19^{2}\cdot 61)=2\cdot (3^{2}\cdot 7^{2}\cdot 11^{2}\cdot 13^{2})\cdot 22021=2D.\end{aligned}}

Mais 22 021 est composé ( $22 021 = 19 2 \cdot 61$ ).

Un nombre de Descartes est donc défini comme étant un nombre impair $n = m \cdot p$ où $m$ et $p$ sont premiers entre eux, $p$ non premier et $2 n = σ(m) \cdot (p + 1)$ ; en effet, si $p$ était premier, on aurait $\sigma (n)=2n$ .

Exemples

Excepté le cas $m=p=n=1$ , l'exemple donné ci-dessus est le seul exemple non trivial connu actuellement.

Si $m$ est un nombre impair presque parfait, c'est-à-dire si $σ(m) = 2 m - 1$ , alors $n = m \cdot (2 m - 1)$ est un nombre de Descartes pour le faux nombre premier $p=2m-1$ ; en effet, $σ(n) = σ(m \cdot (2 m - 1)) = σ(m) \cdot 2 m = (2 m - 1) \cdot 2 m = 2 n$ . Si $2 m - 1$ était premier, $n$ serait un nombre parfait impair.

Mais actuellement, les seuls nombres presque parfaits connus sont les puissances de 2 ; le seul nombre impair presque parfait connu est donc le nombre 1, ce qui redonne l'exemple trivial de nombre de Descartes égal à 1.

Propriétés

Un nombre de Descartes $n = m \cdot p$ est forcément abondant puisque la vraie valeur de $\sigma (p)$ est strictement supérieure à $p+1$ et $\sigma (n)=\sigma (m)\sigma (p)>\sigma (m)(p+1)=2n$ .

Banks et al. ont montré en 2008 que si $n$ est un nombre de Descartes sans cube et non multiple de $3$ , $n$ a plus d'un million de diviseurs premiers distincts.

Généralisations

John Voight a généralisé les nombres de Descartes en autorisant les nombres négatifs. Il a trouvé l'exemple $n=3^{4}7^{2}11^{2}19^{2}(-127)^{1}$ où, si l'on suppose $\sigma (-127)=-127+1$ , on obtient $\sigma (n)=2n$ [1] . Des mathématiciens de l'Université Brigham-Young ont obtenu d'autres exemples similaires à celui de Voight [1] - [2].

Notes

(en) « Mathematicians Open a New Front on an Ancient Number Problem », sur Quanta magazine, 2020
Andersen, Nickolas; Durham, Spencer ; Griffin, Michael J. ; Hales, Jonathan ; Jenkins, Paul ; Keck, Ryan ; Ko, Hankun ; Molnar, Grant; Moss, Eric ; Nielsen, Pace P. ; Niendorf, Kyle ; Tombs, Vandy; Warnick, Merrill ; Wu, Dongsheng, « Odd, spoof perfect factorizations », J. Number Theory, n^o 234,‎ 2020, p. 31-47 (arXiv 2006.10697) arXiv version

Références

William D. Banks, Ahmet M. Güloğlu, C. Wesley Nevans et Filip Saidak, Anatomy of integers. Based on the CRM workshop, Montreal, Canada, March 13--17, 2006, vol. 46, Providence, RI, American Mathematical Society, coll. « CRM Proceedings and Lecture Notes », 2008, 167–173 p. (ISBN 978-0-8218-4406-9, zbMATH 1186.11004), « Descartes numbers »

Victor Klee et Stan Wagon, Old and new unsolved problems in plane geometry and number theory, vol. 11, Washington, DC, Mathematical Association of America, coll. « The Dolciani Mathematical Expositions », 1991 (ISBN 0-88385-315-9, zbMATH 0784.51002, lire en ligne )