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²7²⋅11²⋅13²⋅22 021 = (3⋅1 001)² ⋅ (22⋅1001 − 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² ⋅ 61).

Un nombre de Descartes est donc défini comme étant un nombre impair n = m ⋅ p où m et p sont premiers entre eux, p non premier et 2n = σ(m) ⋅ (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) = 2m − 1, alors n = m ⋅ (2m − 1) est un nombre de Descartes pour le faux nombre premier $p=2m-1$ ; en effet, σ(n) = σ(m ⋅ (2m − 1)) = σ(m) ⋅ 2m = (2m − 1) ⋅ 2m = 2n. Si 2m − 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 ⋅ 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$ . Des mathématiciens de l'Université Brigham-Young ont obtenu d'autres exemples similaires à celui de Voight .

Articles connexes

• Les nombres d'Erdős-Nicolas, autre type de nombres presque parfaits.
• La suite A174292 de l'OEIS qui donne les "spoof perfect numbers", nombres (pairs ou impairs) non parfaits, qui seraient parfaits si l'un (ou plusieurs) de leurs diviseurs composés était considérés comme premiers.

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 )