UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE L1-S2 MATHMATIQUES EQUATIONS MODULO m

On tudie les quations du type : (*) o et sont des entiers naturels.

Rsoudre une telle quation dans , cest donner toutes les classes rsiduelles (sil en existe) telles que (ce qui signifie que le produit dun nombre quelconque de la classe rsiduelle de (modulo ) et dun nombre quelconque de la classe rsiduelle de (modulo ) donne un nombre de la classe rsiduelle de (modulo ). Dans ce qui suit, on montre que la rsolution dune telle quation suit lalgorithme suivant : Calculer ( , ). Si , lquation na pas de solution. Si , on considre lquation , o , , . Cette quation a une unique solution . Cette solution peut tre calcule en faisant des essais : on cherche , , , tel que . Lquation (*) a alors exactement solutions dans , qui sont : , , , , ( )

Lalgorithme de rsolution de lquation (*) rsulte des propositions suivantes : Proposition 1. Pour tout , , et tout , , ssi , . En effet, on a ou (cf. Proposition 1 du TD sur les relations de congruence). Autrement dit, deux entiers naturels sont congrus, modulo , si lun est obtenu en ajoutant, ou en tant, lautre, un multiple de . Proposition 2. (Proprits de simplification) Soient 1. Si , alors . 2. Si , et , alors ( , ) En particulier, si Dmonstration. 1. ( , ) , , , , implique , . . , et , , .

2. Supposons (sans perte de gnralit), que ( ) ( ) ( ( , ) Ainsi, ( ), et Thorme de Gauss que En particulier, si Par exemple, on a ( , ) ( , )

. Alors, )

( , )

(corollaire du Thorme de Bzout). Il suit du , , . , et on a . ( , 3. ) est ncessaire pour conclure .

Remarque. Dans 2., la condition

3, mais

Proposition 3. Lquation (*) a une solution ssi , o ( , ). Dmonstration. On procde comme pour les quations diophantiennes linaires ; si est une solution de (*), il existe tel que : . En posant ( ) et , on obtient , ce qui montre que . Rciproquement, supposons que Posons , , . Daprs le Lemme ,

(**)

Ainsi, est solution, dans , de (*) ssi est solution, dans , de (**). Nous appellerons (**) lquation rduite de (*) Il est facile de voir que (**) a exactement une solution dans ; en effet, daprs la proprit de simplification pour la multiplication ( , ) (Proposition 2), puisque , pour tout , , si , alors . La fonction est donc une bijection de dans (une permutation de ). Il en rsulte, en particulier, que a un et un seul antcdent par . Cest lunique solution de (**) ( , ) Proposition 4. Si , et , lquation (*) a exactement solutions dans . Dmonstration. Soit la solution de lquation rduite (**) dfinie dans la Proposition 3 Daprs ce lemme, est aussi une solution, modulo , de lquation (*), et ce sera le cas, par consquent de tout entier naturel , pour quelque . Il y a donc autant de solutions distinctes de (*) que de valeurs non congrues, modulo , de . Or, , , ,

( Il en rsulte que , , , , modulo , de (*), qui nen a pas dautres Exercice 1. Rsoudre les quations suivantes :

sont

solutions non congrues,

(a) (b) (c)

. . , 3

Exercice 2. En utilisant les congruences, montrer que pour tout