Chapitre

Divisibilit dans !

1. Page douverture

t
1SPCMNF


4PJU
n le nombre choisi par Coraline. n scrit ab en criture dcimale, o a et b sont des nombres entiers naturels compris entre 0 et 9.
4J
a ! b :
( a ! b ) ! ab ! a - b " 35, donc a(2 ! b ) " 35.
a et 2 " b sont diviseurs de 35.
Les diviseurs positifs de 35 sont 1, 5, 7 et 35.
t
a ! 1 et b ! 33 : impossible.
t
a ! 5 et b ! 5 : convient.
t
a ! 7 et b ! 3 : convient.
t
a ! 35 et b ! -1 : impossible.
4J
a " b :
( a ! b ) ! ab ! b - a " 35, donc b(2 ! a ) " 35.
Par symtrie, a ! 3 et b ! 7 convient aussi.
Conclusion : n ! 55 ou n ! 37 ou n ! 73.

B

En crivant la division euclidienne de 45 par le nombre
entier naturel y, 45 ! y q " r avec 0 ! r " y.
La condition quotient gal au reste se traduit par :
45 ! y x " x et 0 ! x " y,
donc 45 ! ( y " 1) x et 0 ! x " y.
C

Les diviseurs positifs de 45 sont 1, 3, 5, 9, 15 et 45.
On envisage tous les cas.
t
4J
x ! 1, alors y ! 1 " 45, soit x ! 1 et y ! 44.
Dans la division euclidienne de 45 par 44, le quotient est
gal au reste et vaut 1.
t
4J
x ! 3, alors y ! 1 " 15, soit x ! 3 et y ! 14.
Dans la division euclidienne de 45 par 14, le quotient est
gal au reste et vaut 3.
t
4J
x ! 5, alors y ! 1 " 9, soit x ! 5 et y ! 8.
Dans la division euclidienne de 45 par 8, le quotient est
gal au reste et vaut 5.

t
OJHNF

t
1SPCMNF


t
OJHNF

Lide est la suivante : le joueur est certain de gagner

quand au dernier tour, le joueur adverse a une somme
de 16. En effet, si le joueur adverse ajoute 1, il ajoutera 3,
sil ajoute 2, il ajoutera 2 aussi et sil ajoute 1, il ajoutera 3.
En utilisant cette ide et en remarquant que 20 ! 4 5
(division euclidienne de 20 par 4), le joueur qui veut
gagner peut adopter la stratgie suivante :
il laisse son adversaire commencer et chaque tour, il ajoute
le nombre ncessaire lobtention dun multiple de 4.

2. Rsoudre des problmes

Nathan. Hyperbole Term S Spcialit

t
1SPCMNF

1 a) 125 125 (91 1 375) et 258 258 (91 2 838) sont
divisibles par 91.
Conjecture : les nombres de la forme abcabc sont divisibles par 91.
b) abcabc ! a 105 " b 10 4 " c 103 " a 102
" b 101 " c
! a 100 100 " b 10 010 " c 1 001
1 001, 10 010 et 100 100 sont des multiples de 91, donc
91 divise abcabc .
D
1, 7, 13, 91, 1 001, abcabc sont des diviseurs de abcabc.
En tendant aux nombres ngatifs la notion de diviseurs,
on a au moins 8 diviseurs.
 Par exemple : choisis un nombre de deux chiffres et
cris-le deux fois cte cte pour former un nombre de
six chiffres. Ton nombre est divisible par 259.

a
1 Par dfinition de E .
b
a
a
a
On a E ! " E ! 1, donc en multipliant par b
b
b
b
qui est non nul et positif, on a :
a
a
bE ! a " bE ! b
b
b
a
Donc :
0 ! a - b E " b
b
Donc, en utilisant lunicit du quotient et du reste dans
la division euclidienne par b :
a
a
q ! E et r ! a - b E
b
b
 1PVS
DBTJP

1PVS
5* :

C


a
3 437

b
323

q
11

r
116

137 589
9 999 999 999 999

257
222 222 222 222

536
45

163
9

t
1SPCMNF

B

4J
q est un nombre entier suprieur ou gal 3.
Quel que soit le nombre entier naturel n :
q ( n ! 3) ! 3( n ! 3) " 3n ! 2
Or si q est le quotient de la division euclidienne de 3n " 2
par n " 3, alors q ( n ! 3) # 3n ! 2.
Donc q est un nombre infrieur ou gal 2.
C

4J
n $ 4, 3n " 2 ! 2( n ! 3) ! n - 4 avec :
0 ! n - 4 " n ! 3,
donc le quotient est 2 et le reste est n - 4.
D


n
0
1
2
3
2
5
8
11
n
"

3
4
5
6
n
"

0
1
1
1
RVPUJFOU
SFTUF
3
1
3
1

t
1SPCMNF

1 B

x reprsente le nombre de tas de 17 jetons et y le
nombre de tas de 5 jetons.
C

La mthode permet de rsoudre le problme en cherchant les couples ( x ; y ) solutions de 17 x ! 9 " 5 y ! 3.
On cherche le(s) nombre(s) compris entre 300 et 400
figurant dans les deux colonnes.
 B

La formule entre en B2 est MOD(A2 ; 17) . Elle
renvoie le reste de la division euclidienne de A2 par 17.
C

La mthode permet aussi de rsoudre le problme
en cherchant le(s) nombre(s) compris entre 300 et 400
qui a(ont) un reste gal 0 dans la division euclidienne
par 17 et par 5.

 On demande aux lves de conjecturer rapidement et on

leur demande dexprimer oralement leur technique rapide,
puis de lexprimer par crit.
Conjecture :
Pour trouver le reste, il suffit de connatre le dernier chiffre et
donc pour cela, on peut remplacer a, b et c par leur dernier
chiffre dans les calculs.
Puis on fait le calcul et on passe au cas gnral dans le cours.
a - b ! c " 10( q - q ! q ) ! 8 " 10( q ! q ! q ) ! 8
avec 0 ! 8 " 10, le reste est 8.
a ! b - c " 10( q ! q - q ) ! 6 " 10( q ! q ! q ) ! 6
avec 0 ! 6 " 10, le reste est 6.
abc ! (10q " 7)(10q " 3)(10q " 4 ) ! 10K " 7 3 4
! 10K " 21 4 ! 10K " 4 ,
le reste est 4.
ab ! bc ! ac " 10K ! 7 3 ! 3 4 ! 7 4
" 10K ! 1 ! 2 ! 8 " 10K ! 1,
le reste est 1.
a2 ! b2 ! c 2 " 10K ! 72 ! 32 ! 42 " 10K ! 9 ! 9 ! 6
" 10K ! 4 ,
le reste est 4.

t
1SPCMNF

1 r est le reste de la division euclidienne de A par 97, donc
0 ! r " 97, soit - 97 ! - r " 0. Ainsi, 0 ! K " 97.
 a) 100 ! 97 " 3 donc 102 # 3[97]
C

102 # 3[97] donc 106 # 33 [97] soit 106 # 27[97].
Ainsi 106 B ! 27B[97] et A ! 27B " C[97]. Or A # r[97],
par transitivit, 27B ! C " r[97].
d) 1 880 263 113 095 ! 106 1 880 263 " 113 095
donc B ! 1 880 263 et C ! 113 095.
27B ! C " 50 880 196 et 27B ! C " 10[97] donc K ! 87.
"QQSPGPOEJTTFNFOUT
QPTTJCMFT
On peut utiliser un programme qui calcule la cl :
Casio

t
1SPCMNF

a ! 10q " 7
b ! 10q " 3
c ! 10q " 4
1 a ! b ! c " 10( q ! q ! q ) ! 14
" 10( q ! q ! q ! 1) ! 4
avec 0 ! 4 " 10.
Donc le reste est 4 dans la division euclidienne 10.
Le raisonnement qui sappuie sur la connaissance du
systme dcimal de numration : pour connatre le
dernier chiffre du rsultat du calcul, il suffit dexcuter
le calcul sur les derniers chiffres des critures dcimales.
4

TI

Dtection des erreurs :

avec B ! 2 880 263 et C ! 113 095
cl 37
B ! 8 280 263 et C ! 113 095.

Nathan. Hyperbole Term S Spcialit

Hypothses :

Si ! 3 " 0 " 0 " x " 1 " 1 ! 5 " x

S p ! 8 " 0 " 6 " 7 " 1 " 3 ! 25
Si ! 3S p ! K " 5 ! x ! 3 25 ! 5
donc Si ! 3S p ! K " 3 ! x [10]
Or Si ! 3S p ! K " 0 [10]
B ! 2 830 263 et C ! 118 095

Donc 0 ! 3 " x [10]

Or 0 ! x " 10 donc 3 ! 3 " x " 13 donc 3 ! x " 10
donc x ! 7.
d) Pour le code de larticle 3, remplaons C8 par x :
Si ! 4 " 7 " 1 " 3 " 0 " 0 ! 15
S p ! 5 " 1 " 9 " x " 0 " 0 ! 15 " x
Si ! 3S p ! K " 15 ! 3(15 ! x ) ! 2

Erreur non dtecte par la cl.

En remplaant A par A " 97
B ! 2 880 263 et C ! 113 095 devient
B ! 2 880 263 et C ! 113 192

Lerreur nest pas dtecte.

t
1SPCMNF


donc Si ! 3S p ! K " 60 ! 3 x ! 2 [10]

donc Si ! 3S p ! K " 3 x ! 2 [10]
Or Si ! 3S p ! K " 0 [10]. Donc 0 ! 3 x " 2 [10]
Or 0 ! x " 10, on peut tester toutes les valeurs de x.
Pour x ! 6, on obtient 0 ! 3 x " 2 [10]
Cest la seule valeur de x qui convient. Donc x ! 6.
e) Pour le code de larticle 4, remplaons C7 par x et C8
par y :
Si ! 3 " 9 " 7 " x " 1 " 0 ! 20 " x
S p ! 5 " 6 " 1 " y " 6 " 7 ! 25 " y
Si ! 3S p ! K " 20 ! x ! 3 (25 ! y ) ! 9 " 104 ! x ! 3 y
donc Si ! 3S p ! K " 4 ! x ! 3 y [10]

Or Si ! 3S p ! K " 0 [10]

1 Pour le code EAN-13 du livre :

Si ! 9 " 8 " 0 " 1 " 2 " 7 ! 27
S p ! 7 " 2 " 9 " 7 " 4 " 7 ! 36

Donc 0 ! 4 " x " 3 y [10]

Or 0 ! x " 10 et 0 ! y " 10, on peut tester toutes les
valeurs de x et de y.
x

Si ! 3S p ! K " 27 ! 3 36 ! 5
donc Si ! 3S p ! K " 7 ! 3 6 ! 5 [10]
Si ! 3S p ! K " 7 ! 8 ! 5 [10]

Nathan. Hyperbole Term S Spcialit

Si ! 3S p ! K " 0 [10]
 B

http://fr.wikipedia.org/wiki/Code-barres_EAN
Article 1 : sige social au Royaume-Uni ; le code dbute
par 501.
Article 2 : sige social en Bulgarie ; le code dbute par
380.
Article 3 : sige social au Japon ; le code dbute par 457.
Article 4 : sige social en France ; le code dbute par 359.
b) Pour le code de larticle 1
Si ! 5 " 1 " 0 " 9 " 2 " 5 ! 22
Sp ! 0 " 0 " 2 " 0 " 0 " 1 ! 3
Si ! 3S p ! K " 22 ! 3 3 ! 9
donc Si ! 3S p ! K " 2 ! 9 ! 9 [10]
Si ! 3S p ! K " 20 [10]
Si ! 3S p ! K " 0 [10]
D
Pour le code de larticle 2, remplaons C7 par x :

0
1






8
9

0
4
1
1
4
0
9
1
6
4
5

1
7
4
1
7
1
2
9
1
7
6


7
3
0
5
2
2
3
0
5
7


8
1
5
4
4
4
7
1
0
5


2
9
8
4
0
6
1
8
2
1


5
6
4
0
4
6
3
1
1
8


5
7
3
7
3
5
8
5
2
0


6
1
4
9
2
1
9
8
8
2

8
0
7
3
4
4
1
2
0
8
8

9
3
8
1
7
3
0
0
4
2
0

On ne peut donc pas connatre les deux chiffres.

 a)
3BOH
$IJGGSF
1POESBUJPO
1SPEVJU

C1
2
10
20

C2
0
9
0

C3
9
8
72

C4
1
7
7

C5
7
6
42

C6
2
5
10

C7
4
4
16

C8
7
3
21

C9 C10
7
7
2
14 202
reste
de
0
4
" C

C

Tableau
Codes EAN-13
9-782100-037810
9-785
9-782950-696007

$PEF
*4#/
2-10-003781-1
2
2-95-069600-7

D
Code EAN du livre 1 trouv grce au tableur essai/ erreur l
code EAN
3BOH
$IJGGSF
1POESBUJPO
QBJSF
1POESBUJPO
JNQBJSF

C1
9
0
1

C2
7
1
0

C3
8
0
1

C4
2
1
0

C5
1
0
1

C6
0
1
0

C7
0
0
1

C8
0
1
0

C9
3
0
1

C10 C11 C12

7
8
1
1
0
1
0
1
0

cl
0
17
29
4@*
"
4@1
" K 0

$PEF
*4#/
EV
MJWSF

USPVW
HSDF
BV
UBCMFVS
QBS
FTTBJ
FSSFVS
M
DPEF
*4#/
SBOHT
DIJGGSFT
QPOESBUJPOT
QSPEVJUT

227804677
C1 C2
2
2
10 9
20 18

C3
7
8
56

C4
8
7
56

C5
0
6
0

C6
4
5
20

C7
6
4
24

C8
7
3
21

C7
0
0
1

C8
6
1
0

C9
C10
7
2
2
14
229
SFTUF
EF
4
" C 0

$PEF
*4#/
EV
MJWSF

USPVW
HSDF
BV
UBCMFVS
FTTBJ
FSSFVS
M
C2
7
1
0

C3
8
0
1

C4
2
1
0

C5
9
0
1

