Théorème de Carmichael

En théorie des nombres, le théorème de Carmichael, du nom du mathématicien américain R. D. Carmichael, énonce que, pour toute suite de Lucas non dégénérée de première espèce Modèle:Math de paramètres $P,Q$ premiers entre eux et de discriminant strictement positif, le nombre $U_n(P,Q)$ a, pour $n\ne 1,2,6$, au moins un diviseur premier qui ne divise aucun nombre précédent dans la suite, à l'exception du nombre de Fibonacci $F_{12}=U_{12}(1,-1)=144$ et de son équivalent $-F_{12}=U_{12}(-1,-1)=-144$.

En particulier, pour $n>12$, le nombre de Fibonacci $F_n$ a au moins un diviseur premier qui ne divise aucun nombre de Fibonacci antérieur.

Carmichael a démontré ce théorème en 1913. Récemment en 2001, Yabuta en a donné une preuve simple.

Énoncé

Étant donné deux entiers premiers entre eux $P,Q$, tels que $D=P^2-4Q>0$ et Modèle:Formule, soit Modèle:Formule la suite de Lucas de première espèce définie par

$\begin{array}{cc}{U}_0(P,Q)& =0,\\ U_1(P,Q)& =1,\\ U_n(P,Q)& =P\cdot U_{n-1}(P,Q)-Q\cdot U_{n-2}(P,Q)\text{ pour }n>1.\end{array}$

Alors, pour $n\ne 1,2,6$, $U_n(P,Q)$ a au moins un diviseur premier qui ne divise aucun $U_m(P,Q)$ avec $0<m<n$, sauf $U_{12}(1,-1)=F_{12}=144$, et

$U_{12}(-1,-1)=-F_{12}=-144$. Un tel nombre premier $p$ est appelé facteur caractéristique ou diviseur premier primitif de $U_n(P,Q)$.

Carmichael a en fait montré un théorème légèrement plus fort : Pour $n\ne 1,2,6$, $U_n(P,Q)$ a au moins un diviseur premier primitif ne divisant pas $D$ sauf

$U_3(1,-2)=U_3(-1,-2)=3,U_5(1,-1)=U_5(-1,-1)=F(5)=5,U_{12}(1,-1)=F(12)=144,U_{12}(-1,-1)=-F(12)=-144.$

Il faut noter que $D$ doit être strictement positif ; ainsi les cas $U_{13}(1,2),U_{18}(1,2),U_{30}(1,2),$ etc. ne sont pas inclus, puisque dans ces cas $D=-7<0$.

Cas des nombres de Fibonacci et des nombres de Pell

Les seules exceptions dans les nombres de Fibonacci pour $n$ jusqu'à 12 sont :

$F_1=1$ et $F_2=1$, qui n'ont pas de diviseurs premiers

$F_6=8$, dont le seul diviseur premier est 2 (qui est $F_3$)

$F_{12}=144$, dont les seuls diviseurs premiers sont 2 (qui est $F_3$) et 3 (qui est $F_4$)

La suite des plus petits diviseurs premiers primitifs de $F_n$ pour $n⩾1$ (prenant la valeur 1 si ce diviseur premier n'existe pas) :

1, 1, 2, 3, 5, 1 ($n$ = 6), 13, 7, 17, 11, 89, 1 ($n$ = 12), 233, 29, 61, 47, 1597, 19, 37, 41, 421, 199, 28657, 23, 3001, 521, 53, 281, 514229, 31, 557, 2207, 19801, 3571, 141961, 107, 73, 9349, 135721, 2161, 2789, 211, 433494437, 43, 109441... Modèle:OEIS

Si $n>1$, le nombre de Pell d'indice $n$ a au moins un diviseur premier qui ne divise aucun nombre de Pell antérieur. Ces plus petits diviseurs premiers primitifs pour $n⩾1$ (avec la même définition en cas de non existence que ci-dessus) sont :

1, 2, 5, 3, 29, 7, 13, 17, 197, 41, 5741, 11, 33461, 239, 269, 577, 137, 199, 37, 19, 45697, 23, 229, 1153, 1549, 79, 53, 113, 44560482149, 31, 61, 665857, 52734529, 103, 1800193921, 73, 593, 9369319, 389, 241... Modèle:OEIS

Voir aussi

• Théorème de Zsigmondy (qui énonce une propriété similaire pour les suites $(a^n\pm b^n)$).