Arithmetique

Livret dArithmtique
Christian Jean CYRILLE
2
"Dieu a cr les nombres, le reste est luvre de lhomme.
The natural numbers came from God and all else was man-made."
Lopold Kronecker
Ce livret de cours et dexercices darithmtique est ddicac particulirement :

- mon pouse Elvire
- mon fils David , ma belle-fille Sylvie et mes petits-enfants : Anas et Alex
- mes neveux et nices Miguel, Cynthia, Mathieu, Kendy et Jean-Christophe.
- tous les collgues du groupe Kabrit Bwa de la section martiniquaise de LIREM Antiles
Guyane
- tous mes anciens lves de classe prparatoire au Lyce Bellevue et du lyce Schoelcher en
particulier ceux des terminales C et S du Lyce Schoelcher (1973 - 2001) , mes stagiaires du
Capes interne et Capes externe qui ont travaill sur ce cours que jai ractualis.
Table des matires

1
Axiomatique de N.
1.1 Proprits axiomatiques de N. . .
1.1.1 Axiome 1 . . . . . . . . . . .
1.1.2 Axiome 2 . . . . . . . . . . .
1.1.3 Axiome 3 . . . . . . . . . . .
1.1.4 Axiome 4 . . . . . . . . . . .
1.1.5 Axiome 5 . . . . . . . . . . .
1.1.6 Axiome 6 . . . . . . . . . . .
1.1.7 Axiome 7 . . . . . . . . . . .
1.1.8 Axiome 8 dit dArchimde
1.1.9 Thorme . . . . . . . . . .
1.1.10 Corollaire . . . . . . . . . .
1.2 Exercices . . . . . . . . . . . . . . .
1.2.1 Exercice . . . . . . . . . . .
1.2.2 Exercice . . . . . . . . . . .
1.2.3 Concours scolaire sudois .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
9
9
10
10
10
10
10
10
10
10
11
11
11
12
Le Raisonnement par rcurrence

2.1 Thormes . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 Lemme de rcurrence . . . . . . . . . . . . . . . .
2.1.2 Thorme de rcurrence faible . . . . . . . . . . .
2.2 Thorme de rcurrence double . . . . . . . . . . . . . . .
2.2.1 Thorme de rcurrence forte . . . . . . . . . . . .
2.3 Fausse rcurrence . . . . . . . . . . . . . . . . . . . . . . .
2.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.1 Cardinal de P( E) . . . . . . . . . . . . . . . . . . .
2.4.2 Ingalit de Bernoulli . . . . . . . . . . . . . . . .
2.4.3 Quelques sommes remarquables . . . . . . . . . .
2.4.4 Fausse rcurrence . . . . . . . . . . . . . . . . . . .
2.4.5 Le nombre de diagonales dun polygne convexe
2.4.6 Multiples de 11 . . . . . . . . . . . . . . . . . . . .
2.4.7 Suite de Fibonacci alias Lonard de Pise . . . . . .
2.4.8 Puissance dune matrice . . . . . . . . . . . . . . .
2.4.9 Ingalit . . . . . . . . . . . . . . . . . . . . . . . .
2.4.10 Suite . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
13
13
13
14
15
16
18
18
20
21
22
23
24
25
27
28
29
Division euclidienne dans N

3.1 Lemme dArchimde . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
31
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TABLE DES MATIRES

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
31
31
31
32
33
36
36
Construction de Z
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1 Etape 1 : Dfinition de Z . . . . . . . . . . . . . . . . .
L
4.1.2 Etape 2 : dfinition dune loi
dans Z . . . . . . . .
N
4.1.3 Etape 3 : dfinition dune loi
dans Z . . . . . . . .
4.1.4 Etape 4 : Notations . . . . . . . . . . . . . . . . . . . .
4.1.5 Etape 5 : Dfinition dune relation dordre dans Z .
4.1.6 Etape 6 : Conclusion . . . . . . . . . . . . . . . . . . .
4.2 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Toulouse C 1980 . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
37
38
38
39
39
40
42
42
Division euclidienne dans Z

5.1 Notion de multiple . . . . . . . . . . .
5.1.1 Exemples . . . . . . . . . . . .
5.1.2 Thorme . . . . . . . . . . . .
5.1.3 Relation de divisibilit dans Z
5.1.4 Remarque . . . . . . . . . . . .
5.1.5 Thorme . . . . . . . . . . . .
5.2 Division euclidienne dans Z . . . . .
5.3 Sous groupes de (Z, +) . . . . . . . .
5.3.1 Dmonstration . . . . . . . . .
3.2
3.3
3.4
3.5
4
3.1.1 Dmonstration
Thorme . . . . . . .
3.2.1 Dmonstration
Calcul formel . . . . .
Programmation . . . .
Exercices . . . . . . . .
3.5.1 Exercice . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
43
43
43
43
44
44
44
45
45
45
PGCD et PPCM
6.1 Pgcd . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.1.1 Thorme et Dfinition . . . . . . . . . . . . . .
6.2 Ppcm . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.1 Thorme et Dfinition . . . . . . . . . . . . . .
6.3 Proprits du pgcd et du ppcm . . . . . . . . . . . . .
6.3.1 Proprit . . . . . . . . . . . . . . . . . . . . . .
6.3.2 Proprit . . . . . . . . . . . . . . . . . . . . . .
6.3.3 Proprit . . . . . . . . . . . . . . . . . . . . . .
6.3.4 Proprit . . . . . . . . . . . . . . . . . . . . . .
6.3.5 Proprit . . . . . . . . . . . . . . . . . . . . . .
6.3.6 Proprit . . . . . . . . . . . . . . . . . . . . . .
6.3.7 Pgcd et ppcm de plusieurs entiers . . . . . . .
6.4 Recherche pratique du pgcd de deux entiers naturels
6.4.1 3 cas . . . . . . . . . . . . . . . . . . . . . . . .
6.4.2 Exemples . . . . . . . . . . . . . . . . . . . . .
6.4.3 Calcul Formel . . . . . . . . . . . . . . . . . . .
6.4.4 Tableur . . . . . . . . . . . . . . . . . . . . . . .
6.4.5 Programmation Turbo Pascal . . . . . . . . . .
6.5 Programmation ALGOBOX . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
47
47
48
48
48
48
48
48
49
49
49
49
50
50
51
51
52
56
58
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TABLE DES MATIRES
6.5.1 Algorithme brut . . . . . . . . . . . . . . .

6.5.2 Algorithme dEuclide . . . . . . . . . . .
6.5.3 Algorithme des diffrences . . . . . . . .
6.6 Longueur de lalgorithme dEuclide . . . . . . .
6.7 Nombres premiers entre eux ou trangers . . . .
6.7.1 Dfinition . . . . . . . . . . . . . . . . . .
6.7.2 Proprits . . . . . . . . . . . . . . . . . .
6.8 Gauss et la divisibilit . . . . . . . . . . . . . . .
6.8.1 Thorme de Gauss . . . . . . . . . . . .
6.8.2 Corollaire 1 . . . . . . . . . . . . . . . . .
6.8.3 Corollaire 2 . . . . . . . . . . . . . . . . .
6.9 Rsolution de ax + by = c dans Z2 . . . . . . . .
6.9.1 Rsolution . . . . . . . . . . . . . . . . . .
6.9.2 Dtermination de u et v . . . . . . . . . .
6.10 Exercices . . . . . . . . . . . . . . . . . . . . . . .
6.10.1 Man tr papa en ba tono-la ! ! ! . . . . . .
6.10.2 Equation diophantienne - Bordeaux C79
6.10.3 Exercice . . . . . . . . . . . . . . . . . . .
6.10.4 Exercice . . . . . . . . . . . . . . . . . . .
6.10.5 Exercice . . . . . . . . . . . . . . . . . . .
6.10.6 Exercice . . . . . . . . . . . . . . . . . . .
6.10.7 Bac Toulouse C 1980 . . . . . . . . . . . .
6.10.8 Bac Asie C 1968 . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
58
59
59
60
62
62
62
65
65
65
65
68
68
68
71
71
72
74
74
74
75
75
77
Primalit
7.1 Les nombres premiers . . . . . . . . . .
7.1.1 Dfinition . . . . . . . . . . . . .
7.1.2 Exemples et Contre-exemples . .
7.1.3 Un peu dHistoire . . . . . . . . .
7.1.4 Autres Proprits . . . . . . . . .
7.2 Cryptographie . . . . . . . . . . . . . . .
7.2.1 Systme cryptographique RSA .
7.3 Exercices . . . . . . . . . . . . . . . . . .
7.3.1 Conjecture de Goldbach . . . . .
7.3.2 Coefficient binomial et primalit
7.3.3 Nombres de Mersenne . . . . . .
7.3.4 Thorme de Wilson . . . . . . .
7.3.5 Petit Thorme de Fermat . . . .
7.4 Amrique Sud 1982 . . . . . . . . . . . .
7.4.1 Corrig . . . . . . . . . . . . . . .
p
7.5 Nombres de FERMAT Fp = 1 + 22 . . .
7.5.1 Corrig . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
79
79
79
79
81
86
86
87
87
89
89
90
91
92
92
93
93
Congruences
8.1 Relation de congruence modulo n .
8.1.1 Dfinition . . . . . . . . . .
8.1.2 Thorme . . . . . . . . . .
8.1.3 Thorme . . . . . . . . . .
8.1.4 Dfinition . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
95
95
95
95
96
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
TABLE DES MATIRES
8.2
8.3
8.4
8.5
8.6
8.7
8.8
9
8.1.5 Thorme . . . . . . . . . . . . . . . . . . . . . . . . .
Anneau Z/nZ . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2.1 Thorme et dfinition . . . . . . . . . . . . . . . . . .
8.2.2 Thorme . . . . . . . . . . . . . . . . . . . . . . . . .
8.2.3 Thorme . . . . . . . . . . . . . . . . . . . . . . . . .
8.2.4 Corollaire . . . . . . . . . . . . . . . . . . . . . . . . .
Proprits de la congruence . . . . . . . . . . . . . . . . . . .
8.3.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.5
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.6
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3.7 Corollaire . . . . . . . . . . . . . . . . . . . . . . . . .
Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.4.1 Restes de division euclidienne . . . . . . . . . . . . .
8.4.2 Caractres de divisibilit par 2, 3, 4, 5, 8, 9, 11, 25, 125 .
8.4.3 Thorme des restes chinois . . . . . . . . . . . . . . .
8.4.4 Thorme . . . . . . . . . . . . . . . . . . . . . . . . .
8.4.5 dmonstration . . . . . . . . . . . . . . . . . . . . . . .
8.4.6 Application . . . . . . . . . . . . . . . . . . . . . . . .
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.5.1 Exercice . . . . . . . . . . . . . . . . . . . . . . . . . .
Numro INSEE . . . . . . . . . . . . . . . . . . . . . . . . . .
8.6.1 Corrig . . . . . . . . . . . . . . . . . . . . . . . . . . .
Bac C Clermont 81 . . . . . . . . . . . . . . . . . . . . . . . .
8.7.1 Corrig . . . . . . . . . . . . . . . . . . . . . . . . . . .
Concours scolaire sudois . . . . . . . . . . . . . . . . . . . .
8.8.1 Corrig . . . . . . . . . . . . . . . . . . . . . . . . . . .
Systmes de numration
9.1 Historique . . . . . . . . . . . . . . . . . . . . . . . . .
9.1.1 Thorme . . . . . . . . . . . . . . . . . . . . .
9.1.2 Exemples . . . . . . . . . . . . . . . . . . . . .
9.2 Algorithmes . . . . . . . . . . . . . . . . . . . . . . . .
9.2.1 Passage de la base a la base 10 . . . . . . . .
9.2.2 Passage de la base 10 la base a . . . . . . . .
9.3 Proprits . . . . . . . . . . . . . . . . . . . . . . . . .
9.3.1 Comparaison . . . . . . . . . . . . . . . . . . .
9.3.2 Addition et multiplication dans la mme base
9.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . .
9.4.1 Polynsie C 80 . . . . . . . . . . . . . . . . . . .
9.4.2 Exercice . . . . . . . . . . . . . . . . . . . . . .
9.4.3 Olympiades Moscou 1968 . . . . . . . . . . . .
9.4.4
. . . . . . . . . . . . . . . . . . . . . . . . . . .
9.4.5
. . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
96
96
96
97
98
98
99
99
99
99
99
99
99
99
101
101
102
103
104
104
104
105
105
107
107
108
108
109
109
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
111
111
112
112
112
112
114
114
114
115
116
116
117
118
119
120
10 Cryptographie
121
10.1 Code Barre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
10.1.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
TABLE DES MATIRES

10.1.2 Exercice . . . . . .
10.2 Code ASCII . . . . . . . .
10.3 Chiffrement de Jules Csar
10.3.1 Dfinition . . . . .
10.3.2 Exemple sous Excel
10.4 Codage ROT 13 . . . . . .
10.5 Chiffrement affine . . . . .
10.6 Chiffrement de Vignre .
10.7 Code RSA . . . . . . . . .
7
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
121
121
122
122
122
123
124
124
124
11 Exercices supplmentaires
11.1 Euclide et les nombres parfaits . . . . . . . . . . . . .
11.1.1 Corrig . . . . . . . . . . . . . . . . . . . . . . .
11.2 Bac Liban 2005 . . . . . . . . . . . . . . . . . . . . . . .
11.2.1 Corrig . . . . . . . . . . . . . . . . . . . . . . .
11.3 Arithmtique et Probabilits - Bac C Martinique 1978
11.3.1 Corrig . . . . . . . . . . . . . . . . . . . . . . .
11.4 Bac C Bordeaux . . . . . . . . . . . . . . . . . . . . . .
11.4.1 Corrig . . . . . . . . . . . . . . . . . . . . . . .
11.5 Congruences dans Z/6Z . . . . . . . . . . . . . . . . .
11.5.1 Corrig . . . . . . . . . . . . . . . . . . . . . . .
11.6 Bac C 74 - Groupe 1 . . . . . . . . . . . . . . . . . . . .
11.6.1 Corrig . . . . . . . . . . . . . . . . . . . . . . .
11.7 Exercice . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
125
125
125
125
127
127
129
129
131
131
132
132
134
TABLE DES MATIRES
Chapitre 1
Axiomatique de N.
Proprits axiomatiques de N.
1.1
Cette axiomatique est dite de PEANO Guiseppe, mathmaticien italien(1858-1932).
On admet lexistence dun ensemble N vrifiant les 8 axiomes suivants :
1.1.1
Axiome 1
Laddition + et la multiplication vrifient les proprits suivantes :