t
1SPCMNF

1 a) 102 # 3 [97] donc 108 # 34 [97] cest--dire
108 # 81 [97].
1013 ! (102 )6 10.
(102 )6 # 36 [97] et 36 ! 729 et 729 # 50 [97].
1013 # 500 [97] soit 1013 # 15 [97].
1018 ! 1013 105
105 # 90 [97] donc 1018 ! 90 15 [97].
Ainsi, 1018 # 89 [97].
b) Daprs a), on dduit :
B 1018 ! 89B [97], G 1013 ! 15G [97],
C1 108 ! 81C1 [97], C2 102 # 3C2 [97].
Comme N # 0 [97], on a :
B 1018 ! G 1013 ! C1 108 ! C2 102 ! K " 0 [97].
 a) 97 - ( 89 11 907 ! 15 840 ! 81 40 319
! 3 431 090) " - 5 631 335
et -5 631 335 ! 0 [97] donc K ! 97.

C6
5
1
0

C9
9
0
1

C10
6
1
0

C11
0
0
1

C12
0
1
0

cl
7
26
35
4@*
"
4@1
" K 0

b)

Nathan. Hyperbole Term S Spcialit

code EAN
SBOHT
C1
DIJGGSFT
9
QPOESBUJPOT
QBJSFT
0
QPOESBUJPOT
JNQBJSFT 1

t
1SPCMNF


t
1SPCMNF


1 a) 4 12 ! 48 et 4 18 ! 72 , donc elle a 48 timbres

franais et 72 timbres trangers.
b) Elle peut raliser 2 pochettes contenant chacune
24 timbres franais et 36 timbres trangers.
 a) Le nombre de pochettes est un diviseur de 48 et
72, donc P est choisir parmi 1, 2, 3, 4, 6, 8, 12 ou 24.
Or P est le plus grand, donc P ! 24.
48
72
! 2 et
! 3, donc dans chaque pochette, il y a
24
24
2 timbres franais et 3 timbres trangers.
b) On peut raliser d ! 1, 2, 3, 4, 6, 8, 12 ou 24 pochettes.
4J
d ! 1, il y a 48 timbres franais et 72 timbres trangers.
4J
d ! 2, il y a 24 timbres franais et 36 timbres trangers.
4J
d ! 3, il y a 16 timbres franais et 24 timbres trangers.
4J
P ! 6, il y a 8 timbres franais et 12 timbres trangers.
4J
d ! 8, il y a 6 timbres franais et 9 timbres trangers.
4J
d ! 12, il y a 4 timbres franais et 6 timbres trangers.
On peut dire que le nombre de pochettes d divise P.

1 a)

t
1SPCMNF


Nathan. Hyperbole Term S Spcialit

1 a) d est un diviseur commun de a et b, donc d divise

toute combinaison linaire de a et b, donc d divise
a - q b.
r est le reste dans la division euclidienne de a par b, donc
a ! bq " r avec 0 ! r " b . Ainsi r ! a - bq et par suite,
on dduit que d divise r.
d est donc bien un diviseur commun de a et b.
b)
4J
d divise b et r, alors d divise toute combinaison
linaire de b et r, donc d divise a et par suite, d est un
diviseur commun de a et b.
D
a et b dune part, b et r dautre part, ont les mmes
diviseurs communs. Par consquent, le mme plus grand
diviseur commun donc PGCD( a ; b ) ! PGCD(b ; r ) .
 a) Lalgorithme permet de calculer PGCD( a ; b ). Il
utilise la proprit nonce dans 
D
en faisant des divisions euclidiennes successives jusqu ce que r ! 0. Le
dernier reste non nul est alors le PGCD des deux nombres.
b)
UBQF
1
2
3
4
5
6
7

a
262 080
34 398
21 294
13 104
8 190
4 914
3 276

b
34 398
21 294
13 104
8 190
4 914
3 276
1 638

3FTUF
21 294
13 104
8 190
4 914
3 276
1 638
0

PGCD(262 080 ; 34 398) ! 1 638

 a) On retrouve PGCD(262 080 ; 34 398) ! 1 638 .
b) PGCD(37 352 ; 5 768) ! 56 et
PGCD(15 678 953 ; 589 357) ! 1.

0
8
16
24
32
40
48
56

1
9
17
25
33
41
49
57

2
10
18
26
34
42
50
58

3
11
19
27
35
43
51
59

4
12
20
28
36
44
52
60

5
13
21
29
37
45
53
61

6
14
22
30
38
46
54
62

7
15
23
31
39
47
55
63

n
0
1
2
3
4
5
6

un ! 2n " 3
3
5
7
9
11
13
15

1
9
17
25
33
41
49
57

2
10
18
26
34
42
50
58

3
11
19
27
35
43
51
59

4
12
20
28
36
44
52
60

5
13
21
29
37
45
53
61

6
14
22
30
38
46
54
62

7
15
23
31
39
47
55
63

n
0
1
2
3
4
5
6

un ! 2n " 3
3
5
7
9
11
13
15

1
9
17
25
33
41
49
57

2
10
18
26
34
42
50
58

3
11
19
27
35
43
51
59

4
12
20
28
36
44
52
60

5
13
21
29
37
45
53
61

6
14
22
30
38
46
54
62

7
15
23
31
39
47
55
63

n
0
1
2
3
4
5
6

un ! 2n " 3
3
5
7
9
11
13
15

C


0
8
16
24
32
40
48
56
D

0
8
16
24
32
40
48
56

 a)
4PO
PCKFDUJG
OFTU
QBT
BUUFJOU
BWFD
MB
TVJUF
QSDdente car aucun terme ne prend de valeur paire.

b)
2

n Vn ! n(n " 1) (n " 3)

9 10 11 12 13 14 15 0

16 17 18 19 20 21 22 23 1

24 25 26 27 28 29 30 31 2

30

32 33 34 35 36 37 38 39 3

72

40 41 42 43 44 45 46 47 4

140

48 49 50 51 52 53 54 55 5

240

56 57 58 59 60 61 62 63 6

378

4PO
PCKFDUJG
OFTU
QBT
BUUFJOU
-FT
UFSNFT
EF
MB
TVJUF
OF

peuvent pas prendre de valeur impaire.
En effet, soit n est pair donc un pair, soit n impair donc
( n " 1) pair et par suite, un pair.
D
Les nombres situs sur la premire colonne sont les
nombres congrus 0 modulo 8, ceux de la deuxime 1
7

3. Pour sexercer

t
4J
n divise n " 12, comme n divise n, alors n divise
la diffrence (n " 12) n, cest--dire n divise 12.
t
3DJQSPRVFNFOU
TJ
n divise 12, comme n divise n, alors
n divise la somme n " 12.
Conclusion : n divise n " 12 si, et seulement si, n divise 12.
n est donc lun des nombres de lensemble :
{12 ; 6 ; 4 ; 3 ; 2 ; 1 ; 1 ; 2 ; 3 ; 4 ; 6 ; 12}.

4J
n " 7 divise 2n " 16, alors 5n " 7 divise :

2(5n ! 7) - 5(2n ! 16) " - 66
donc 5n " 7 divise 66
donc 5n " 7 appartient {1 ; 2 ; 3 ; 6 ; 11 ; 22 ; 33 ; 66}
donc 5n " 7 ! 11 ou 5n " 7 ! 22 ou 5n " 7 ! 22 ; ou
5n " 7 ! 33 ou 5n " 7 ! 66 car 5n " 7 $ 7.
4FVM
MF
DBT
n " 7 ! 22 conduit n ! 3.
Aprs vrification : 3 est le seul nombre entier naturel
vrifier la proprit cherche.



(x 1)2 et y sont des diviseurs associs de 18.

Les diviseurs de 18 dans ! sont :
18 ; 9 ; 6 ; 3 ; 2 ; 1 ; 1 ; 2 ; 3 ; 6 ; 9 ; 18.

"( x - 1)2 ! 1
"( x - 1)2 ! 9
On a
ou
y ! 18
y ! 2
Conclusion : (x ; y) est lun des couples (0 ; 18), (2 ; 18),
(4 ; 2), (2 ; 2).

a) 15 a pour diviseurs :
- 15, - 5, - 3, - 1, 1, 3, 5 et 15.
2n - 3 $ - 3 et 4 n - 13 $ - 13.
Par disjonction de cas :
t
2n - 3 ! - 3 si, et seulement si, n ! 0 et si n ! 0,
4 n - 13 ! 0 : impossible.
t
2n - 3 ! - 1 si, et seulement si, n ! 1 et si n ! 1,
4 n - 13 ! - 9 : impossible.
t
2n - 3 ! 1 si, et seulement si, n ! 2 et si n ! 2,
4 n - 13 ! - 5, m ! - 3 " : impossible.
t
2n - 3 ! 3 si, et seulement si, n ! 3 et si n ! 3,
4 n - 13 ! - 1, m ! - 5 " : impossible.
t
2n - 3 ! 5 si, et seulement si, n ! 4 et si n ! 4 ,
4 n - 13 ! 3, m ! 1 : convient.
t
2n - 3 ! 15 si, et seulement si, n ! 9 et si n ! 9,
4 n - 13 ! 23 : impossible.
4FVM
( n ; m) ! ( 4 ; 1) convient.
b) 45 ! 15 3 donc ( n ; m) ! ( 4 ; 3) est solution.

B

2 006 ! 182 11 " 4 avec 0 ! 4 " 11, donc le
quotient est 182 et le reste est 4.

C

1 321 ! 146 9 " 7 avec 0 7 ! 9, donc le quotient
est 146 et le reste est 7.
D

- 1 321 ! - 147 9 " 2 avec 0 ! 2 " 9, donc le quotient est - 147 et le reste est 2.
E

- 423 ! - 39 11 " 6 avec 0 ! 6 " 11, donc le quotient est - 39 et le reste est 6.

1. 197 719 ! 341 578 " 621.

B

197 719 ! 341 578 " 621
! 341 578 " 341 " 280 ! 341 579 " 280
et 0 ! 280 " 341.
Quotient : 579 et reste : 280.
b) 197 719 ! 341 578 " 621 ! 578 342 " 43 et
0 ! 43 " 578.
Quotient : 342 et reste : 43.
D
- 197 719 ! 578 ( - 341) - 621 ! - 343 578 " 535
et 0 ! 535 " 578 .
Quotient : 341 et reste : 535.
d) - 197 719 ! 578 ( - 341) - 621 ! 341 ( - 580) " 61
et 0 ! 61 " 341.
Quotient : 580 et reste : 61.

B

a ! q 144 " 67, donc a ! 2q 72 " 67 avec
2q ! et 0 ! 67 " 72 .
Donc le reste est 67.
C

