Nombre puissant
Modèle:Exemple flottant En mathématiques, un nombre puissant est un entier naturel m non nul tel que, pour chaque nombre premier p divisant m, p2 divise aussi m ou, ce qui est équivalent, m est un carréModèle:Note, un cube ou le produit d'un carré par un cube. Ces nombres ont été étudiés entre autres par Erdős, Szekeres et Golomb.
Les 26 premiers termes de cette suite d'entiers (Modèle:OEIS) sont :
- 1, 4, 8, 9, 16, 25, 27, 32, 36, 49, 64, 72, 81, 100, 108, 121, 125, 128, 144, 169, 196, 200, 216, 225, 243, 256.
Équivalence des deux définitions
Pour tout nombre premier p, notons kp l'exposant (éventuellement nul) de p dans la décomposition en facteurs premiers de m. La première définition équivaut à :
et la seconde à :
La seconde implique donc clairement la première. La réciproque se vérifie facilement en prenant vp égal à 0 ou 1, selon la parité de kp.
Propriétés
Décomposition
La décomposition d'un nombre puissant en produit d'un cube et d'un carré n'est pas unique dès lors qu'une des puissances dans sa décomposition en facteurs premiers vaut 6 ou est supérieure ou égale à 8. En effet <math>p^6</math> peut être lu comme le carré de <math>p^3</math> ou le cube de <math>p^2</math>.
Cependant, pour un nombre puissant ni cube, ni carré, la décomposition d'un nombre puissant sous la forme <math>a^2b^3</math>, où <math>b</math> est un entier sans facteur carré, est unique.
Répartition
Il existe une infinité de nombres puissants mais aucun de la forme Modèle:Math (doubles d'un impair).
La somme des inverses des nombres puissants converge Modèle:Retrait r^{-1} = \prod_{p \text{ premier}}\left(1+\frac{1}{p(p-1)}\right)= \frac{\zeta (2)\cdot\zeta (3)}{\zeta (6)}</math>}} où <math>\zeta ()</math> est la fonction zêta de RiemannModèle:Sfn ; voir la Modèle:OEIS.
Stabilité
Le produit de deux nombres puissants est un nombre puissantModèle:Sfn; les éléments primitifs sont les carrés et cubes de nombres premiers.
Nombres puissants consécutifs
Il existe une infinité de paires de nombres puissants consécutifs comme (8,9) ou (288,289). On peut en générer autant que l'on veut à l'aide d'une équation de Pell-FermatModèle:Sfn. Si <math>(x,y)</math> est solution de <math> x^2-2y^2=\pm 1</math> alors <math>(A,\, B)</math> où <math>A=8(xy)^2</math> et <math>B=(x^2+2y^2)^2</math> est un couple de nombres puissants consécutifs. En 1970, on ne connaissait qu'un seul couple de nombres puissants consécutifs dont aucun n'est un carréModèle:Sfn : le couple <math>(23^3,\,2^3\times 39^2)</math>.
Plus généralement, en 1982, Wayne L. McDaniel a démontré que tout nombre entier peut s'écrire d'une infinité de façons comme la différence de deux nombres puissants<ref>Modèle:Article</ref>.
Concernant une suite de trois nombres puissants consécutifs, il est conjecturé mais non encore démontré, qu'il n'en existerait pas<ref>Modèle:MathWorld</ref>.
Une suite de quatre nombres puissants consécutifs ne peut pas exister car parmi 4 entiers consécutifs, l'un est nécessairement le double d'un nombre impair et ne peut donc pas être puissantModèle:Sfn.
