Arithmétique dans ℤ
Première année (sup) · MPSI
Cadre et notations
Dans toute la fiche, les lettres désignent des entiers relatifs. On dit que divise , noté , s'il existe tel que .
Division euclidienne
Théorème. Pour tous et , il existe un unique couple tel que
PGCD et relation de Bézout
Définition. Pour , le PGCD de et , noté , est le plus grand entier naturel qui divise à la fois et . On pose . Les entiers et sont premiers entre eux si .
Proposition. Pour tous : . Les diviseurs communs à et sont exactement les diviseurs de . Si et si est le reste de la division de par , alors : c'est l'algorithme d'Euclide.
Théorème (Bézout).
- Pour tous , il existe tels que .
- Les entiers et sont premiers entre eux si et seulement s'il existe tels que .
Lemme de Gauss. Si et si , alors .
Proposition. Si , et , alors .
Le PPCM de et , noté , est le plus petit entier naturel multiple commun de et ( si ou est nul). Pour tous : .
Nombres premiers
Un entier est premier si ses seuls diviseurs positifs sont et . Il y a une infinité de nombres premiers.
Proposition. Si est premier et , alors ou .
Théorème fondamental de l'arithmétique. Tout entier s'écrit de façon unique, à l'ordre des facteurs près, comme produit de nombres premiers :
où les valuations sont nulles sauf pour un nombre fini de . Pour : si et seulement si pour tout premier ; et .
Congruences
Dans cette section, . On note si .
Proposition. La congruence modulo est une relation d'équivalence, compatible avec l'addition et la multiplication : si et , alors et .
Proposition (inverse modulo ). Il existe tel que si et seulement si . Un tel s'obtient par une relation de Bézout.
Petit théorème de Fermat. Soit premier. Pour tout , ; si de plus , alors .
Pièges fréquents
- Déduire ou de : c'est faux si n'est pas premier ().
- Simplifier une congruence par un entier non premier avec le module : , mais .
- Oublier que les coefficients et de Bézout ne sont pas uniques.