a ! 4 q 36 " 67, donc a ! 4 q 36 " 36 " 31, donc
a ! ( 4 q " 1) 36 " 31 avec 0 ! 31 " 36.
Donc le reste est 31.
D

a ! 2( 4 q " 1) 18 " 31, donc :
a ! 2( 4 q " 1) 18 " 18 " 13.
Donc a ! (2( 4 q " 1) " 1) 18 " 13 avec 0 ! 13 " 18.
Donc le reste est 13.

n ! 7q " q avec 0 ! q " 7 si, et seulement si,
n ! 8q avec 0 ! q " 7. Ce sont les nombres entiers naturels multiples de 8 et infrieurs 50.


On conjecture que pour n ! 0 ou n ! 1, le reste vaut n.

Pour n $ 2, on conjecture que le reste vaut 2n 4.
Pour tout nombre entier naturel n :
4n 3 ! 1 (2n " 1) " 2n 4

Nathan. Hyperbole Term S Spcialit

le problme revient rsoudre w n # 0 [ 8], w n # 1 [ 8], ,

w n # 7 [ 8].
Lobjectif est atteint.

2n 4 est le reste si, et seulement si :

0 % 2n 4 < 2n " 1
2n 4 est le reste si, et seulement si, 2 % n.
Pour le cas n ! 0 et n ! 1, on peut utiliser le tableau.


t
4J
n ! 3k " 2 :
n( n ! 2)( n ! 4 ) " (3k ! 2)(3k ! 4 )(3k ! 6)
" 3(3k ! 2)(3k ! 4 )( k ! 2)
est un multiple de 3.
Conclusion : quelque soit le nombre entier naturel n,
n( n " 2)( n " 4 ) est un multiple de 3.

Nathan. Hyperbole Term S Spcialit


B

113 ! 12 9 " 5. Laiguille a fait 9 tours et lhorloge indique 7 heures.
C

156 ! 12 13 ! 0. Laiguille a fait 13 tours et lhorloge
indique 6 heures.

B

1SFNJSF
DPOKFDUVSF
Il semblerait que le reste de la division de a par b est 6
quel que soit n suprieur ou gal 5.
Par ailleurs, a est divisible par 6 pour les valeurs de n :
4, 0 et 1.
%FVYJNF
DPOKFDUVSF
Il semblerait que le reste de la division de a par c soit
n " 7 quel que soit n suprieur ou gal 3.
C

( n ! 2)(2n ! 8) " 2n2 ! 12n ! 16 quelle que soit la
valeur de n, donc b divise 2n2 " 12n " 16 quelle que
soit la valeur de n.
On procde en deux temps.
4VQQPTPOT
RVF b divise 2n2 " 12n " 22, comme b divise
2n2 " 12n " 16, b divise la diffrence :
(2n2 ! 12n ! 22) - (2n2 ! 12n ! 16).
Donc b divise 6.
Rciproquement, si b divise 6, comme b divise
2n2 " 12n " 16, il divise la somme 2n2 " 12n " 22.
Donc b divise a si, et seulement si, b divise 6.
De la mme faon, on dmontre que le reste de la division
de a par b est le mme que le reste de la division de 6 par b.
Or b ! n " 2.
Donc si n est suprieur ou gal 5, 6 ! 0 ( n " 2) " 6
et 0 ! 6 " n " 2, ce qui dmontre la premire conjecture.
D

On dmontre que :
c divise a si, et seulement si, c divise n " 7.
Or n ! 7 " 1 (2n ! 5) ! 2 - n
Pour n ! 0, 1 et 2, le reste est 2 - n car
0 ! n - 2 " 2n ! 5.
Pour n $ 3, n ! 7 " 0 (2n ! 5) ! n ! 7 et
0 ! n " 7 " 2n " 5 donc le reste vaut n " 7.


t
4J
n ! 3k :
n( n ! 2)( n ! 4 ) " 3k (3k ! 2)(3k ! 4 ) est multiple de 3.
t
4J
n ! 3k " 1 :
n( n ! 2)( n ! 4 ) " (3k ! 1)(3k ! 3)(3k ! 5)
" 3(3k ! 1)( k ! 1)(3k ! 5)
est un multiple de 3.


a) 27 5[n] si, et seulement si :

27 5 ! 22 est un multiple de n,
cest--dire n ! 2 ou n ! 11 ou n ! 22.
b) 1 000 1 [n] si, et seulement si, 999 est un multiple
de n, cest--dire :
n {3 ; 9 ; 27 ; 37 ; 111 ; 333 ; 999}.
D
121 0 [n] si, et seulement si, 121 est un multiple de
n, cest--dire n {11 ; 121}.

a) La division euclidienne de 30 757 par 10
donne 30 757 ! 3 075 10 " 7 donc 30 757 # 7 [10] et
par transitivit a # 7 [10].
b) 15 163 ! 1 684 9 " 7 donc b # 7 [9].

Raisonnement exhaustif :
4J
n # 0( 6), alors n( n ! 1)(2n ! 1) " 0( 6).
4J
n # 1( 6), alors n( n ! 1)(2n ! 1) " 1 2 3( 6) , donc
n( n ! 1)(2n ! 1) " 0( 6).
4J
n # 2( 6), alors n( n ! 1)(2n ! 1) " 2 3 5( 6) , donc
n( n ! 1)(2n ! 1) " 0( 6).
4J
n # 3( 6), alors n( n ! 1)(2n ! 1) " 3 4 7( 6) , donc
n( n ! 1)(2n ! 1) " 0( 6).
4J
n # 4( 6), alors n( n ! 1)(2n ! 1) " 4 5 9( 6) , donc
n( n ! 1)(2n ! 1) " 0( 6).
4J
n # 5( 6), alors n( n ! 1)(2n ! 1) " 5 6 11( 6) , donc
n( n ! 1)(2n ! 1) " 0( 6).

n nest pas divisible par 3 donc n # 1 [9] ou n # 2 [9]
ou n # 4 [9] ou n # 5 [9] ou n # 7 [9] ou n # 8 [9].
4J
n # 2 [9], alors n6 # 26 [9] et 26 # 1 [9] donc
n6 - 1 ! 0 [9].
On procde de mme pour les autres congruences.
n6 - 1 ! 0 [9] donc 9 divise n6 - 1.

121527 21527 [5]
On observe les puissances successives de 2 modulo 5 :
24 1 [5].
On divise lexposant 1527 par 4 :
1527 ! 381 4 " 3
21527 1 23 [5]
21527 3 [5]

qui contredit la dfinition du PGCD. Donc k peut prendre

les valeurs 1, 5, 7 et 11.
Donc a peut tre lun des nombres suivants : 28 1, 28 5,
28 7 et 28 11. Aprs vrification, ce sont les solutions
cherches.


Pour dterminer si un nombre N est divisible par 11 :

t
PO
DBMDVMF
MB
TPNNF
"
EFT
DIJGGSFT
FO
QPTJUJPO
JNQBJSF

t
PO
DBMDVMF
MB
TPNNF
#
EFT
DIJGGSFT
FO
QPTJUJPO
QBJSF

N est divisible par 11 si, et seulement si, la diffrence
A B (ou B A) est divisible par 11.
N ! 10n an " 10n -1 an -1 " 10 a1 " a0
N ! 10n an " 10n -1 an -1 " 10 a1 " a0 [11]
N ! ( - 1)n an " ( - 1)n -1 an -1 " ( - 1) a1 " a0 [11]
4J
k est paire, ( - 1)k ! 1.
Do la rgle nonce.




4PJU
d le nombre de bouquets raliss. d est un

diviseur commun de 1 788 et 1 464.
d est un diviseur de leur PGCD, soit un diviseur de 12.
Il peut donc raliser :
t

CPVRVFUT
BWFD

SPTFT
CMBODIFT ;
t

CPVRVFUT
BWFD

SPTFT
SPVHFT
"QQSPGPOEJTTFNFOU : on peut chercher augmenter
le nombre de bouquets tout en minimisant le nombre
total de roses perdues.
On peut utiliser le fichier Excel sur le site compagnon.

B

d ! PGCD(1 386 ; 1 180)
! PGCD(1 180 ; 206) ! PGCD(206 ; 150)
! PGCD(150 ; 56) ! PGCD(56 ; 38)
! PGCD(38 ; 18) ! PGCD(18 ; 2)
! PGCD(2 ; 0) ! 2
b) d ! PGCD( 6 292 ; 5 852)
! PGCD(6 292 ; 5 852) ! PGCD(5 852 ; 440)
! PGCD(440 ; 132) ! PGCD(132 ; 44)
! PGCD(44 ; 0) ! 44

a) a ! n(n " 3) et b ! (n " 3)(n " 2)
b) PGCD(a ; b) ! (n " 3) PGCD(n ; n " 2)
4J
n pair, PGCD(n ; n " 2) ! 2
donc PGCD(a ; b) ! 2(n " 3).
4J
n impair, PGCD(n ; n " 2) ! 1
donc PGCD(a ; b) ! n " 3.

a $ 336
PGCD(336 ; a ) ! 28
t
0O
TBJU
RVF

FTU
VO
EJWJTFVS
EF
a, donc a ! 28 k ,
avec k nombre entier naturel.
336
t
a $ 336 donc k $
donc k <12.
28
t
1BS
BJMMFVST
k
OF
QFVU
BWPJS
QBSNJ
TFT
EJWJTFVST
VO

EJWJTFVS d de 12, autre que 1, sinon 28 d serait un diviseur de 28 k et de 28 12 qui serait suprieur 28, ce


10

n
"
n
"


n
"
 PGCD(n
"
n
"


n
"


14

21

30

41

54

69

86

105

126

10

10

149

11

11

174

12

12

201

13

13

230

14

14

261

15

15

294

16

16

329

17

17

366

18

18

405

19

19

446

20

20

489

21

21

534

22

22

581

23

23

630

24

Il semble que PGCD( n2 ! 4 n ! 9 ; n ! 1) " 6 pour

n # 5 [ 6].
PGCD( n2 " 4 n " 9 ; n " 1)
! PGCD( n2 " 4 n " 9 - n( n " 1) ; n " 1)
! PGCD(3n " 9 ; n " 1)
PGCD(3n ! 9 ; n ! 1) " PGCD(3n ! 9 - 3( n ! 1) ; n ! 1)
PGCD(3n ! 9 ; n ! 1) " PGCD( 6 ; n ! 1)
Donc PGCD( n2 ! 4 n ! 9 ; n ! 1) " 6
si, et seulement si :
PGCD( 6 ; n ! 1) " 6
si, et seulement si :
6 divise n " 1
si, et seulement si :
n ! 1 " 0 [ 6]
si, et seulement si :
n # 5 [ 6]

Nathan. Hyperbole Term S Spcialit


3 ! - 2 [5] et 4 ! - 1 [5] donc :

12013 ! 22013 ! 32013 ! 42013
" 1 ! 22013 ! ( - 2)2013 ! ( - 1)2013 [5],
2013
soit 1
! 22013 ! 32013 ! 42013 " 0 [5].
Le nombre est donc divisible par 5.


Le nombre de panneaux est un diviseur du nombre

total de paysages et du nombre total de portraits, donc un
diviseur de leur PGCD. Or PGCD(224 ; 288) ! 32.
Ainsi, on peut envisager : 1 panneau avec 224 paysages
et 288 portraits ;
2 panneaux avec 112 paysages et 144 portraits ;
4 panneaux avec 56 paysages et 72 portraits ;
8 panneaux avec 28 paysages et 36 portraits ;
16 panneaux avec 14 paysages et 18 portraits ;
32 panneaux avec 7 paysages et 9 portraits.

n
0
1
2
3
4

5
6
7
8


Conjecture : ventuellement laide dun tableur,

le PGCD vaut n.

1
2

1
1
1

2
2
2

3
3
3

n
4
4
4

3
4
5
6
7
8
9
10
11
12
13
14

1
1
1
1
1
1
1
1
1
1
1
1

2
2
2
2
2
2
2
2
2
2
2
2

3
3
3
3
3
3
3
3
3
3
3
3

4
4
4
4
4
4
4
4
4
4
4
4

10
11

5
5
5

6
6
6

7
7
7

8
8
8

5
5
5
5
5
5
5
5
5
5
5
5

6
6
6
6
6
6
6
6
6
6
6
6

7
7
7
7
7
7
7
7
7
7
7
7

8
8
8
8
8
8
8
8
8
8
8
8

%NPOTUSBUJPO : comme n et m sont non nuls, les hypothses de la proprit sont vrifies et :
PGCD( mn ; (2m ! 1)n) " n PGCD( m ; 2m ! 1)
" n PGCD( m ; 1) " n

4J
1($% n ; 360) ! 180, alors 180 est un diviseur de
n, donc il existe k N* tel que n ! 180k.
PGCD(180k ; 360) ! 180 PGCD(k ; 2) ! 180 autrement dit
PGCD(k ; 2) ! 1.
Donc si PGCD(n ; 360) ! 180, alors n est de la forme
180k avec k impair.
On vrifie que la rciproque est vraie.
Nathan. Hyperbole Term S Spcialit


a) On conjecture que quelque soit le nombre entier

naturel n :
PGCD(21n " 4 ; 16n " 3) ! 1

n
"
 n "


4
3
25
19
46
35
67
51
88
67
109
83
130
99
151
115
172
131
193
147
214
163
235
179

PGCD
1
1
1
1
1
1
1
1
1
1
1
1

b) Pour tout nombre entier naturel n :

16(21n " 4) 21(16n " 3) ! 1
On note d ! PGCD(a ; b).
d divise (21n " 4) et d divise (16n " 3), donc d divise toute
combinaison linaire de a et b, en particulier 16a 21b,
cest--dire 1.
Donc d ! 1.

n "* .
PGCD( n ! 1 ; n) " PGCD( n ; n ! 1 - n) " PGCD( n ; 1) " 1
donc La a raison.

a)
4J
d divise a et b, alors d divise a - 5b ! 13, donc
d divise b et 13.
4J
d divise b et 13, alors d divise 5b ! 13 " a , donc d divise
a et b.
a et b dune part, b et 13 dautre part ont les mmes diviseurs communs, donc mme PGCD.
b) PGCD(b ; 13) ! 13si, et seulement si, b est un multiple
de 13.
4FVM
b ! 13 donc n ! 15 et a ! 78 convient sinon
ab ! 2 000.

a) PGCD( a ; b ) ! 11 si, et seulement si, il existe a
et b deux nombres entiers premiers entre eux tels que
a ! 11a et b ! 11b .
"ab ! 1 452
b)
si, et seulement si :
PGCD( a ; b ) ! 11

"11a 11b ! 1452

"a b ! 12
PGCD( a ; b ) ! 1 soit PGCD( a ; b ) ! 1

D
( a ; b ) ! (1 ; 12) ou ( a ; b ) ! (3 ; 4 ) ou
( a ; b ) ! ( 4 ; 3) ou ( a ; b ) ! (12 ; 1).
Les couples solutions sont (11 ; 132), (33 ; 44 ), ( 44 ; 33)
et (132 ; 11).

11


a) Les diviseurs de 60 sont :

1, 2, 4, 3, 6, 12, 5, 10, 20, 15, 30, 60 et leurs opposs.
b) Les diviseurs de 75 sont :
1, 3, 5, 15, 25, 75 et leurs opposs.
D
Les diviseurs de 34 sont :
1, 2, 17, 34 et leurs opposs.


B

50 ; 40 ; 30 ; 20 ; 10 ; 0 ; 10 ; 20 ; 30 ; 40 ; 50.
C

48 ; 36 ; 24 ; 12 ; 0 ; 12 ; 24 ; 36 ; 48.
D

49 ; 42 ; 35 ; 28 ; 21 ; 14 ; 7 ; 0 ; 7 ; 14 ; 21 ;
28 ; 35 ; 42 ; 49.

Il en existe. Exemple : a ! 12, b ! 4 et c ! 6.

n ! ( n ! 1) ! ( n ! 2) " 3n ! 3 " 3( n ! 1)
Donc la somme de trois nombres entiers naturels conscutifs est divisible par 3.

a) ( a ! b )3 " a3 ! 3a2 b ! 3ab2 ! b3.
b) 3 divise 3a2 b " 3ab2 .
4J

EJWJTF
a3 " b3, alors 3 divise ( a " b )3.
4J

EJWJTF
( a " b )3, alors 3 divise ( a ! b )3 - (3a2 b ! 3ab2 ),
cest--dire a3 " b3.
Conclusion : 3 divise ( a " b )3 si, et seulement si, 3 divise
a3 " b3 .

t
4J
x ! 2 et y ! 0, 2 x ! y " 4 et 3 x - y ! 6 .
4FVM
MF
DBT
x ! 1 et y ! 2 donne des diviseurs associs.
2 1 1
4 y ! 2 x - xy
" 0.
! " si, et seulement si,
x y 2
2 xy
Or ( x - 4 )( y - 2) ! xy - 2 x - 4 y " 8
2 1 1
! " si, et seulement si, 4 y ! 2 x - xy " 0,
x y 2
cest--dire ( x - 4 )( y - 2) ! 8.
b) Les diviseurs de 8 sont 8, 4, 2, 1, 1, 2, 4, et 8.
t
x ! 5 et y ! 10
t
x ! 6 et y ! 6
t
x ! 8 et y ! 4
t
x ! 12 et y ! 3
conviennent.

a)


B

On dveloppe lnonc.
3n 2 " 7 n
C


