N° Page

Nombres complexes

Arithmétique

Testez le chapitre 100 % débloqué

Graphes et matrices

Annexes

/ 243

Vue papier
Animation montrant le basculement entre la vue numérique et la vue papier
Découvrez la vue papier en cliquant ici
Chapitre 4
Cours 3

Théorème de Gauss et applications

Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.

A
Théorème de Gauss

Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Théorème
Soient , et trois entiers relatifs non nuls.
Si et si et sont premiers entre eux, alors .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.

Remarque

La condition et premiers entre eux est essentielle. Par exemple, divise le produit mais ne divise ni ni .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Démonstration
Supposons que divise et que et sont premiers entre eux.
Alors donc d'après le théorème de Bézout, il existe tel que .
On a donc . Or par hypothèse et donc .
Ainsi, .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Exemple
Soit un diviseur impair de . Comme est premier avec (car est impair), le théorème de Gauss permet d'affirmer que divise .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Application et méthode - 7
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Énoncé
1. Déterminer le de et .
2. Résoudre dans l'équation .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.

Méthode

1. On applique l'algorithme d'Euclide : le dernier reste non nul est le cherché.

2. On simplifie l'équation par le pour obtenir deux nombres premiers entre eux et on utilise alors le théorème de Gauss pour obtenir une expression de et .
On vérifie que le couple obtenu est bien solution de l'équation.
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Solution
1. On applique l'algorithme d'Euclide : ;
et donc .

2. En divisant par on obtient .
Or , et et sont premiers entre eux donc, d'après le théorème de Gauss, .
Ainsi, si est solution de , alors il existe tel que . Donc, si , on a , d'où .
Réciproquement, on vérifie que, pour tout , est un couple solution : et .
Donc, pour tout entier , est un couple solution.
Finalement, l'ensemble des solutions de est .

Pour s'entraîner
Exercices et p. 133.
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.

B
Corollaire du théorème de Gauss

Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Corollaire
Soient , et trois entiers relatifs non nuls.
Si et sont premiers entre eux et divisent tous les deux , alors divise .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.

Remarque

Comme pour le théorème de Gauss, la condition et sont premiers entre eux est primordiale. Par exemple, divise et divise , mais ne divise pas .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Démonstration
Soient et deux diviseurs de premiers entre eux et et les entiers tels que et .
Alors , donc .
Comme et sont premiers entre eux, alors, d'après le théorème de Gauss, divise .
Soit alors l'entier tel que . On a donc . D'où divise .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Exemple
Soit . est le produit de entiers consécutifs, donc est divisible par et par .
Comme et sont premiers entre eux, alors le corollaire de Gauss énoncé ci-dessus affirme que est divisible par .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Application et méthode - 8
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Énoncé
Montrer que, pour tout entier naturel , est un multiple de .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.

Méthode

Il faut montrer que, pour tout entier naturel , est un multiple de et de . On utilise une table de congruence modulo .
Ressource affichée de l'autre côté.
Faites défiler pour voir la suite.
Solution
Pour tout , est un multiple de . Écrivons la table de congruence par .

Reste de (mod )
Reste de (mod )
Reste de (mod )
Reste de (mod )

Finalement, pour tout entier naturel , est un multiple de .
Or, c'est aussi un multiple de .
Comme et sont premiers entre eux, le corollaire du théorème de Gauss ci-dessus donne que un multiple de .

Pour s'entraîner
Exercices et p. 133.