Exercice a écrit:Écrire à l'aide d'une seule congruence que n est multiple de 4, non divisible par 6, et congru à 3 ou 4 modulo 9.
Le plus petit commun multiple de 4, 6 et 9 c'est 36.
Si on ne réfléchis pas du tout, on écrit que :
1) 
divisible par

signifie que

est congru à 0 ou 4 ou 8 ou 12 ou 16 ou 20 ou 24 ou 28 ou 32 modulo 36.
2) 
est non divisible par

signifie que
n'est pas congru à 0 ni 6 ni 12, ni 18 ni 24 ni 30 modulo 36 (si on est encore plus "bourrin", on peut écrire que ça signifie que
est congru à 1 ou 2 ou 3 ou 4 ou 5 ou 7 ou 8 ou 9 ou 10 ou 11 ou 13 ou 14 ou 15 ou 16 ou 17 ou 19 ou 20 ou 21 ou 22 ou 23 ou 25 ou 26 ou 27 ou 28 ou 29 ou 31 ou 32 ou 33 ou 34 ou 35 (ouf...) modulo 36)
3) 
congru à 3 ou 4 modulo 9 signifie que

est congru à 3 ou 4 ou 12 ou 13 ou 21 ou 22 ou 30 ou 31 modulo 36.
Pour avoir
les trois en même temps il faut et il suffit que

soit congru à 4 modulo 36 (seul nombre présent dans les 3 listes)
Évidement, si on est un tant soit peu malin, on évite de dresser les 3 listes et on "raffine" à chaque fois (et on commence par une liste "pas trop grosse", par exemple ici, on ne commence surtout pas avec la deuxième...)
1) 
divisible par

signifie que

est congru à 0 ou 4 ou 8 ou 12 ou 16 ou 20 ou 24 ou 28 ou 32 modulo 36.
2) Pour que
en plus il soit congru à 3 ou 4 modulo 9 il faut et il suffit qu'il soit congru à 4 ou 12 modulo 36.
3) Enfin, pour que
en plus il soit non divisible par 6 il faut et il suffit qu'il soit congru à 4 modulo 36.
Il y aurait évidement d'autres façons de procéder, par exemple de commencer par regarder ce que signifie "être divisible par 4 et non divisible par 6" en se plaçant uniquement modulo 12.
Si les nombres sont "grand", il vaut évidement mieux trouver un truc un peu plus théorique que le fait de dresser la liste complète de ceux qui marchent, mais le but du jeu est uniquement de te montrer que "on peut le faire" (comme disait Francis Blanche...)