est un nombre entier relatif si, et seulement
n"4
si, n " 4 divise 3n2 " 7n .
Daprs la question a), n " 4 divise 3n2 " 7n si, et seulement si, n " 4 divise 20.
3n 2 " 7 n
Ainsi si
est un nombre entier relatif, alors n " 4
n"4
est un lment de la liste {1 ; 2 ; 4 ; 5 ; 10 ; 20}.
3n 2 " 7 n
4J

est un nombre entier relatif, alors n est un
n"4
lment de la liste {0 ; 1 ; 6 ; 16}.


B

Les diviseurs stricts de 220 sont 1, 2, 4, 5, 10, 20,
11, 22, 44, 55, 110.
C

La somme des diviseurs stricts de 220 est 284. Or la
liste des diviseurs stricts de 284 est 1, 2, 4, 71, 142, dont
la somme est 220. Donc 220 et 284 sont amis.
D

6 et 28 sont deux nombres parfaits infrieurs 30.


"NPSDF : 221 ! 6 - 1 " 27, 27 est divisible par 9.

)SEJU

4VQQPTPOT
RVF
n soit un nombre entier
naturel suprieur 1, pour lequel 22n ! 6n - 1 est divisible par 9.
22n ! 6n - 1 " 9k, avec k nombre entier relatif.
22n !1 ! 6( n ! 1) - 1 " 22 22n ! 6n ! 6 - 1
" 22 (9k - 6n ! 1) ! 6n ! 5
" 9 22k - 6 22n ! 22 ! 6n ! 5
! 198k - 132n " 22 " 6n " 5
! 198k - 126n " 27
! 9 (22k - 14 n " 3)
Comme k et n sont des nombres entiers, 22k - 14 n ! 3
est un nombre entier et donc 22n !1 ! 6( n ! 1) - 1 est
divisible par 9.
$PODMVTJPO :
Pour tout n $ 1, 22n ! 6n - 1 est divisible par 9.


a) x et y sont des nombres entiers naturels, donc

2x " y et 3x - y
MF
TPOU
BVTTJ
4J
(2 x ! y )(3 x - y ) " 4, alors
2x " y et 3x - y sont des diviseurs de 4.
b) 2 x " y $ 0 et les diviseurs positifs de 4 sont 1, 2 et 4.
t
4J
x ! 0 et y ! 1, 2 x ! y " 1 et 3 x - y ! - 1.
t
4J
x ! 0 et y ! 2, 2 x ! y " 2 et 3 x - y ! - 2.
t
4J
x ! 1 et y ! 0, 2 x ! y " 2 et 3 x - y ! 3.
t
4J
x ! 0 et y ! 4, 2 x ! y " 4 et 3 x - y ! - 4 .
t
4J
x ! 1 et y ! 2, 2 x ! y " 4 et 3 x - y ! 1.


t
*OJUJBMJTBUJPO
Pour n ! 0, 4 4 n ! 2 - 3n ! 3 " 42 - 33 " - 11.
t
)SEJU
4VQQPTPOT
MB
QSPQSJU
WSBJF
QPVS
VO
DFSUBJO
SBOH
n
( n $ 1) et montrons quelle est encore vraie au rang n " 1.
4 4( n !1)! 2 - 3( n !1)! 3 " 4 4 [ 4 4 n ! 2 - 3n ! 3 ] ! 4 4 3n ! 3 - 3n ! 4
" 4 4 [ 4 4 n ! 2 - 3n ! 3 ] ! 3n ! 3 ( 4 4 - 3)
4
11 divise 4 - 3 ! 253 et par hypothse 11 divise
4 4 n ! 2 - 3n ! 3 donc 11 divise 4 4( n !1)! 2 - 3( n !1)! 3.
La proprit est donc vraie lordre n " 1.


4J
a divise n - 3 et 2n - 1, il divise toute combinaison linaire coefficients entiers. En particulier :
2 ( n - 3) ! ( - 1) (2n - 1),
donc il divise 5, donc il divise 5.

a)
4J
a divise 3n - 5 et 2n " 3, alors a divise
- 2(3n - 5) ! 3(2n ! 3), cest--dire 19.
b) La rciproque est fausse. 19 divise 19 mais ne divise
pas 3n - 5 avec n ! 7 par exemple.

12

Nathan. Hyperbole Term S Spcialit

4. Exercices dapplication


2012 ! 134 15 " 2

1522 ! 169 9 " 1
- 527 ! 13 ( - 41) " 6

a) 224 ! 15 14 " 14
b) 1990 ! 37 53 " 29
D
- 2013 ! 12 ( - 168) " 3
d) - 237 ! 14 ( - 60) " 3


256 481 ! 522 " 123 658

B

123 658 ! 256 481 " 2 256 " 10
123 658 ! 256 483 " 10 avec 0 ! 10 " 256, donc le
quotient est 483 et le reste 10.
C

123 658 ! 256 481 " 481 " 41
123 658 ! 257 481 " 41 avec 0 ! 41 " 481, donc le
quotient est 257 et le reste 41.

524 ! 15b " r avec 0 ! r " b.
Donc 15b ! 15b " r " 16b soit 15b ! 524 " 16b.
524
524
b#
et b !
donc b ! 33 ou b ! 34.
15
16
t
4J
b ! 33, r ! 524 - 15 33 ! 29.
t
4J
b ! 34, r ! 524 - 15 34 ! 14.

B

Pour tout n ! 2, le reste de la division euclidienne
de (2n " 2)2 par n " 2 est 4.
b) Pour tout nombre entier naturel n :
(2n ! 2)2 " 4 n2 ! 8n ! 4 " 4( n ! 2) ! 4 .
4J
n est strictement suprieur 2, on a 4 " n " 2, ce qui
permet de valider la conjecture.

Nathan. Hyperbole Term S Spcialit


B

t
4J
n ! 0, 4 n - 3 ! - 3 et n ! 3 " 3, donc r ! 0.
t
4J
n ! 1, 4 n - 3 ! 1 et n ! 3 " 4, donc r ! 1.
4 n - 3 ! n ! 3 " 0 si, et seulement si, n $ 2.
t
4J
2 # n # 4 , 4 n - 3 ! 1 ( n " 3) " 3n - 6 et
0 ! 3n - 6 " n ! 3, donc r ! 3n - 6.
t
4J
5 ! n " 12 , 4 n - 3 ! 2 ( n " 3) " 2n - 9 et
0 ! 2n - 9 " n ! 3, donc r ! 2n - 9.
t
4J
n $ 12, 4 n - 3 ! 3 ( n " 3) " n - 12 et
0 ! n - 12 " n ! 3, donc r ! n - 12.
b) 5n " 21 ! n " 3 " 0 si, et seulement si, n $ 5.
t
4J
0 # n # 4, 5n " 21 " n " 3, donc r ! 5n " 21.
t
4J
n $ 5 , 5n ! 21 " 5 ( n ! 3) ! 6 et 0 ! 6 " n " 3,
donc r ! 6.

Traduisons lhypothse : 527 ! 21 b " r avec
0 ! r " b.
On obtient 21b ! 527 " 21 b ! b
Donc 21b ! 527 " 22 b
527
527
!b"
Donc
22
21
Donc b ! 24 ou b ! 25.
En effectuant la division euclidienne de 527 par 24, on
obtient un quotient gal 21 et le reste vaut 23.

En effectuant la division euclidienne de 527 par 25, on

obtient un quotient gal 21 et le reste vaut 2.
Ce sont les seules valeurs possibles pour le diviseur et
le reste.

"QQMJDBUJPO
a ! 13q " 2 et b ! 13q " 11
a2 ! 169q2 " 52q " 4 ! 13(13q2 " 4 q ) " 4 donc r ! 4.

a) n dsigne un nombre entier naturel impair.
n ! 4 q " 1 ou n ! 4 q " 3 donc r ! 1 ou r ! 3.
b)
4J
n ! 4 q " 1, alors n2 - 1 ! 16q2 " 8q ! 8(2q2 " 1).
4J
n ! 4 q " 3, alors :
n2 - 1 ! 16q2 " 24 q " 8 ! 8(2q2 " 3q " 1).

45 h 46 min ! 1 24 h " 21 h 46 min
Or 18 h 30 ! 21 h 46 min " 39 h 76 min.
Comme :
39 h 76 min ! 40 h 16 min
40 h 16 min ! 24 h " 16 h 16 min.
Rponse : 16 h 16 min

a) 15 123 ! 5 3 024 " 3 donc 15 123 # 3 [5].
M est en D.
b) - 15 123 ! 5 ( - 3 025) " 2 donc - 15 123 ! 2 [5].
M est en C.

B

2 731 ! 6 455 " 1 donc 2 731 # 1 [ 6]
C

- 237 ! 4 - 60 " 3 donc - 237 ! 3 [ 4 ]
D

2 013 ! 11 183 " 0 donc 2 013 # 0 [11]
E

- 414 ! 3 - 138 donc - 414 ! 0 [3]


B

1BS
IZQPUITF,
a # b [ n], alors n divise a - b
donc n divise m( a - b )
Donc n divise m( a - b ) donc n divise ma - mb donc en
conclusion, ma # mb [ n]
C

1BS
IZQPUITF, a # b [ n] alors n divise a - b donc
a - b ! nk avec k nombre entier.
Donc m( a - b ) ! mnk , donc ma - mb ! mnk , donc
divise ma mb
En conclusion, ma # mb [ mn].

3DJQSPRVF
GBVTTF
avec par exemple n ! 6, a ! 2,
b ! 4, m ! 3 : ma # mb [ n] vraie.
Alors que
a # b [ n] est fausse.
3DJQSPRVF
WSBJF
Par hypothse, ma # mb [ mn] donc
ma - mb ! mnk donc m( a - b ) ! mnk . Comme m est
non nul, on simplifie ( a - b ) ! nk donc en conclusion,
a # b [ n].


B

Par hypothses :
a # b [9] et c # d [9] donc a ! b " 9k et c ! d " 9k
Donc ac ! (b " 9k ) ( d " 9k ) ! bd " 9( kd " bk " 9kk )
En conclusion, ac # bd [9]
b) Par rcurrence sur n, cf. dmo du cours.

B
30 757 ! 6 5 126 " 1 donc 30 757 # 1 [ 6]

13

15 163 ! 6 2 527 " 1 donc 15 163 # 1 [ 6]

12 924 ! 6 2 154 " 0 donc 12 924 # 0 [ 6]
b) La compatibilit des oprations avec la relation
congruence donne :
a ! b ! c " 2 [ 6] a - b ! c " 0 [ 6] a ! b - c " 2 [ 6]
abc # 0 [ 6] ab ! bc ! ca " 1 [ 6] a2 ! b2 - c 2 " 2 [ 6].

B

Par hypothse n est pair, donc ! 2k
4FMPO
MB

parit de k, on obtient deux possibilits :
n # 0 [ 4 ] ou n # 2 [ 4 ].
En utilisant la compatibilit de la relation de congruence
avec les oprations : n2 # 0 [ 4 ] ou n2 # 4 [ 4 ]
En conclusion, n2 # 0 [ 4 ].
C

Par hypothse n est impair, donc n ! 2k " 1
4FMPO
MB

parit de k, on obtient deux possibilits :
n # 1 [ 4 ] ou n # 3 [ 4 ]. En utilisant la compatibilit de la
relation de congruence avec les oprations
( n ! 1)2 " 0 [ 4 ] dans les deux cas.
D

n
FTU
VO
OPNCSF
FOUJFS
SFMBUJG
4J
n est pair 4 divise n2
donc 4 divise n2 ( n " 1)2 .
4J
n est impair 4 divise ( n " 1)2 donc 4 divise n2 ( n " 1)2 .
Dans tous les cas, si n est un nombre entier relatif, 4 divise
n2 ( n " 1)2 .

B

2013 ! 6 335 " 3.
172013 ! (176 )335 173 .
176 # 1 [13] et 173 # 12 [13] donc 172013 # 12 [13].
b) 2014 ! 6 335 " 4
172014 ! (176 )335 17 4 .
176 # 1 [13] et 17 4 # 9 [13] donc 172014 # 9 [13].
D
172013 ! 3 172014 " 12 ! 3 9 [13]
39 # 0 [13] donc 172013 ! 3 172014 " 0 [13].

! [5]

Les restes possibles sont 0, 1 et 4.

b)

14


B

y ! mod7

y3 ! mod7

2 y3 ! mod7

b)
4J
( x ; y ) est un couple de solution de 7 x 2 ! 2 y3 " 3,

alors 2 y3 ! 3 - 7 x 2 donc 2 y3 # 3 [7].
Or daprs la question a), ceci est impossible, donc
lquation na pas de solution.

n ! [7]

! [7]

x 3 ! [ 9] 0

b) x 3 # 0 [9] si, et seulement si, x # 0 [9] ou x # 3 [9] ou

x # 6 [9].
x # 0 [3] si, et seulement si, x ! 3k avec k !.
k peut scrire sous la forme 3k , 3k ! 1 ou 3k ! 2 avec
k !.
Donc x # 0 [9] si, et seulement si, x ! 9k ou x ! 9k " 3
ou x ! 9k " 6, cest--dire x # 0 [9] ou x # 3 [9] ou
x # 6 [9], do lquivalence.
Procder de mme dans les deux autres cas.
D

3BJTPOOPOT
QBS
MBCTVSEF
4VQQPTPOT
RVBVDVO
EFT

trois nombres ne soit divisible par 3, alors aucun des trois
nombres nest congru 0 modulo 3.
Daprs a), x 3 , y3 et z 3 sont donc congrus 1 ou 1
modulo 9. Leur somme ne peut tre alors congru 0
modulo 9, do la contradiction.

1. 20 # 1 [5], 21 # 2 [5] , 22 # 4 [5] , 23 # 3 [5] ,
2 4 # 1 [5]
La division euclidienne de n par 4 donne n ! 4 q " r avec
0 ! r " 4.
2n ! (2 4 )q 2r .
t
4J
r ! 0, 2n # 1 [5].
t
4J
r ! 1, 2n # 2 [5].

Nathan. Hyperbole Term S Spcialit

n ! [5]

