Lycée pilote de Tunis

Identité de Bézout 2 Terminales Maths

Mr Ben Regaya. A Eléments de corrections www.ben-regaya.net

Exercice 1
1. Montrons que A  B  A  4 .
B   n  1 n  2   4  A   n  2   4
Tout diviseur commun de A et B divise A et divise B  A   n  2   4 donc divise A  4 .

Inversement tout diviseur commun de A et 4 divise A et divise A   n  2   4 donc divise A  B

Ainsi : A  B  A  4 .
2. Déterminons, suivant les valeurs de n, A  B .
Le PGCD de A et 4 vaut 1, 2 ou 4.
Si n  1 mod 4  alors A  B  A  4  4 .
Si n  3  mod 4  alors A  B  A  4  2 .
Si n  0  mod 2  alors A  B  A  4  1.
3. On doit avoir A  B  A et donc A  4  A et donc n  1 divise 4
On en déduit n  2 ou n  3 ou n  5 ou n  0 ou n  1 ou n  3 .

Exercice 2

Posons d  a  b et d '   a  bn   a  b  n  1 . 
d divise a et d divise b donc d divise  a  bn  et d divise  a  b  n  1  donc d divise d ' .
d ' divise  a  bn  et d ' divise  a  b  n  1  donc d ' divise  a  bn    a  b  n 1 et d ' divise b.
Comme d ' divise  a  bn  alors d ' divise  a  bn   bn d’ou d ' divise a . ainsi d ' divise a et d ' divise
b, d’où d ' divise d.
On en déduit que d '  d .

Exercice 3

1. n  n  1   n  1 n  2  2 .
Posons d  n  n  1   n  1 n  2 
Comme d divise n  n  1 d divise  n  1 n  2  alors d divise 2. D’où d  1 ou d  2 .

Or n  n  1 est pair, comme produit de deux entiers consécutifs  n  1 n  2  est pair en effet
Si n  0  mod 2  alors n  2  0  mod 2  et donc  n  1 n  2   0  mod 2 
et si n  1 mod 2  alors n  1  0  mod 2  et donc  n  1 n  2   0  mod 2  .
On conclut que d  2 .
Les nombres a et b sont ainsi des entiers.
2. b  c  2 d’où b  c  1 ou bien b  c  2 .
Il est égal à 2 si b et c sont des multiples de 4.
Comme n  1  n  3  mod 4  et que n  2  n  2  mod 4  alors  n  1 n  2    n  2  n  3 mod 4  .
n 0 1 2 3
 n 1 n  2 2 0 0 2

Ce tableau de congruence modulo 4 montre que  n  1 n  2  est un multiple de 4 lorsque

 n  1 mod 4  ou n  2  mod 4 .
D’où :
 Si n  1 mod 4  ou n  2  mod 4 : b  c  2
 Si n  0  mod 4  ou n  3  mod 4  : b  c  1 .
Exercice 4

On pose x  18u , y  18v avec u  v  1 .

x y
  3  4u  9v  6  4  u  6   9  v  2  .
9 4
On trouve  u, v    9k  6, 4k  2  avec k entier.
Comme 4u  9v  6  u  v divise 6, donc c’est 1, 2, 3 ou 6.
 u  v  6  u  0  mod 6  et v  0  mod 6   3k  0  mod 6  et 4k  4  mod 6 

Reste de k mod 6 0 1 2 3 4 5
Reste de 3k mod 6 0 3 0 3 0 3

Reste de k mod 6 0 1 2 3 4 5
Reste de 4k mod 6 0 4 2 0 4 2

On voit donc que u  v  6  k  4  mod 6  .

 Comme u est toujours divisible par 3 alors u  v  3  4k  2  0  mod 3 et u  v  6

 k  2  0  mod 3  k  1 mod 3 et k  4  mod 6  k  1 mod 6 

 u  v  2  u  0  mod 6  et u  v  6
 9k  6  0  mod 6  et k  4  mod 6  3k  0  mod 6  et k  4  mod 6  k  0  mod 2  et
k  4  mod 6
Or k  0  mod 2   il existe p entier tel que k  2 p

Si p  3t , t entier alors k  0  mod 6 

Si p  3t  1 , t entier alors k  2  mod 6

Si p  3t  2 , t entier alors k  4  mod 6 et comme k  4  mod 6  alors

u  v  2  k  0  mod 6  ou k  2  mod 6 .
D’où u  v  1  k  3  mod 6  ou k  5  mod 6  .
Ainsi k  3  6t ou k  5  6t avec t entier.
Les couples  u, v  sont de la forme  54t  33, 24t  14  ou  54t  51, 24t  22  .
D’où les couples  x, y  sont de la forme  972t  594, 432t  252 ou  972t  918, 432t  396 .

Exercice 5

On pose x  8x ', y  8 y ' avec x ' y '  1 .

x2  y 2  5440  x '2  y '2  85   x ' y ' x ' y '  85 .
x ' y ' et x ' y ' sont positifs et x ' y ' x ' y ' .
 x ' y '  1  x ' y '  5
