##  [Théorème de Zsigmondy](/fr/node/62963) 

 Définition

Résultat en théorie des nombres affirmant que pour des entiers a>b>0 tels que gcd(a,b)=1 et pour n>1, l'entier a^n−b^n possède un diviseur premier primitif (un premier qui divise a^n−b^n mais ne divise aucun a^k−b^k pour 1≤k

 

 

 

 

 

 





## Principe

Principe

Des diviseurs premiers primitifs apparaissent généralement dans la suite des a^n−b^n quand n croît ; le théorème organise les situations où un tel premier neuf doit exister et isole les cas structurels exceptionnels.

 

 

 

 

 





## Démonstration

Démonstration

Exemple : pour a=3, b=1 et n=3, 3^3−1=26 et 13 est un diviseur premier primitif car 13 divise 26 mais ne divise ni 3^1−1=2 ni 3^2−1=8.

 

 

 

 

## Mauvaise application

Mauvaise application

Prétendre qu'il existe un diviseur premier primitif pour n=1 ou ignorer les exceptions explicites (par exemple affirmer le résultat pour (a,b,n)=(2,1,3) sans tenir compte de l'exception) ou appliquer le théorème lorsque gcd(a,b)≠1 sans ajuster les hypothèses.

 

 

 

 

 





## Conséquence

Conséquence

On obtient un contrôle sur l'ordre multiplicatif de a modulo les premiers divisant a^n−b^n, utile pour des résultats sur les ordres, les facteurs cyclotomiques et les arguments de finitude en problèmes diophantiens.

 

 

 

 

## Inversion

Inversion

Si aucun diviseur premier primitif n'existe pour un triplet (a,b,n) donné, les nombres appartiennent à l'un des cas structurels exceptionnels décrits par le théorème, ce qui indique des relations algébriques particulières entre a et b ou un petit n.

 

 

 

 

 





## Limite

Limite

Le théorème s'énonce pour des bases entières a>b>0 avec gcd(a,b)=1 et exposant entier n>1 ; il ne s'applique pas directement aux polynômes arbitraires en n, aux bases non premières entre elles sans modification, ni à des suites autres que a^n−b^n.

 

 

 

 

 





## Tension sémantique

Tension sémantique

L'expression « diviseur premier primitif » peut être confondue avec « générateur primitif » ou avec des premiers liés aux polynômes cyclotomiques ; le théorème précise que les premiers concernés sont ceux nouveaux au terme n-ième, pas les premiers donnant des racines primitives ni tout premier cyclotomique.

 

 

 

 

 





## Synthèse

Synthèse

Le Théorème de Zsigmondy formalise l'intuition selon laquelle chaque terme suffisamment grand a^n−b^n apporte un nouveau facteur premier, en caractérisant précisément les échecs et en fournissant un outil structurel pour l'étude multiplicative et diophantienne.