Les restes possibles sont 0, 1 et 6.

Conclusion : si n nest pas divisible par 5,

alors (n2 1)(n2 4) est divisible par 5.

x ! [ 9]


B

n3

n
FTU
DPOHSV



y
NPEVMP

n
FTU
DPOHSV



y
NPEVMP

n
o

FTU
DPOHSV



y
NPEVMP

n
o

FTU
DPOHSV



y
NPEVMP

(n
o

n
o


FTU


DPOHSV

y
NPEVMP



B


B

14200 # 4200 [5] Or 42 # 1 [5] et
4200 [5] # ( 42 )100 [5].
Donc 4200 [5] # 1200 [5] donc 14200 # 1 [5] . Comme
0 ! 1 " 5, le reste de la division de 14200 par 5 est 1.
C

11 # 2 [3], donc 11101 # 2101 [3]. Or 2 4 # 1 [3] et
101 ! 4 25 " 1.
Donc 2101 ! (2 4 )25 21 [3], donc 2101 ! (1)25 21 [3]
donc 2101 # 2 [3].
Comme 0 ! 2 " 3, le reste de la division de 11101 par
3 est 2.

n2


Envisageons tous les cas possibles grce un tableau de congruence modulo 5.

t
4J
r ! 2, 2n # 4 [5].
t
4J
r ! 3, 2n # 3 [5].

B
22 n !1 - 2n !1 ! 1 " (2n )2 2 - 2n 2 ! 1.
t
4J
r ! 0, 2n # 1 [5], donc
22 n !1 - 2n !1 ! 1 " 1 2 - 1 2 ! 1, soit
22 n !1 - 2n !1 ! 1 " 1 [5].
t
4J
r ! 1, 2n # 2 [5], donc
22 n !1 - 2n !1 ! 1 " 4 2 - 2 2 ! 1, soit
22 n !1 - 2n !1 ! 1 " 0 [5].
t
4J
r ! 2, 2n # 4 [5], donc
22 n !1 - 2n !1 ! 1 " 42 2 - 4 2 ! 1, soit
22 n !1 - 2n !1 ! 1 " 0 [5].
t
4J
r ! 3, 2n # 3 [5], donc
22 n !1 - 2n !1 ! 1 " 32 2 - 3 2 ! 1, soit
22 n !1 - 2n !1 ! 1 " 3 [5].
b) 22 n !1 ! 2n !1 ! 1 " (2n )2 2 ! 2n 2 ! 1.
t
4J
r ! 0, 2n # 1 [5], donc
22 n !1 ! 2n !1 ! 1 " 1 2 ! 1 2 ! 1, soit
22 n !1 ! 2n !1 ! 1 " 0 [5].
t
4J
r ! 1, 2n # 2 [5], donc
22 n !1 ! 2n !1 ! 1 " 22 2 ! 2 2 ! 1, soit
22 n !1 ! 2n !1 ! 1 " 3 [5].
t
4J
r ! 2, 2n # 4 [5], donc
22 n !1 ! 2n !1 ! 1 " 42 2 ! 4 2 ! 1, soit
22 n !1 ! 2n !1 ! 1 " 1 [5].
t
4J
r ! 3, 2n # 3 [5], donc
22 n !1 ! 2n !1 ! 1 " 32 2 ! 3 2 ! 1, soit
22 n !1 ! 2n !1 ! 1 " 0 [5].


B
Algorithme dEuclide :

Nathan. Hyperbole Term S Spcialit

A
324
111
102
9

B
111
102
9
3

R
102
9
3
0

324 ! 2 111 " 102

111 ! 1 102 " 9
102 ! 11 9 " 3
9 ! 33"0

b) 2 431 ! 722 (3) " 265

722 ! 265 (3) " 73
265 ! 73 3 " 46
73 ! 46 1 " 27
46 ! 27 1 " 19
27 ! 19 1 " 8
19 ! 8 2 " 3
8 ! 32"2
3 ! 2 1" 1
2 ! 1 2 " 0 donc PGCD(2 431 ; 722) ! 1
D
Algorithme dEuclide :
A
4 135
272
55
52
3

B
272
55
52
3
1

R
55
52
3
1
0

4 135 ! 272 15 " 55
272 ! 55 4 " 52
55 ! 52 1 " 3
52 ! 3 17 " 1
3!1 3"0

Le PGCD cherch est 1.

d) Lalgorithme dEuclide
A
2 481
275
6
5

B
275
6
5
1

R
6
5
1
0

2 481 ! 275 9 " 6
275 ! 6 45 " 5
6!5 1"1
5!1 5"0


Avec lalgorithme dEuclide :

t
345 ! 90 3 " 75
90 ! 75 1 " 15
75 ! 15 5 " 0 donc PGCD(345 ; 90) ! 15.
t
408 ! 120 ( 4 ) " 72
120 ! 72 1 " 48
72 ! 48 1 " 24
48 ! 24 2 " 0 donc PGCD( 408 ; 120) ! 24.
t
224 ! 210 ( - 2) " 196
210 ! 196 1 " 14
196 ! 14 14 " 0 donc PGCD(224 ; 210) ! 14.

a)
4PJU
d le nombre de lots. d est un diviseur comNVO
EF

FU

4J
PO
WFVU
RVF
d soit le plus grand
possible, d ! PGCD(34 ; 153).
Avec lalgorithme dEuclide,
PGCD(153 ; 34 ) ! 17 .
b) Au maximum 17 lots avec 2 cahiers et 9 stylos par lots.

B

ROC
C

Cest la traduction de lalgorithme des diffrences
successives, donc il calcule le PGCD des deux nombres
entrs.
D

Affichage de 5.

B

PGCD(224 ; b ) ! 28 si, et seulement si :

"224 ! 28 8
b ! 28 b avec PGCD( 8 ; b ) ! 1, soit b impair.

b {28 ; 84 ; 140 ; 196}.

b) PGCD(585 ; b ) ! 65 si, et seulement si :
"585 ! 65 9
b ! 65 b avec PGCD(9 ; b ) ! 1.

b { 65 ; 130 ; 260 ; 325 ; 455 ; 520} .



Remonte

A
21
28
49
175

B
7
21
28
49

R
0
7
21
28

Q
3
1
1
3

15

A
175
49
28
21
7

B
49
28
21
7
0

R
28
21
7
0
#DIV/0!

175!49*3"28
49!28*1"21
28!21*1"7
21!7*3"0
#DIV/0!


On remonte lalgorithme dEuclide.

Remonte

A
14
49
63
175
588

B
7
14
49
63
175

R
0
7
14
49
63

2VPUJFOU
2
3
1
2
3

A ! 588 et b ! 175.
Vrification
A
588
175
63
49
14

B
175
63
49
14
7

R
63
49
14
7
0

588 ! 175 3 " 63
175 ! 63 2 " 49
63 ! 49 1 " 14
49 ! 14 3 " 7
14 ! 7 2 " 0


B

4J
PGCD( a ; b ) ! 3, alors 3 divise n2 " 1, et comme
n2 " 1 ! 0 , il existe k nombre entier naturel tel que
n 2 ! 1 " 3k .
C

Avec un tableau de congruences :
n ! [3]
n2

! 1 " [3]

n2 " 1 ne peut tre multiple de 3.

 Daprs a),
PGCD( a ; b ) ! 1 ou PGCD( a ; b ) ! 3.
Daprs b), 3 ne divise pas b donc PGCD( a ; b ) ! 1.

Les diviseurs positifs de 1 286 sont 1, 2, 643 et 1 286.
Les diviseurs positifs de 1 070 sont 1, 2, 5, 10, 107, 214,
535 et 1 070.
1 286 et 1 070 ne sont pas premiers entre eux.

1 237 et 120 ont pour seul diviseur commun 1,
donc 1 237 et 120 sont premiers entre eux.

Les diviseurs positifs de 2 197 sont 1, 13, 169 et
2 197.
Les diviseurs positifs de 2 140 sont 1, 2, 4, 5, 10, 20, 107,
214, 428, 535, 1 070 et 2 140.
2 197 et 2 140 sont premiers entre eux.

1 234 et 567 ont pour seul diviseur commun 1,
donc 1 234 et 567 sont premiers entre eux.


B

PGCD(n ; 2n " 5) ! PGCD(n ; 2n " 5 2n) ! PGCD(n ; 5)
C

4J
n est un multiple de 5, PGCD(n ; 5) ! 5, donc
PGCD(n ; 2n " 5) ! 5.


Comparant la liste des diviseurs positifs :

1 190 et 759 sont premiers entre eux, car seul 1 est commun aux deux listes.
15 015 et 6 783 ne sont pas premiers entre eux, car 3 est
un diviseur commun.


a)
4J
d est un diviseur commun de a et b, alors d

divise la combinaison linaire 3a ! 4b " m et la combinaison linaire 2a ! 3b " n , donc d est un diviseur commun de m et n.
b) 3m - 4 n ! 9a " 12b - 8a - 12b ! a et
3n - 2 m ! 6 a " 9b - 6 a - 8b ! b .
4J
d est un diviseur commun de m et n, alors d divise
3m - 4 n ! a et 3n - 2m ! b , donc d est un diviseur
commun de a et b.
D

a et b dune part et m et n ont les mmes diviseurs
communs, donc PGCD( a ; b ) ! PGCD( m ; n).


