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

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

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

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

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

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

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

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

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.