D’où :  ou  soit  x ', y '  43, 42  , 11,6  .
 x ' y '  85  x ' y '  17
D’où les couples solutions  343,33 ,  88, 48
Exercice 6

1. 5n3  n  5n 2  n  2   10n 2  n   5n 2  n  2   10n  n  2   19n   5n 2  10n   n  2   19  n  2   38

 
Soit encore 5n3  n  5n 2  10n  19  n  2   38 .

 
Soit d  5n3  n   n  2  et    n  2   38

d divise  5n3  n  et d divise  n  2  donc d divise  n  2  et d divise

5n3  n   5n 2  10n  19   n  2   38 soit d divise 38 et par suite d divise 

 
Inversement  divise  n  2  et  divise 38 donc  divise 5n 2  10n  19  n  2   38  5n3  n et

comme  divise  n  2  alors  divise d. Finalement   d .

 
En vient de prouver que 5n3  n   n  2    n  2   38 .

2.  
n  2 divise 5n3  n signifie 5n3  n   n  2    n  2  signifie  n  2   38  n  2 signifie n  2 divise
38 signifie n 40, 21, 4, 3, 1,0,17,36
3.  5n 3
 n    n  2   1, 2,19,38 .

n  2  0  mod19   n  17  mod19 

4.  5n 3
 n    n  2   19   n  2   38  19    
n  2  0  mod 38   n  36  mod 38 
n  17  mod19  .
Les entiers cherchés sont de la forme : n  38k  17, k entier.

Exercice 7

1. On trouve  x, y   13  9k , k  .
2.  a  b   9  a  b   13  m  9d  13  m  13  9k et d  k , k naturel non nul.
d divise m , d’où k divise 13, soit k  1 ou k  13 .
Pour k  1 :  m, d    22,1 , soit ab  22 d’où  a, b  1, 22  ,  2,11 , 11, 2  ,  22,1


Pour k  13 :  m, d   130,13 soit ab  1690 d’où  a, b   13,130 ,  26,65 ,  65, 26  , 130,13 
Les couples solutions sont : 1, 22  ,  2,11 , 11, 2  ,  22,1 , 13,130  ,  26,65  ,  65, 26  , 130,13 .
Exercice 8
1. a) 195  143  143  52  52  39  39  13  13 car 13 divise 39 .
13 divise 52 donc admet des solutions.
b) Résolution de  E  :

 1, 1 solution de (E) donc  x, y  est une solution de  E  dans ℤ² signifie
143x 195 y  143(1) 195(1)
 143( x  1)  195( y  1)  11( x  1)  15( y  1) (1) .

Donc 11 divise 15  y  1 et 11  15  1 donc d’après le lemme de Gauss 11 divise y  1 et par suite il existe

k ∊ℤ tel que y  1  11k .

On remplace dans (1) on trouve x  1  15 k .

On vérifie 11(15k  1)  15(11k  1)  4  11x  15 y  4  1113x  15 13 y  52 . Donc  x, y  solution

 de  E  . S  (1  15k ,1  11k ) k  Z  .
Z2

2. n  5  1 et 5 est premier alors d’après Fermat n4  1 mod 5 . Alors n4 k  1 mod 5 , k ∊ℕ ;

3. a) Premier cas n  5  1  n4 k  1 mod 5
x  y  mod 4  x  4k  y , k ∊ ℕ.
Alors n x  n4 k  y  mod 5  n x  n4k  n y  mod 5
Alors n x  n y  mod 5

Deuxième cas n  0  mod 5  n x  0  mod 5 et n y  0  mod 5 alors n x  n y  mod 5 .

En définitif n x  n y  mod 5 , n ∊ℕ*.

b) On a n x  n y  mod 5

aussi n x  n y  mod 2  (traiter les cas n  1 mod 2  et n  0  mod 2  )

On a donc n x  n y  mod 5 et n x  n y  mod 2  avec 5 et 2 premiers entre eux alors n x  n y  mod 10 

4. Montrons que si  x, y  est une solution de  E  alors n x  n y  mod 10 

On a x  1  15 k et y  1  11k  x  y  4k  x  y  mod 4  alors n x  n y  mod 10  .

Conclusion pour tout n ∊ ℕ* n x et n y ont le même chiffre des unités.

Exercice 9

1. a) 11 nombre premier ne divise pas 24 ; donc 11 et 24 sont premiers entre eux ; d’après le théorème de Bézout
il existe des entiers relatifs u et v tels que 11u  24v  1 , donc le couple  u, v  est un couple solution de

l’équation (1).
b) On applique l’algorithme d’Euclide à 24 et 11 :
24  2 11  2
11  5  2  1 , soit en remontant :
1  11  5  2
1  11  5  24  2 11  1111  5  24 .
Le couple 11,5  est une solution particulière de l’équation (1).
c) l’équation (1) est équivalente à 11n  24m  1111  5  24  11 n  11  24  m  5 (2)

11  24  1d’après Gauss 11 divise m  5 et donc il existe k entier tel que m  5  11k .