a) a ! ( n - 1)( n " 3) ; b ! ( n " 1)( n " 3).

b) PGCD( n - 1 ; n ! 1) divise n 1 et n " 1 donc
(n " 1) (n 1) cest--dire 2.
PGCD( n - 1 ; n ! 1) est donc gal 2 ou 1.
t
4J
n est impair, n 1 et n " 1 sont pairs, do
PGCD( n - 1 ; n ! 1) " 2.
t
4J
n est impair, n 1 et n " 1 sont impairs et donc non
divisibles par 2, do PGCD( n - 1 ; n ! 1) " 1.
D
PGCD( a ; b ) ! ( n " 3) PGCD( n - 1 ; n " 1).
4J
n est impair, PGCD( a ; b ) ! 2( n " 3).
4J
n est pair, PGCD( a ; b ) ! n " 3.


B

PGCD( a ; b ) ! PGCD( a - 5b ; b ) ! PGCD( - 3 ; b )
! PGCD(3 ; b ).
Donc le PGCD de a et b divise 3.
C

4J
n ! 3k " 2, alors
PGCD(3 ; b ) ! PGCD(3 ; (3k " 2)2 "2)
! PGCD(3 ; 9k 2 " 12k " 4 "2)
! 3 PGCD(1 ; 3k 2 " 4 k " 2) ! 3.

1.
4J
d divise a et b, alors d divise 7b - a , cest-dire 3.

16


PGCD( x ; y ) ! 317 si, et seulement si :

"x ! 317 x
y ! 317 y avec PGCD( x ! ; y ) ! 1.

x ! y " 1 902 si, et seulement si, 317 x ! 317 y " 1 902,

soit x ! y " 6.
Les couples (x ; y) de nombres entiers naturels solutions
sont (1 ; 5), (2 ; 3), (3 ; 2), (5 ; 1), do les couples (x ; y)
solutions :
(317 ; 1 585), ( 634 ; 951), (951 ; 634 ), (1 585 ; 317).

Nathan. Hyperbole Term S Spcialit

Vrification


4J
x ; y) est un couple solution du sytme :

#- x ! y " 26

PGCD( x ; y ) " 13

Alors il existe ( x ! ; y ) couple de nombres entiers premiers

entre eux tel que x ! 13 x et y ! 13 y .
En remplaant dans la premire quation, on obtient
- x ! y " 2 .
Or x et y sont premiers entre eux donc x et y sont deux
nombres impairs conscutifs.
Rciproquement, supposons que x ! 2k " 1 et
y ! 2k " 3.
Posons x ! 13(2k " 1) et y ! 13(2k " 3).
Donc x ! 26k " 13 et y ! 26k " 39, k est un nombre
entier naturel.
t
- x ! y " - (26k ! 13 ) ! (26k ! 39) " 26.
t
PGCD( x ; y ) ! PGCD(26k " 13 ; 26k " 39)
! PGCD(26k " 13 ; 26)
! 13 PGCD(2k " 1 ; 2) ! 13
Conclusion : les couples solutions sont les couples
(26k " 13 ; 26k " 39) avec k nombre entier naturel.

4J
( x ; y ) est un couple solution du systme, alors il
existe un couple de nombres entiers naturels ( x ; y )
premiers entre eux tels que x ! 11x et y ! 11y .
#2 x ! 3 y " 11
Ainsi, on est amen rsoudre
PGCD( x ; y ) " 1

Les couples ( x ; y ) de nombres entiers naturels solutions

sont (1 ; 3) et ( 4 ; 1).
Les couples ( x ; y ) de nombres entiers naturels solutions
sont (11 ; 33) et ( 44 ; 11).

Nathan. Hyperbole Term S Spcialit


4J
( x ; y ) est un couple solution du systme :

"x 2 - y2 ! 5 440

PGCD( x ; y ) ! 8

il existe ( x ; y ) couple de nombres entiers premiers

entre eux tel que x ! 8 x et y ! 8 y .
En remplaant dans la premire quation, on obtient
x 2 - y 2 ! 85 .
Donc ( x - y )( x ! y ) " 85, comme :
x ! y ! x - y
t
x - y ! 1 et x ! y " 85
soit x ! 43 et y ! 42
donc x ! 344 et y ! 336.
t
x - y ! 5 et x ! y " 17
x ! 11 et y ! 6
donc x ! 88 et y ! 48.
Aprs vrification, les couples (x ; y) ! (344 ; 336) et
(88 ; 48) sont solutions.

4J
( x ; y ) est un couple solution du systme :
"xy ! 7 776
PGCD( x ; y ) ! 18

Alors il existe ( x ; y ) couple de nombres entiers premiers

entre eux tel que x ! 18 x et y ! 18 y .
En remplaant dans la premire quation, on obtient
x y ! 24.
En tenant compte de lhypothse x et y premiers entre
eux :
x ! 1 ou y ! 24
x ! 3 ou y ! 8
x ! 8 ou y ! 3
x ! 24 ou y ! 1
En multipliant par 18 et aprs vrification, on obtient
tous les couples solutions :
(18 ; 432) ; (54 ; 144) ; (144 ; 54) ; (432 ; 18).

Avec a ! 16, b ! - 2,1 on obtient :
aa ! bb " 16(21n ! 4 ) - 2116
( n ! 3) " 1.
PGCD(a ; b) divisant a et b divise aa ! bb, donc 1, do
PGCD(a ; b) ! 1.

Par hypothse, il existe un nombre entier k tel que :
a ! b " ck
B

si d est un nombre positif qui divise a et c, alors d
divise b, donc d divise a et b, donc d divise 1 donc d ! 1 ;
C

PGCD(b ; c) ! PGCD(b ck ; c) ! PGCD(a ; c) ! 1.

B

Il semblerait que pour que a et b soient premiers
entre eux, il suffise que n soit pair.
C

4J
n est pair, n ! 2k et donc :
a ! 26k " 3 et b ! 16k " 2
PGCD( a ; b ) ! PGCD( a ; 13b - 8a )
! PGCD(26k " 3 ; 2) ! 1
4J
n est impair, n ! 2k " 1 et donc :
a ! 26k " 16 et b ! 16k " 10
PGCD( a ; b ) ! PGCD( a ; 13b - 8a ) ! PGCD(26k " 16 ; 2)
! 2P
PGCD(13k " 8 ; 1) ! 2.
D

Pour les valeurs de n qui sont paires.

5. Objectif Bac

1.
D
. 2.
C
. 3.
D
. 4.
B
. 5.
D
. 6.
D
.

1. 7SBJ. 6 divise a b donc 2 divise a b donc a
et b ont mme parit.
2. 7SBJ. 6 divise a b donc 3 divise a b donc a et b sont
congrus modulo 3.
3. Faux. 2 # 8(6). 2 et 8 sont pairs et ne sont pas congrus
modulo 12.
4. 7SBJ. 6 divise a b donc 12 divise 2(a b) donc 12
divise 2a 2b donc 2a # 2b # [12].
5. Faux. 3 # 9(6) et 1 et 3 ne sont pas congrus modulo 6.

1. Faux. 2. Faux. 3.
Vrai.
4. Vrai. 5. Vrai.

17



B

PGCD( x ; y ) ! 1.
4J
d divise x FU
4
BMPST
d divise x
FU
4
o
x ! y et donc
PGCD( x ; y ) ! 1. Ainsi PGCD( x ; S) ! 1
4J
d divise y FU
4
BMPST
d divise y
FU
4
o
y ! x et donc
PGCD(x ; y)!1. Ainsi PGCD( y ; S) ! 1.
C

4J
4
FU
1
OF
TPOU
QBT
QSFNJFST
FOUSF
FVY
JM
FYJTUF
VO

diviseur c !

DPNNVO

4
FU
1
EPOD
EJWJTBOU
4x et P donc
EJWJTBOU
1($% 4x ; P) ! x1($% 4

y) ! x.
Il existe donc c ! 1 divisant x FU
4
DF
RVJ
FTU
JNQPTTJCMF

4
FU
1
TPOU
QSFNJFST
FOUSF
FVY
D

x et y tant premiers entre eux sont :
t
PV
UPVT
MFT
EFVY
JNQBJST
BMPST
4
FTU
QBJS
FU
1
JNQBJS

t
PV
MVO
FTU
QBJS
MBVUSF
JNQBJS
BMPST
4
FTU
JNQBJS
FU
1
QBJS

{1 ; 2 ; 3 ; 4 ; 6 ; 7 ; 12 ; 14 ; 21 ; 28 ; 42 ; 84}.

4J
41
!

BWFD
4
FU
1
QSFNJFST
FOUSF
FVY
BMPST

MFT
TFVMFT
TPMVUJPOT
TPOU
4
! 7 et P ! 12 , cest--dire
(x ; y) ! (3 ; 4) ou (x ; y) ! (4 ; 3).

a ! dx , b ! dy avec PGCD ( x ; y ) ! 1,

#d ( x ! y ) " 8
do
avec x ! y " S et xy " P.
xy " d

On obtient PS ! 84 do P !

4
! 7 et ( x ; y) ! (3 ; 4 )

ou ( x ; y ) ! ( 4 ; 3) et donc ( a ; b ) ! (36 ; 48) ou
( a ; b ) ! ( 48 ; 36).

18



On consigne les rsultats dans le tableau :

m
1"?m
NPE
n

0
4
4

1
7
0
1

2
13
6

3
25
4

4
49
0
2

Deux couples exactement (m ; n) ! (1 ; 1) et (m ; n) ! (4 ; 2).


B
m tant suprieur 5, 32 divise 2m donc en raisonnant modulo 32 :
7n - 3 2m ! 1 [32]
n
donc 7 # 1 [32].
b) La suite des puissances de 7 donne :
n
n

0
1

1
7

2
17

3
23

4
1

5
7

Le reste de la division euclidienne de n par 4 est r, alors

7n # 7r [32]
donc si 7n # 1 [32], alors 7r # 1 [32]
donc r ! 0 et n est divisible par 4.
D

4J
n ! 4q, alors 7n ! 7 4 q " 2 4 q " 1 [5].
d) En partant de la question prcdente, on en dduit
que :
7 n - 3 2 m ! 1 [ 5]
donc
1 - 3 2 m ! 1 [ 5]
m
3 2 ! 0 [5].
Or par un tableau de congruences, on obtient :
m
?m

5
1

6
2

7
4

8
3

9
1

Donc 5 ne divise pas 3 2m .

Donc les seuls couples qui conviennent sont les deux
obtenus en partie 1.

6. Exercices dentranement

B

100 ! 7 14 " 2 donc 100 # 2 [7]
4J
( x ; y ) est
solution de (G), alors 3 x 2 ! 7 y2 " 102 n [7].
Or 102 n ! (102 )n donc 102n # 2n [7] et
3 x 2 ! 7 y2 " 2n [7]. Or 7 y2 # 0 [7] donc 3 x 2 # 2n [7].
b)

x ! [7]
3x 2

! [7]

D
23 # 1 [7]
n ! 3q " r avec 0 ! r " 3 donc 2n ! (23 )q 2r .
t
4J
! 0, 2n # 1 [7].
t
4J
r ! 1, 2n # 2 [7].
t
4J
r ! 2, 2n # 4 [7].
Raisonnons par labsurde.
4J
( x ; y ) est solution de (G), alors 3 x 2 # 2n [7]. Daprs b),
3 x 2 est congru 0, 3, 5 ou 6 modulo 7, alors que 2n est

Nathan. Hyperbole Term S Spcialit


1. a) Cet algorithme calcule le PGCD de M et N

pour les 20 valeurs de n de 1 20.
b) On peut conjecturer que si n est impair, alors :
PGCD(M ; N) vaut 2 sinon il vaut 1.
2. n ! 2p, avec p nombre entier naturel.
a) M ! 9(2p) " 1 ! 18p " 1
N ! 9(2p) 1 ! 18p 1
Comme 18p est un nombre pair, M et N sont impairs.
b) PGCD(M ; N) ! PGCD(18p " 1 ; 18p 1)
! PGCD(18p " 1 (18p 1) ; 18p 1)
! PGCD(2 ; 18p 1)
Comme 18p 1 est un nombre entier impair, PGCD(M ; N) ! 1.
3.
B
n ! 2p " 1, avec p nombre entier naturel.
M ! 9(2p " 1) " 1 ! 18p " 10
N ! 9(2p " 1) 1 ! 18p " 8
Comme 18p est un nombre pair, M et N sont pairs.
b) PGCD(M ; N)
! PGCD(18p " 10 ; 18p " 8)
! PGCD(18p " 10 (18p " 8) ; 18p " 8)
! PGCD(2 ; 18p " 8)
Comme 18p " 8 est un nombre entier pair, PGCD(M ; N) ! 2.
4.
B
81n2 1 ! M N
b)
4J
n est pair, n2 est pair, alors 81n2 est pair, donc
81n2 1 est impair.
D

4J
n2 1 est divisible par 4, alors il est pair, donc n
est impair.
4J
n est impair, alors M et N sont divisibles par 2, donc
MN est divisible par 4.

congru 1, 2 ou 4, donc lquation ne peut pas avoir de

solution.


B

Le point Mk est le point de la droite (OA)
9
dquation y ! x dabscisse k.
11
9
Donc yk ! k .
11
C

l aide du tableur, on obtient :
en cellule C2 : !FOU #

en B2 : !"


B
Premire tape :
On dmontre par rcurrence que :
Pour tout k nombre entier naturel :
uk # 9k [11]
"NPSDF

u0 ! 0 donc
u0 ! 9 0 [11]
)SEJU
4PJU
k un nombre entier naturel tel que :
uk # 9k [11]
Alors
uk !1 " uk ! 9 [11]
Donc
uk !1 " 9( k ! 1) [11]
'JO
ISEJU
b) On dresse un tableau de congruences :

uk
uk"1

0
9

1
10

2
0

3
1

4
2

5
3

6
4

7
5

8
6

D

4J
uk " uk "1, uk ! 0 ou uk ! 1.
Puisque
uk # 9k [11]
9k ! 11q " uk

u
9
9
9
yk !1 " ENT k ! " ENT q ! k !
11
11 11
11

u ! 9
.
" ENT q ! k
11

Nathan. Hyperbole Term S Spcialit

Or uk " 9 " 11 donc y k !1 " q.

u
9
Or yk ! ENT k ! ENT q " k ! q.
11
11

Donc yk !1 " yk
4J
uk ! uk "1 , uk ! 1, et on obtient yk !1 " yk ! 1.
E

Liste des pixels allums :

En F2 : !0

9
7

10
8

En F3 : !NPE '"



En G2 : !0
EN G3 : !4* ''(("1)


B

4J
a existe, a2 ! 9 " 2n [2].
Donc a2 ! 1 " 0 [2], donc a2 # 1 [2]
0S
4J
a # 0 [2], a2 # 0 [2])
Donc a # 1 [2] donc a est impair.
b)
4VQQPTPOT
RVF
a soit un nombre solution :
a2 ! 9 " 2n [ 4 ]
2
Donc a ! 1 " 0 [ 4 ], n $ 2.
Donc a2 # 3 [ 4 ] , or puisque a est pair, a # 1 [ 4 ] ou
a # 3 [ 4 ] donc a2 # 1 [ 4 ] ou a2 # 9 # 1 [ 4 ].
Lquation propose na pas de solution.

B

4VQQPTPOT
RVF
n soit un nombre entier naturel
suprieur 3.
4J
n est pair, n ! 2 p avec p nombre entier suprieur 2
donc 32p # (9)p [ 4 ].
Donc 32p # 1p [ 4 ] donc 32p # 1 [ 4 ].
4J
n est impair, n ! 2 p " 1avec p nombre entier suprieur
1 donc 32 p !1 " (9)p 31 [ 4 ].
Donc 32 p!1 " 3 [ 4 ] donc 32 p!1 " 3 [ 4 ].
Ainsi, 3n est congru 3 ou 1 modulo 4.
b)
4VQQPTPOT
RVF
a soit un nombre entier solution de
lquation a2 ! 9 " 3n .
Donc a est pair sinon, 3n serait un nombre impair scrivant comme somme dun nombre pair et dun nombre
impair, ce qui est impossible.
Donc en raisonnant modulo 4 :
a2 ! 9 " 3n [ 4 ].
4J
n est impair,
a2 ! 9 " 3 [ 4 ].
Donc
a2 ! 1 " 3 [ 4 ]
a2 # 2 [ 4 ].
Donc a est pair.
D

4VQQPTPOT
RVF
a soit un nombre entier solution de
lquation a2 ! 9 " 3n ,
9 ! 32 p - a2
9 ! (3p " a )(3p - a )
p
Donc 3 " a divise 9, or 3p $ 9 car p $ 2 donc a ! 0
donc 9 ! (3p ! 0)(3p - 0) avec p $ 2 : impossible.
Conclusion : pas de solution.

B

4VQQPTPOT
RVF
a soit une solution entire de
a2 ! 9 " 5n avec n $ 2.
4VQQPTPOT
RVF
n soit impair, n ! 2 p " 1 avec p $ 1.
Raisonnons modulo 3 :
a2 ! 9 " 5n [3]
a 2 ! 0 " 2 n [ 3]
2
a ! 0 " 22 p !1 [3]
a 2 # 2 [ 3]
2
Or si a # 0 [3], alors a # 0 [3];
si a # 1 [3], alors a2 # 1 [3] ;

19



Extrait du fichier Excel en annexe

n
0
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

n
"

11
12
15
20
27
36
47
60
75
92
111
132
155
180
207
236
267
300
335
372
411
452
495
540
587
636
687

SFTUF
EBOT
MB
EJWJTJPO
QBS

0
0
2
6
12
4
13
6
18
12
6
0
17
12
7
2
24
20
16
12
8
4
0
30
27
24
21

Conjecture : les nombres entiers solutions sont les multiples de 11.


B
n2 ! 11 - ( n ! 11)( n - 11) " n2 ! 11 - ( n2 - 11) " 132.
b)
4VQQPTPOT
RVF
n vrifie la proprit P, alors n " 11
divise n2 " 11 et n " 11 divise ( n " 11).
20

Donc n " 11 divise 132, donc n " 11 est infrieur ou gal

132, donc n est infrieur ou gal 121.
D
Les nombres entiers vrifiant la proprit P sont ceux
conjecturs en partie a).


B

Le reste est 7.
b) Le reste est 1.
D
Le reste dans la division euclidienne de 22009 " 2 009
est 2.

B
PGCD(An ; An !1 ) " PGCD( An ; An !1 - An )
" PGCD( An ; 2n ).
b)
4J
p est impair, An est impair.
4J
p est pair, An est pair.
4J
p est impair, dn est un diviseur de An donc dn est impair.
D

4J
p est pair, dn est un diviseur de An et de 2n donc dn
est pair.
Pour p ! 2 009, d2009 ! 1 : seul diviseur impair de 22009
donc le PGCD cherch est 1.