1. Elles sont internes.
2. Elles sont associatives.
3. + admet dans N un lment neutre not 0.
4. admet dans N un lment neutre not 1.
5. est distributive par rapport N.
6. Tout lment de N est rgulier pour la loi + cest--dire que
x N y N z N x + z = y + z = x = y
7. Tout lment de N est rgulier pour la loi cest--dire que
x N y N z N x z = y z = x = y
1.1.2
Axiome 2
est une relation dordre total compatible avec laddition et la multiplication. De plus
1. x N y N z N x + z y + z = x y
2. x N y N z N x z y z = x y
9
CHAPITRE 1. AXIOMATIQUE DE N.
10
1.1.3
Axiome 3
Tout lment n de N admet un successeur dans N not n + 1.
1.1.4
Axiome 4
Tout lment n de N admet un prdcesseur dans N not n 1.
1.1.5
Axiome 5
Toute partie non vide de N admet un plus petit lment.
1.1.6
Axiome 6
Toute partie non vide et majore de N admet un plus grand lment.
1.1.7
Axiome 7
N na pas de plus grand lment.
1.1.8
Axiome 8 dit dArchimde
a N b N n N a n > b
1.1.9
Thorme
N ]0; 1[=
Dmonstration
Notons Y = N ]0; 1[. Supposons que Y 6= . Alors Y va admettre un plus petit lment y.
Comme y N alors y2 N. De plus 0 < y < 1 donc 0 < y2 < y < 1. Donc y2 N ]0; 1[ et
y2 < y. Par consquent, cest y2 le plus petit lment de N. Il y a donc une contradiction donc
lhypothse Y 6= est fausse.
1.1.10
Corollaire
N ]n; n + 1[= donc N est donc lensemble infini {0; 1; 2; 3; }.

Le mathmaticien allemand Georg CANTOR (lun des seuls avoir dissqu la notion dinfini) appelle 0 son cardinal transfini.
Il a prouv que si lon appelle 1 le cardinal transfini de R alors 0 < 1 .
1.2. EXERCICES
1.2
11
Exercices
1.2.1
Exercice
1. Dmontrer que le carr dun entier naturel pair est pair.

2. Dmontrer que le carr dun entier naturel impair est impair.
3. En dduire que 2 est irrationnel.

Dmonstration :
1. Soit n un entier naturel pair donc k N tel que n = 2k
do n2 = (2k)2 = 4k2 = 2(2k2 ) = 2k0 o k0 = 2k2 N.
Par consquent, n2 est pair.
2. Soit n un entier naturel impair donc k N tel que n = 2k + 1
do n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1 = 2k0 + 1 o k0 = 2k2 + 2k N.
Par consquent, n2 est impair.
3. Raisonnons par labsurde. Supposons que 2 Q. Alors ( p, q) N N tel que
p
2 = irrductible.
q
p2
Alors 2 = 2 donc p2 = 2q2 donc p2 est pair donc p est pair.
q
Par consquent, p0 N tel que p = 2p0 . Or p2 = 2q2 donc 2q2 = 4p02 donc q2 = 2p02 .
On en dduit que q2 est pair donc q est pair.
2p0
p0
p
On en dduit donc q0 N tel que q = 2q0 donc 2 =
=
Impossible car
2q0
q0
q
tait irrductible
Par consquent, 2 R Q .
1.2.2
Exercice
Dmontrer que la diffrence des carrs de deux entiers naturels impairs est divisible par 8.
Dmonstration :
Soit x un entier naturel impair donc n N tel que x = 2n + 1.
Soit y un entier naturel impair donc p N tel que x = 2p + 1.
Supposons que x < y donc n < p.
Alors y2 x2 = (2p + 1)2 (2n + 1)2 = (2p + 1 + 2n + 1)(2p + 1 2n 1) = (2p + 2n +
2)(2p 2n) = 2( p + n + 1)2( p n) = 4( p + n + 1)( p n) = 4k o k = ( p + n + 1)( p n) N
car p > n
CHAPITRE 1. AXIOMATIQUE DE N.
12
Par consquent, y2 x2 est un multiple de 4. Pour dmontrer que cest un multiple de 8 il suffit
de dmontrer que k est un multiple de 2. Raisonnons par disjonction des cas :
ou bien p n est pair donc k est pair. CQFD.
ou bien p n est impair alors q Z tel que p n = 2q + 1 donc p + n + 1 = n + 2q +
1 + n + 1 = 2(n + q + 1) donc p + n + 1 est pair donc k est pair. CQFD.
1.2.3
Concours scolaire sudois
Soient ( a, b, c) (N )3 . Dmontrer que si ab < c alors a + b c.

Dmonstration :
1. Mthode 1 :
Comme ab < c donc ab + 1 c. Do ab + 1 + a + b c + a + b.
Par consquent a + b c + a + b ab 1 donc a + b c ( a 1)(b 1).
Or ( a 1)(b 1) 0 car a 1 et b 1
On en dduit que a + b c car c ( a 1)(b 1) c .
2. Mthode 2 :
On va raisonner par disjonction des cas :
(a) ou bien a = 1 et b = 1
Si ab < c donc 1 < c donc c 2 = a. Or a + b = 2 donc a + b c. CQFD.
(b) ou bien a = 1 et b > 1
Si ab < c donc b < c donc c b + 1. Mais a + b = 1 + b donc a + b c
(c) ou bien a > 1 et b = 1
On se ramne au cas prcdent en permutant les rles de a et de b.
(d) ou bien a > 1 et b > 1
On suppose que ab < c.
i. Comme a > 1 et b > 1 alors
do
a2
b2
ab 2b
ab 2a
donc 2ab 2( a + b). On en dduit que a + b ab Or ab < c.

Donc a + b c CQFD.
ii. Autre mthode :
c
c
Comme ab < c et que c > 0 alors a < et b <
b
a
1 1
donc a + b < c( + ).
b
a
1
1
1
1
1 1
Or a 2 et b 2 donc et donc + 1.
a
2
b
2
b
a
Par consquent, a + b c. CQFD.
Chapitre 2
Le Raisonnement par rcurrence

2.1
Thormes
2.1.1
Lemme de rcurrence
Soit X une partie de N

1. Si 0 X
2. Si limplication n X = n + 1 X est vraie
Alors X = N
Dmonstration
Soit Y = N X. Raisonnons par labsurde. Supposons que Y 6= .
Y devient alors une partie non vide de N donc Y a un plus petit lment y.
Mais 0 X donc y 6= 0. Par consquent y a un prdcesseur y 1.
Comme y est le plus petit lment de Y alors y 1 X.
Mais limplication n X = n + 1 X est vraie donc y X. Contradiction.
Par consquent Y = donc X = N
2.1.2
Thorme de rcurrence faible
Soit Pr une proprit que peut vrifier un entier naturel k (ce que lon notera Pr (k)) Soit n0 un
entier naturel.
1. Si Pr (n0 ) est vraie (cest--dire que la proprit Pr est vraie en n0 )
2. Si pour tout k entier n0 , limplication Pr (k) Pr (k + 1) est vraie (cest--dire que la
proprit est hrditaire )
Alors pour tout n n0 , Pr (n) est vraie .
Dmonstration
Soit Y = {n n0 /Pr (n)est faux}. Supposons Y 6= .
Y a donc un plus petit lment y qui de plus nest pas n0 .
Par consquent y a un prdcesseur y 1 qui
/ Y et tel que y 1 n0 .
Donc Pr (y 1) est vraie.
13
14
CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE
Mais alors comme limplication Pr (k ) Pr (k + 1) est vraie pour tout k n0 alors Pr (y) est
vraie. Il y a donc une contradiction.
Par consquent Y = et on a donc n n0 , Pr (n) est vraie.
Attention !
Il y a deux tapes dans ce type de dmonstration.
Dans ltape 1, linitialisation : il faut vrifier que la proprit est vraie uniquement en n0
Dans ltape 2 , lhrdit : en considrant la table de vrit de limplication logique
p
V
V
F
F
q
V
F
V
F
pq
V
F
V
V
Comme il faut dmontrer que limplication est vraie, on procdera ainsi :

On supposera que pr (k) est vraie (cest ce que lon appelle lhypothse de rcurrence) et
on raisonnera jusqu prouver que pr (k + 1) est vraie.
On aura ainsi dmontr que limplication ( Pr (k ) Pr (k + 1)) est vraie
2.2
Thorme de rcurrence double
Soit Pr une proprit que peut vrifier un entier naturel k (ce que lon notera Pr (k)).
Soit n0 un entier naturel.
1. Si Pr (n0 ) et Pr (n0 + 1) sont vraies (cest--dire que la proprit est vraie en n0 et en
n0 + 1)
2. Si pour tout k entier n0 , limplication
Pr (k 1) et Pr (k) Pr (k + 1)
est vraie
Exemple : Suite de Fibonacci alias Lonard de Pise
Soit une suite (un ) dfinie par :
u1 = 1
u2 = 1
n entier 3 un = un1 + un2
1. Rsoudre lquation dinconnue x relle : x2 = x + 1.
On note la solution positive et lautre solution.
2. Dmontrer par rcurrence la formule dite de BINET :
n N
1
un = (n n )
5
2.2. THORME DE RCURRENCE DOUBLE
2.2.1
15
Thorme de rcurrence forte
Soit Pr une proprit que peut vrifier un entier naturel k (ce que lon notera Pr (k)).
Soit n0 un entier naturel.
1. Si Pr (n0 ) et Pr (n0 + 1) sont vraies (cest--dire que la proprit est vraie en n0 et en
n0 + 1)
2. Si pour tout k entier n0 , limplication
Pr (n0 ) et Pr (n0 + 1) et et Pr (k) Pr (k + 1)
est vraie
Dmonstration
Soit q la proprit suivante :
q(n) : k entier compris entre n0 et n, on a pr (k)vraie
1. q(n0 ) est vraie.
2. Dmontrons que r n0 limplication q(r ) = q(r + 1) est vraie :
Soit r n0 tel que q(r ) est vraie donc pr (n0 ), pr (n0 + 1), , pr (r ) sont vraies.
En utilisant la deuxime hypothse, on en dduit que pr (r + 1) est vraie. Par consquent
q(r + 1) est vraie.
3. En conclusion, daprs le thorme de rcurrence q(n) est vraie pour tout n n0 .
Par consquent n n0 , Pr (n) est vraie .
Exemple : Existence de la division euclidienne de polynmes
Soient un polynme A( x ) et soit un polynme B( x ) non nul.
Alors il existe un couple unique de polynmes ( Q( x ), R( x )) tels que
A( x ) = B( x ) Q( x ) + R( x ) o R( x ) = (0) ou d R( x ) < d B( x )
Dterminer ce couple ( Q( x ), R( x )) cest raliser la division euclidienne de A( x ) par B( x ).
Q( x ) sappelle le quotient de la division euclidienne de A( x ) par B( x ).
R( x ) sappelle le reste de la division euclidienne de A( x ) par B( x )
Lorsque R( x ) = 0 on dit alors que P( x ) est divisible par Q( x )
dmonstration
1. Unicit : Supposons que
A( x ) = B( x ) Q1 ( x ) + R1 ( x ) avec R1 ( x ) = (0) ou d R1 ( x ) < d B( x )
et que A( x ) = B( x ) Q2 ( x ) + R2 ( x ) avec R2 ( x ) = (0) ou d R2 ( x ) < d B( x ).
Donc B( x ) Q1 ( x ) + R1 ( x ) = B( x ) Q2 ( x ) + R2 ( x )
Alors B( x )( Q1 ( x ) Q2 ( x )) = R2 ( x ) R1 ( x )
donc d ( R2 ( x ) R1 ( x )) = d ( B( x )) + d ( Q1 ( x ) Q2 ( x ))
Or d ( R2 ( x ) R1 ( x )) max (d ( R2 ( x )), d ( R1 ( x ))) < d ( B( x ))
donc d ( Q1 ( x ) Q2 ( x )) < 0 donc ( Q1 ( x ) Q2 ( x )) = 0
donc R2 ( x ) R1 ( x ) = B( x )( Q1 ( x ) Q2 ( x )) = B( x )0 = 0
En conclusion, Q1 ( x ) = Q2 ( x ) et R1 ( x ) = R2 ( x )
2. Existence :
1er cas A( x ) = 0
alors A( x ) = 0 = B( x )0 + 0
16

2me cas A( x ) 6= 0
On raisonne par rcurrence forte sur le degr n de A( x )
lorsque n = 0 alors A( x ) = C constante . Comme B( x ) 6= 0
ou bien d ( B( x ) = 0 donc B( x ) = K constante non nulle alors
C
C
A( x ) = K + 0 . On a donc ici B( x ) = K ; Q( x ) = et R( x ) = 0
K
K
ou bien d ( B( x )) > 0 donc d ( B( x ) > d ( A( x ) et A( x ) = B( x )0 + A( x )
Soit k un entier naturel. Supposons que le rsultat est vrai pour tout polynme de
degr k.
Soit un polynme A( x ) de d = k + 1 alors considrons les termes dominants de
A( x ) = ak+1 x k+1 + et de B( x ) = b p x p +
Alors de deux choses lune :
ou bien d A( x ) = k + 1 < p = d B( x ) dans ce cas A( x ) = B( x )0 + A( x ) ici
Q( x ) = 0 et R( x ) = A( x )
ou bien d A( x ) = k + 1 p = d ( B( x ) alors on pose
a
W ( x ) = A ( x ) k +1 x k +1 p B ( x )
bp
a
= a k +1 x k +1 + ( k +1 b p x k +1 p + p + ).
bp
k
+
1
= a k +1 x
+ ( a k +1 x k +1 + ).
Dans W ( x ) il ny a plus de terme en x k+1 donc d (W ( x ) k donc lhypothse
de rcurrence sapplique . Ainsi W ( x ) = B( x ) Q1 ( x ) + R1 ( x ) avec R1 ( x ) = 0 ou
d R1 ( x ) < d B ( x ).
a
Par consquent A( x ) = W ( x ) + k+1 x k+1 p B( x )
bp
a k +1 k +1 p
x
B( x )
= B ( x ) Q1 ( x ) + R1 ( x ) +
bp
a
= B( x )( Q1 ( x ) + k+1 x k+1 p ) + R1 ( x ) = B( x ) Q( x ) + R( x ) avec Q( x ) = Q1 ( x ) +
bp
a k +1 k +1 p
x
et R( x ) = R1 ( x )
bp
En conclusion, daprs les 2 tapes prcdentes, la rcurrence est vraie por tout
entier naturel n
2.3
Fausse rcurrence
Attention aux fausses rcurrences :

Il arrive que la proprit Pr soit uniquement hrditaire mais quon ne puisse linitialiser alors
on ne peut rien conclure sur la vrit de Pr (n)
Fausse rcurrence
Soit la proprit pr (n) : 5n + 1 est un multiple non nul de 4
1. Cette proprit est-elle vraie pour n = 0 ?
2.3. FAUSSE RCURRENCE
17
2. Dmontrer que pour tout entier naturel k, limplication pr (k) pr (k + 1) est vraie.
3. Conclusion ?
Corrig :
1. pr (0) est fausse car 50 + 1 = 2 nest pas un multiple non nul de 4
2. Et pourtant, pour tout entier naturel k, limplication pr (k) pr (k + 1) est vraie.
en effet, supposons que pour un certain entier k 0 lon ait pr (k) cest--dire que 5k + 1
est un multiple non nul de 4 donc q Z tel que 5k + 1 = 4q do 5k = 4q 1
Alors 5k+1 + 1 = 5(5k ) + 1 = 5(4q 1) + 1 = 20q 5 + 1 = 20q 4 = 4(5q 1) = 5q0
o q0 = 5q 1 Z . Donc pr (k + 1) est vraie CQFD.
3. On est en prsence dune fausse rcurrence car pr est bien hrditaire mais nest pas
initialise en 0
18
2.4
Exercices
2.4.1
Cardinal de P( E)
1. Dterminer lensemble des parties de E not P ( E) dans les cas suivants E1 = { a} ;

E2 = { a; b} ; E3 = { a; b; c}
2. Dmontrer par rcurrence que si E est un ensemble fini ayant n lments alors lensemble P ( E) de ses parties a 2n lments
3. En dduire P () ; P (P ()) ; P (P (P ())) ; Card(P (P (P (P ())))
Corrig :
1. Pour crer lensemble des parties P ( E) dun ensemble E,

on place dabord la seule partie 0 lments qui est lensemble vide
puis les parties 1 lment quon appelle les singletons,
les parties 2 lments quon appelle les paires,
celles 3 lments ,
...
celles n 1 lments
et enfin la seule partie n lments, la partie pleine cest--dire lensemble E luimme.
Par consquent,
si E1 = { a} alors P ( E1 ) = {; { a}}
si E2 = { a; b} alors E2 = E1 {b} et P ( E2 ) = {; { a}; {b}; { a; b}}
si E3 = { a; b; c} alors E3 = E2 {c} et P ( E) = {; { a}; {b}; {c}; { a; b}; { a; c}; {b; c}; { a; b; c}}
On peut donc remarquer que lorsque lon ajoute un lment rouge un ensemble Ei
, alors lensemble des parties du nouvel ensemble Ei { x } est form de toutes les anciennes parties de Ei auxquelles on ajoute de nouvelles parties qui sont en fait formes
des anciennes parties auxquelles on ajoute le nouveau lment rouge { x }.
Donc il y a autant de nouvelles parties ayant ce nouvel lment rouge x que danciennes
parties nayant pas x.
2. On pose pr (n) :" le nombre de parties dun ensemble ayant n lments est 2n "
(a) Etape 1 : initialisation
A-t-on pr (0) ?
cest--dire a-t-on le nombre de parties dun ensemble ayant 0 lments est 20 ?
Oui car si Card( E) = 0 cest que E = donc P ( E) = P () = {}. P ( E) na donc
quun seul lment.
Par consquent pr (0) est vraie.
2.4. EXERCICES
19
(b) Etape 2 : hrdit

Soit un certain entier k 0. A-t-on pr (k) = pr (k + 1) ?
cest--dire a-t-on le nombre de parties dun ensemble ayant k lments est 2k =
que le nombre de parties dun ensemble ayant k + 1 lments est 2k+1
Supposons que lhypothse de rcurrence suivante " le nombre de parties dun ensemble ayant k lments est 2k " soit vraie.
Soit un ensemble F ayant k + 1 lments. Isolons un lment x de F . Par consquent
F = E { x } o E a k lments.
Alors lensemble des parties du nouvel ensemble F = E { x } est form de toutes
les anciennes parties de E auxquelles on ajoute de nouvelles parties qui sont en fait
formes des anciennes parties auxquelles on ajoute le nouveau lment rouge { x }.
Or daprs lhypothse de rcurrence, Card(P ( E)) = 2k et de plus il y a autant de
nouvelles parties ayant ce nouvel lment rouge que danciennes parties nayant pas
{x}
donc Card(P ( F )) = 2k + 2k = 2(2k ) = 21+k CQFD.
(c) Conclusion pr est initialis en 0 et pr est hrditaire
donc pour tout entier naturel n, si Card( E) = n alors Card(P ( E)) = 2n "
3.
P () = {}
P (P ()) = P ({}) = {; {}}
P (P (P ())) = P ({; {}}) = {; {}; {{}}; {; {}}}
Comme card(P (P (P ())) = 4 alors Card(P (P (P (P ()))) = 24 = 16
20
2.4.2
Ingalit de Bernoulli
Soit a un rel > 0.

1. Dmontrer par rcurrence que pour tout entier naturel n, lon a : (1 + a)n 1 + na
2. Redmontrer cette ingalit en utilisant la formule du binme de Newton :
Si a et b sont des rels alors pour tout entier naturel n
( a + b)n =

n
k ank bk
k =0
Corrig :
1. On pose pr (n) : (1 + a)n 1 + na
(a) Etape 1 : initialisation
A-t-on pr (0) ? cest--dire a-t-on (1 + a)0 1 + 0a ? cest--dire a-t-on 1 1 ? Oui.
(b) Etape 2 : hrdit
cest--dire a-t-on (1 + a)k 1 + ka = (1 + a)k+1 1 + (k + 1) a
Supposons donc que (1 + a)k 1 + ka. Or (1 + a)k+1 = (1 + a)k (1 + a).
Comme (1 + a)k (1 + ka) comme (1 + a) > 0 car a > 0 donc (1 + a)k (1 + a)
(1 + ka)(1 + a)
do (1 + a)k+1 1 + ka + a + ka2 Mais ka2 0 puisque k 0 et a > 0
donc 1 + ka + a + ka2 1 + a + ka.
do (1 + a)k+1 1 + (k + 1) a
(c) Conclusion pr est initialis en 0 et pr est hrditaire donc pr est vraie pour tout entier
naturel n
2. Daprs la formule du binme de Newton,

n
n
n
n nk k
n n 0
n n 1 1
n nk k
n nk k
(1 + a ) n =
1
a =
1 a +
1
a +
1
a = 1 + na +
1
a
k
0
1
k
k
k =2
k =2
k =0
n
n
car
= 1 et
= n.
0
1

n
n
n nk k
n k
Or
1
a =
a 0 donc (1 + a)n 1 + na
k
k
k =2
k =2
2.4. EXERCICES
2.4.3
21
Quelques sommes remarquables
Dmontrer par rcurrence que :

n
1. S1 =
k = 1+2+3++n =
k =1
n
2. S2 =
k2 = 12 + 22 + 32 + + n2 =
k =1
n
3. S3 =
n ( n + 1)
2
n(n + 1)(2n + 1)
6
k3 = 13 + 23 + 33 + + n3 = S12 =
k =1
n2 ( n + 1)2
4
4.
(2k 1) = 1 + 3 + 5 + + (2n 1) = n2
k =1
n
5.
k(k!) = 1(1!) + 2(2!) + 3(3!) + + n(n!) = (n + 1)! 1
k =1
22
2.4.4
Fausse rcurrence

1. Cette proprit est-elle vraie pour n = 0 ?
2. Dmontrer que pour tout entier naturel k, limplication pr (k) pr (k + 1) est vraie.
3. Conclusion ?
Corrig :
1. pr (0) est fausse car 50 + 1 = 2 nest pas un multiple non nul de 4
2. Et pourtant, pour tout entier naturel k, limplication pr (k) pr (k + 1) est vraie.
en effet, supposons que pour un certain entier k 0 lon ait pr (k) cest--dire que 5k + 1
est un multiple non nul de 4 donc q Z tel que 5k + 1 = 4q do 5k = 4q 1
Alors 5k+1 + 1 = 5(5k ) + 1 = 5(4q 1) + 1 = 20q 5 + 1 = 20q 4 = 4(5q 1) = 5q0
o q0 = 5q 1 Z . Donc pr (k + 1) est vraie CQFD.
3. On est en prsence dune fausse rcurrence car pr est bien hrditaire mais nest pas
initialise en 0
2.4. EXERCICES
2.4.5
23
Le nombre de diagonales dun polygne convexe
Soit un polygne convexe de n cts. Dmontrer par rcurrence que si n est un entier
n ( n 3)
suprieur ou gal 3 alors le nombre de diagonales est
2
NB Un polygone est convexe lorsque quelques soient les points M et N situs dans
lintrieur de ce polygne, le segment [ MN ] est inclus dans cet intrieur.
Corrig : Notons Dn le nombre de diagonales dun polygne convexe n cts.
n ( n 3)
"
2
3(3 3)
. en effet dans un triangle, il ny a aucune diago1. pr (3) est vraie car D3 = 0 =
2
nale.
k ( k 3)
2. Supposons que pour un certain entier k 3 lon ait Dk =
.
2
Considrons alors un polygne R convexe de k + 1 cts. Donc ce polygne R a k + 1
sommets. Notons ces sommets A1 , A2 , , Ak , Ak+1 . Soit Q le polygne A1 , A2 , , Ak .
Ce polygne Q a donc Dk diagonales.
On construit R partir de Q en ajoutant le sommet Ak+1 . On trace les segments [ A1 Ak+1 ]
et [ Ak Ak+1 ]. Mais alors lancien ct [ A1 Ak ] de Q devient alors une diagonale de R.
Le nombre Dk+1 de R est Dk + k 2 + 1 o
Soit la proprit pr (n) : " Dn =
(a) Dk est le nombre de diagonales de Q

(b) k : le nombre de segments partant de Ak+1 vers les k autres sommets A1 , A2 , , Ak .
(c) il faut enlever 2 correspondants aux deux nouveau cts [ A1 Ak+1 ] et [ Ak Ak+1 ]
(d) il faut rajouter +1 correspondant la nouvelle diagonale [ A1 Ak ]
k ( k 3)
k2 3k + 2k 2
k2 k + 2k 2
(k + 1)(k 2)
+k1 =
=
=
.
2
2
2
2
(k + 1)(k + 1 3)
Par consquent, Dk+1 =
. CQFD.
2
3. La proprit est initialise en 3 et hrditaire donc elle est vraie pour tout entier naturel
n3
Or Dk + k 2 + 1 =
24
2.4.6
Multiples de 11
Dmontrer par rcurrence que pour tout entier naturel n, 10n (1)n est un multiple de 11
Corrig :
On pose pr (n) : 10n (1)n = 11q o q Z
1. Etape 1 : initialisation
A-t-on pr (0) ? cest--dire a-t-on 100 (1)0 = 11q ? cest--dire a-t-on 1 1 = 11q ?
cest--dire a-t-on 0 = 11q ? Oui car 0 = 11 0
2. Etape 2 : hrdit
cest--dire a-t-on q Z 10k (1)k = 11q = q0 Z 10k+1 (1)k+1 = 11q0
Supposons donc que 10k (1)k = 11q.
Alors 10k+1 (1)k+1 = 10(10k ) (1)k (1) = 10[11q + (1)k ] + (1)k = 10 11q +
11(1)k = 11[10q + (1)k ] = 11q0 o q0 = 10q + (1)k est un entier car (1)k est un
entier qui vaut soit 1 soit 1 et 10q est un entier relatif car q est un entier relatif.
3. Conclusion pr est initialis en 0 et pr est hrditaire donc pr est vraie pour tout entier
naturel n
2.4. EXERCICES
2.4.7
25
Suite de Fibonacci alias Lonard de Pise
Soit une suite (un ) dfinie par :

u1 = 1
u2 = 1
n entier 3 un = un1 + un2
1. Rsoudre lquation dinconnue x relle : x2 = x + 1. On note la solution positive et
lautre solution.
2. Dmontrer par rcurrence la Formule dite de BINET :
1
n N un = (n n )
5
Corrig :
1. Soit lquation : x2 x 1 = 0 dinconnue relle x.
(a) Le discriminant = b2 4ac = (1)2 4(1)(1) = 5.
1+ 5
et =
Comme > 0 alors cette quation a deux solutions relles : =
2
1 5
2
b
c
1+ 5 1 5
(b) + = = 1, = = 1 , =
= 5
a
a
2
2
(c) Comme est solution de x2 x 1 = 0 alors 2 = + 1.
(d) Comme est solution de x2 x 1 = 0 alors 2 = + 1.

2. Dmontrer par rcurrence que pour tout entier naturel n :
1
un = (n n )
5
(a) Initialisation double : La proprit recherche est vraie pour les deux premires valeurs :
1
1
1
( 1 1 ) = ( ) = 5 = 1 = u1
5
5
5
1
1
1
2
2
( ) = (( + 1) ( + 1)) = ( ) = 1 = u2
5
5
5
(b) Hrdit : supposons que pour un certain entier k 1 lon a :
1
1
uk = (k k ) et uk+1 = (k+1 k+1 )
5
5
1
1
alors uk+2 = uk + uk+1 = (k k ) + (k+1 k+1 )
5
5
1
1
k
k +1
k
k +1
donc uk+2 = (( + ) ( + )) = ((k (1 + ) k (1 + )) Or
5
5
1
k +2
2
2
1 + = et 1 + = donc uk+2 = (
k +2 )
5
26

(c) On a dmontr par rcurrence que pour tout entier naturel n 1 lon a :
1
un = (n n )
5
2.4. EXERCICES
2.4.8
27
Puissance dune matrice

1 1
Soit la matrice A =
.
0 1
Dmontrer
par

rcurrence que pour tout entier naturel n 6= 0 lon a :
1
n
An =
0 1
Corrig :
On pose pr (n) :
An
1
0
n
1
A-t-on pr (1) ? cest--dire a-t-on
A1
1
0

1
? Oui.
1

2. Etape 2 : hrdit
Soit un certain entier k 1. A-t-on
pr (k + 1) ?
pr (k) =
1
k
1 k+1
cest--dire a-t-on Ak =
= Ak+1 =
0 1
0
1
1 k
Supposons donc que Ak =
.
0 1

1 1
1 k
1 k+1
Alors Ak+1 = A Ak =
=
. CQFD
0 1
0 1
0
1
naturel n 1
28
2.4.9
Ingalit
Dmontrer par rcurrence que pour tout entier naturel n 3 que n2 > 2n + 1
Corrig :
On pose pr (n) : n2 > 2n + 1
A-t-on pr (3) ? cest--dire a-t-on 32 > 2 3 + 1 ? cest--dire a-t-on 9 > 7 ? Oui.
2. Etape 2 : hrdit
cest--dire a-t-on k2 > 2k + 1 = (k + 1)2 > 2(k + 1) + 1?
cest--dire a-t-on k2 > 2k + 1 = (k + 1)2 > 2k + 3?
Supposons donc que k2 > 2k + 1.
Alors (k + 1)2 = k2 + 2k + 1. Or k2 > 2k + 1 donc k2 + 2k + 1 > 2k + 1 + 2k + 1. Or
k 3 donc 2k 6 do 2k 1 donc 2k + 1 + 2k + 1 > 2k + 1 + 1 + 1. Par consquent,
(k + 1)2 > 2k + 3 CQFD
naturel n 3
2.4. EXERCICES
2.4.10
29
Suite
Soit une suite (un ) dfinie pour tout entier naturel n par : u0 = a et
u n +1
( u
n
si n est pair
=
2
un + 1 si n est impair
1. Dterminer les 8 premiers termes de cette suite.

2. Dterminer par rcurrence que pour tout entier naturel p :
2p 1
a
u2p =
+ p 1
p
2
2
p
u2p+1 = a + 2 1
2p
2 p +1
30
Chapitre 3
Division euclidienne dans N

3.1
Lemme dArchimde
a N b N n N tel que a < n b
3.1.1
Dmonstration
Comme b 1 alors ab a.
De plus, comme b 1 alors 0 < b donc a < a + b.
Donc a < a + b et a ab alors a ab + a. Par consquent a < ( a + 1)b. CQFD.
3.2
Thorme
Pour tout couple ( a, b) N N , il existe un couple unique (q, r ) de N N tel que

a = bq + r
0r<b
On dit quon a alors effectu la division euclidienne de a par b.
q sappelle le quotient de la division euclidienne et r sappelle le reste de la division euclidienne.
3.2.1
Dmonstration
Chercher (q, r ) vrifiant a = bq + r et 0 r < b ()

chercher (q, r ) vrifiant a = bq + r et 0 a bq < b
chercher (q, r ) vrifiant a = bq + r et bq a < b + bq
chercher (q, r ) vrifiant a = bq + r et bq a < b(q + 1) ()
Soit E = { p N/a < pb} Daprs le lemme dArchimde, E est non vide.
E tant alors une partie non vide de N alors E admet un plus petit lmnt p0 .
p0 6= 0 sinon on aurait a < 0 ce qui ne se peut.
Comme p0 est non nul alors p0 admet un prdcesseur p0 1 qui lui nappartient pas E.
En posant q = p0 1 on satisfait bien la proposition () donc la proposition quivalente ()
31
CHAPITRE 3. DIVISION EUCLIDIENNE DANS N
32
3.3
Calcul formel
Maple - Xcas : iquo ( a, b) ramne le quotient de la division euclidienne de lentier a par
lentier b
Maple - Xcas : irem( a, b) ramne le reste de la division euclidienne de lentier a par lentier
b
3.4. PROGRAMMATION
3.4
Programmation
En ALGOBOX, le codage de lalgorithme classique

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
VARIABLES
A EST_DU_TYPE NOMBRE
B EST_DU_TYPE NOMBRE
Q EST_DU_TYPE NOMBRE
R EST_DU_TYPE NOMBRE
DEBUT_ALGORITHME
LIRE A
LIRE B
R PREND_LA_VALEUR A%B
Q PREND_LA_VALEUR (A-R)/B
AFFICHER "Le quotient de la division euclidienne est "
AFFICHER Q
AFFICHER "Le reste de la division euclidienne est "
AFFICHER R
FIN_ALGORITHME
En SCILAB, le codage de lalgorithme classique
1
2
3
4
5
6
a = input("entrez a = ")
b =input("entrez un entier non nul b = ")
r = reste(a,b)
q =(a - r)/b
disp(q," le quotient de la division euclidienne est ")
disp(r, "le reste de la division euclidienne est ")
En ALGOBOX, le codage de lalgorithme utilisant les soustractions successives

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
VARIABLES
C EST_DU_TYPE NOMBRE
Q EST_DU_TYPE NOMBRE
R EST_DU_TYPE NOMBRE
DEBUT_ALGORITHME
LIRE A
LIRE B
C PREND_LA_VALEUR A
Q PREND_LA_VALEUR 0
TANT_QUE (A>=B) FAIRE
DEBUT_TANT_QUE
A PREND_LA_VALEUR A - B
Q PREND_LA_VALEUR Q + 1
FIN_TANT_QUE
R PREND_LA_VALEUR C - B * Q
33
34
18
19
20
21
22

AFFICHER "Le quotient de la division euclidienne est "
AFFICHER Q
AFFICHER "Le reste de la division euclidienne est "
AFFICHER R
FIN_ALGORITHME
3.4. PROGRAMMATION
En SCILAB,le codage de lalgorithme utilisant les soustractions successives
1
a = input("entrez a = ")
2
b = input("entrez un entier non nul b = ")
3
q = 0
4
while a >=b
5
a = a - b
6
q = q + 1
7
end
8
r = a
9 disp(q," le quotient de la division euclidienne est ")
10 disp(r, "le reste de la division euclidienne est ")
35
36
3.5
3.5.1
Exercices
Exercice
Dterminer a N tels que la division euclidienne de a par 64 a pour quotient q et pour reste q3
Dmonstration :
Chercher a et q tels que

a = 64q + q3
0 q3 64

a = 64q + q3
0q4
car la fonction cube est strictement croissante sur R.


a = 64q + q3
q {0; 1; 2; 3; 4}
Donc SN = {0; 65; 136; 219}
Chapitre 4
Construction de Z
4.1
Introduction
Dans N , la soustraction de 2 entiers naturels a et b nest possible que si a b.

On est conduit construire un ensemble not Z tel que
1. la soustraction est partout dfinie dans Z
2. une partie de Z, note Z+ , est isomorphe N pour laddition et la multiplication.
On construira Z par un procd appel procd de symtrisation de N.
4.1.1
Etape 1 : Dfinition de Z
Thorme
Soit N2 . Soit la relation R dfinie dans N2 par
( a, b) N2 ( a0 , b0 ) N2 ( a, b) R ( a0 , b0 ) a + b0 = b + a0
R est une relation dquivalence.
N2 /R qui est lensemble des classes dquivalence de N2 pour R est not Z.
Donc Z = {( a, b)/( a, b) N2 } = {(c, d)/a + d = b + c}

Par exemple, (0, 0) R (1, 1); (0, 0) R (n, n); (1, 0) R (2, 1); (1, 0) R (n, n 1)
Voici une reprsentation graphique de Z = N2 /R :
37
CHAPITRE 4. CONSTRUCTION DE Z
38
4.1.2
Etape 2 : dfinition dune loi
dans Z
Thorme et dfinitions
1. Dans N2 on dfinit une loi + par :
( a, b) N2 (c, d) N2 ( a, b) + (c, d) = ( a + c, b + d)
2. Cette loi + est compatible avec la relation R car
( a, b) N2 ( a0 , b0 ) N2 (c, d) N2 (c0 , d0 ) N2
( a, b) R ( a0 , b0 ) et (c, d) R (c0 , d0 ) = ( a + c, b + d) R ( a0 + c0 , b0 + d0 )
3. On peut alors dfinir dans Z une loi
par
( a, b) Z (c, d) Z ( a, b) + (c, d) = ( a + c, b + d)
) est un groupe commutatif dlment neutre (0, 0) et tout lment ( a, b) a pour
lment symtrique (b, a)
5. On appelle Z+ = {(n, 0)/n N} lensemble des entiers relatifs positifs.
Lapplication : N Z+ qui n (n) = (n, 0) est un isomorphisme de (N, +) sur
4. (Z,
(Z+ ,
6. On appelle ensemble des entiers relatifs ngatifs Z lensemble des symtriques pour
L
des lments de Z+
donc Z = {(0, n)/n N}
7. (a) Z+ Z = {(0, 0)}

(b) Z+ Z = Z
(c) Loppos de lentier positif (n, 0) est lentier ngatif (0, n)
(d) Loppos de lentier ngatif (0, n) est lentier positif (n, 0)

(e) La somme de deux entiers positifs est un entier positif
(f) La somme de deux entiers ngatifs est un entier ngatif
(g) La somme dun entier positif et dun entier ngatif est soit un entier positif, soit un
entier ngatif :
Exemples
L
(4, 0) (0, 3) = (4, 3) = (1, 0) Z+
L
(4, 0) (0, 6) = (4, 6) = (0, 2) Z
4.1.3
Etape 3 : dfinition dune loi
Thorme et dfinitions
dans Z
4.1. INTRODUCTION
39
1. Dans N2 on dfinit une loi par :
( a, b) N2 (c, d) N2 ( a, b) (c, d) = ( ac + bd, ad + bc)

2. Cette loi est compatible avec la relation R car
( a, b) N2 ( a0 , b0 ) N2 (c, d) N2 (c0 , d0 ) N2
( a, b) R ( a0 , b0 ) et (c, d) R (c0 , d0 ) = ( a, b) (c, d) R ( a0 , b0 ) (c0 , d0 ))
3. On peut alors dfinir dans Z une loi
par
O
( a, b) Z (c, d) Z ( a, b)
(c, d) = ( ac + bd, ad + bc)
4. (a) La loi
est associative dans Z
(b) La loi
est distributive par rapport la loi
(c) La loi
est commutative dans Z
(d) La loi
admet llment neutre (1, 0) dans Z
dans Z
5. (a) Le produit de deux entiers positifs est un entier positif

(b) Le produit de deux entiers ngatifs est un entier positif
(c) La somme dun entier positif et dun entier ngatif est un entier ngatif
(d) Les seuls lments inversibles de Z sont (1, 0) et (0, 1)
(e) Lapplication : N Z+ qui n (n) = (n, 0) est un isomorphisme de (N, )

N
+
sur (Z , )
(f) (Z,
4.1.4
L N
) est un anneau commutatif unitaire.
Etape 4 : Notations
1. Dornavant dans Z ,
2. Comme (N, +)
se note + et
se note
(Z+ , +)
et (N, ) (Z+ , ) on identifie Z+ et N.
Dornavant N = Z+ et (n, 0) se note n.
3. Comme (0, n) est loppos de (n, 0), (0, n) se note n.

4. Les seuls lments inversibles de lanneau commutatif unitaire (Z, +, ) sont donc :
1 et 1
4.1.5
Etape 5 : Dfinition dune relation dordre dans Z
Thorme et dfinition
Dans Z, soit la relation dfinie par
x Z y Z x y y x Z+
1. est une relation dordre total sur Z
40
2. restreinte Z+ est la relation dordre dfinie dans N

3. On note dornavant :
4. On a x Z+ 0 x et x Z x 0
5. (Z, +, , ) est un anneau commutatif unitaire totalement ordonn.
4.1.6
Etape 6 : Conclusion
Soit N = {0; 1; 2; 3; } alors

1. Z = Z+ Z = N (N) = {0; 1; 2; 3; } {0; 1; 2; 3; } = { , 3; 2; 1; 0; 1; 2; 3; }
2. (Z, +, ) est un anneau commutatif unitaire.
3. Les seuls lments inversibles de Z sont : 1 et 1
4. Si x Z on appelle valeur absolue de x que lon note | x |

x si x 0
| x |= sup( x; x ) =
x si x 0
De plus x Z y Z lon a
| x |= 0 x = 0
| xy |=| x || y |
| x + y || x | + | y |
5. (Z, +, ) est un anneau intgre cest--dire un anneau sans diviseurs de 0
cest--dire que
x Z y Z xy = 0 = x = 0 ou y = 0
Dmonstration :
En effet, x Z y Z ona :
xy = 0 | xy |= 0 | x || y |= 0 | x |= 0 ou | y |= 0 (**) en utilisant une
proprit de N.
Or () x = 0 ou y = 0. CQFD.
6. Tout lment de Z est rgulier pour la loi +
cest--dire

( x, y, z) Z3 x + y = z + y = x = z (Rgularit droite)
( x, y, z) Z3 y + x = y + z = x = z (Rgularit gauche)
4.1. INTRODUCTION
7. Tout lment de Z est rgulier pour la loi
cest--dire

( x, y, z) Z3 xy = zy = x = z (Rgularit droite)
( x, y, z) Z3 yx = yz = x = z (Rgularit gauche)
41
42
4.2
Exercices
4.2.1
Toulouse C 1980
Soit ( x, y) Z2 on pose f ( x, y) = (4x + 2y + 12)2 4( x + y + 4)2 .

Rsoudre dans Z2 lquation f ( x, y) = 4
Corrig
f ( x, y) = 4 (4x + 2y + 12)2 4( x + y + 4)2 = 4
[(4x + 2y + 12) 2( x + y + 4)][(4x + 2y + 12) + 2( x + y + 4)] = 4
(2x + 4)(6x + 4y + 20) = 4 ( x + 2)(3x + 2y + 10) = 1

x+2 = 1
3x + 2y + 10 = 1
ou
x + 2 = 1
3x + 2y + 10 = 1
car les seuls lments inversibles de Z sont 1 et 1

x = 1
y = 3
ou
Par consquent, S = {(1; 3); (3; 1)}
x = 3
y = 1
Chapitre 5

5.1
Notion de multiple
Soit n Z. Soit m Z.
On dit que n divise m (quon notera n | m) ou que m est un multiple de n lorsque
k Z m = n k
Lensemble des multiples de n est {n k/k Z} quon notera nZ.
5.1.1
Exemples
1. 0Z = {0}
2. 1Z = Z
3. (1)Z = Z
4. 2Z = lensemble des entiers relatifs pairs.
5.1.2
Thorme
n Z
nZ est un sous groupe du groupe (Z, +)
Dmonstration
1. nZ Z.
2. 0 nZ car 0 = n 0 donc nZ 6=
3. Soit m1 nZ et m2 nZ.
Alors (k1 , k2 ) Z2 tel que m1 = k1 n et m2 = k2 n.
Donc m1 m2 = nk1 nk2 = n(k1 k2 ) = nk o k = k1 k2 Z.
Par consquent, m1 m2 nZ
43
CHAPITRE 5. DIVISION EUCLIDIENNE DANS Z
44
5.1.3
Relation de divisibilit dans Z
La relation de divisibilit dans Z :

est rflexive
est transitive
nest pas antisymtrique car
a | b et b | a = a = b ou a = b
Donc | nest pas une relation dordre dans Z.
Dmonstration
Soit a Z alors a = 1 a alors a | a donc | est rflexive
Soit ( a, b, c) Z3 tel que a | b et b | c.
Alors k1 Z b = k1 a et k2 Z c = k2 b.
Donc c = k2 k1 a = ka o k = k1 k2 Z donc ca | c. Par consquent, | est transitive.
Soit ( a, b) Z2 tel que a | b et b | a.
Alors k1 Z b = k1 a et k2 Z a = k2 b.
Par consquent a = k2 k1 a do a(1 k2 k1 ) = 0.
ou bien a 6= 0 donc 1 k2 k1 = 0 donc k2 k1 = 1.
Or les seuls lments inversibles de Z sont 1 et 1.
Par consquent, ou k2 = k1 = 1 ou k2 = k1 = 1 donc a = b ou a = b
ou bien a = 0 mais alors b = 0 donc a = b ou a = b
On a donc | qui nest pas antisymtrique car
a | b et b | a = a = b ou a = b
5.1.4
Remarque
Dans N par contre, la relation de divisibilit | est une relation dordre partiel
car elle est :
rflexive
transitive
antisymtrique
Mais cette relation dordre nest pas une relation dordre total. Cet ordre est partiel car
( x, y) N2 x ne divise pas y et y ne divise pas x : par exemple 2 ne divise pas 3 et
3 ne divise pas 2
5.1.5
Thorme
Soit ( a, b) Z2 alors :
a | b bZ aZ
Dmonstration
=:
Supposons que a | b.
soit n bZ donc k1 Z n = k1 b. Or a | donc k2 Z b = k2 a.
Par consquent n = k1 b = k1 k2 a = ka o k = k1 k2 Z donc n aZ.
On a donc bZ aZ. CQFD.
5.2. DIVISION EUCLIDIENNE DANS Z
45
=:
Supposons que bZ aZ.
Or b bZ donc b aZ. Par consquent, k Z tel que b = ak donc a | b. CQFD.
5.2

a Z b N
!(q, r ) Z N a = bq + r et 0 r < b
Dmonstration
1. ou bien a N
Alors daprs le thorme sur la division euclidienne dans N
Comme ( a, b) N N !(q, r ) N N a = bq + r et 0 r < b
2. ou bien a Z N
(a) ou bien b | a
Dans ce cas k Z tel que a = kb.
k est unique car si lon suppose quil existe aussi k0 Z tel que a = k0 b alors kb = k0 b
donc kb k0 b = 0 do (k k0 )b = 0.
Or b 6= 0 donc k k0 = 0. Par consquent k = k0 .
On en dduit !(q, r ) N N a = bq + r avec (q, r ) = (b, 0)
(b) ou bien b 6| a.
On sintresse | a | qui appartient N.
En utilisant la division euclidienne dans N et le fait que b 6| a on obtient donc que :
!q0 N tel que bq0 <| a |< b(q0 + 1)
cest--dire que bq0 < a < b(q0 + 1) do bq0 > a > b(q0 + 1).
On a donc b(q0 1) < a < b(q0 ).
En posant q = q0 on obtient que bq < a < b(q + 1)
Par consquent !(q, r ) Z N tel que a = bq + r avec

q = q0 1
r = a b(q0 1)
5.3
Sous groupes de (Z, +)
Les seuls sous groupes du groupe (Z, +) sont les (nZ, +) o n N
5.3.1
Dmonstration
1. On sait dj que tous les nZ sont des sous groupes de (Z, +).
2. Reste donc prouver que si H est un sous groupe de (Z, +)
alors n N tel que H = nZ.
(a) unicit de n :
Supposons que H = nZ et que H = n0 Z o (n, n0 ) N2 .
Par consquent, nZ = n0 Z donc nZ n0 Z et n0 Z nZ.
On en dduit que n0 | n et que n | n0 donc n = n0 ou n = n0 .
Mais n et n0 sont des entiers naturels donc n = n0 .
CHAPITRE 5. DIVISION EUCLIDIENNE DANS Z
46
(b) existence de n :
Soit H un sous groupe de (Z, +).
i. ou bien H = {0}
Alors H = {0} = 0Z. CQFD.
ii. ou bien H 6= {0}
Alors a H avec a 6= 0. Par consquent a H. De toutes faons | a | H avec
| a |6= 0.
Soit lensemble F = H N. Alors F est un sous ensemble dentiers naturels non
vide donc F admet un plus petit lment n.
Nous allons maintenant dmontrer que H = nZ
nZ H ?
soit x nZ donc k Z tel que x = nk
donc | x |= n | k |= n + n + + n (ceci | k | fois).
Or n H et H est un sous groupe additif donc | x | H. Par consquent,
x H. CQFD.
H nZ ?
Soit x H. Comme n N alors daprs la division euclidienne !(q, r )
(Z N) tel que x = nq + r et 0 r < n
Alors
supposons que 0 < r < n.
Or r = x nq o x H et nq nZ.
Or nZ H donc nq H.
Comme H est un sous groupe additif et que x H et nq H alors x nq
H.
Par consquent, r H.
Donc H N aurait comme plus petit lment r et non n. Ceci nest pas
possible.
donc forcment r = 0
Donc x = nq donc x nZ. CQFD.
Chapitre 6
PGCD et PPCM
6.1
Pgcd
6.1.1
Thorme et Dfinition
Soit ( a, b) Z2 .
1. Lensemble aZ + bZ = { ak + bk0 /(k, k0 ) Z2 } est un sous groupe de (Z, +) donc
Z aZ + bZ = Z
2. Lensemble des diviseurs communs a et b est lensemble des diviseurs de .
3. Si a 6= 0 et b 6= 0 alors le plus petit lment strictement positif de Z est qui est donc
le plus grand diviseur commun a et b. On le note = a b.
4. Si a = 0 alors 0Z + bZ = bZ =| b | Z et 0 b =| b |
5. Si b = 0 alors aZ + 0Z = aZ =| a | Z et a 0 =| a |
6. Si a = b = 0 alors a b = 0 0 = 0
Dmonstration
= aZ + bZ = { ak + bk0 /(k, k0 ) Z2 } est bien un sous groupe de (Z, +) car

E Z.
E 6= car 0 E puisque 0 = a0 + b0
Soit ( x, y) E2 alors (k, k0 ) Z2 tel que x = ak + bk0 et (q, q0 ) Z2 tel que y = aq + bq0
donc x y = ak + bk0 ( aq + bq0 ) = a(k q) + b(k0 q0 ) E puisque (k q) Z et
(k0 q0 ) Z.
Soit I lensemble des diviseurs communs a et b.
Soit J lensemble des diviseurs de .
1. on a I J car
soit d I donc d | a et d | b. Alors (k, k0 ) Z2 tel que a = dk et b = dk0 .
Mais Z = aZ + bZ donc (u, v)Z2 tel que = au + bv.
Par consquent, = dku + dk0 v = d(ku + k0 v) Comme (ku + k0 v) Z alors d | donc
d J. CQFD.
2. on a J I car
Soit d J donc d | . Or aZ aZ + bZ = Z donc aZ Z do | a. Or | est
transitive donc d | a.
Soit E
1.
2.
3.
47
48
CHAPITRE 6. PGCD ET PPCM

De mme d | b
Par consquent d I. CQFD.
6.2
Ppcm
6.2.1
Thorme et Dfinition
Soit ( a, b) Z2 .
Lensemble aZ bZ = { x = ak = bk0 /(k, k0 ) Z2 } est un sous groupe de (Z, +) donc
Z aZ bZ = Z
1. Lensemble aZ bZ = { x = ak = bk0 /(k, k0 ) Z2 } est un sous groupe de (Z, +) donc
Z aZ bZ = Z
2. Lensemble des multiples communs a et b est lensemble des multiples de .
3. Si a 6= 0 et b 6= 0 alors le plus petit lment strictement positif de Z est qui est donc
le plus petit multiple commun a et b. On le note = a b.
4. Si a = 0 alors 0Z bZ = 0Z et 0 b = 0
5. Si b = 0 alors aZ 0Z = 0Z et a 0 = 0
6. Si a = b = 0 alors 0 0 = 0
6.3
6.3.1
Proprits du pgcd et du ppcm

Proprit
( a, b) Z2 a b et a b sont uniques
Dmonstration
Ceci dcoule des deux thormes prcdents.
6.3.2
Proprit
( a, b) Z2

a b =| a | | b |
a b =| a | | b |
Dornavant, on parlera de pgcd et de ppcm dentiers naturels.

Dmonstration
Ceci est vrai car a Z
6.3.3
Proprit
| a | Z = aZ
6.3. PROPRITS DU PGCD ET DU PPCM
( a, b) Z2
a a =| a |
a a =| a |
a1 = 1
a 1 =| a |
Dornavant, on parlera de pgcd et de ppcm dentiers naturels.

Dmonstration
1. aZ + aZ = aZ =| a | Z donc a a =| a |
2. aZ aZ = aZ =| a | Z donc a a =| a |
3. aZ + 1Z = aZ + Z = Z donc a 1 = 1
4. aZ 1Z = aZ =| a | Z donc a 1 =| a |
6.3.4
Proprit
( a, b) N2

ab = ba
ab = ba
et sont commutatives dans N

Dmonstration
vidente.
6.3.5
Proprit
( a, b) N2 k N

k ( a b) = (ka) (kb)
k ( a b) = (ka) (kb)
Dmonstration
6.3.6
Proprit
( a, b) N2 ( a b) ( a b) = ab
Dmonstration
Soit = a b donc a = a0 et b = b0 avec a0 b0 = 1.
Par consquent ( a b) ( a b) = ( a0 b0 ) = ( a0 b0 ) = a0 b0 = a0 b0 = ab. CQFD.
6.3.7
Pgcd et ppcm de plusieurs entiers
49
50

On dfinit le pgcd de plusieurs entiers a1 , a2 , , ak par lunique entier tel que
k
ai Z = Z.
i =1
est not = a1 a2 a3 ak
On dfinit le ppcm de plusieurs entiers a1 , a2 , , ak par lunique entier tel que
k
\
ai Z = Z.
i =1
est not = a1 a2 a3 ak
et sont associatives dans N cause de lassociativit de laddition et de lintersection
6.4
Recherche pratique du pgcd de deux entiers naturels
6.4.1
3 cas
1. 1er cas :
Si un des deux entiers est nul par exemple b = 0 alors a 0 = a et a 0 = 0
2. 2me cas :
Si a 6= 0 et b 6= 0 et b | a alors a b = b et a b = a
En effet si b | a alors aZ bZ donc aZ + bZ = bZ et aZ bZ = aZ.
3. 3me cas : Si a 6= 0 et b 6= 0 et si aucun des entiers ne divise lautre
Dans ce cas !(q1 , r1 ) N2

a = bq1 + r1
0 r1 < b
donc r1 = a bq1 .
Par consquent, tout diviseur commun a et b est un diviseur commun b et r1 et
a b = b r1 .
On utilise alors lalgorithme dEuclide des divisions euclidiennes successives : Dans ce
cas !(q1 , r1 , q2 , r2 , , qn1 , rn1 , qn , rn ) des entiers tels que
a = bq1 + r1
0 r1 < b
b = r1 q1 + r2
0 r2 < r1
n 1 = r n 2 q n 1 + r n
0
r n < r n 1
r n = r n 1 q n + 0
La suite des restes (rn ) est une suite strictement dcroissante dentiers naturels :
0 r n < r n 1 < r n 2 < < r 3 < r 2 < r 1
donc au bout dun nombre fini de divisions on obtiendra un reste nul.
Soit rn le dernier reste non nul. Alors rn = a b car
a b = b r 1 = r 1 r 2 = = r n 1 r n = r n 0 = r n
6.4. RECHERCHE PRATIQUE DU PGCD DE DEUX ENTIERS NATURELS
6.4.2
Exemples
Calcul du pgcd(168,86) et ppcm(168,86)

quotients
168
restes
donc 168 96 = 24 et 168 86 =
1
1 3
96 72 24
72 24 0
168 96
= 672
24
Calcul du pgcd(77 982,9225)

quotients
77982
restes
8
9225
4182
donc 77982 9225 = 123 et 77982 9225 =
6.4.3
2
4182
861
4
1
861 738
738 123
6
123
0
77982 9225
= 5848650
123
Calcul Formel
Xcas :
divisors(n) ramne la liste des diviseurs positifs de lentier n
size(divisors(n)) ramne le nombre de diviseurs positifs de lentier n
sum(divisors(n)) ramne la somme des diviseurs positifs de lentier n
gcd( a, b) ramne le pgcd des entiers a et b
lcm( a, b) ramne le pgcd des entiers a et b
Maple :
igcd( a, b) ramne le pgcd des entiers a et b
ilcm( a, b) ramne le ppcm des entiers a et b
51
52
6.4.4
Tableur
Algorithme dEuclide
a et b tant des entiers naturels non nuls. On sait quil existe des entiers naturels q et r tels que
a = bq + r o 0 r < b. Lon a ainsi effectu la division euclidienne de a par b.
1. q sappelle le quotient de la division euclidienne. Dans le tableur Excel, q sobtient par
ent( a, b).
2. r sappelle le reste de la division euclidienne. Dans le tableur Excel, r sobtient par mod( a, b).
3. Le PGCD de deux nombres est le dernier reste non nul, de la succession de divisions que
lon effectue dans lalgorithme dEuclide.
Voici une feuille de calcul Excel ralisant cet algorithme :

Voici les formules utilises dans cette feuille :
53
54
Algorithme des diffrences

Il est bas sur la proprit suivante : Soient a et b des entiers naturels non nuls avec a > b.
Alors le PGCD de a et de b est gal au PGCD de b et de a b
d = pgcd(810; 450)
d = pgcd(450; 360)
d = pgcd(360; 90)
d = pgcd(90; 270) = pgcd(270; 90)
d = pgcd(90; 180) = pgcd(180; 90)
d = pgcd(90; 90)
le pgcd est donc 90
Voici une feuille de calcul Excel ralisant cet algorithme :
810 450 = 360

450 360 = 90
360 90 = 270
270 90 = 180
180 90 = 90
90 90 = 0

Voici les formules utilises dans cette feuille :
55
56
6.4.5
Programmation Turbo Pascal
Algorithme dEuclide Itratif

program PGCDITERATIF;
Uses WinCrt;
var X,Y : longint;
procedure ECHANGE(var U :longint , var V : longint);
var W : longint;
begin
W := U ; U := V ; V := W ;
end;
function PGCD1(A,B:longint) : longint;
var RESTE : longint;
begin
repeat
RESTE := A mod B;
A := B ;
B := RESTE;
until RESTE = 0;
PGCD1 := A;
end;
begin
repeat
write(Saisissez au clavier un entier X = );
readln(X)
until ((X >0) and (X = trunc(X));
repeat
write(Saisissez au clavier un entier Y = );
readln(Y)
until ((Y >0) and (Y = trunc(Y));
if X < Y then ECHANGE(X,Y);
writeln(Le pgcd de , X , et de , Y , est : ),PGCD(X,Y));
end.
On peut toujours en itratif utiliser lalgorithme des diffrences successives dans la fonction
PGCD :
function PGCD2(A,B:longint) : longint;
begin
RESTE := A ;
while RESTE >= B
do begin
RESTE := RESTE - B;
end;
PGCD2 := RESTE;
end;

Algorithme dEuclide rcursif
program PGCDITERATIF;
Uses WinCrt;
var X,Y : longint;
procedure ECHANGE(var U :longint , var V : longint);
var W : longint;
begin
W := U ; U := V ; V := W ;
end;
function PGCDR(A,B:longint) : longint;
begin
RESTE := A mod B;
if RESTE = 0 then PGCDR := A
else PGCDR :=PGCD(Y,RESTE);
end;
begin
repeat
write(Saisissez au clavier un entier X = );
readln(X)
until ((X >0) and (X = trunc(X));
repeat
write(Saisissez au clavier un entier Y = );
readln(Y)
until ((Y >0) and (Y = trunc(Y));
if X < Y then ECHANGE(X,Y);
writeln(Le pgcd de , X , et de , Y , est : ),PGCDR(X,Y));
end.
57
58
6.5
6.5.1
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
Programmation ALGOBOX
Algorithme brut
VARIABLES
DIVISEUR EST_DU_TYPE NOMBRE
PGCD EST_DU_TYPE NOMBRE
RESTE1 EST_DU_TYPE NOMBRE
RESTE2 EST_DU_TYPE NOMBRE
DEBUT_ALGORITHME
LIRE A
LIRE B
SI (A < B) ALORS
DEBUT_SI
C PREND_LA_VALEUR A
A PREND_LA_VALEUR B
B PREND_LA_VALEUR C
FIN_SI
DIVISEUR PREND_LA_VALEUR 1
PGCD PREND_LA_VALEUR DIVISEUR
TANT_QUE (DIVISEUR<=B) FAIRE
DEBUT_TANT_QUE
DIVISEUR PREND_LA_VALEUR DIVISEUR+1
RESTE1 PREND_LA_VALEUR A%DIVISEUR
RESTE2 PREND_LA_VALEUR B%DIVISEUR
SI (RESTE1==0 ET RESTE2==0) ALORS
DEBUT_SI
PGCD PREND_LA_VALEUR DIVISEUR
FIN_SI
FIN_TANT_QUE
AFFICHER "Le PGCD de "
AFFICHER A
AFFICHER " et de "
AFFICHER B
AFFICHER " est "
AFFICHER PGCD
FIN_ALGORITHME
6.5. PROGRAMMATION ALGOBOX
6.5.2
Algorithme dEuclide
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
VARIABLES
a EST_DU_TYPE NOMBRE
b EST_DU_TYPE NOMBRE
q EST_DU_TYPE NOMBRE
r EST_DU_TYPE NOMBRE
c EST_DU_TYPE NOMBRE
DEBUT_ALGORITHME
LIRE a
LIRE b
SI (a<b) ALORS
DEBUT_SI
c PREND_LA_VALEUR a
a PREND_LA_VALEUR b
b PREND_LA_VALEUR c
FIN_SI
q PREND_LA_VALEUR floor(a/b)
r PREND_LA_VALEUR a%b
TANT_QUE (r!=0) FAIRE
DEBUT_TANT_QUE
a PREND_LA_VALEUR b
b PREND_LA_VALEUR r
r PREND_LA_VALEUR a%b
FIN_TANT_QUE
AFFICHER "LE PGCD EST "
AFFICHER b
FIN_ALGORITHME
6.5.3
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Algorithme des diffrences

VARIABLES
D EST_DU_TYPE NOMBRE
S EST_DU_TYPE NOMBRE
DEBUT_ALGORITHME
LIRE A
LIRE B
SI (A<B) ALORS
DEBUT_SI
C PREND_LA_VALEUR A
A PREND_LA_VALEUR B
B PREND_LA_VALEUR C
FIN_SI
S PREND_LA_VALEUR 1
D PREND_LA_VALEUR A - B
TANT_QUE (D!=0) FAIRE
DEBUT_TANT_QUE
SI (D>B) ALORS
59
60
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
DEBUT_SI
C PREND_LA_VALEUR B
B PREND_LA_VALEUR D
D PREND_LA_VALEUR C
FIN_SI
A PREND_LA_VALEUR B
B PREND_LA_VALEUR D
D PREND_LA_VALEUR A - B
S PREND_LA_VALEUR S + 1
FIN_TANT_QUE
AFFICHER "Le pgcd est "
AFFICHER B
AFFICHER "Le nombre de soustractions est "
AFFICHER S
FIN_ALGORITHME
6.6
Longueur de lalgorithme dEuclide
Le calcul du pgcd a b de 2 entiers a et b (a > b > 0) par lalgorithme dEuclide se fait par
divisions successives.
Exemple : a = 44 ; b = 18
44 = 2 18 + 8
18 = 2 8 + 2
8 = 42+0
44 18 = 2
Si on dsigne par l ( a, b) la longueur de lalgorithme, cest--dire le nombre de divisions ncessaires pour aboutir au rsultat, nous avons ici :
l (44, 18) = 3
Lobjet de cet exercice est de majorer l ( a, b). Pour cela, on note
r (1), r (2), r (3), , r ( n )
les restes des n divisions successives . On a donc l ( a, b) = n et r (n) = 0.
On note par convention a = r (1) et b = r (0).
1. Montrer que lalgorithme dEuclide se termine.
2. Montrer que pour 1 k n 1 , on a r (k 2) r (k 1) + r (k )
3. Soit ( F (n)) la suite de Fibonacci dfinie par :
F (0) = F (1) = 1
F (n) = F (n 2) + F (n 1) pour n 2
1+ 5
Montrer quen posant =
, on a n1 F (n)
2
6.6. LONGUEUR DE LALGORITHME DEUCLIDE
61
4. Montrer que k N , on a
r ( n k 1) F ( k )
et en dduire que n vrifie une majoration de la forme :
n A ln( a) + B
5. Vrifier cette majoration sur lexemple a = 44 et b = 18. On pourra prendre B = 1 et
A < 2, 1
62
6.7
6.7.1
Nombres premiers entre eux ou trangers

Dfinition
Soit ( a, b) ( Z )2
a est premier avec b a b = 1 a b =| a || b |
aZ + bZ = 1 = 1Z = (1)Z les seuls diviseurs communs de a et de b sont 1 et
1
Calcul du pgcd(14865,7976)
quotients
14865
restes
1
7976
6889
1
6
6889 1087
1087 367
donc 14865 7976 = 1 et 14865 7976 =
2
367
353
1
353
14
25 4
14 3
3 2
1
2
1
2
1
0
14865 7976
= 118563240 .
1
Comme 14865 7976 = 1 on dit que les entiers 14865 et 7976 sont premiers entre eux.
pgcd(12,1347,541)
On a 12 1347 541 = 12 541 1347 = (12 541) 1347 = 1 1347 = 1
Donc les entiers 12; 1347 et 541 sont premiers dans leur ensemble. et pourtant 12 et 1347 ne
sont pas premiers entre eux car 12 1347 = 3
6.7.2
Proprits
Thorme de Bachet-Bezout
a et b sont premiers entre eux (u, v) Z2 au + bv = 1
Dmonstration :
1. =:
Si a et b sont premiers entre eux alors aZ + bZ = 1Z = Z donc 1 aZ + bZ donc
(u, v) Z2 tel que au + bv = 1
2. =:
Si (u, v) Z2 tel que au + bv = 1. Soit = a b donc Z = aZ + bZ.
Par consquent, 1 Z. Or est le plus petit entier strictement positif de Z donc = 1.
Exemples
1. Deux entiers conscutifs n et n + 1 sont premiers entre eux car 1(n + 1) 1(n) = 1.
2. Les entiers 2n + 1 et n sont premiers entre eux car 1(2n + 1) 2(n) = 1
3. Les entiers 2n + 3 et 3n + 4 sont premiers entre eux car 3(2n + 3) 2(3n + 4) = 1
6.7. NOMBRES PREMIERS ENTRE EUX OU TRANGERS
63
Claude Gaspard Bachet de Mziriac (1581-1638) est le vrai inventeur de cette formule.
Claude Bachet
Par contre, Etienne Bezout (1730-1783) la formul pour les polynmes.
Etienne Bezout
Autre thorme de Bezout
Soit ( a, b) N2 . Soit = a b. Alors (u, v) Z2 au + bv =
Dmonstration :
Soit G = aN + bN
GN
G 6= car a + b G
donc G a un plus petit lment d
1. Dmontrons que d :
| a et | b donc | au et | bv.
Par consquent, | au + bv donc | d.
On en dduit que d ()
2. Dmontrons que d :
Or a = dq + r o 0 r < d. Alors r = a dq = a ( au + bv)q = a(1 uq) + bvq
aZ + bZ.
or r 0 donc r d donc r = 0 donc d | a.
idem pour b
Par consquent, d ()
3. Daprs () et () on obtient d =
64
Thorme de Bezout gnralis

Soit n entier 2. Alors
a1 , a2 , , an sont premiers entre eux dans leur ensemble
(u1 , u2 , , un ) Zn
ai ui = 1
i =1
Thorme
( a, b) (Z )2
a = a0
a b
0 0
2
b = b0
= a b = = 1 ( a , b ) (Z )
0

a b0 = 1
Le thorme prcdent est trs utile dans la pratique.

Thorme
1. Si a est premier avec b et a est premier avec c alors a est premier avec bc.
2. Si a est premier avec respectivement a1 , a2 , an
alors a est premier avec a1 a2 an
3. Si a est premier avec b alors n N a est premier avec bn
4. Si a est premier avec b alors n N p N a p est premier avec bn
Dmonstration :
Si a b = 1 alors (u, v) Z2 tel que 1 = au + bv. Donc c = acu + bcv.
Si d | a et d | (bc) alors d | ( acu) et d | (bcv) donc d | ( acu + bcv).
Par consquent, d | a et d | c alors d = 1 donc a (bc) = 1.
6.8. GAUSS ET LA DIVISIBILIT
6.8
65
Gauss et la divisibilit
6.8.1
Thorme de Gauss
Soient a, b, c des entiers naturels non nuls. Si a | (bc) et a b = 1 alors a | c

Dmonstration :
Si a b = 1 alors (u, v) Z2 tel que 1 = au + bv. Donc c = acu + bcv. or a | (bc) et a | ( ac)
donc a | ( acu) et a | (bcv) donc a | c
6.8.2
Corollaire 1
Un entier n est divisible par un produit dentiers premiers entre eux deux deux n est
divisible par chacun dentre eux.
Dmonstration
On dmontre ce thorme dans le cas o ab | n et a b = 1. Cette dmonstration pourra se
gnraliser.
1. =:
si ab | n alors q N tel que n = abq donc a | n et b | n.
2. =:
si a | n et b | n et a b = 1 alors n = aq = bq0 et a b = 1 Comme a | bq0 daprs le
thorme de Gauss on a : a | q0 donc q0 = aq.
Par consquent, n = bq0 = baq donc ba | n.
Divisibilit par 6, par 180

1. Comme 6 = 2 3 et que 2 3 = 1 alors les nombres divisibles par 6 sont les nombres
divisibles par 2 et par 3
2. Comme 180 = 4 5 9, que 4 5 = 1, que 4 9 = 1 et que 5 9 = 1 alors les nombres
divisibles par 180 sont les nombres divisibles par 4, par 5 et par 9
6.8.3
Corollaire 2
Si n1 n2 = 1 et a b [n1 ] et a b [n2 ] alors a b [n1 n2 ]
66
Dmonstration
Supposons que a b [n1 ] et a b [n2 ]
alors (q, q0 ) Z2 tel que a = n1 q + b = n2 q + b.
Donc n1 q = n2 q0 do n2 | n1 q. Mais n1 n2 = 1 alors daprs Gauss on a n2 | q.
Par consquent, k Z tel que q = n2 k donc a = n1 q + b = n1 n2 k + b do a b [n1 n2 ].CQFD.
Exemple dapplication : Bac New York 1978
1. Montrer que 3670 1 [11]
2. Montrer que 3670 1 [61]
3. En dduire que 3671 3 [671]
Corrig :
1.
0
3 = 1 1 [11]
1 = 3 3 [11]
2
3 = 9 9 [11]
3 = 27 5 [11]
3
34 = 81 4 [11]
5
3 = 243 1 [11]
Soit un rang n N supposons que

5n
3 1 [11]
35n+1 3 [11]
35n+2 9 [11]
35n+3 5 [11]
5n+4
3
4 [11]
alors
35(n+1) = 35n 35 1 1 = 1 [11]
35(n+1)+1 = 35(n+1) 31 3 [11]

35(n+1)+2 = 35(n+1) 32 9 [11]
35(n+1)+3 = 35(n+1) 33 5 [11]
5(n+1)+4
3
= 35(n+1) 34 4 [11]
On a donc dmontr par rcurrence que

5n
3 1 [11]
35n+1 3 [11]
n N
35n+2 9 [11]
35n+3 5 [11]
5n+4
3
4 [11]
Or 670 = 5 134 donc 3670 1 [11]
6.8. GAUSS ET LA DIVISIBILIT
67
2.
30 = 1 1 [61]
31 = 3 3 [61]
32 = 9 9 [61]
33 = 27 27 [61]
34 = 81 20 [61]
35 = 243 60 [61]
36 = 729 58 [61]
37 = 2187 52 [61]
38 = 6561 34 [61]
39 = 19683 41 [61]
310 = 59049 1 [61]
10n 1 [11]
10n+1 3 [11]
310n+2 9 [11]
310n+3 27 [11]
10n+4
3
20 [11]
10n+5 = 243 60 [61]
3
310n+6 = 729 58 [61]
310n+7 = 2187 52 [61]
310n+8 = 6561 34 [61]
10n+9
3
= 19683 41 [61]
alors
310(n+1) = 310n 310 1 1 = 1 [11]

310(n+1)+1 = 310(n+1) 31 3 [11]
310(n+1)+2 = 310(n+1) 32 9 [11]
310(n+1)+3 = 310(n+1) 33 27 [11]
310(n+1)+4 = 310(n+1) 34 20 [11]
310(n+1)+5 = 310(n+1) 35 60 [11]
310(n+1)+6 = 310(n+1) 36 58 [11]
310(n+1)+7 = 310(n+1) 37 52 [11]
310(n+1)+8 = 310(n+1) 38 34 [11]
310(n+1)+9 = 310(n+1) 39 41 [11]

10n
3
1 [11]
10n
+
1 3 [11]
3
10n
+
2
3
9 [11]
10n+3 27 [11]
10n+4
3
20 [11]
310n+5 = 243 60 [61]

310n+6 = 729 58 [61]
310n+7 = 2187 52 [61]
310n+8 = 6561 34 [61]
310n+9 = 19683 41 [61]
Or 670 = 10 67 donc 3670 1 [61]

3. Comme 11 61 = 1 et 3670 1 [11] et 3670 1 [61] alors 3670 1 [61 11].
Par consquent, 3670 1 [671]. On en dduit que 3671 3 [671]. CQFD.
68
6.9
6.9.1
Rsolution de ax + by = c dans Z2
Rsolution
Soit ( a, b, c) (N )3 .
Notons S lensemble des solutions entires de ax + by = c.
Posons = a b. Comme c = ax + by donc c aZ + bZ = Z.
1. ou bien c nest pas un multiple de alors lquation na pas de solution dans Z2 .
2. ou bien c est un multiple de alors
(a) ou bien a et b ne sont pas premiers entre eux.
a
b
c
On pose a0 = ; b0 = et c0 = .
Alors ax + by = c a0 x + b0 y = c0 a0 x + b0 y = c0 avec a0 b0 = 1.
(b) ou se ramne donc au cas o a et b sont premiers entre eux.
i. Comme a0 b0 = 1 alors daprs le thorme de Bachet-Bezout (u, v) Z2 tels
que au + bv = 1 donc acu + bcv = c.
On pose x0 = cu et y0 = cv.
ii. ax + by = c ax + by = ax0 + by0 a( x x0 ) = b(y y0 )
iii. Si ( x, y) S alors a | b(y y0 ). Or a b = 1 donc daprs le Thorme de
Gauss on a : a | (y y0 ).
Par consquent k Z tel que y y0 = ka donc y = y0 + ka do a( x x0 ) =
bka do comme a 6= 0 alors x x0 = kb donc x = x0 kb
donc S {( x0 kb; y0 + ka)}
Rciproquement, {( x0 kb; y0 + ka)} S
car si ( x, y) = ( x0 kb; y0 + ka) alors a( x x0 ) = b(y y0 ) donc ( x; y) S
En conclusion, S = {( x0 kb; y0 + ka)}
6.9.2
Dtermination de u et v
Mthode 1 : Lintuition.
Par exemple pour 4u 3v = 1 il est vident que le couple (u, v) = (1, 1) convient.
Mthode 2 : les congruences
Par exemple 4u + 7v = 1 ;
= 1 dans Z/4Z donc 7 v = 1 donc
Alors 7v = 4u + 1 donc 7v 1 [4] donc 7v
On en dduit que v = 3.
3 v = 1.
Prenons par exemple, v = 3 donc 4u = 7v + 1 = 20 do u = 5.
On vrifie que le couple (u, v) = (5; 3) vrifie bien 4u + 7v = 1
6.9. RSOLUTION DE AX + BY = C DANS Z2
69
Mthode 3 : algorithme dEuclide

Par exemple 437u 241v = 1
On divise 437 par 241 par divisions successives :
437 = 1 241 + 196
241 = 1 196 + 45
196 = 4 45 + 16
45 = 2 16 + 13
16 = 1 13 + 3
13 = 4 3 + 1
puis on traficote sur chaque ligne du bas vers le haut de faon obtenir 1 comme
combinaison linaire de 437 et de 241 :
75 437 = 1 241 + 196

61
241 = 1 196 + 45
14 196 = 4 45 + 16
5
45 = 2 16 + 13
4
16 = 1 13 + 3
1
13 = 4 3 + 1
On obtient (75) 437 + 61 241 = (75) 241 + 1 do
1 = (75) 437 + 241 136
70
Mthode 4 : Mthode des tableaux

Source : Bulletin APMEP n 434
Cette mthode repose sur la manipulation de "combinaisons linaires" car le pgcd de a et de b
est combinaison linaire de a et de b
Appelons L1 la ligne (1, 0, 437) car 1 437 + 0 241 = 437

Appelons L2 la ligne (0, 1, 241) car 0 437 + 1 241 = 241
Le quotient de la division euclidienne de 437 par 241 est 1 et le reste est 196.
Comme 437 = 1 241 + 196 donc 1 437 1 241 = 196
appelons donc L3 la ligne (1, 1, 196). en fait L3 = L1 1L2
Le quotient de la division euclidienne de 241 par 196 est 1 et le reste est 45.
Comme 241 = 1 196 + 45 donc 45 = 241 196 = 1 437 + 2 241
appelons donc L4 la ligne (1, 2, 45). en fait L4 = L2 + 2L3

6.10. EXERCICES
6.10
Exercices
6.10.1
Man tr papa en ba tono-la ! ! !
71
1. Soit un tonneau muni de 3 robinets A,B et C. Un robinet A dvide un tonneau en 1 h,

un deuxime robinet B le fait en 2 h et un troisime robinet C en 3 h.
En combien de temps dvident-ils ensemble le tonneau ?
2. Soit un autre tonneau muni lui aussi de 3 robinets A,B et C. On sait maintenant que
deux robinets A et B dvident ce tonneau en 600 , A et C le dvident en 700 et B et C en
1200
En combien de temps dvident-ils ensemble le tonneau ?
Corrig
1.
ppcm(1; 2; 3) = 6 donc
en 6 h le robinet A dvide 6 tonneaux du mme modle.
en 6 h le robinet B dvide 3 tonneaux du mme modle.
en 6 h le robinet C dvide 2 tonneaux du mme modle.
en 6 h les trois robinets dvident 11 tonneaux du mme modle.
6
donc un tonneau est dvid par les 3 robinets ensemble en
= 0, 5454 heure
11
0
0
0
cest--dire environ 32, 72 = 32 + 0, 72 60 = 32 43.
2. ppcm(60; 70; 120) = 840 donc

840
= 14 donc en 8400 les robinets A et B dvident 14 tonneaux du mme modle.

60
840
= 12 donc en 8400 les robinets A et C dvident 12 tonneaux du mme modle.

70
840
= 7 donc en 8400 les robinets B et C dvident 7 tonneaux du mme modle.

120
72

On en dduit quen 8400 les robinets 2A + 2B + 2C dvident 33 tonneaux du mme
modle.
Les robinets A, B, C dvident ensemble 16, 5 tonneaux en 8400
840
= 50, 900 cest- donc un tonneau est dvid par les 3 robinets ensemble en
16, 5
dire environ 500 + 0, 90 60 = 500 54.
6.10.2
Equation diophantienne - Bordeaux C79
Trouver tous les couples dentiers naturels ( a, b) tels que
0<a<b
ab = d
ab = m
2m
+ 3d = 78
a ne divise pas b
Corrig 1
1. Comme a 6= 0 et b 6= 0 alors d = a b 6= 0 donc soit a0 =
b
a
et b0 = alors a0 b0 = 1.
d
d
2. De plus dm = ab dm = da0 db0 m = da0 b0

3. Par consquent,
0<a<b
ab = d
ab = m
2m
+ 3d = 78
a ne divise pas b
0 < a0 < b0
0
a b0 = 1
2a0 b0 d + 3d = 78
0
a ne divise pas b0
4. Or 78 = 2 39 = 2 3 13 et N = 2a0 b0 + 3 est impair.

Par consquent, 2a0 b0 d + 3d = 78 d(2a0 b0 + 3) = 78
2a0 b0 + 3 = 1 ou 2a0 b0 + 3 = 3 ou 2a0 b0 + 3 = 13 ou 2a0 b0 + 3 = 39
a0 b0 = 1 (impossible car a 6= 0 et b 6= 0) ou a0 b0 = 0 (impossible car a > 0 et b >
0) ou a0 b0 = 5 ou a0 b0 = 18
5. Donc
0 < a0 < b0
0
a b0 = 1
0 b0 d + 3d = 78
2a
0
a ne divise pas b0
0 < a0 < b0
0 < a0 < b0
0
0
a b0 = 1
a b0 = 1
ou
0 b0 = 5
a
a0 b0 = 18
0
0
a ne divise pas b0
a ne divise pas b0
6. Rsolvons a0 b0 = 5 avec a0 b0 = 1.
Les seules possibilits sont :
(a) ( a0 , b0 ) = (1, 5). Impossible car il faut que a0 ne divise pas b0
(b) ( a0 , b0 ) = (5, 1). Impossible car il faut que a0 < b0
6.10. EXERCICES
73
7. Rsolvons a0 b0 = 18 avec a0 b0 = 1 et a0 < b0 . Or 18 = 2 32 1.

Les seules possibilits sont :
(a) ( a0 , b0 ) = (1, 18). Impossible car il faut que a0 ne divise pas b0
(b) ( a0 , b0 ) = (2, 9). OK
(c) ( a0 , b0 ) = (3, 6). Impossible car il faut que a0 ne divise pas b0
8. Le seul couple possible est donc ( a0 , b0 ) = (2, 9).
78
78
=
= 2 do ( a, b) = (4, 19)
Par consquent, d = 0 0
2a b + 3
39
9. On a donc S = {(4, 19}
Corrig 2
On utilisera ici le Thorme de Bachet-Bezout.
1. Cherchons (m, d) N2 tel que 2m + 3d = 78.
(a) 2 3 = 1 et 78 est un multiple de 1.
(b) Or 2 36 + 3 2 = 78 donc
2m + 3d = 78 2m + 3d = 2 36 + 3 2 2(m 36) = 3(2 d)
(c) 3 | 2(m 36) et 3 2 = 1 donc daprs le thorme de Gauss, 3 | (m 36) .
Par consquent, k Z tel que m 36 = 3k do m = 36 + 3k. Or 2(m 36) =
3(2 d) donc 3(2 d) = 2(3k) donc 2 d = 2k do d = 2 2k
(d) Pour linstant , S {(36 + 3k, 2 2k)/k Z}
2. Soit m = 36 + 3k et d = 2 2k. On veut que
36 + 3k N
36 + 3k 0
k 12
mN
d N donc
2 2k N do
2 2k 0
k1
Par consquent,
d|m
dm
2 2k 36 + 3k
6, 8 k
donc k {6; 5; 4; 3; 2; 1; 0; 1}
3. De plus, d | m donc d | 2m. or d | 3d donc d | 2m + 3d = 78 donc 2 2k | 78 donc k Z
tel que 2 2k = 78q donc k = 39q + 1
7
4. pour k = 6 on a 6 = 39q + 1 q =
impossible car il faut que q Z
39
6
pour k = 5 on a 5 = 39q + 1 q =
39
5
pour k = 4 on a 4 = 39q + 1 q =
39
4
pour k = 3 on a 3 = 39q + 1 q =
39
3
pour k = 2 on a 2 = 39q + 1 q =
39
2
pour k = 1 on a 1 = 39q + 1 q =
39
1
pour k = 0 on a 0 = 39q + 1 q =
39
pour k = 1 on a 1 = 39q + 1 q = 0 possible donc m = 39 et d = 0
74
6.10.3
Exercice
1. Soit un entier n > 1. Dmontrer que n et 2n + 1 sont premiers entre eux.

2. En dduire le pgcd(n2 n; 2n2 n 1)
Corrig
1. n et 2n + 1 sont premiers entre eux daprs Bachet-Bezout puisque (2n + 1) 2(n) = 1
2. pgcd(n2 n; 2n2 n 1) = pgcd(n(n 1); (n 1)(2n + 1) = (n 1) pgcd(n; 2n + 1) =
(n 1)(1) = n 1
6.10.4
Exercice
1. Dmontrer que k Z 2k + 1 et 9k + 4 sont premiers entre eux.

2. Dterminer le pgcd de 2k 1 et de 9k + 4
Corrig
1. k Z 9(2k + 1) 2(9k + 4) = 1 donc daprs Bachet-Bezout 2k + 1 et 9k + 4 sont
premiers entre eux.
2.
6.10.5
Exercice
1. Dmontrer que si a b = 1 alors ( a + b) b = 1 ; ( a + b) a = 1 et ( a + b) ab = 1

2. (a) Dmontrer que 2 entiers conscutifs sont premiers entre eux
(b) En dduire que m N on a : 2m + 1 et m2 + m qui sont premiers entre eux.
Corrig
1. si a b = 1 alors (u, v) Z2 tel que au + bv = 1.
(a) Alors ( a + b)u + b(v u) = au + bv = 1 donc ( a + b) b = 1
(b) De mme, ( a + b)v + a(u v) = au + bv = 1 donc ( a + b) a = 1
(c) Comme a + b est premier avec a et avec b alors a + b est premier avec ab
2. (a) Soient 2 entiers conscutifs m et m + 1 donc 1(m + 1) 1m = 1 donc m et m + 1 sont
premiers entre eux
(b) On sait que si a est premier avec b alors a + b est premier avec b.
Or m et m + 1 sont premiers entre eux donc m + m + 1 est premier avec m(m + 1). Par
consquent, 2m + 1 et m2 + m sont premiers entre eux.
6.10. EXERCICES
6.10.6
75
Exercice
Rsoudre lquation 14x + 39y = 1129 dinconnue ( x, y) Z2

Corrig
Rsolvons lquation 14x + 39y = 1129
1. 14 et 39 sont premiers entre eux donc (u, v) Z2 tel que 14u + 39v = 1.
En fait, 14 14 39 5 = 1
2. 14x + 39y = 1129 14x + 39y = 14(14 1129) + 39(5 1129) 14( x
15806) = 39(y 5645)
14 | 39(y 5645) et 14 39 = 1 donc daprs Gauss 14 | (y 5645) donc k
Z y 5645 = 14k do y = 14k 5645.
Comme 14( x 15806) = 39(y 5645) alors 14( x 15806) = 39(14k ) donc x 15806 =
39k do x = 39k + 15806.
Par consquent,14x + 39y = 1129 = k Z x = 39k + 15806 et y = 14k 5645.
3. = est vraie car si k Z x = 39k + 15806 et y = 14k 5645 alors 14x + 39y =
14(39k + 15806) + 39(14k 5645) = 1129
4. 14x + 39y = 1129 k Z ( x, y) = (39k + 15806, 14k 5645)
6.10.7
Bac Toulouse C 1980
Soit ( x, y) Z2 . On pose f ( x, y) = (4x + 2y + 12)2 4( x + y + 4)2 .

1. Rsoudre lquation f ( x, y) = 0
2. Rsoudre lquation f ( x, y) = 4
Corrig
1. (a) f ( x, y) = 0 (4x + 2y + 12)2 4( x + y + 4)2 = 0
[(4x + 2y + 12) + 2( x + y + 4)][(4x + 2y + 12) 2( x + y + 4)] = 0
[6x + 4y + 20][2x + 4] = 0
6x + 4y + 20 = 0 ou 2x + 4 = 0 3x + 2y = 10 ou x = 2
(b) Rsolvons lquation 3x + 2y = 10
i. 3x + 2y = 10 3x + 2y = 3(2) + 2(2) 3( x + 2) = 2(y 2)
3 | 2(y 2) et 3 2 = 1 donc daprs Gauss 3 | (y 2) donc k Z y 2 =
3k do y = 3k 2.
Comme 3( x + 2) = 2(y 2) alors 3( x + 2) = 2(3k) donc x + 2 = 2k do
x = 2k 2.
Par consquent,3x + 2y = 10 = k Z x = 2k 2 et y = 3k 2.
ii. = est vraie car si k Z x = 2k 2 et y = 3k 2 alors 3x + 2y =
3(2k 2) + 2(3k 2) = 10
iii. 3x + 2y = 10 k Z ( x, y) = (2k 2, 3k 2)
76

(c) On a donc f ( x, y) = 0
y Z ( x, y) = (2, y)
ou
k Z ( x, y) = (2k 2, 3k 2)
2. f ( x, y) = 4 (4x + 2y + 12)2 4( x + y + 4)2 = 4
[(4x + 2y + 12) 2( x + y + 4)][(4x + 2y + 12) + 2( x + y + 4)] = 4
(2x + 4)(6x + 4y + 20) = 4 ( x + 2)(3x + 2y + 10) = 1

x+2 = 1
3x + 2y + 10 = 1
ou
x + 2 = 1
3x + 2y + 10 = 1
car les seuls lments inversibles de Z sont 1 et 1

x = 1
y = 3
ou
x = 3
y = 1
Par consquent, S = {(1; 3); (3; 1)}
6.10. EXERCICES
6.10.8
77
Bac Asie C 1968
1. Dterminer le pgcd de 2045 et de 64

2. En dduire que lquation
( E) : 2045x 64y = 1
a au moins une solution dans Z2
3. Dterminer une solution particulire de ( E).
4. Rsoudre alors cette quation ( E)
Corrig
1. On divise 2045 par 64 par divisions successives :
2045 = 31 64 + 61
64 = 1 61 + 3
61 = 20 3 + 1
3 = 13+0
donc 2045 64 = 1
2. Comme 2045 et 64 sont premiers entre eux alors daprs le thorme de Bachet-Bezout,
on en dduit quil existe au moins deux entiers relatifs u et v tels que lquation 2045u
64v = 1
3. Nous allons dterminer une solution particulire de ( E) en on traficotant sur chaque
ligne du bas vers le haut de faon obtenir 1 comme combinaison linaire de 2045 et de
64 :
21 2045 = 31 64 + 61
20
64 = 1 61 + 3
61 = 20 3 + 1
On obtient 21 2045 20 64 = 651 64 + 1 do
1 = 21 2045 671 64
4. On peut alors rsoudre alors cette quation ( E) :
(a) 2045x 64y = 1 2045x 64y = 2045 21 64 671 = 1 2045( x 21) =
64(y 671)
2045 | 64(y 671) et 2045 64 = 1 donc daprs Gauss 2045 | (y 671) donc k
Z y 671 = 2045k do y = 2045k + 671.
Comme 2045( x 21) = 64(y 671) alors 2045( x 21) = 64(2045k) donc x 21 =
64k do x = 64k + 21.
Par consquent,2045x 64y = 1 = k Z x = 64k + 21 et y = 2045k + 671.
(b) = est vraie car si k Z x = 64k + 21 et y = 2045k + 671 alors 2045x 64y =
2045(64k + 21) 64(2045k + 671) = 1
(c) Donc 2045x 64y = 1 k Z x = 64k + 21 et y = 2045k + 671
Par consquent, donc S = {(64k + 21; 2045k + 671)/k Z}
78
Chapitre 7
Primalit
7.1
Les nombres premiers
7.1.1
Dfinition
Un entier naturel est premier lorsquil na que deux diviseurs positifs : 1 et lui-mme.
7.1.2
Exemples et Contre-exemples
1. 0 nest pas premier car 0 a une infinit de diviseurs car n N 0 = 0 n donc n | 0.

2. 1 nest pas premier car 1 na quun seul diviseur (lui-mme) et pas deux diviseurs.
3. Le seul entier pair qui soit premier est 2.
En effet 2 est premier car 2 na que deux diviseurs positifs : 1 et 2.
Par contre, tout entier n pair autre que 2 a au moins trois diviseurs : 1, 2 et lui-mme n
donc n ne peut tre premier.
7.1.3
Un peu dHistoire
La dfinition des nombres premiers est simple mais de nombreux mathmaticiens :

Pythagore(580 ;495 avant JC), Euclide(3me sicle avant JC), Erastothne (276-194 avant
JC),
Mersenne(1588-1648), Fermat (1601-1665), Goldbach(1690-1764), Euler(1707-1783)
Dirichlet(1805-1859), Tchebychev(1821-1894),Bertrand(1822-1900), Lucas(1842-1891),
Hadamard(1865-1963), De la Valle Poussin(1866-1962),
Ramanujan(1887-1920), Ulam(1909-1984),...)
, les ont tudi et ont formul de nombreuses conjectures dont certaines (conjecture de Goldbach,...) attendent toujours dtre dmontres.
Dcouvert le 25 janvier 2013, le plus grand nombre premier connu est le nombre premier de
Mersenne 257885161 1, qui comporte plus de 17 millions de chiffres en criture dcimale.
On le doit lquipe de Curtis Cooper, luniversit du Central Missouri, dans le cadre de
la grande chasse aux nombres premiers de Mersenne (GIMPS). crits les uns la suite des
autres, ces chiffres occuperaient plus de 4 000 pages en police Times New Roman taille 12.
79
80
CHAPITRE 7. PRIMALIT
Crible dEratosthne
(276 avJC en Cyrne Lybie - 194 avJC en Alexandrie Egypte)

On peut dterminer tous les nombres premiers plus petits que 100 laide du crible dEratosthne de Cyrne
00 01 02 03 04 05 06 07 08 09
10 11 12 13 14 15 16 17 18 19
20 21 22 23 24 25 26 27 28 29
30 31 32 33 34 35 36 37 38 39
40 41 42 43 44 45 46 47 48 49
50 51 52 53 54 55 56 57 58 59
60 61 62 63 64 65 66 67 68 69
70 71 72 73 74 75 76 77 78 79
80 81 82 83 84 85 86 87 88 89
90 91 92 93 94 95 96 97 98 99
On limine 0 puis 1. On garde 2 mais on limine tous les autres entiers pairs. On garde 3 mais
on limine tous les multiples de 3, etc...
Voici un fichier ralisant ce crible sous Open Office Calc
7.1. LES NOMBRES PREMIERS
81
Lide est base sur lutilisation de mod(a ;b) qui donne le reste de la division de a par b et la
commande Format formatage conditionnelle Dans la plage A1 :J2 il y a la formule conditionnelle suivante :
SI(OU($Feuille1.A1=2 ;$Feuille1.A1=3 ;$Feuille1.A1=5 ;$Feuille1.A1=7 ;$Feuille1.A1=11 ;$Feuille1.A1=13 ;
$Feuille1.A1=17 ;$Feuille1.A1=19))
et le style premier avec fonds de cellule jaune
dans la plage A3 :J11, il y a la formule conditionnelle suivante
SI(ET(MOD($Feuille1.A3 ;2)*MOD($Feuille1.A3 ;3)*MOD($Feuille1.A3 ;5)*MOD($Feuille1.A3 ;7)*MOD($Feuille1.A3 ;11)
*MOD($Feuille1.A3 ;13)*MOD($Feuille1.A3 ;17)*MOD($Feuille1.A3 ;19)<>0) ;$Feuille1.A3<>1)
et le style premier avec fonds de cellule jaune.
7.1.4
Autres Proprits
Proprit P1
Les 3 proprits suivantes sont quivalentes :
1. p est premier.
2. Les seuls nombres non premiers avec p sont les multiples de p.
3. p est premier avec chacun de ces prdcesseurs non nuls : 1, 2, 3, , p 1
Dmonstration :
1 = 2 :
soit m un entier non premier avec p donc = m p 6= 1. Or | p et p premier donc = 1 ou
= p. Or 6= 1 donc = p. Par consquent, p | m donc m est un multiple de p.
2 = 3 :
Les prdcesseurs non nuls de p ne sont pas des multiples de p donc ils sont premiers chacun
avec p car sils ne ltaient pas alors ils eraient des multiples de p. Or ce nest pas le cas.
3 = 1 :
Soit d un diviseur positif de p. Alors d p = d et d p. Donc
ou bien d = 1
ou bien d = p
ou bien d {2, 3, , p 1} mais alors comme p est premier avec eux donc d p = 1
donc d = 1. Impossible.
Par consquent, p na que deux diviseurs positifs : 1 et p donc p est premier. CQFD.
Proprit P2
Si p est premier et p | ab alors p | a ou p | b.
Dmonstration :
ou bien p est premier avec a.
Or p | ab donc daprs le thorme de Gauss on a : p | b. CQFD.
ou bien p nest pas premier avec a.
Mais comme p est premier alors a est un multiple de p. Par consquent p | a. CQFD.
82
Proprit P3
Si p est premier et p | p1 p2 o p1 et p2 sont premiers alors p = p1 ou p = p2 .
Dmonstration :
Comme p est premier et p | p1 p2 alors ou p | p1 ou p | p2 .
Par exemple, p | p1 .Or p1 est premier donc na que deux diviseurs : 1 et p1 .
Or p est premier donc p 6= 1 . Forcment p = p1 . CQFD.
Proprit P4
Si p1 et p2 sont premiers alors p1 et p2 sont premiers entre eux.
Dmonstration :
Lensemble des diviseurs positifs de p1 est D + ( p1 ) = {1; p1 } car p1 est premier.
Lensemble des diviseurs positifs de p2 est D + ( p2 ) = {1; p2 } car p2 est premier.
Donc lensemble des diviseurs communs P1 et p2 est D + ( p1 ) D + ( p2 ) = {1}
Par consquent, p1 et p2 sont premiers entre eux.
Proprit P5
Tout entier naturel non nul n admet au moins un diviseur premier.
Dmonstration :
ou bien n est premier. CQFD.
ou bien n nest pas premier.
Donc il admet au moins un diviseur autre que 1 et n. Notons d le plus petit de ces diviseurs autre que 1. Alors
ou bien d est premier. CQFD.
ou bien d nest pas premier mais alors d va admettre un autre diviseur autre que 1 : q
plus petit que lui.
Mais alors par transitivit de la relation de divisibilit, q deviendra un diviseur de n
autre que 1 et plus petit que d.
Cela est impossible.
Corollaire de P5
Lensemble des nombres premiers est infini.
Dmonstration :
Raisonnons par labsurde.
Supposons que cet ensemble est fini et a pour lments p1 , p2 , , pn .
Soit n = p1 p2 pn + 1. Donc 1 = n p1 p2 pn .
Or n qui est non nul a au moins un diviseur premier qui est lun des pi .
Ce pi diviserait la fois n et p1 p2 pn donc pi | 1 donc pi = 1. Impossible.
Par consquent, Lensemble des nombres premiers est infini.
83
Proprit P6
Tout entier naturel
non premier n admet au moins un diviseur premier p tel que p2 n (ou
encore p n)
Dmonstration :
Comme n nest pas premier alors n admet au moins un diviseur d premier autre que 1 et
n daprs P5.
Par consquent n = dq o 1 < d < n et 1 < q < n
ou bien d q alors d2 dq do d2 n
ou bien q d alors q2 dq do q2 n
On appelle p le plus petit entre d et q alors p2 n.CQFD.
Corollaire de P6
Si n nest divisible par aucun entier premier p
n alors n est premier.
Exemple
: 743 est-il premier ?
743 27, 3. Passons en revue tous les entiers premiers plus petits que 27, 3 cest--dire 2, 3, 5, 7, 11, 13, 17, 19
et 23. Aucun ne divise 743 donc 743 est premier.
Algorithme de dtermination de la primalit dun entier n
On peut alors se servir de ce corollaire pour construire un algorithme de dtermination de la

primalit dun entier.
0 et 1 ne sont pas premiers
Le seul entier pair d qui soit premier est 2
On travaillera uniquement en boucle sur les d impairs :
en
partant de 3 et de deux en deux on progressera jusqu arriver la partie entire de
n.
On examinera chaque fois la divisibilit de n par d.
Si un de ces d divise n on stoppe car alors n nest pas premier
Codage en ALGOBOX :
1
2
3
4
5
VARIABLES
n EST_DU_TYPE NOMBRE
c EST_DU_TYPE NOMBRE
d EST_DU_TYPE NOMBRE
DEBUT_ALGORITHME
84
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
LIRE n
SI (n<=1) ALORS
DEBUT_SI
c =1
FIN_SI
SINON
DEBUT_SINON
SI (n==2) ALORS
DEBUT_SI
c = 0
FIN_SI
SINON
DEBUT_SINON
SI ((n \% 2) == 0) ALORS
DEBUT_SI
c = 1
FIN_SI
SINON
DEBUT_SINON
c PREND_LA_VALEUR 0
d PREND_LA_VALEUR 3
TANT_QUE ((c==0) ET (d<=floor(sqrt(n)))) FAIRE
DEBUT_TANT_QUE
SI ((n \% d)==0) ALORS
DEBUT_SI
c PREND_LA_VALEUR 1
FIN_SI
SINON
DEBUT_SINON
d PREND_LA_VALEUR d + 2
FIN_SINON
FIN_TANT_QUE
FIN_SINON
FIN_SINON
FIN_SINON
SI (c==1) ALORS
DEBUT_SI
AFFICHER n
AFFICHER " est non premier"
FIN_SI
SINON
DEBUT_SINON
AFFICHER n
AFFICHER " est premier"
FIN_SINON
FIN_ALGORITHME
85
Proprit P7
Tout entier naturel non nul n peut scrire comme un produit de nombres premiers : n =
p1 1 p22 pk k
Dmonstration :
Soit n N .
ou bien n est premier alors n = p1 o p1 est premier.
ou bien n nest pas premier.
Donc daprs P5 n admet au moins un diviseur premier p1 . Par consquent, n = p1 n0
ou bien n0 est premier donc alors n = p1 p2 o p1 et p2 sont premiers.
ou bien n0 nest pas premier donc n0 admet au moins un diviseur premier p2 .
Par consquent, n = p1 p2 n etc
Donc n = p1 1 p22 pk k
Corollaire de P7
Comme n = p1 1 p22 pk k alors
1. tout diviseur d de n scrit d = p1 1 p2 2 pk k

avec 0 1 1 , 0 2 2 , , 0 k k
2. le nombre de diviseurs de n est N = (1 + 1 )(1 + 2 ) (1 + k )
+1
3. la somme de ces diviseurs est S =
+1
p k
p1 1
p 2 +1
2
k
p1 1
p2 1
pk 1
86
7.2
7.2.1
Cryptographie
Systme cryptographique RSA
Ce procd a t mis au point par Rivest, Shamir et Adleman en 1985 et a t utilis partir
des anne s1990 pour chiffrer les messages(cartes bancaires, internet, ...) :
On choisit deux nombres premiers p et q trs grands puis lon calcule n = pq
On pose m = ( p 1)(q 1)
Soit c un nombre premier avec m. Alors il existe (d, k) tel que cd = km + 1
donc il existe c et d tels que cd 1[m] :
Soit un message x [|0; n 1|]. On le code en calculant C ( x ) x c [n]
On le dcode en calculant D (y) yd [n] car ona bien D (C ( x )) x cd x [n]. En effet,
ou bien x est non divisible par p alors daprs le petit thorme de Fermat, on a
x p1 1[ p] donc x km 1[ p] puis x cd x [ p].
ou bien x est divisible par p alors x cd x [ p].
Pour chiffrer un message, il faut donc connatre la cl publique (n, c) connue de tous
et rpertorie dans un annuaire.
Pour dchiffrer, il faut connatre (d, n). Cet entier d sappelle la cl prive et nest
connue que de la personne qui reoit le message cod.
les nombres premiers p et q doivent rester secrets car si on les connat on peut dterminer m puis d en utilisant lgalit de Bezout cd km = 1.
Le systme RSA 1024 bits correspond un nombre n = pq de lordre de de 21024 10308
scrivant avec 309 chiffres.
7.3. EXERCICES
7.3
87
Exercices
7.3.1
Conjecture de Goldbach
Soit la proposition p : "tout entier pair suprieur 4 est la somme de 2 entiers premiers.
Soit la proposition q : "tout entier impair suprieur 7 est la somme de 3 entiers premiers.
On ne sait pas pour linstant si la proposition p (appele conjecture de GOLDBACH) est vraie.
En supposant quelle est vraie, dmontrer que limplication ( p = q) est vraie.
Corrig
Soit n N tel que n est impair et n 7 donc n = 2k + 1 avec 2k + 1 7 donc 2k 6.
2k est donc un entier pair suprieur 4 donc daprs Godbach, on aurait 2k = p1 + p2 o p1 et
p2 seraient tous deux premiers. Mais alors n = p1 + p2 + 1 mais 1 nest pas premier.
Il faut donc revenir en arrire. Prenons carrment n = 2k + 3 avec 2k + 3 7 donc 2k 4.
2k est donc un entier pair suprieur 4 donc daprs Godbach, on aurait 2k = p1 + p2 o p1 et
p2 seraient tous deux premiers. Mais alors n = p1 + p2 + 3 CQFD.
Les formes forte et faible de la conjecture de Goldbach
En 1742, Le mathmaticien allemand Christian Goldbach(1690-1724) avance que tout nombre

pair suprieur 4 est somme de deux nombres premiers.
Par exemple , 4 = 2 + 2; 6 = 3 + 3; 8 = 3 + 5; 10 = 3 + 7; 22 = 3 + 19; 24 = 5 + 19 = 7 + 17; 28 =
5 + 23; 32 = 29 + 3; 34 = 17 + 17; 98 = 19 + 79.
Le meilleur rsultat connu aujourdhui date de 1966 : tout nombre pair suffisamment grand est
somme dun nombre premier et dun nombre possdant au plus deux facteurs premiers
Mais la conjecture sous sa forme originelle reste compltement inaccessible.
Une forme faible de la conjecture de Goldbach propose que tout nombre impair suprieur 7 est
somme dau plus 3 nombres premiers
7 = 2 + 2 + 3; 87 = 31 + 19 + 37
15
En 1937, Ivan Vinogradov prouve que ce rsultat est vrai pour tout nombre impair 33 .
3100
Depuis 2002, on sait que le rsultat est valide pour tous les entiers impairs e
(un nombre
de plus de mille chiffres). Or les vrifications laide de supercalculateurs nont permis de vrifier que les nombres impairs de moins de 20 chiffres.
Pour dmontrer la conjecture faible de Goldbach pour tous les entiers, lapproche informatique
seule est donc loin dtre pertinente.
Le mathmaticien franais Olivier Ramar (Universit Lille1) a tabli en 1995 que : Tout entier
pair est la somme dau plus six nombres premiers
Depuis 2012, Terenc Tao (Mdaille Fields 2010), de luniversit de Los Angeles en Californie a
88
montr que tout entier impair est somme dau plus 5 nombres premiers.
Grce dautres travaux complmentaires de Harold Helfgott de lEcole Normale Suprieure
de Paris, il semble que lon puisse esprer, court terme, disposer dune preuve de la conjecture faible de Goldbach ( laide sans doute de loutil informatique pour un nombre fini de cas
rcalcitrants).
Toutes ces avances reposent sur des estimations fines de sommes dexponentielles utilises
dans la clbre "mthode du cercle"(puissant outil de la thorie analytique des nombres cr
par Hardy et Littlewood en 1918 et amlior par Vinogradov.
(Sources : Tangente n 147 Juillet-Aot 2012 page 5 - Le site de Chronomath : http ://serge.mehl.free.fr/chrono/Goldbach.html)
7.3. EXERCICES
7.3.2
89
Coefficient binomial et primalit
n est premier k [| 0; n |]

n
n|
k
Corrig
1. =:

n!
n
alors
Supposons que n est premier. Comme
=
k
k!
(
n
k)!

n!
n
n
k!
=
do k!
= n(n 1)(n 2) (n k + 1).
k
(n k)!
k

n
n
On en dduit que n | k!
. Or n est premier avec k! do n |
k
k
2. =:

n
.
k
Supposons que n ne soit pas premier. par consquent n admet un diviseur premier d < n.
Par consquent
a N n = d a.

n!
n!
n
= n do
= n d! . On en dduit que
Or n |
donc N
d
d! (n d)!
(n d)!
(n 1)(n 2) (n d + 1) = d!
do (da 1)(da 2) (da d + 1) = d!. ceci est impossible donc n est premier
Supposons que k [| 0; n |]
7.3.3
Corrig
Nombres de Mersenne
n|
90
7.3.4
Thorme de Wilson
Soit p un entier 2.
1. Dmontrer que si p est premier alors ( p 1)! + 1 0 [mod p].
Indication : utiliser le produit des lments non nuls de Z/pZ
2. Dmontrer rciproquement que si ( p 1)! + 1 0 [mod p] alors p est premier.
Corrig
7.3. EXERCICES
7.3.5
91
Petit Thorme de Fermat
1. Soient p et n des entiers naturels tels que p est premier et que pgcd( p, n) = 1.
Dmontrer que n, 2n, 3n, , ( p 1)n sont toutes distinctes dans Z/pZ
En dduire que n p1 1[mod p]
2. Dmontrer que pour tout entier premier p et pour tout entier naturel non nul n alors
n p n[mod p]
Corrig
1. Comme p est premier alors p est premier avec chacun des entiers qui le prcdent :
1, 2, 3, , p 1 donc p est premier avec leur produit 1 2 3 ( p 1).
Soient les nombres kn o k {1, 2, 3, , p 1}. alors kn rk [mod p]. Nous allons dmontrer par l"absurde que ces p restes rk sont distincts deux deux.
Supposons que rk = rk0 .
Comme kn rk [mod p] et k0 n rk0 [mod p] donc kn k0 n 0 [mod p] donc p | n(k k0 ).
Or p ne divise pas n donc p | (k k0 ) impossible car k k0 est un entier compris entre 1
et p 1. Par consquent, rk 6= rk0 .
Tous les p restes rk sont les entiers 1, 2, 3, , p 1
donc r1 r2 r3 r p1 = 1 2 3 ( p 1).
Comme pour tout k {1, 2, 3, , p 1} on a kn rk [mod p]
donc 1n 2n 3n ( p 1)n r1 r2 r3 r p1 [mod p]
donc 1 2 3 ( p 1)n p1 r1 r2 r3 r p1 [mod p] .
On a par consquent, 1 2 3 ( p 1)n p1 1 2 3 ( p 1) [mod p]
do 1 2 3 ( p 1)[n p1 1] 0 [mod p]
Par consquent p | 1 2 3 ( p 1)[n p1 1] . or p est premier avec 1 2 3
( p 1) donc p | (n p1 1) . On en dduit que n p1 1[mod p].
2. Si p est premier et que pgcd( p, n) = 1 alors n p1 1[mod p] donc n p1 n 1 n[mod p]
do n p n[mod p].
Mais si
92
7.4
Amrique Sud 1982

1. Soient a et b des entiers naturels dont la somme et le produit ont pour pgcd le carr
dun nombre premier p.
(a) Montrer que p2 | a. on pourra remarquer que a2 = a( a + b) ab.
(b) Montrer que p | a.
(c) Montrer que p | b.
(d) Montrer que le pgcd de a et de b est soit p, soit p2 .
2. On cherche dans cette question les entiers naturels aet b tels que pgcd( a + b; ab) = 49
et ppcm( a; b) = 231
(a) Soient a et b de tels entiers. Montrer que leur pgcd est 7.
(b) Quelles sont les solutions au problme pos ?
7.4.1
Corrig
1. Soient a et b des entiers naturels dont la somme et le produit ont pour pgcd le carr dun
nombre premier p.
(a)
p | ( a + b) donc p | a( a + b)
p | ab
donc p | a( a + b) ab
Or a2 = a( a + b) ab donc p | a2
(b) p | a2 donc p | aa. Or p est premier donc p est un facteur premier de la dcomposition
en nombres premiers de aa donc p divise a
(c) En permutant les rles de a et de b, par un raisonnement analogue on prouve que
p | b.
a
b
(d) Soit d = pgcd( a; b) alors comme p | a et p | b donc p | d. Posons a0 = et b0 = .
d
d
On sait que a0 et b0 sont premiers entre eux .
p2 = pgcd( a + b; ab) = pgcd(da0 + db0 ; da0 db0 ) = pgcd(d( a0 + b0 ); d( a0 b0 )) =
dpgcd( a0 + b0 ; da0 b0 ) donc d | p2 .
Or p est premier donc d = 1 ou d = p ou d = p2 .
Supposons que d = 1 donc p2 = pgcd( a0 + b0 ; a0 b0 ). Or a0 + b0 et a0 b0 sont premiers
entre eux car a0 et b0 sont premiers entre eux donc p2 = 1 donc p = 1 impossible
car p premier. Par consquent, d le pgcd de a et de b est soit p, soit p2 .
2. (a) pgcd( a + b; ab) = 49 = 72 donc daprs le 1 ) si d = pgcd( a; b) alors d = 7 ou
d = 49.
Or d | ab donc d | ppcm( a; b) = 231 mais 231 = 3 7 11 donc d ne peut tre 49.
En conclusion , d = 7
(b) d = pgcd( a; b) = 7 donc a = 7a0 et b = 7b0 o a0 et b0 sont premiers entre eux.
Or ab = pgcd( a; b) ppcm( a; b) = 7 231 donc 7a0 7b0 = 7 231 donc a0 b0 =
3 11 = 33
Comme a0 et b0 sont premiers entre eux alors ( a0 , b0 ) = (3, 11) ou ( a0 , b0 ) = (11, 3)
Pat consquent ( a, b) = (21, 77) ou ( a, b) = (77, 21)
7.5. NOMBRES DE FERMAT FP = 1 + 22
93
Nombres de FERMAT Fp = 1 + 22
7.5
1. Soit p N et soit x R.
Calculer la somme suivante S = 1 x + x2 + + (1) p x p
2. Dmontrer que :
Quelques soient les entiers x et n lentier suivant x2n+1 + 1 est divisible par x + 1.
3. En dduire que si k est un entier impair alors
p
p
p N
1 + (22 )k est divisible par 1 + 22
p
4. Calculer les nombres de Fermat Fp = 1 + 22 pour p = 0, 1, 2, 3, 4.

Ces nombres sont-ils premiers ?
5
5. Vrifier que 641 6700417 = 1 + 22 . Conclusion ?
7.5.1
Corrig
1. Soit p N et soit x R.
ou bien x = 1
Alors S = 1 (1) + (1)2 + + (1) p (1) p = 1 + 1 + 1 + + 1 = p + 1
ou bien x 6= 1
Alors S est la somme de ( p + 1) termes conscutifs dune suite gomtrique de premier terme 1 et de raison x.
1 + (1) p+2 x p+1
1 + (1) p x p+1
1 ( x ) p+1
=
=
puisque
Par consquent S =
1 ( x )
1 + x)
1 + x)
(1)2 = 1.
1 + (1)2n x2n+1
.
1 + x)
On en dduit que x2n+1 + 1 = ( x + 1)(1 x + x2 + + (1)2n x2n )
donc x2n+1 + 1 est divisible par x + 1 car (1 x + x2 + + (1)2n x2n ) est un entier
relatif.
2. Soient x N et n N alors S = 1 x + x2 + + (1)2n x2n =
3. Soit k un entier impair alors k = 2n + 1. Posons x = 22 . Comme 1 + x divise 1 + x2n+1

p
p
alors p N
1 + 22 divise 1 + (22 )k .
4.
Pour
Pour
Pour
Pour
Pour
p
p
p
p
p
= 0 alors F0
= 1 alors F0
= 2 alors F0
= 3 alors F0
= 4 alors F0
= 1 + 22
1
= 1 + 22
2
= 1 + 22
3
= 1 + 22
4
= 1 + 22
5
= 3 est premier
= 5 est premier
= 17 est premier
= 257 est premier
= 65537 est premier
5. Comme 641 6700417 = 1 + 22 alors F5 nest pas premier.
94
Chapitre 8
Congruences
8.1
Relation de congruence modulo n
8.1.1
Dfinition
Soit n N. On dfinit ainsi la relation de congruence modulo n dans Z par :
( x, y) Z2 x y [n] x y nZ
8.1.2
Thorme
La relation de congruence est une relation dquivalence dans Z

Dmonstration
1. est rflexive car x Z lon a x x [n] puisque x x = 0 = 0 n nZ
2. est rflexive car x Z y Z , si lon a x y [n] alors x y nZ donc x y = nk
o k Z donc y x = (nk ) = n(k) avec k Z donc y x [n]
3. est transitive car x Z y Z y Z , si lon a x y [n] et y z [n] alors
x y nZ et y z nZ donc x y = nk et y z = nk0 o (k, k0 ) Z2 donc x z =
x y + y x = nk + nk0 = n(k + k0 ) avec k + k0 Z donc z x [n]
8.1.3
Thorme
( x, y) Z2 x y [n] x et y ont mme reste dans la division euclidienne par n

Dmonstration
On peut diviser euclidiennement x et y par n donc x = nq + r et y = nq0 + r 0 avec
0 r < n et 0 r 0 < n
Alors x y [n] x y nZ nq + r (nq0 + r 0 ) nZ
n(q q0 ) + (r r 0 ) nZ ()
Or r r 0 = 0 = ()
de mme, () = r r 0 = 0 car () = r r 0 nZ et 0 r r 0 < n puisque 0 r < n
et n < r 0 0
Par consquent x y [n] r = r 0 . CQFD.
95
96
CHAPITRE 8. CONGRUENCES
8.1.4
Dfinition
Lensemble des classes dquivalence sappelle lensemble des entiers modulo n et se note
Z/nZ
Remarques
1. Z/0Z ' Z.
En effet, x y [0] x y 0Z = {0} x = y
2. x Z Z/1Z = { x } nest form que dune seule classe.
En effet, x y [1] x y 1Z x y Z
2,
1}.
1,
,n
3. Card(Z/nZ) = n car Z/nZ = {0,
En effet, soit x Z alors x = nq + r donc x r nZ donc x r [n].
Il y a autant de classes dans Z/nZ quil y a de restes : {0; 1; 2; ; n 1} dans la
division euclidienne par n.
1 } o 0 est lensemble des entiers pairs et 1 lensemble des entiers impairs
4. Z/2Z = {0;
2 }
1;
5. Z/1Z = {0;
8.1.5
Thorme
2,
1}.
1,
,n
Z/0Z est identifiable Z et n N lon a Z/nZ = {0,
Anneau Z/nZ
8.2
8.2.1
Thorme et dfinition
La relation de congruence modulo n est compatible avec laddition et la multiplication dans

Z cest--dire
1. ( x, y, z, t) Z4 x y [n] et z t [n] = x + z y + t [n]
2. ( x, y, z, t) Z4 x y [n] et z t [n] = x z y t [n]
et une multiplication
Cette proprit permet alors de dfinir dans Z/nZ une addition +

y = x + y
1. ( x, y) (Z/nZ)2 x +
2
y = x y
2. ( x, y) (Z/nZ) x
Dmonstration
1. Si x y [n] et z t [n] alors x y nZ et z t nZ donc (q, q0 ) Z2 tel que
x y = nq et z t = nq0 donc ( x + z) (y + t) = nq + nq0 = n(q + q0 ) = nq o
q = (q + q0 ) Z donc ( x + z) (y + t) nZ donc x + z y + t [n]
8.2. ANNEAU Z/NZ
97
2. Si x y [n] et z t [n] alors x y nZ et z t nZ donc (q, q0 ) Z2 tel que x y =

nq et z t = nq0 donc ( xz) (yt) = ( x y)z + y(z t) = nqz + ynq0 = n(qz + q0 y) = nq
o q = (qz + q0 y) Z donc ( xz) (yt) nZ donc xz yt [n]
8.2.2
Thorme
, )
est un anneau commutatif unitaire. Llment neutre pour +
et 0 et llment
(Z/nZ, +
est 1.
neutre pour
Dmonstration
et
proviennent des proprits des lois + et dans Z. On dit alors
Les proprits des lois +
que les lois + et sont dfinies par passage au quotient.

Z/2Z
0 1
+
0 0 1
1 1 0
0 1
0 0 0
1 0 1
, )
est un anneau commutatif unitaire.
(Z/2Z, +
De plus, tout lment 6= 0 est inversible : en effet 1 a pour inverse lui-mme.
, )
est un corps commutatif
Donc (Z/2Z, +
Z/3Z
+
0
1
2
0
0
1
2
1
1
2
0
2
2
0
1
0
1
2
0
0
0
0
1
0
1
2
2
0
2
1
, )
(Z/3Z, +
De plus, tout lment 6= 0 est inversible : en effet 1 a pour inverse lui-mme ainsi que 2.
, )
est un corps commutatif
Donc (Z/3Z, +
98
Z/4Z
+
0
1
2
3
0
0
1
2
3
1
1
2
3
0
2
2
3
0
1
3
3
0
1
2
0
1
2
3
0
0
0
0
0
1
0
1
2
3
2
0
2
0
2
3
0
3
2
1
, )
(Z/4Z, +
2 = 0 et 2 6= 0 donc 2 est un diviseur de 0.

Mais 2
, )
nest pas intgre donc ne peut tre un corps.
Par consquent, (Z/4Z, +
8.2.3
Thorme
Soit n 2.
, )
les seuls lments inversibles sont les classes x telles que x n = 1
Dans (Z/nZ, +
Dmonstration
x0 = 1 x 0 Z
x est inversible x0 Z/nZ
x
xx 0 1[n]
0
2
0
0
2
0
( x , k) Z
xx = nk + 1 ( x , k) Z
xx nk = 1 x et n sont premiers entre eux
daprs le thorme de Bachet-Bezout.
8.2.4
Corollaire
, )
est un corps commutatif n est premier.
(Z/nZ, +
Dmonstration
=:
, )
soit un corps commutatif donc forcment n 2. Llment nul
Supposons que (Z/nZ, +
de Z/nZ est 0 et son lment unit est 1.

2,
1}.
1,
,n
On a donc Z/nZ = {0,
Or dans un corps, les lments non nuls sont inversibles donc daprs le thorme prcdent
1, 2, n 1 sont premiers avec n.
Par consquent, les seuls diviseurs relatifs de n sont n, 1, 1, n donc n est premier.
=:
Rciproquement si nous supposons que n est premier donc n ne divise pas 1, 2, , n 1 donc
1, 2, n 1 sont premiers avec n.
2,
1 qui sont inversibles dans lanneau
,n
Daprs le thorme prcdent, on a donc 1,
, )
.
commutatif (Z/nZ, +
Par consquent cet anneau commutatif devient un corps commutatif.
8.3. PROPRITS DE LA CONGRUENCE
8.3
Proprits de la congruence
8.3.1
n N lon a : x y [n] x y nZ.
8.3.2
n N lon a : x y [n] x et y ont le mme reste dans la division euclidienne par n.
8.3.3
La relation d est une relation dquivalence
cest--dire
x x [n]
x y [n] = y x [n]
x y [n]ety z [n] = x z [n]
8.3.4
Pour tous entiers relatifs x, y, z, t, pour tous entiers naturels n et k
x y [n] et z t [n] = x + z y + t [n]
x y [n] et z t [n] = xz yt [n]
x y [n] = x k yk [n]
8.3.5
n N ( x, y, k) Z3 x y [n] = kx ky [n]
Attention ! La rciproque est fausse : 2 3 2 6 [6] et pourtant 3 6 6 [6]
8.3.6
n N ( x, y) Z2 d Z x y [n] xd yd [nd]
Dmonstration
xd yd [nd] xd yd ndZ q Z xd yd = ndq
q Z d( x y) = dnq q Z x y = nq x y [n]
8.3.7
Corollaire
99
100
Si n1 n2 = 1 et a b [n1 ] et a b [n2 ] alors a b [n1 n2 ]

Dmonstration
Supposons que a b [n1 ] et a b [n2 ]
alors (q, q0 ) Z2 tel que a = n1 q + b = n2 q + b.
Donc n1 q = n2 q0 do n2 | n1 q. Mais n1 n2 = 1 alors daprs Gauss on a n2 | q.
Par consquent, k Z tel que q = n2 k donc a = n1 q + b = n1 n2 k + b do a b [n1 n2 ].CQFD.
8.4. APPLICATIONS
8.4
101
Applications
8.4.1
Restes de division euclidienne
Exercice :
Dterminer le reste de la division euclidienne de 1952 par 7
On sait que 19 5 [7] car 19 = 7 2 + 5 donc 1952 552 [7].
Il reste donc dterminer le reste de la division euclidienne de 1952 par 7
Or
0
5 1 [7]
51 5 [7]
5 4 [7]
53 6 [7]
54 2 [7]
5 3 [7]
56 1 [7]
6n
5 1 [7]
56n+1 5 [7]
6n+2
5
4 [7]
6n
+
3
6 [7]
5
56n+4 2 [7]
6n+5
5
3 [7]
alors
56(n+1) = 56n 56 1 1 = 1 [7]
56(n+1)+1 = 56(n+1) 51 5 [7]
6(n+1)+2
5
= 56(n+1) 52 4 [7]
6
(
n
+
1
)+
3
5
= 56(n+1) 53 6 [7]
6
(
n
+
1
)+
4
5
= 56(n+1) 54 2 [7]
6(n+1)+5
5
= 56(n+1) 55 3 [7]

6n
5 1 [7]
56n+1 5 [7]
6n+2
5
4 [7]
56n+3 6 [7]
56n+4 2 [7]
6n+5
5
3 [7]
Or 52 = 6 8 + 4 donc 552 = 568+4 2 [7] donc 1952 2 [7]
102
8.4.2
Caractres de divisibilit par 2, 3, 4, 5, 8, 9, 11, 25, 125
Soit a = xn xn1 x1 x0 10 = xn 10n + xn1 10n1 + + 10x1 + x0

1. Comme
10 0 [2 ou 5]
100 0 [4 ou 25]
1000 0 [8 ou 125]
alors
(a) a est divisible par 2 x0 {0, 2, 4, 6, 8} x0 est divisible par 2
(b) a est divisible par 5 x0 {0, 5}
(c) a est divisible par 4 x1 x0 est divisible par 4
(d) a est divisible par 25 x1 x0 est divisible par 25
(e) a est divisible par 8 x2 x1 x0 est divisible par 8
(f) a est divisible par 125 x2 x1 x0 est divisible par 125
2. Comme 10 1 [3 ou9]
alors
n
(a) a est divisible par 3 la somme
xk est divisible par 3.
k =0
n
(b) a est divisible par 9 la somme
xk est divisible par 9.
k =0
3. Comme k N 10k (1)k [11]

alors
a est divisible par 11 la somme des chiffres de rang pair est congrue la somme
des chiffres de rang impair.
8.4. APPLICATIONS
8.4.3
103
Thorme des restes chinois
Selon Wikipedia :
La forme originale du thorme, contenue dans un livre du mathmaticien chinois Qin Jiushao
publi en 1247, est un rsultat concernant les systmes de congruences.
Mais on trouve trace dun problme analogue dans le livre de Sun Zi, le Sunzi suanjing datant
du 3me sicle : Combien larme de Han Xing comporte-t-elle de soldats si, rangs par 3 colonnes, il reste
deux soldats, rangs par 5 colonnes, il reste trois soldats et, rangs par 7 colonnes, il reste deux soldats ?
On peut penser que les Chinois, frus de calculs astronomiques, puissent tre intresss par des
concordances de calendrier et quils aient t amens trs tt sintresser des questions du
type :
Dans combien de jours la pleine lune tombera-t-elle au solstice dhiver ?
Si la question se pose alors quil reste 6 jours avant le solstice dhiver et 3 jours avant la pleine
lune, la question se traduit par :
Existe-t-il un entier x tel que le reste de la division de x par 365 donne 6 et le reste de la division de x par
28 donne 3 ?
La rsolution propose par Sun Zi pour le problme des soldats est la suivante :
Multiplie le reste de la division par 3, cest--dire 2, par 70, ajoute lui le produit du reste de la
division par 5, cest--dire 3, avec 21 puis ajoute le produit du reste de la division par 7, cest-dire 2 par 15. Tant que le nombre est plus grand que 105, retire 105.
Mais la solution nexplique quimparfaitement la mthode utilise.
Enfin, il serait dommage de ne pas prsenter ce problme concernant des pirates et un trsor,
trs frquemment cit pour illustrer le thorme des restes chinois :
Une bande de 17 pirates possde un trsor constitu de pices dor dgale valeur. Ils projettent de se les
partager galement, et de donner le reste au cuisinier chinois. Celui-ci recevrait alors 3 pices. Mais les
pirates se querellent, et six dentre eux sont tus. Un nouveau partage donnerait au cuisinier 4 pices.
Dans un naufrage ultrieur, seuls le trsor, six pirates et le cuisinier sont sauvs, et le partage donnerait
alors 5 pices dor ce dernier. Quelle est la fortune minimale que peut esprer le cuisinier sil dcide
dempoisonner le reste des pirates ?
Larithmtique modulaire a rendu ce type de problme plus facile rsoudre.
Il sagit de trouver x positif et minimal vrifiant le systme
x 3 [17]
x 4 [11]
x 5 [6]
Daprs le thorme des restes chinois (puisque 17, 11 et 6 sont premiers entre eux deux deux),
les solutions sont de la forme :
104
x = u1 11 6 3 + u2 17 6 4 + u3 17 11 5 + n 17 11 6
ou encore x = 198u1 + 408u2 + 935u3 + 1122n.
Il reste trouver les ui :
On a par division euclidienne :
66 = 3 17 + 15
17 = 1 15 + 2
15 = 7 2 + 1
On en dduit que 1 = 15 7 2 et puisque 2 = 17 1 15, on a 1 = 15 7(17 1 15)
cest--dire 1 = 8 15 7 17. Mais 15 = 66 3 17 do 1 = 8(66 3 17) 7?17.
On obtient pour finir 1 = 8 66 31 17 et u1 = 8.
De la mme manire, on trouve u2 = 4 et u3 = 1. Donc x = 198 8 + 408 4 + 935 + 1122n =
4151 + 1122n.
4151 est donc une solution possible pour notre cuisinier, mais ce nest pas la plus petite.
Il suffit deffectuer la division de 4151 par 1122 pour trouver comme reste 785 qui est le nombre
minimal de pices que peut obtenir le cuisinier.
8.4.4
Thorme
Si m N et n N sont tels que pgcd(m, n) = 1

alors Z/mnZ Z/mZ Z/nZ
8.4.5
dmonstration
Soit lapplication
: (Z, +) 7 (Z/mZ Z/nZ, +)

x )
x 7 ( x,
1. est un homorphisme de groupes.

0 )} = { x/( x,
0 )} = { x/ x = 0 et x = 0 }
x ) = (0,
2. ker () = { x/( x ) = (0,
donc ker () = { x/x 0[m] et x 0[n]} = { x/m| x etn| x }.
Par consquent ker () est le sous groupe de Z form des multiples de m et de n . Donc
ker () = ( ppcm(m, n)) = (mn) = mnZ car pgcd(m, n) = 1
3. On en dduit que :
Il existe un homomorphisme injectif : Z/mnZ 7 Z/mZ Z/nZ.
Or card(mnZ) = mn = card(Z/mZ Z/nZ) donc devient bijectif donc un isomorphisme . Par consquent Z/mnZ Z/mZ Z/nZ
4. En fait, est
8.4.6
Application
8.5. EXERCICES
8.5
105
Exercices
8.5.1
Exercice
Soit ( a, b) Z2 .
1. Dvelopper ( a + b)7 .
2. En dduire que ( a + b)7 a7 + b7 [7]
et que ( a + b) est un multiple de 7 a7 + b7 est un multiple de 7
3. Dterminer tous les x Z tels que

10 x 10
x7 + 128 est un multiple de 7
Corrig
1. ( a + b)7 =

7
k ank bk = a7 + 7a6 b + 21a5 b2 + 35a4 b3 + 35a3 b4 + 21a2 b5 + 7ab6 + b7
k =0
2. (a) ( a + b)7 = a7 + b7 + 7( a6 b + 3a5 b2 + 5a4 b3 + 5a3 b4 + 3a2 b5 + ab6 ) = a7 + b7 + 7q o

qZ
do on dduit que ( a + b)7 a7 + b7 [7]
(b) ( a + b) est un multiple de 7 ( a + b) 0 [7] ( a + b)7 0 [7]
i. = est vident
ii. = lest moins. On le prouve en raisonnant par labsurde :
si ( a + b)7 0 [7] alors on ne peut avoir respectivement
a + b 1 [7] ou a + b 2 [7]
ou a + b 3 [7] ou a + b 4 [7]
ou a + b 5 [7] ou a + b 6 [7]
car alors on aurait respectivement :
( a + b)7 17 6 0 [7] ou ( a + b)7 27 6 0 [7]
ou ( a + b)7 37 6 0[7] ou ( a + b)7 47 6 0 [7]
ou ( a + b)7 57 6 0 [7] ou ( a + b)7 67 6 0 [7]
Comme ( a + b)7 a7 + b7 [7] alors ( a + b) est un multiple de 7 ( a + b)
0 [7] ( a + b)7 0 [7] a7 + b7 0 [7]
3.

10 x 10
x7 + 128 est un multiple de 7
10 x 10
x7 + 27 0 [7]
10 x 10
x + 2 0 [7]
106
x = 9 ou x = 2 ou x = 5
daprs le tableau suivant
x
x+2
10 8
9
7
8
6
7
5
6
4
x x+2
5 3
4 2
3 1
2
0
1
1
x
0
1
2
3
4
x+2
2
3
4
5
6
x
5
6
7
8
9
x+2
7
8
9
10
11
x
10
x+2
12
8.6. NUMRO INSEE
8.6
107
Numro INSEE
Le numro INSEE est constitu de 15 chiffres. En lisant de gauche droite :

le premier chiffre est 1 sil sagit dun homme et 2 sil sagit dune femme.
les deux chiffres suivants dsignent les deux derniers chiffres de lanne de naissance.
les deux chiffres suivants dsignent le mois de naissance.
les deux chiffres suivants dsignent le dpartement de naissance.
les trois chiffres suivants dsignent la commune de naissance.
les trois chiffres suivants dsignent lnumro dinscription sur le registre dtat-civil.
les deux chiffres suivants dsignent la cl K calcule de la faon suivante :
soit A le nombre entier constitu par les 13 chiffres de gauche
soit r le reste de la division euclidienne de A par 97
alors K = 97 r
Les 13 premiers chiffres sans la cl du numro INSEE de Sophie sont 2850786183048. On note
A ce nombre et r le reste de la division euclidienne de A par 97.
1. Donner le mois de lanne de naissance de Sophie.
2. Dterminer les deux entiers a et b tels que A = a 106 + b o 0 b < 106
3. En utilisant le reste de 100 dans sa division euclidienne par 97, montrer que 106
27 [mod 97]
4. En dduire r le reste de la division euclidienne de A par 97.
5. Dterminer la cl K du numro INSEE de Sophie.
8.6.1
Corrig
1. Pour Sophie, le code du mois est 07 et le code de lanne est 85 donc elle est ne en Juillet
1985.
2. A = 2850786183048 = 2850786 106 + 183048 o 0 b = 183048 < 106
3. 100 = 97 1 + 3 donc 100 = 102 3
[mod 97] do 106 = (102 )3 33 = 27 [mod 97]
4. A = 2850786 106 + 183048 2850786 27 + 183048 [mod 97]. Or 2850786 27 =

76971222 = 793517 97 + 73 donc A 73 + 183048 = 183121 [mod 97]. Comme 183121 =
1887 97 + 82 alors A 82 [mod 97]
5. La cl du numro INSEE de Sophie est K = 97 r = 97 82 = 15 cest--dire K = 15
108
8.7
Bac C Clermont 81
Soit n N.
1. Etudier selon n le reste de la division euclidienne de 7n par 9.
2. Dmontrer que n N on a : 7n + 12n 1 qui est divisible par 9.
8.7.1
Corrig
1. 70 = 1 1 [mod 9]
71 = 7 7 [mod 9]
72 = 49 4 [mod 9] car 49 = 45 + 4 = 5 9 + 4
73 = 72 7 4 7 = 28 1 [mod 9] car 28 = 27 + 1 = 3 9 + 1
On dmontre alors par rcurrence que k N lon a :
73k 1 [mod 9]
73k+1 7 [mod 9]
73k+2 4 [mod 9]
2. k N lon a :
73k 1 [mod 9] et 12n = 36k 0[mod 9]
donc 7n + 12n 1 1 + 0 1 [mod 9] 0 [mod 9]
73k+1 7 [mod 9] et 12n = 36k + 12 12 3[mod 9]
donc 7n + 12n 1 7 + 3 1 [mod 9] 0 [mod 9
73k+2 4 [mod 9] et 12n = 36k + 24 24 6[mod 9]
donc 7n + 12n 1 4 + 6 1 [mod 9] 0 [mod 9]
Par consquent, n N 7n + 12n 1 est divisible par 9 .
8.8. CONCOURS SCOLAIRE SUDOIS
8.8
109
Concours scolaire sudois
Dterminer le reste de la division euclidienne par 12 de lentier naturel suivant : N =

1234567 + 891011
8.8.1
Corrig
1. 1234 = 102 12 + 10 et 89 = 7 12 + 5 donc N 10567 + 51011

2. 100 1 [mod 12]
101 10 [mod 12]
102 4 [mod 12] car 100 = 96 + 4 = 8 12 + 4
103 = 102 10 10 4 = 40 4 [mod 12] car 40 = 36 + 4 = 3 12 + 4
On dmontre alors par rcurrence que k N lon a 10k 4 [mod 12]
donc 10567 4 [mod 12]
3. 50 1 [mod 12]
51 5 [mod 12]
52 = 25 1 [mod 12] car 25 = 24 + 1 = 2 12 + 1
On dmontre alors par rcurrence que k N lon a 52k 1 [mod 12] et 52k+1
5 [mod 12]
donc 51011 5 [mod 12]
4. Par consquent, N 4 + 5 [mod 12] cest--dire que N 9 [mod 12]
110
Chapitre 9
Systmes de numration
9.1
Historique
1. Le systme de numration le plus utilis est le systme dcimal ou encore le systme

de base 10 car on y utilise 10 chiffres : 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Par exemple, en base 10 le
nombre 4728 = 4 103 + 7 102 + 2 101 + 8 100
Ce systme est connu ds lAntiquit en Chine, en Inde, en Egypte, chez les Etrusques
selon des modalits et des chiffres trs diffrents des 10 chiffres : 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 dits
chiffres arabes , introduits par les Arabes en Europe et qui proviennent de lInde.
2. Il y a dautres systmes de numration. Les plus clbres sont les systmes de :
(a) Base 2 ou systme binaire : chiffres 0 et 1 trs utilis en informatique.
(b) Base 4 : Aristote a travaill avec ce systme.
(c) Base 6 ou systme snaire.
(d) Base 8 ou sytme octal trs utilis en informatique.
(e) Base 11 : systme utilis encore de nos jours par les Maoris de Nouvelle-Zlande.
(f) Base 12 ou systme duodnaire : chiffres 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, , .
Units horaires : 12 mois de lanne ; 12 heures du jour.
Commerce : une douzaine doeufs ; une grosse dallumettes (122 )
Typographie
(g) Base 16
(h) Base 20 : quatre-vingt ; Hpital des quinze-vingt ; 120 se disait avant six vingt .
Ce systme tait utilis par les Mayas et les Aztques du Mexique prcolombien , les
Celtes et les Danois.
(i) Base 60 :
utilis par les Chaldens
en astronomie, 1h = 600 et 10 = 60
3. Il existe des systmes de numration qui ne sont pas base .
Par exemple, le systme romain : I, I I, I I I, IV, V, V I; , X, L, C, M
111
112
CHAPITRE 9. SYSTMES DE NUMRATION
Les systmes base utilise le thorme suivant :
9.1.1
Thorme
Soit un entier a 2. Alors pour tout x N

1. n N tel que an x < an+1
2. Il existe un (n + 1)uplet ( x0 , x1 , , xn ) Nn tel que
n
x=
x i a i = x0 a0 + x1 a1 + + x n a n
i =0
o 0 < x0 < a et i {1; 2; ; n} 0 xi < a

3. Cette expression sappelle le dveloppement de x en base a et se note x = x0 x1 xn a
9.1.2
Exemples
10
1. 4720
= 4 103 + 7 102 + 2 101 + 0 100
10
2. 4631 = 4 73 + 6 72 + 3 71 + 1 70 = 1688
2
3. 11010110 = 1 27 + 1 26 + 0 25 + 1 24 + 0 23 + 1 22 + 1 21 + 0 20 =
27 + 26 + 24 + 4 + 2
9.2
Algorithmes
9.2.1
Passage de la base a la base 10
N = x 0 x 1 x n a = x n a n + x n 1 a n 1 + + x 1 a + x 0 .
Exemples
10
4720 = 4 103 + 7 102 + 2 101 + 0 100

7
10
4631 = 4 73 + 6 72 + 3 71 + 1 70 = 1688
2
11010110 = 1 27 + 1 26 + 0 25 + 1 24 + 0 23 + 1 22 + 1 21 + 0 20 =
27 + 26 + 24 + 4 + 2
2
1011 = 1 23 + 0 22 + 1 21 + 1 20 = 23 + 2 + 1 = 11
6
24513 = 2 64 + 4 63 + 5 62 + 1 61 + 3 60 = 3645
7
2564 = 2 73 + 5 72 + 6 71 + 4 70 = 977
9.2. ALGORITHMES
113
Algorithme
La dcomposition de HORNER permet de crer un algorithme
N = (((( xn a + xn1 ) a + x n2 ) a + + x1 ) a + x0 )
dbut
(* entre des donnes *)
entrer base a
pour i variant de 0 n
faire dbut
entrer x_i
fin
(*traitement *)
N := x_1
pour i variant de 0 n
faire dbut
N := a * N + x_i
fin
(* sortie des rsultats *)
afficher N
fin.
114
9.2.2
Passage de la base 10 la base a
On prend le nombre N en base 10. On procde par divisions euclidiennes successives par
la base a jusqu ce que le quotient soit strictement infrieur la base a.
On note r1 , r2 , , rn1 les restes des n 1 premires divisions euclidiennes et qn le quotient strictement infrieur a
donc N = (((((qn a + rn1 ) a + rn2 ) a + + r3 ) a + r2 ) a + r1 )
Alors N = qn rn1 rn2 r3 r2 r1 a .
Exemple
7
1688 = 4631 car
9.3
9.3.1
Proprits
Comparaison
Soient deux nombres x et y crits dans une base a.

1. ou bien x et y nont pas le mme nombre de chiffres.
Alors le plus grand des deux entiers est celui qui a le plus de chiffres.
9
Par exemple, 123458 > 234

2. ou bien x et y ont le mme nombre de chiffres.
On compare alors les chiffres correspondant la plus grande puissance de a et ainsi de
suite si ncessaire.
12
12
Par exemple, 435629 > 435619
9.3. PROPRITS
9.3.2
115
Addition et multiplication dans la mme base
Il faut disposer dune table daddition et dune table de multiplication dans le systme base a.
En base 2
0 1
+
0 0 1
1 1 10
0 1
0 0 0
1 0 1
2
1011 + 111 = 10010 et 10011 1001 = 10101011 car
116
9.4
Exercices
9.4.1
Polynsie C 80
1. Chercher un polynme P( x ) coefficients dans N de degr 2 tel que
x N x ( x + 1)( x + 2)( x + 3) + 1 = [ P( x )]2

2. En dduire pour x > 3, lcriture en base x du nombre entier naturel a tel que a2 =
x
x
x
x
10 11 12 13 + 1
x
3. Ecrire en base x > 3 la carr de 11 , le cube de 11
4. Quels sont les diviseurs du nombre B = 1320 o la base x > 3 ?

x
5. Vrifier que pour x = 3 le nombre C = 111 est divisible par 13.

x
6. En dduire quelles sont toutes les bases x > 2 pour lesquelles le nombre 111 est divisible
par 13.
Corrig
1. x N x ( x + 1)( x + 2)( x + 3) + 1 = ( x2 + x )( x2 + 5x + 6) + 1
= x4 + 6x3 + 11x2 + 6x + 1 = [ x2 + 3x + 1]2
On peut choisir P( x ) = x2 + 3x + 1.
x
2. a2 = 10 11 12 13 + 1
a2 = x ( x + 1)( x + 2)( x + 3) a2 = [ x2 + 3x + 1]2
a = x2 + 3x + 1 ou a = x2 3x 1
x
a = x2 + 3x + 1 car x2 3x 1 < 0 puisque x > 3 a = 131
x
3. 11 = ( x + 1)
x
(a) [11 ]2 = ( x + 1)2 = x2 + 2x + 1 = 121
(b) [11 ]3 = ( x + 1)3 = x3 + 3x2 + 3x + 1 = 1331
4. B = 1320 = x3 + 3x2 + 2x = x ( x2 + 3x + 2) = x ( x + 1)( x + 2)

Les diviseurs de B sont donc les diviseurs de x ( x + 1)( x + 2).
3
5. C = 111 = 32 + 3 + 1 = 13 donc C 0 [13]

x
6. 111
0 [13] x2 + x + 1 0 [13] x2 + x + 1 13 0 [13]

( x2 + x + 1) (32 + 3 + 1) 0 [13]
( x2 32 ) + ( x 3) 0 [13] ( x 3)( x + 4) 0 [13]
x 3 0 [13] ou x + 4 0 [13] x 3 [13] ou x 9 [13]
9.4. EXERCICES
9.4.2
117
Exercice
13
Soit un entier naturel N = 25x3 .

1. Trouver toutes les valeurs de x telles que N 0 [6]
2. Trouver toutes les valeurs de x telles que N 0 [4]
3. Y-a-t-il des valeurs de x telles que N 0 [24]?
Corrig
13
N = 25x3
donc N = 2 133 + 5 132 + x 13 + 3 = 5242 + 13x o x [| 0; 12 |]
1. N 0 [6] 5242 + 13x 0 [6] 873 6 + 4 + 13x 0 [6] 13x + 4 0 [6]

12x + x + 4 0 [6] x + 4 0 [6] x 4 [6] x 2 [6].
Par consquent, x {2; 8}
2. N 0 [4] 5242 + 13x 0 [4] 131 4 + 2 + 13x 0 [4] 13x + 2 0 [4]
12x + x + 4 0 [4] x + 2 0 [4] x 2 [4] x 2 [4].
Par consquent, x {2; 6; 10}
3. Comme 24 = 6 4 alors N 0 [24] = N 0 [6] et N 0 [4]
Attention = est fausse car 6 4 = 2 6= 1.
Donc si N 0 [24] alors N 0 [6] et N 0 [4]
donc x {2; 8} {2; 6; 10} = {2}
13
Rciproquement, si x = 2 alors N = 25x3 = 5242 + 13 2 = 5268 12 [24] 6 0[24]
En conclusion, il ny a pas de x tel que N 0 [24].
118
9.4.3
Olympiades Moscou 1968
Soit x N. Soit p( x ) le produit de ses chiffres en numration dcimale.

Rsoudre lquation suivante, dinconnue x :
x2 10x 22 = p( x )
Corrig
9.4. EXERCICES
9.4.4
Corrig
119
120
9.4.5
Corrig
Chapitre 10
Cryptographie
10.1
Code Barre
10.1.1
Dfinition
Le code barre, utilis pour les articles en commerce, est un code de 8 ou 13 chiffres avec une
cl C comme dernier chiffre gauche.
Cette cl sobtient ainsi :
dbut
A :=
B :=
S :=
R :=
si R
la somme des termes de rang impair ;

la somme des termes de rang pair ;
A + 3*B ;
S mod 10 ;
= 0 alors C := 0
sinon C := 10 - R ;
fin.
10.1.2
Exercice
Vrifier que la cl est correcte dans les codes-barre suivants :

3307930001341
376554320
3017760005302
10.2
Code ASCII
Le code ASCII (American Standard Code for Information Interchange) est utilis pour coder
les caractres du clavier sur un ordinateur. On lobtient par la fonction suivante :
= CODE(caractre) sous Excel
ord(caractre) en Turbo Pascal
1. Les lettres majuscules A, B, C, , Z sont codes 65, 66, 67, , 90
2. Les chiffres 0, 1, 2, , 9 sont cods
3. Les lettres minuscules a, b, b, , z sont codes , , , ,
121
122
CHAPITRE 10. CRYPTOGRAPHIE
10.3
Chiffrement de Jules Csar
10.3.1
Dfinition
10.3.2
Exemple sous Excel
On va utiliser les fonctions :

= CODE(caractere) qui ramne le code ascii de ce caractre.
= MOD ( a, b) qui ramne le reste de la division euclidienne de a par b
= CAR(nombre) qui ramne le caractre de code ascii ce nombre.
10.4. CODAGE ROT 13
10.4
123
Codage ROT 13
On ajoute une rotation de 13 caractres chaque caractre du texte coder. Exemple La fin du
vers clbre de Victor Hugo : "Sil ne reste quun seul, je serai celui-l " devient :"wrfrrenvpryhvyn"
124
CHAPITRE 10. CRYPTOGRAPHIE
10.5
Chiffrement affine
10.6
Chiffrement de Vignre
10.7
Code RSA
Chapitre 11
Exercices supplmentaires
11.1
Euclide et les nombres parfaits
Un entier naturel est parfait lorsquil vaut la somme de ses diviseurs.

Par exemple, 6 et 28 sont parfaits.
Les diviseurs de 6 sont 1, 2, 3, 6 La somme des diviseurs propres 1 + 2 + 3 vaut 6.
Les diviseurs de 28 sont 1, 2, 4, 7, 14, 28 La somme des diviseurs propres 1 + 2 + 4 + 7 +
14 vaut 28.
Euclide a dmontr que si 2n+1 1 est premier alors 2n (2n+1 1) est parfait
11.1.1
Corrig
Comme 2n+1 1 est premier alors ses seuls diviseurs sont 1 et lui-mme. Son seul diviseur
propre est donc 1.
Les diviseurs propres de 2n (2n+1 1) sont donc 1; 2; 4; ;
11.2
Bac Liban 2005
Soit lquation ( E) : 109x 206y = 1 o x et y sont des entiers relatifs

1. Dterminer le pgcd de 109 et de 206 par lalgorithme dEuclide.
2. En dduire une solution particulire de ( E)
3. Dterminer lensemble des solutions de ( E).
11.2.1
Corrig
Lalgorithme dEuclide utilise la proprit suivante :

si a = b q + r avec 0 r < b alors tout diviseur commun a et b est aussi diviseur de b et de
r car r = a bq
donc pgcd( a; b) = pgcd(b; r )
1.
206 = 109 1 + 97
109 = 97 1 + 12
97
= 12 8 + 1
12 = 1 12 + 0
125
126
CHAPITRE 11. EXERCICES SUPPLMENTAIRES

Par consquent , pgcd(206, 109) = pgcd(109, 97) = pgcd(97, 12) = pgcd(12, 1) = 1 le
dernier reste non nul.
Comme pgcd(206, 109) = 1 alors 206 et 109 sont premiers entre eux.
Alors daprs le thorme de Bachet-Bezout : u Z v Z109u + 206v = 1 donc ( E)
a des solutions.
2. On part de la troisime galit 97 = 12 8 + 1 donc 1 = 97 8 12
En utilisant la deuxime galit on a donc :
1 = 97 8 (109 97 1) = 9 97 8 109
En utilisant la premire galit on obtient :
1 = 9 (206 109 1) 8 109 = 9 206 17 109
Par consquent, une solution particulire de ( E) est (17; 9)
3. ( x, y) est solution de ( E) 109x 206y = 1
109x 206y = 109(17) 206(9) 109( x + 17) = 206(y + 9)
Si ( x, y) est solution de ( E) alors 109( x + 17) = 206(y + 9) donc 109|206(y + 9) mais
pgcd(109; 206) = 1 alors daprs le thorme de Gauss 109(y + 9) donc k Zy + 9 =
109k . Par consquent y = 109k 9 . Or 109( x + 17) = 206(y + 9) donc 109( x + 17) =
206 109k donc x + 17 = 206k do x = 206k 17
Par consquent SE {(206k 17; 109k 9) k Z}
Soit ( x, y) = (206k 17; 109k 9) alors 109(206k 17) 206(109k 9) = 1 donc tous
ces couples sont solutions.
Lensemble des solutions de ( E) est SE = {(206k 17; 109k 9)/k Z}
11.3. ARITHMTIQUE ET PROBABILITS - BAC C MARTINIQUE 1978
11.3
127
Arithmtique et Probabilits - Bac C Martinique 1978
On appelle le produit cartsien Z/5Z Z/5Z.

Soit Pr la loi de probabilit sur lespace probabilisable (, P ()) telle que tous les vnements lmentaires de ont la mme probabilit .
y ) tels que
Soit E lensemble des couples ( x,

x + y = 0
x + 2 y = 0
y ) tels que
Soit F lensemble des couples ( x,

2 x + y = 0
x + 3 y = 0
Dterminer Pr ( E) et Pr ( F ).
11.3.1
Corrig
Comme lespace probabilisable (, P ()) est muni de la loi de probabilit uniforme P alors
Card( A)
.
pour tout vnement A on a :Pr ( A) =
Card()
Card() = 25 car Card(Z/5Z) = 5.
Voici les tables daddition et de multiplication dans Z/5Z :
+
0
1
2
3
4
0
0
1
2
3
4
1
1
2
3
4
0
2
2
3
4
0
1
3
3
4
0
1
2
4
bar4
bar0
bar1
bar2
bar3
0
1
2
3
4
0
0
0
0
0
0
1
0
1
2
3
4
2
0
2
4
1
3
3
0
3
1
4
2
4
bar0
bar4
bar3
bar2
bar1
Mthode de Cramer
Comme 5 est premier alors Z/5Z est un corps dont on peut appliquer les formules de Cramer
pour la rsolution de systmes.
1. Soit le systme
=

1
det() =
1

1
= 2 1 = 1 6= 0
2
x + y = 0
x + 2 y = 0
128

2. est donc de Cramer et homogne donc admet un couple solution unique la solution
0 )
triviale :(0;
0 )} donc Pr ( E) = 1
3. Par consquent, E = {(0;
25
1. Soit le systme
=

2
det() =
1
2 x + y = 0
x + 3 y = 0

1
= 6 1 = 5 = 0
3
2. nest donc pas de Cramer.

3. Par consquent, pour dterminer F nous allons tre obligs dutiliser une autre mthode.
Corrig : Methode 2
1. Soit le systme

2 x + y = 0
=
x + 3 y = 0
3 2 x + 3 y = 3 0
x + 3 y = 0
6 x + 3 y = 0
x + 3 y = 0
x + 3 y = 0
2. En utilisant la fois les tables daddition et de multiplication dans Z/5Z et en examinant

successivement les cas :
ou bien x = 0 alors x + 3 y = 0 3 y = 0 y = 0
ou bien x = 1 alors x + 3 y = 0 1 + 3 y = 0 3 y = 4 y = 3
3 ); (2,
2 )}
0 ); (1,
1 ); (3,
4 ); (4,
3. Par consquent, F = {(0,
4. Donc donc Pr ( F ) =
5
1
=
25
5
On peut utiliser cette mme dmarche sur le premier systme :

1. Soit le systme

x + y = 0
=
x + 2 y = 0
4 x + 0 y = 0
x + 2 y = 0
3 x + 3 y = 3 0
x + 2 y = 0
4 x = 0
x + 2 y = 0
0 )} donc Pr ( E) =
2. Par consquent, E = {(0;
1
25
3 x + 3 y = 0
x + 2 y = 0
x = 0
x + 2 y = 0
4 x + 5 y = 0
x + 2 y = 0
x = 0
2 y = 0
x = 0
y = 0
11.4. BAC C BORDEAUX
11.4
129
Bac C Bordeaux
1. Donner les tables daddition et de multiplication de Z/5Z Z/5Z.

2. Rsoudre dans Z/5Z lquation suivante 2 + x = 1
3. Rsoudre dans Z/5Z lquation suivante 3 x = 2
4. Rsoudre dans Z/5Z Z/5Z le systme suivant :

2 x + 3 y = 2
1 x + 2 y = 4
5. Rsoudre dans Z/5Z lquation suivante x 2 + 2 x 3 = 0
11.4.1
Corrig
1. Voici les tables daddition et de multiplication dans Z/5Z :
+
0
1
2
3
4
0
0
1
2
3
4
1
1
2
3
4
0
2
2
3
4
0
1
3
3
4
0
1
2
4
bar4
bar0
bar1
bar2
bar3
0
1
2
3
4
0
0
0
0
0
0
1
0
1
2
3
4
2
0
2
4
1
3
3
0
3
1
4
2
4
bar0
bar4
bar3
bar2
bar1
2. Dans Z/5Z, 2 + x = 1 3 + 2 + x = 3 + 1 0 + x = 4 x = 4
3. Dans Z/5Z, 3 x = 2 2 3 x = 2 2 6 x = 4 1 x = 4 x = 4
4. Soit le systme

2 x + 3 y = 2
2 2 x + 2 3 y = 2 2
4 x + 6 y = 4
4 x + 1 y = 4
=
1 x + 2 y = 4
1 x + 2 y = 4
1 x + 2 y = 4
1 x + 2 y = 4

1 x + 1 y = 4
1 x + 2 y = 4
3 y = 3
1 x + 2 y = 4
y = 1
1 x + 2 y = 4
y = 1
x + 2 = 4
Autre mthode :
Comme 5 est premier alors Z/5Z est un corps dont on peut appliquer les formules de Cramer
pour la rsolution de systmes.
1. Soit le systme

2 x + 3 y = 2
=
1 x + 2 y = 4

2 3
det() = = 4 3 = 1 6= 0
1 2
x = 2
y = 1
130

2. est donc de Cramer et homogne donc admet un couple solution unique la solution
y ) o :
( x;

2 2
2 3

1 4
4 2
= 4 2 = 2 et y =
= 4 12
= 8 2 = 3 2 = 1
x =
1
1
3. Dans Z/5Z x 2 + 2 x 3 = 0 x 2 + 2 x = 3 x ( x + 2 ) = 3
En utilisant la fois les tables daddition et de multiplication dans Z/5Z et en examinant
successivement les cas :
ou bien x = 0 alors x + 2 = 2 et x ( x + 2 ) = 0
ou bien x = 3 alors x + 2 = 5 = 0 et x ( x + 2 ) = 0
Par consquent,
Dans Z/5Z x 2 + 2 x 3 = 0 x = 1 ou x = 2
11.5. CONGRUENCES DANS Z/6Z
11.5
131
Congruences dans Z/6Z
Rsoudre dans Z/6Z Z/6Z le systme suivant :

2 x 4 y = 2
=
1 x + 5 y = 2
11.5.1
Corrig
1. Z/6Z nest pas un corps car 6 nest pas premier.

2. Lensemble de dfinition De f de est Z/6Z Z/6Z
y ) De f on a :
3. ( x,

2 x 4 y = 2
=
1 x + 5 y = 2
2 x 4 y = 2
x + 0 y = 2 + y

2 x 4 y = 2
1 x + 5 y + y = 2 + y
2 x 4 y = 2
x = 2 + y
(2) y = (2)
x = 2 + y
4 y = 4
x = 2 + y
car
4 0 = 0 ; 4 1 = 4 ; 4 2 = 8 = 2 ; 4 3 = 12 = 0 ;
4 4 = 16 = 4 ; 4 5 = 20 = 2
1 )}
4. Donc S = {(3;
2 x 4 y = 2
x + 6 y + y = 2 + y
2 (2 + y ) 4 y = 2
x = 2 + y

y = 1
x = 3
4 + 2 y 4 y = 2
x = 2 + y
132
11.6
Bac C 74 - Groupe 1
Soit F = Z/7Z Z/7Z. Dterminer (, ) F tel que

4 + 3x
3 + 5x
2 + ax + b = ( ax2 + bx + c)2
( a, b, c) F3 x F 1x
11.6.1
Corrig
1. Voici les tables daddition et de multiplication dans Z/7Z :
+
0
1
2
3
4
5
6
0
0
1
2
3
4
5
6
1
1
2
3
4
5
6
0
2
2
3
4
5
6
0
1
3
3
4
5
6
0
1
2
4
4
5
6
0
1
2
3
5
5
6
0
1
2
3
4
6
6
0
1
2
3
4
5
0
1
2
3
4
5
6
0
0
0
0
0
0
0
0
1
0
1
2
3
4
5
6
2
0
2
4
6
1
3
5
3
0
3
6
2
5
1
4
4
0
4
1
5
2
6
3
5
0
5
3
1
6
4
2
6
0
6
5
4
3
2
1
2 bx + 2ax
2 c + 2bxc
2. ( ax2 + bx + c)2 = a2 x4 + b2 x2 + c2 + 2ax

2
4
3
2
2
2
= a x + 2abx + x (b + 2ac) + 2bxc + c

3 + x2 ( b2 + 2ac
4 + 3x
3 + 5x
2 + ax + b = a2 x4 + 2abx
) + 2bxc
3. x F on a : 1x
+ c2
a = 6
a=1
a = 1 ou a = 6
1=a
= 3
2ab
2ab = 3
2ab = 3
2ab = 3
2
2
2
= 5
b2 + 2ac
b + 2ac = 5 ou
b + 2ac = 5
b + 2ac = 5
2bc =
2bc =
2bc =
2bc =
= c2
= c2
= c2
= c2
a = 1
a = 6
= 3
2 1b = 3
2 6b
2
2
= 5
b + 2 1c = 5 ou
b + 2 6c
2bc =
2bc =
= c2
= c2
a = 1
a = 6
= 3
b=5
2 6b
2
2
= 5
b + 2c = 5 ou
b + 2 6c
2bc =
2bc =
= c2
= c2
11.6. BAC C 74 - GROUPE 1
133
a = 1
b = 5
= 5
b2 + 2c
=
2bc
= c2
a = 1
b = 5
c = 4
= 5
= 2
a = 6
= 3
5b
= 5
b2 + 5c
ou
=
2bc
= c2
a = 6
b = 2
c = 3
ou
= 5
= 2
2 ) .
4. Par consquent, il y a un seul couple qui convienne : (, ) = (5,
4 + 3x
2 + 5x
3 + 5x
2 + ax + b = (1x
+ 4 )2 = (6x
2 + 2x
+ 3 )2
Donc 1x
134
11.7
Exercice
Entrez votre pointure de chaussures. Multipliez-la par 5. Rajoutez 50. Multipliez le total obtenu par 20. Rajoutez 1012 ce nouveau total. Enfin, soustrayez votre anne de naissance ce
dernier total.
Vous obtenez un nombre 4 chiffres : les deux premiers sont votre pointure et les deux derniers sont votre ge. Pourquoi ?

Arithmetique

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Arithmetique

Загружено:

Авторское право:

Доступные форматы

Livret dArithmtique

Christian Jean CYRILLE

Ce livret de cours et dexercices darithmtique est ddicac particulirement :

Table des matires

Le Raisonnement par rcurrence

Division euclidienne dans N

TABLE DES MATIRES

Division euclidienne dans Z

TABLE DES MATIRES

6.5.1 Algorithme brut . . . . . . . . . . . . . . .

TABLE DES MATIRES

TABLE DES MATIRES

TABLE DES MATIRES

Cette axiomatique est dite de PEANO Guiseppe, mathmaticien italien(1858-1932).

On admet lexistence dun ensemble N vrifiant les 8 axiomes suivants :

Laddition + et la multiplication vrifient les proprits suivantes :

Tout lment n de N admet un successeur dans N not n + 1.

Tout lment n de N admet un prdcesseur dans N not n 1.

Toute partie non vide de N admet un plus petit lment.

Toute partie non vide et majore de N admet un plus grand lment.

N na pas de plus grand lment.

Axiome 8 dit dArchimde

N ]n; n + 1[= donc N est donc lensemble infini {0; 1; 2; 3; }.

1. Dmontrer que le carr dun entier naturel pair est pair.

3. En dduire que 2 est irrationnel.

3. Raisonnons par labsurde. Supposons que 2 Q. Alors ( p, q) N N tel que

Concours scolaire sudois

Soient ( a, b, c) (N )3 . Dmontrer que si ab < c alors a + b c.

donc 2ab 2( a + b). On en dduit que a + b ab Or ab < c.

Le Raisonnement par rcurrence

Soit X une partie de N

Thorme de rcurrence faible

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

Comme il faut dmontrer que limplication est vraie, on procdera ainsi :

Thorme de rcurrence double

2.2. THORME DE RCURRENCE DOUBLE

Thorme de rcurrence forte

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

Attention aux fausses rcurrences :

2.3. FAUSSE RCURRENCE

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

1. Dterminer lensemble des parties de E not P ( E) dans les cas suivants E1 = { a} ;

1. Pour crer lensemble des parties P ( E) dun ensemble E,

(b) Etape 2 : hrdit

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

Soit a un rel > 0.

Quelques sommes remarquables

Dmontrer par rcurrence que :

k(k!) = 1(1!) + 2(2!) + 3(3!) + + n(n!) = (n + 1)! 1

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

Soit la proprit pr (n) : 5n + 1 est un multiple non nul de 4

Le nombre de diagonales dun polygne convexe

Soit la proprit pr (n) : " Dn =

(a) Dk est le nombre de diagonales de Q

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

Suite de Fibonacci alias Lonard de Pise

Soit une suite (un ) dfinie par :

(d) Comme est solution de x2 x 1 = 0 alors 2 = + 1.

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

Puissance dune matrice

Par consquent pr (0) est vraie.

CHAPITRE 2. LE RAISONNEMENT PAR RCURRENCE

1. Dterminer les 8 premiers termes de cette suite.