Congruences

[upium666]

Bonjour à tous et à toutes !

Résoudre dans

Je sais le faire quand c'est des petits modulos, à l'aide d'un tableau de restes, mais quand ça devient trop grand comme ici 20, je ne sais pas comment faire :/

Merci de m'aider

[Nightmare]

Bonjour,

tu peux t'en sortir en revenant à la définition des congruences :

15x = 5 mod 20 <=> 15x-5 = 0 mod 20 <=> 5(x-3)=0 mod 20 <=> 5(x-3) est nul ou est un multiple de 20.

5(x-3) nul fournit la solution x = 3

Pour 5(x-3) multiple de 20, on sait que 20 = 4*5 , donc pour que 5*(x-3) soit un multiple de 4*5, il faut et il suffit que (x-3) contienne un facteur 4, autrement dit que x-3 soit divisible par 4, donc que x = 3 mod 4

On vérifie dans le sens inverse que si x = 3 mod 4 alors 15x = 5 mod 20

C'est une méthode parmi d'autres, une autre consistant à essayer de faire comme dans R, essayer d'isoler x en multipliant 15x par des nombres qui permettent de se débarrasser de la multiplication par 15, autrement dit donner un sens à 1/15 (ce n'est pas possible ici, mais on peut donner un sens à 1/3 puis conclure presque immédiatement sachant que 15 = 3*5)