La congruence est compatible
avec le produit :
Soient m un entier naturel (m>2), a,b,c et d des entiers relatifs vérifiant : a≡b[m] et c≡d[m].
Alors : a×c≡b×d[m]D'après les questions précédentes, nous avons montré que :
428≡1[29] et
528≡1[29]D’une part :428≡1[29] et
4≡4[29] ce qui permet d'écrire que :
428×4≡1×4[29] d'où :
429≡4[29]D’autre part :528≡1[29] et
5≡5[29] ce qui permet d'écrire que :
428×5≡1×5[29] d'où :
529≡5[29]La congruence est compatible
avec l’addition :
Soient m un entier naturel (m>2), a,b,c et d des entiers relatifs vérifiant : a≡b[m] et c≡d[m].
Alors : a+c≡b+d[m]On a donc :
429+529≡4+5[29]429+529≡9[29]Ainsi :
429+529−9≡0[29]Il en résulte donc que
29 divise
429+529−9 .
Or d'après la question
1, nous avons vu que
2 divise
429+529−9.
2 et
29 sont premiers entre eux alors d'après le corollaire du théorème de Gauss
2×29 divise
429+529−9.
Finalement,
58 divise
429+529−9 Corollaire du theˊoreˋme de Gauss : Soient a, b et c trois entiers naturels non nuls. Si a et b divise c et si a et b sont premiers entre eux alors ab divise c.