Exos Corriges Arithmetique
Exos Corriges Arithmetique
Exos Corriges Arithmetique
Exercice 1 Montrer que la relation de divisibilit sur N est une relation d'ordre.
Solution. On doit montrer que la relation de divisibilit sur N est rexive, antisymtrique et transitive.
Rexivit : Soit a quelconque dans N. En crivant a = a 1, on voit que a divise a. Antisymtrie : Soient a, b N
tels que a|b et b|a. Alors b = ac avec c N et a = bd avec d N. Donc b = (bd)c = b(dc), o dc N, ce qui
implique que dc = 1. Comme 1 est l'unique lment de N inversible dans N, on en dduit que d = c = 1, donc
que a = b. Transitivit : Soient a, b, c N tels que a|b et b|c. Alors b = ac avec c N et c = bd avec d N. Donc
c = (ac)d = a(cd), o cd N, ce qui montre que a|c.
1
Exercice 8 Dterminer le chire des units de 312 .
Solution. Le chire des units de 312 est le reste de la division euclidienne de 312 par 10. On a 3 = 3(mod 10),
donc 3 = 9(mod 10) = 1(mod 10), donc 312 = (1)6 (mod 10) = 1(mod 10). Le chire cherch est donc 1.
2
On cherche donc s tel que 1000 = 3k + s (c'est--dire, 1000 s(mod 3)) et 0 s < 3. On crit alors :
10 1(mod 3), puis
1000 = 103 1(mod 3).
Donc s = 1. Finalement, on a :
1001000 = 1003k+1 = 1003k 100 (1 9)(mod 13) 9(mod 13).
(1) Les entiers naturels n impairs sont les entiers de la forme n = 2k + 1 avec k N. Nous allons montrer
par rcurence que 8 | 72k+1 + 1 pour tout k N. La proprit annonce est vraie pour k = 0. Supposons
qu'elle soit vraie pour un certain k N, et montrons qu'elle est encore vraie pour k + 1. On a :
8 | 72k+1 + 1 72k+1 + 1 0(mod 8) 72k+1 1(mod 8).
Donc
72(k+1)+1 + 1 = 72k+1 72 + 1 (1 1 + 1)(mod 8) 0(mod 8),
o l'on a utilis le fait que 72 = 49 1(mod 8). Donc 8 | 72(k+1)+1 + 1.
2
(2) Puisque 7 1(mod 8), 7n (1)n (mod 8). Si n est pair, on a donc 7n 1(mod 8). Donc
7n + 1 (1 + 1)(mod 8) 2(mod 8).
Le chire des 7units de 7(7 ) est le reste de la division euclidienne de 7(7 ) par 10. On cherche donc
7 7
Solution.
R {0, . . . , 9} tel que 7(7 ) = R(mod 10).
Posons N = 77 . On a : 72 = 49 = 1(mod 10), donc 74 = 1(mod 10). Donc pour tout q N, 74q = (74 )q =
1(mod 10). Ceci suggre, pour rduire le problme, de mettre N = 77 sous la forme N = 4q+r avec r {0, . . . , 3}.
On aura ainsi
7N = 74q+r = 7r (mod 10).
Cherchons donc r. On a :
7 = 3(mod 4) = 72 = 9(mod 4) = 1(mod 4) = 76 = 1(mod 4) = 77 = 7(mod 4) = 3(mod 4).
Solution. On procde par rcurrence. La proprit est videmment vraie pour n = 0. Supposons la proprit
vraie l'ordre n, c'est--dire, 2(4 ) + 5 = 0|7|, soit encore 2(4 ) = 2|7|. Alors
n n
n+1 n n
4
2(4 )
= 24 = (24 )4 = 24 (mod 7) = 16(mod 7) = 2(mod 7).
3
(i) l'quation ax b(mod n) admet une solution dans Z ;
(ii) l'quation diophantienne du premier ordre ax + ny = b (d'inconnues x et y ) admet une solution dans Z2 .
D'aprs le cours, la condition (ii) quivaut la condition a n | b.
Exercice 16 Soit X l'ensemble des nombres premiers de la forme 4k + 3 avec k N.
(1) Montrer que X est non vide.
(2) Montrer que le produit de deux nombres de la forme 4k + 1 est encore de cette forme.
(3) On suppose que X est ni et on l'crit alors X = {p1 , . . . , pn }. Soit a = 4p1 pn 1. Montrer par
l'absurde que a admet un diviseur premier de la forme 4k + 3.
(4) Montrer que ceci est impossible et donc que X est inni.
Solution.
(3) Supposons que a n'admette pas de diviseur premier de la forme 4k + 3. Alors ses diviseurs premiers (il en
existe au moins un d'aprs le cours) sont de la forme 4k + 1 (puisque les nombres de la forme 4k et 4k + 2
ne sont pas premiers). D'aprs la question(2) et le thorme fondamental de l'arithmtique (tout entier se
dcompose en produit de facteurs premiers), a lui-mme est de la forme 4k + 1. On a donc :
4p1 pn = a + 1 = 4k + 2, soit 2p1 pn = 2k + 1.
Cette dernire quation est absurde, puisque le membre de gauche est pair et le membre de droite impair.
On en dduit que a admet un diviseur premier de la forme 4k + 3, c'est--dire, que a est divisible par un
lment pi de X .
(4) Puisque pi | 4p1 pn et pi | a, on a :
pi | (a 4p1 pn ), c'est--dire pi | 1.
Ceci est absurde puisque pi est premier, et donc on a montr que X comporte une innit d'lments.