On remplace dans (2) on obtient : 11 n  11  24 11k  n  11  24k .

On vérifie dans (1).

Les couples  n, m  solutions sont 11  24k ,5  11k  , k entier.

 
2. a) Pour a ∊ℕ, on sait que a n  1   a  1 a n 1  a n  2  ...  a  1 . En particulier :

 
10n  1  9 10n 1  10n  2  ...  10  1 égalité qui montre que 9 divise 10n  1 , donc en particulier 1011  1 et

1024  1 .
b) Puisque  n, m  est un couple solution de l’équation (1) : 11n  24 m  1 ou encore 11n  24 m  1 .
           
Donc 1011n  1  10 1024 m  1  1024 m 1  1  10 1024 m  1  1024 m  10  1  10 1024 m  1  1  10  9 
 
n
c) On a 1011n  1  1011  1 et d’après l’égalité rappelée au a) :


1011n  1  1011  110 11( n 1)

 1011( n  2)  ...  1 , donc 1011  1 divise 1011n  1 .

Il existe donc un entier  tel que 1011n  1   1011  1 .  

On démontrerait de la même façon que 1024  1 divise 1024n  1 et qu’il existe donc un entier  tel que


1024 n  1   1024  1 . 
     
L’égalité trouvée au b) 1011n  1  10 1024 m  1  9 peut donc s’écrire :  1011  1  10   1024  1  9 .  

On a donc trouvé deux entiers N   et M  10 tels que : N 1011  1  M 1024  1  9 .   
d) Tout diviseur commun à 1011  1 et à 1024  1 divise les produits N 1011   1 et M 10 24

 1 et aussi leur
différence et par conséquent 9.
e) On vient de voir que tout diviseur commun à 1011  1 et à 1024  1 et donc en particulier leur P. G. C. D.
divise 9, mais on a vu inversement que 9 divise 1011  1 et 1024  1 .


Conclusion : 1011  1  1024  1  9 . 
Exercice 10

1. 2003  44,7.. et 2003 n’est divisible par aucun entier premier inférieur à 44. Donc 2003 est premier.
2. Passer par l'algorithme d'Euclide:
Posons a  2003 et b  123
a) a  16  b  35 , b  3  35  18 , 35  1 18  17 , 18  1 17  1 .
Ainsi : 1  18  1 17

 1  18  1  35 18  1 35  2 18

 1  1 35  2   b  3  35  2b  7  35

 1  2b  7   a  16 b   114  b  7  a .

On a donc une solution u et v : u  114 et v  7 .

b) La relation 114  123  7  2003  1  114 123  1  mod 2003 .

2003  2 

On a : 2003  123  1   114 est l’inverse de 123 modulo 2003 .
114 123  1  mod 2003 

c) On sait que 123 114  1  mod 2003 .

Soit x un entier relatif: Si 123x  456  mod 2003 * et comme 123 114  1  mod 2003 alors

123 114  456  456  mod 2003 **

Par différence de * et ** on obtient : 123   x  114  456   0  mod 2003 et le fait que 123  2003  1

d’après Gauss x  114  456  0  mod 2003 et donc x  114  456  mod 2003 ou encore

x  456k0  mod 2003 .

 Inversement : si x  456k0  mod 2003 alors 123  x  123  456k0  mod 2003 et donc

123  x  456  mod 2003 .

On vient de prouver que 123x  456  mod 2003 si et seulement si x  456k0  mod 2003 .

d) Les entiers relatifs vérifiant 123x  456  mod 2003 sont ceux vérifiant x  456k0  mod 2003

Or, 456k0  1909  mod 2003 donc l'ensemble des x entiers relatifs vérifiant: 123x  456  mod 2003

est l'ensemble des x tels que x  1909  mod 2003 donc de la forme x  2003k  1909 où k est un entier

relatif quelconque.
e) C'est 1909 .

3. 1  a  2002 .
a) 2003 est premier donc il est premier avec tout entier a compris entre 1 et 2002 .
Donc a  2003  1
D'après le Théorème de Bézout, on sait qu'il existe alors deux entiers relatifs n et m tels que 2003n  am  1

Donc: tels que 2003n  am  1 mod 2003 d'où il existe bien m entier tel que am  1 mod 2003

b) Si b est un entier quelconque, alors en particulier, on a : amb  b  mod 2003 .

Or, il existe un entier x tel que 0  x  2002 et x  bm  mod 2003 .

x est simplement le reste dans la division euclidienne de bm par 2003 .

De plus, si existe un autre entier y compris entre 0 et 2002 vérifiant ay  b  mod 2003

alors ax  ay  mod 2003 donc a  x  y   0  mod 2003 .

a  x  y  est alors divisible par 2003 . a est premier avec 2003 donc 2003 divise  x  y  .

Comme x et y sont entre 0 et 2002 , on a x  y 2003 . Donc la seule possibilité est x  y  0 .

D'où x  y .

Conclusion: Il y a bien existence ET unicité de la solution de 0  x  2002 et ax  b  mod 2003 .