Exercice II
(Pour les candidats ayant suivi l’enseignement de spécialité )
Les questions 1 et 2 sont indépendantes.
Soit n un entier naturel non nul.
1. On considère l’équation notée (E) : 3x +7y = 102n où x et y sont des entiers relatifs.
a. Déterminer un couple (u ; v) d’entiers relatifs tels que 3u +7v = 1.
. Le couple (u ;v) = ( 5 ; - 2 ) est solution de l’équation 3u +7v = 1.
En déduire une solution particulière (x0 ; y0 ) de l’équation (E).
On en déduit que
nnn 222 1010)2(71053
et que le couple ( 5 × 102n ; - 2 × 102n) est solution de ( E)
b. Déterminer l’ensemble des couples d’entiers relatifs (x ; y) solutions de (E).
Le couple d’entiers relatifs (x ; y) est solution de (E) équivaut à
=
nnn 222 1010)2(71053
Cette dernière équation équivaut à
)102(7)105(3 22 nn yx
avec 5× 102n et 2×102n Î .
Si le couple d’entiers relatifs (x ; y) est solution de (E) alors 3 divise
,
3 et 7 sont deux entiers premiers entre eux , donc , d’après le théorème de Gauss, 3 divise
.
Il existe k dans Î tel que
= 3 k . On en déduit alors en remplaçant
par 3 k ,
que x =
.
Réciproquement tout couple (
est solution de l’équation 3x +7y = 102n puisque
nnn kk 222 10)1023(7)7105(3
.
Les solutions de l’équation (E) sont les couples (
, où k désigne un entier relatif .
2. On considère l’équation notée (G) 3x2 +7y2 = 102n où x et y sont des entiers relatifs.
a. Montrer que 100 ≡ 2 (modulo 7).
100 = 7 × 14 + 2 . Le reste dans la division euclidienne de 100 par 7 est donc égal à 2 ; 100
( modulo 7 )
Démontrer que si (x ; y) est solution de (G) alors 3x2 ≡ 2n (modulo 7).
100
( modulo 7 ), c'est-à-dire : 102
2 ( modulo 7 ) . Par exponentiation , 10 2n
2n ( modulo 7 )
Pour tout entier relatif y , on a : 7 y2
0 ( modulo 7 ) . Par addition, on obtient : 3 x2 + 7 y2
( modulo 7 ) .
Si (x ; y) est solution de (G) alors 3x2 + 7 y2 = 102n.
La relation de congruence étant transitive, on conclut que
( modulo 7 ) .
b. Reproduire et compléter le tableau suivant :
Reste de la division euclidienne
de x par 7
Reste de la division euclidienne
de 3x2 par 7.
Nous constatons que 3x2 peut être congru à 0 , 3 , 5 ou 6 , modulo 7