( du )2 ! ( dv )3 donc u2 ! dv 3.

Ainsi v est un diviseur de u2 . Comme le thorme de
Gauss nest pas disponible dans ce chapitre, on peut
raisonner comme suit : u2 ! kv , donc PGCD(u ; v ) ! 1
donc PGCD(u2 ; uv ) ! u donc PGCD( kv ; uv ) ! u .
Donc vPGCD( k ; u ) ! u donc v est un diviseur de u donc
v ! 1 car PGCD(u ; v) ! 1.

v ! 1 donc b ! d.
Donc PGCD(a ; b) ! b, donc b divise a et donc a ! pb
donc ( pb )2 ! b3 donc p2 ! b donc a ! p3 et b ! p2.
 En raisonnant par congruences modulo 7

p
DPOHSV

y
NPEVMP

0 1 2 3 4 5 6

n
!
p
DPOHSV

yNPEVMP
 0 1 1 1 1 1 1
Conclusion :
n est de la forme 7k ou 7k " 1.


111 ! 3 37, donc 111 est divisible par 3.
10n - 1

B
1 ! 10 ! 102 ! ! 10n -1 "
donc
10 - 1
n
10 - 1
1 ! 10 ! 102 ! ! 10n -1 "
.
9
n
10 - 1
Donc
est un nombre entier naturel.
9
b) ( a - b )( a2 ! ab ! b2 ) " a3 ! ba2 ! ab2 - ba2 - ab2 - b3
" a3 - b3 .
D
En appliquant la question prcdente avec a ! 10n et
b ! 1, on obtient :
( 10n )3 - 13 " (10n - 1)((10n )2 ! 10n ! 12 )
103n - 1 ! (10n - 1)(102 n " 10n " 1)
d) Le nombre u3n est le nombre qui scrit avec 3n
chiffres 1 ; u3n ! 11111111111
103n - 1
Ainsi u3n ! 1 " 10 " 102 " " 103n -1 !
.
9

Nathan. Hyperbole Term S Spcialit

si a # 2 [3], alors a2 # 1 [3] ;

donc lquation a2 # 2 [3] na pas de solution.
Donc lquation a2 ! 9 " 5n na pas de solution si n est
impair.
b)
4VQQPTPOT
RVF
n soit pair, n ! 2 p avec p $ 1 et que
a soit une solution entire de a2 ! 9 " 5n avec n $ 2.
Alors a2 ! 9 " 52 p .
Donc 9 ! 52 p - a2 .
Donc 9 ! (5p - a )(5p " a ).
Donc (5p " a ) est un diviseur de 9 suprieur 5, donc
5p ! a " 9 et p ! 1 donc a ! 4.
On vrifie que 42 ! 9 " 52. Ce qui permet de conclure
que a ! 4 est le seul nombre entier naturel tel que a2 " 9
soit une puissance entire de 5.

(10n - 1)(102 n " 10n " 1)

9
10n - 1
!
(102 n " 10n " 1).
9
Donc u3n ! un (102 n " 10n " 1), or (102n " 10n " 1 est
un nombre entier naturel.
Donc un divise u3n.
e) 102 n ! 10n ! 1 " 12 n ! 1n ! 1 [3]
Donc 102n ! 10n ! 1 " 3 [3]
Donc 102n ! 10n ! 1 " 0 [3]
Donc 102n " 10n " 1 est divisible par 3.
f) u3n ! un (102 n " 10n " 1) or 102n " 10n " 1 est divisible par 3.
Donc 102n " 10n " 1 ! 3 K , o K est un nombre entier
naturel.
Donc u3n ! un 3 K, o K est un nombre entier naturel.
Donc 3un divise u3n.


En itrant la proprit prcdente :
u3 ! u1 3 K
u9 ! u3 3 K donc u9 ! u1 3 3 K
Donc u9 ! u1 9 K ' et donc u9 est divisible par 9.
On dmontre par rcurrence que u3n est divisible 3n ,
Donc u3n !

pour tout n nombre entier naturel suprieur 1.

Ces nombres rpondent la question puisque il y a une
infinit de nombres entiers sous la forme 3n .

Nathan. Hyperbole Term S Spcialit


a) La premire formule retourne la partie entire

du nombre que lon a divis par 100, cest--dire le chiffre
des centaines.
Pour la deuxime formule, on calcule le nombre de
dizaines dans le nombre (ENT(A1/10) soit 87 pour 878)
puis on effectue la division euclidienne de ce nombre
par 10 pour trouver le chiffre des dizaines.
b) Pour le calcul de P, on entre la formule suivante :
!.*/ #$%
".&%*"/& #$%
"MAX
#$%

D


N $FOUBJOFT %J[BJOFT 6OJUT P
G
D
787
7
8
7
778 877 99
99
0
9
9
99 990 891
891
8
9
1
189 981 792
792
7
9
2
279 972 693
693
6
9
3
369 963 594
594
5
9
4
459 954 495
495
4
9
5
459 954 495

N $FOUBJOFT %J[BJOFT 6OJUT P

G
D
877
8
7
7
778 877 99
99
0
9
9
99 990 891
891
8
9
1
189 981 792
792
7
9
2
279 972 693
693
6
9
3
369 963 594
594
5
9
4
459 954 495
495
4
9
5
459 954 495

N $FOUBJOFT %J[BJOFT 6OJUT P

G
D
794
7
9
4
479 974 495
495
4
9
5
459 954 495
N $FOUBJOFT %J[BJOFT 6OJUT P
G
D
425
4
2
5
245 542 297
297
2
9
7
279 972 693
693
6
9
3
369 963 594
594
5
9
4
459 954 495
d) On remarque que :
t
MB
QFSNVUBUJPO
EFT
DIJGGSFT
EF
/
OF
NPEJGJF
SJFO
DF
RVJ

est normal car dans P et dans G on ordonne les chiffres
de N ;
t
%
FTU
VO
NVMUJQMF
EF

En effet, considrons trois chiffres a # b # c avec a " c
car parmi les trois chiffres deux sont distincts.
On a alors P ! cba et G ! abc donc
D ! 100c " 10b " a - 100a - 10b - c ! 99( c - a ) ;
t
BQST
QMVTJFVST
UBQFT
MF
STVMUBU
FTU

En effet, tous les multiples de 99 mnent 495 (il est
facile de le vrifier cas par cas) et le seul dentre eux qui
vrifie N ! D est 495.

1.

un

SFTUF
NPEVMP


0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

5
17
29
41
53
65
77
89
101
113
125
137
149
161
173
185
197
209
221
233
245

5
17
9
1
13
5
17
9
1
13
5
17
9
1
13
5
17
9
1
13
5

 Ne pas oublier $ dans les formules.

Pour p ! 20, on a :
21

un

SFTUF
NPEVMP
p


B

Il y a p " 1 nombres entre u0 et up mais seulement

0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

3
2
7
12
17
22
27
32
37
42
47
52
57
62
67
72
77
82
87
92
97

17
2
7
12
17
2
7
12
17
2
7
12
17
2
7
12
17
2
7
12
17

p reste possible. Donc il existe au moins deux nombres

ayant le mme reste.
b) un0 et un0 " T ont le mme reste dans la division eucli-

un

SFTUF
NPEVMP
p

0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

3
2
7
12
17
22
27
32
37
42
47
52
57
62
67
72
77
82
87
92
97

4
2
0
5
3
1
6
4
2
0
5
3
1
6
4
2
0
5
3
1
6

 Il semble que ces suites sont priodiques.

22

un0 ! T - un0 " a( n0 ! T ) ! b - an0 - b " aT. Ainsi, aT est

un multiple de p.
D
Pour tout nombre entier naturel k :
uT ! k - uk " a( T ! k ) ! b - ak - b " aT est un multiple
de p et par suite, uT! k " uk [ p ] donc rT! k " rk .
d) Daprs les questions prcdentes, il existe T % 0 tel
que rn0 ! T " rn0 et pour tout nombre entier naturel,
rT! k " rk . On en dduit ainsi que la suite des restes ( rn )
est priodique de priode t, t tant le plus petit nombre
entier naturel non nul vrifiant pour tout nombre entier
naturel n, un ! t " un .

Exemple dans la division de a ! 157 par b ! 35,
calculer le reste par dfaut et le reste par excs.
On peut utiliser un tableur en tapant :

B

On sait que PGCD(a ; b) ! PGCD(b ; r). Or r ! b - r
donc PGCD(b ; r) ! PGCD(b ; r b) ! PGCD(b ; b r).
Les diviseurs communs a et b sont les diviseurs du
PGCD, donc les diviseurs communs de a et b sont les
diviseurs de b et r.
C

On calcule le PGCD(b ; min(r ; r)) au lieu de calculer
PGCD(b ; r).
D

Mise en uvre de lalgorithme dEuclide sur tableur avec b ! 435 et a ! 548.
UBQF A
1
548
2
435
3
113
4
96
5
17
6
11
7
6
8
5

B
435
113
96
17
11
6
5
1

R
113
96
17
11
6
5
1
0

2VPUJFOU
1
3
1
5
1
1
1
5

435!113*3"1
113!96*1"3
96!17*5"1
17!11*1"5
11!6*1"1
6!5*1"1
5!1*5"1

"DDMSBUJPO
UBQF A
1
548
2
435
3
113
4
17
5
6
6
1

B
R
R
435
113
322
113
96
17
17
11
6
6
5
1
1
0
1
0 #DIV/0! #DIV/0!

Nathan. Hyperbole Term S Spcialit

Pour p ! 7, on a :

dienne par p donc un0 ! T - un0 est un multiple de p. Or

E

ltape 1
Notons A0 ! a et B0 ! b , notons r0 le reste par dfaut
et r0 le reste par excs.
Notons B1 ! min( r0 ; r0 ). On a r0 ! r0 " b donc B1 " B1 " b
B
donc 0 ! B1 " 0
2
Notons Ak , Bk dfinis, rk le reste par dfaut et rk le reste
par excs dans la division euclidienne de Ak par Bk .
Alors on note Ak !1 " Bk et Bk !1 " min( rk ; rk ).
On dmontre par rcurrence que :
pour tout k, rk ! rk " Bk donc Bk "1 " Bk "1 " Bk donc
B
Bk "1 " k .
2
e) 2k ! B0 " 2k "1
B
Donc B1 " 0 " 2k
2
B1
Donc B2 "
" 2k -1
2
Donc
Donc Bk "1 " 1. Or Bk "1 est un nombre entier naturel
donc Bk !1 " 0.
Donc lalgorithme possde au plus k " 1 tapes.

1.

x ! [10]
3x ! [10]

0 1 2 3 4 5 6 7 8 9
0 3 6 9 2 5 8 1 4 7

x 2 ! [10]

0 1 4 9 6 5 6 9 4 1

B

Daprs le tableau de congruences, 3 x # 8 [10] si, et
seulement si, x # 6 [10].
b) Daprs le tableau de congruences, x 2 # 6 [10] si, et
seulement si, x # 4 [10] ou x # 6 [10].

n ! [10]
n2

! [10]

0 1 2 3 4 5 6 7 8 9
0 1 4 9 6 5 6 9 4 1

( n ! 1)2 " [10]

1 4 9 6 5 6 9 4 1 0

( n ! 2)2 " [10]

4 9 6 5 6 9 4 1 0 1

t
b ne peut pas tre gal 1, 1, 5 et 5.

t
c ne peut pas tre gal 1, 1, 3, 3.
a
2
2

b
3
3

c
5
5

n
1
1

m
2
4

p
6
4

( n ; m ; p ) ! (1 ; - 2 ; 6) ou ( n ; m ; p ) ! ( - 1 ; - 4 ; 4 ).

a)
'BVY
4J
n ! 1, n ! 5 " 6 ne divise pas
3n ! 25 " 28.
b)
7SBJ
4J
a divise 5n " 4 et 2n - 3, alors a divise la combinaison linaire 2 (5n ! 4 ) - 5 (2n - 3) " 23.
D
Faux. Pour tout nombre entier naturel n, n " 1 et n " 2
sont premiers entre eux donc la fraction est irrductible.
d)
7SBJ
4J
n est impair, n ! 2k " 1 avec k ".
3n2 ! 5 " 3(2k ! 1)2 ! 5 " 12k 2 ! 12k ! 8. Or,
12k 2 ! 12k " 0 [12] et 8 ! - 4 [12] donc
3n2 ! 5 " - 4 [12].

Dterminons les congruences de 2n modulo 9
suivant les valeurs de n. On a :

n
0
1
2
3
4
5
6

?n
1
2
4
8
16
32
64

?n
NPEVMP

1
2
4
8
7
5
1

En considrant la division euclidienne de n par 6, on a

n ! 6q " r avec 0 ! r " 5 et on dduit le reste de la
division euclidienne de 2n par 9 suivant les valeurs de r
par disjonction de cas.
On en dduit que 2n # 1 [9] si, et seulement si, n est un
multiple de 6, soit 9 divise 2n - 1si, et seulement si, n est
un multiple de 6.

n ! ( n ! 1)2 ! ( n ! 2)2 " [10] 5 4 9 0 7 0 9 4 5 2

Nathan. Hyperbole Term S Spcialit

Do n2 ! ( n ! 1)2 ! ( n ! 2)2 " 0 [10] si, et seulement

si, ( n ! 1)2 " 6 [10].

On peut mettre lhypothse que Nadia a remarqu
que x 2 # 3 et y2 # 3.
Donc x et y sont des nombres entiers naturels qui vrifient 0 # x # 1et 0 # y # 1, donc il y a 4 couples tester
qui ne conviennent pas et donc lquation na pas de
solution.

Les diviseurs naturels de 30 sont 1, 2, 3, 5, 6, 10,
15, 30.
t
a est pair donc a ! " 2 ou a ! " 6 ou a ! " 10 ou
a ! " 30.

7. Exercices dapprofondissement


B

On dveloppe ( n ! 1)( n2 - n ! 1) " n3 ! 1.
b) On dveloppe n3 ! 1 - 2( n ! 1) ! 6 .

B
En utilisant 
C
:
PGCD( a ; b ) ! PGCD( n3 " 1 - 2( n " 1) " 6 ; n " 1)
donc
PGCD( a ; b ) ! PGCD( n3 " 1 " 6 ; n " 1)
donc en utilisant 
B
:
PGCD( a ; b ) ! PGCD(( n " 1)( n2 - n " 1) " 6 ; n " 1)
donc
PGCD( a ; b ) ! PGCD( 6 ; n " 1) .
b) PGCD( a ; b ) ! 3 si, et seulement si :
PGCD( 6 ; n ! 1) " 3

23



On calcule les termes successifs :

B

5 ; 16 ; 8 ; 4 ; 2 ; 1 donc L(5) ! 6 ;
C

12 ; 37 ; 112 ; 56 ; 28 ; 14 ; 7 ; 22 ; 11 ; 34 ; 17 ; 52 ; 26 ;
13 ; 40 ; 20 ; 10 ; 5 ; 16 ; 8 ; 4 ; 2 ; 1, donc L(12) ! 23.

C
Il semblerait que pour tout n, L(n) soit finie.

B
Il semble que L(2 p ) ! p
&O
FGGFU
MB
TVJUF
EF
4ZSBDVTF

est 2 p, 2 p -1 , 2 p - 2 , , 2, 1. Ainsi, L(2 p ) ! p .
b) Il semble que L( 8 p ! 4 ) " L( 8 p ! 5).
u
t
4J
u1 ! 8 p " 4, alors u2 ! 1 ! 4 p " 2,
2
u2
u3 !
! 2 p " 1, u4 ! 3u3 " 1 ! 6 p " 4 .
2
t
4J
u1 ! 8 p " 5 , alors u2 ! 3u1 " 1 ! 24 p " 16,
u
u
u3 ! 2 ! 12 p " 8, u4 ! 3 ! 6 p " 4 .
2
2
%POD
MFT
TVJUFT
EF
4ZSBDVTF
EFT
EFVY
OPNCSFT
FOUJFST

8 p " 4 et 8 p " 5 concident partir de leur quatrime
terme, donc L( 8 p ! 4 ) " L( 8 p ! 5).
D
On montre dans chacun des cas que lalgorithme
amne ncessairement un nombre entier strictement
infrieur n.
t
4J
u1 ! 4 k , k $ 1, alors u2 ! 2k " n .
t
4J
u1 ! 4 k " 2, k $ 0, alors u2 ! 2k " 1 " n.
t
4J
u1 ! 4 k " 1, k $ 0, alors u2 ! 3u1 " 1 ! 12k " 4 ,
u
u
u3 ! 2 ! 6k " 2 et u4 ! 3 ! 3k " 1 " n.
2
2

4PMVUJPO
BMHPSJUINJRVF

N!0
pour i ! 1 to 2012
si ((racine(7*i-5)-ent(racine(7*i-5))!0)
N prend la valeur N " 1
fin si
fin pour
afficher N
4VS
5*

4VS
&YDFM

4VS
$BTJP

Rponse : 34.

Notons jk ; vk ; bk le nombre de camlons jaunes ;
verts et bleus aprs k rencontres.
t
4J
MB
SFODPOUSF
k " 1 a lieu entre deux camlons de
mme couleur, alors jk !1 " jk ; vk !1 " vk ; bk !1 " bk.
t
4J
MB
SFODPOUSF
k " 1 a lieu entre un jaune et un vert,
alors jk !1 " jk - 1 ; vk !1 " vk - 1 ; bk !1 " bk ! 2 .
t
4J
MB
SFODPOUSF
k " 1 a lieu entre un bleu et un vert, alors
jk !1 " jk ! 2 ; vk !1 " vk - 1 ; bk !1 " bk - 1.
t
4J
MB
SFODPOUSF
k " 1 a lieu entre un bleu et un jaune,
alors jk !1 " jk - 1 ; vk !1 " vk ! 2 ; bk !1 " bk - 1
Considrons alors la diffrence entre les verts et les
jaunes par exemple :
t
TJ
MB
SFODPOUSF
k " 1 a lieu entre deux camlons de
mme couleur, alors vk !1 - jk !1 " vk - jk ;
t
TJ
MB
SFODPOUSF
k " 1 a lieu entre un jaune et un vert,
alors vk !1 - jk !1 " vk - jk ;
t
TJ
MB
SFODPOUSF
k " 1 a lieu entre un bleu et un vert, alors
vk !1 - jk !1 " vk - jk - 3 ;
t
TJ
MB
SFODPOUSF
k " 1 a lieu entre un bleu et un jaune,
alors vk !1 - jk !1 " vk - jk ! 3.
Dans tous les cas, vk !1 - jk !1 " vk - jk [3].
Ainsi pour tout k nombre entier : vk - jk ! v0 - j0 [3]
vk - jk ! 15 - 17 [3].
Donc, pour tout k nombre entier, vk - jk nest jamais
congru 0 modulo 3. Donc il est impossible que les
camlons aient tous la mme couleur.

2 519 est le premier nombre entier naturel qui
vrifie les conditions. Pour trouver ce rsultat, on peut
dresser dans un tableur sur la premire colonne la liste
des nombres de la forme 9k " 8 avec k " et sur cha-

24

Nathan. Hyperbole Term S Spcialit

si, et seulement si, 3 divise n " 1 et 2 ne divise pas n " 1,

si, et seulement si, n " 1 est un multiple de 3 impair,
si, et seulement si, n ! 1 " 3(2 p ! 1) avec p nombre entier
naturel
si, et seulement si, n ! 6 p " 2.

a/b est un nombre entier relatif si, et seulement si,
PGCD(a ; b) ! b.
PGCD( 6 ; n ! 1) " n ! 1
si, et seulement si, n " 1 est un diviseur de 6
n ! 5 convient !

cune des autres leur congruence modulo 2, 3, 4, 5, 6, 7

et 8. Donc 2 519 est le premier nombre situ sur la ligne
o on peut lire les nombres 1, 2, 3, 4, 5, 6 et 7.

B



donc

or b $ 2
donc

qn

2 012

670
223
74
24
8
2
0

qn - rn "1 ! b qn "1
qn - rn !1 $ 2 qn !1

HSEJU : supposons que qn ! 0 pour un nombre entier n, alors qn"1 est le quotient de qn par b donc vaut 0.
Ce qui achve la question.
D
De proche en proche, on crit les divisions euclidiennes :
N ! q0 b " r0 ! ( q1b " r1 )b " r0
N ! (( q2 b " r2 )b " r1 )b " r0
en recommenant jusqu n, on obtient :
N ! (( qn b " rn )b " rn -1 )b " " r1 )b " r0 (*)
et en dveloppant on obtient lcriture de lnonc.
d) En crivant la formule de lnonc sous la forme
intermdiaire (*).

B

Nathan. Hyperbole Term S Spcialit

qn ! b qn "1 " rn "1

qn $ qn - rn !1 $ 2 qn !1 $ qn !1
b)
4VQQPTPOT
RVF

QPVS
UPVU
n nombre entier qn % 0,
alors dans la dernire ingalit on peut remplacer le
! par un ".
qn ! qn - rn !1 ! 2 qn !1 " qn !1
donc on obtient une suite ( qn ) de nombres entiers naturels compris entre 0 et N et strictement dcroissante. Ce
qui est impossible.
Donc il existe au moins un nombre entier n tel que
qn ! 0. Notons N0 le plus petit de ces nombres entiers.
Dmontrons que pour tout nombre entier n $ n0 , qn ! 0.
Par rcurrence :
"NPSDF
: qn0 ! 0.

CBTF

1
2
3
4
5
6
7
8
9
10

b)

CBTF

1
2
3
4
5
6
7
10
11
12

CBTF

11
12
13
14
15
16
17
18
19
20

CBTF

13
14
15
16
17
20
21
22
23
24

rn
3
3
3
3
3
3
3

2
1
2
0
2
2
0

donc N ! 220 212 .

N

qn

2 012

402
80
16
3
0

rn
5
5
5
5
5

2
0
1
3
0

donc N ! 3 102 .
3
D

2 012 ! 2 32 " 1 3 " 2 ! 23.
d)
N

qn

20 112

1 676
139
11
0

rn
12
12
12
12

0
7
11
0

12

donc 20 112 ! 1170

12

2 012

! 2 123 " 1 121 " 2 ! 3 470


B

4J
VO
OPNCSF
FOUJFS N est de la forme N ! 6k - 3,
alors :
N ! 2 3k - 3 ! 2 3k - 2 - 1
! 2 (3k - 1) - 1 ! 2 p - 1.
5 est un nombre de la forme 2 p - 1 sans tre de la
forme 6k - 3.
C

(3k ! 1)2 " 9k 2 ! 6k ! 1 " 3(3k 2 ! 2k ) ! 1.
D

On peut raisonner laide des congruences.
4J
n # 0 [3], alors n2 # 0 [3].
4J
n # 1 [3], alors n2 # 1 [3].
4J
n # 2 [3], alors n2 # 4 [3] donc n2 # 1 [3].
Conclusion : quelque soit n, n2 nest jamais congru 2
modulo 3.
Donc le carr dun nombre entier nest jamais de la
forme 3k " 2.
E

On peut raisonner laide des congruences.
4J
n # 0 [ 4 ], alors n2 # 0 [ 4 ].
4J
n # 1 [ 4 ], alors n2 # 1 [ 4 ].
4J
n # 2 [ 4 ], alors n2 # 4 [ 4 ] donc n2 # 0 [ 4 ].
4J
n # 3 [ 4 ], alors n2 # 9 [ 4 ] donc n2 # 1 [ 4 ].

25

Conclusion : quelque soit n, n2 nest jamais congru 2

ou 3 modulo 4.
Donc le carr dun nombre entier nest jamais de la forme
4k " 2 ou 4 k " 3.
F

On peut raisonner laide des congruences.
4J
n # 0 [9], alors n3 # 0 [9].
4J
n # 1 [9], alors n3 # 1 [9].
4J
n # 2 [9], alors n3 # 8 [9].
4J
n # 3 [9], alors n3 # 0 [9].
4J
n # 4 [9], alors n3 # 64 [9] donc n3 # 1 [9].
4J
n # 5 [9], alors n3 # 125 [9] donc n3 # 8 [9].
4J
n # 6 [9], alors n3 ! 6 36 [9] donc n3 # 0 [9].
4J
n # 7 [9], alors n3 ! 7 49 [9] donc n3 ! 7 4 [9]
donc n3 # 1 [9].
4J
n # 8 [9], alors n3 ! 8 64 [9] donc n3 ! 8 1 [9]
donc n3 # 8 [9].
G

4VQQPTPOT
RVF
N ! a3 ! b2 . Notons d le PGCD(a ; b).
Il existe ( a ; b ) tel que a ! da et b ! db avec a et b
premiers entre eux.
En remplaant dans a3 ! b2 , on obtient da 3 ! b 2 .
Ainsi a est un diviseur de b 2 . Comme le thorme de
Gauss nest pas utilis dans ce chapitre, on peut raisonner comme suit : b 2 ! ka , or donc PGCD( a ; b ) ! 1
donc PGCD( a b ; b 2 ) ! b donc PGCD( a b ; ka ) ! b
Donc a PGCD(b ; k ) ! b donc a est un diviseur de b
donc a ! 1.
Donc PGCD( a ; b ) ! a donc a divise b. Donc b ! pa
donc en remplaant dans a3 ! b2 , on obtient :
a3 ! ( pa )2
2
donc a ! p et donc b ! p3 donc n ! p 6.
Conclusion :
En raisonnant par congruences modulo 7
p
DPOHSV

y
NPEVMP

0 1 2 3 4 5 6
6
/
!
p
DPOHSV

yNPEVMP
 0 1 1 1 1 1 1
N est de la forme 7k ou 7k " 1.

#

est vraie, cest la compatibilit de la relation de
congruence avec la multiplication.
$

Faux,
x y ! 23"7n [7]
donc x y ! 23 27n [7]
donc x y ! 1 (27 )n [7]
27 ! 23 23 2 ! 1 1 2 ! 2 [7]
donc x y ! 1 (2)n [7]
pour n ! 1, la proposition est fausse.

PGCD( x ! y ; xy ) " PGCD( x ! y ; xy - x( x ! y ))
PGCD( x ! y ; xy ) " PGCD( x ! y ; - x 2 )
4J
d est un diviseur commun de x " y et xy, alors d divise
x 2 . Or d divise xy et x2 donc d divise le PGCD(xy ; x2).
Or PGCD(xy ; x2) ! x PGCD(y ; x), donc d divise x PGCD(y ; x).
En changeant les rles de x et y, on obtient de mme
d divise y PGCD(x ; y).
Conclusion :
si d est un diviseur commun de x " y et xy, alors d divise
x PGCD(y ; x) et d divise y PGCD(y ; x),
donc d divise PGCD(x PGCD(y ; x) ; y PGCD(y ; x)),
donc d divise PGCD(x ; y)2.
"

Vrai : si PGCD(x ; y) ! 1, alors
si d est un diviseur commun de x " y et xy,
alors d est un diviseur positif de PGCD(y ; x)2 ! 1,
d ! 1.
#

Vrai : si d divise x et y, alors d est un diviseur de x " y
et de xy, donc de leur PGCD, donc d ! 1.
$

Faux : si PGCD(x ; y) ! 3, alors si d est un diviseur
commun de x " y et xy , alors d est un diviseur de 9 mais
pas ncessairement de 3 comme dans lexemple :
x ! 3 et y ! 6 PGCD( x ! y ; xy ) " 9.
%

Vrai : si d divise x et y, alors d est un diviseur de x " y
et de xy, donc de leur PGCD donc de 3.
Donc d est soit 1, soit 3.
Or si PGCD(x ; y) ! 1, alors PGCD(x " y ; xy) ! 1, donc
PGCD(x ; y) % 1 donc PGCD(x ; y) ! 3.
&

Faux : contre-exemple avec x ! 2 et y ! 2.

Nathan. Hyperbole Term S Spcialit



"

est vraie, cest la compatibilit de la relation
de congruence avec laddition.

26