Ultrabac Terminale S – Exercice de spécialité du sujet Amérique du Nord juin 2009 Page 1 sur 2
Soit A l'ensemble des entiers naturels de l'intervalle
.
1. On considère l'équation
x y(E)
où x et y désignent deux entiers relatifs.
1.a) Donner une solution particulière
de (E).
Après quelques petits essais, on remarque :
Donc le couple
−
est une solution de (E).
1.b) Déterminer l'ensemble des couples
solutions de (E).
(E) est une équation diophantienne. Un classique de chez classiques à résoudre.
Première phase : de quelle forme sont les solutions de l'équation diophantienne (E) ?
Soit
un couple d'entiers relatifs solution de (E). Il vérifie donc l'égalité :
D'après 1.a
23 47 1 23 2 47 1 23 2 47 1
× + × = = × − + × ⇔ × + = × −
D'après cette dernière égalité, 23 divise le produit
47 1
.
Or 23 est premier avec le facteur 47.
En application du théorème de Gauss, il divise nécessairement l'autre facteur
.
Donc il existe un entier relatif λ tel que
1 23 1 23
v v
Il vient alors pour l'autre entier u :
23
47 12 47 23× −× + = = ×vu
u
Toutes les solutions de (E) sont de la forme
47 2;1 23
où λ est un entier
relatif quelconque.
Seconde phase : réciproquement, tout couple de la forme
47 2;1 23
est-il
solution de (E) ?
Pour tout entier relatif λ, nous pouvons écrire :
23 47 2 47 1 23 1081× × λ − + × − × λ = × λ 46 47 1081− + − × λ
La réponse est : Oui !
Conclusion : les solutions de l'équation diophantienne
x y(E)
sont les
couples d'entiers de la forme
47 2;1 23
où λ est un entier relatif.
1.c) En déduire qu'il existe un unique entier x appartenant à A tel que
≡x
.
Là encore, nous allons procéder en deux phases.
Première phase : si un tel entier existe, à quoi ressemble-t-il ?
Soit u un entier de l'intervalle
solution de l'équation
≡x
.
Comme
≡u
, alors 47 et par conséquent
divisent la différence
.
Donc, il existe un entier relatif v tel que :
u v u v
Donc le couple
est une solution de l'équation (E).
D'après le résultat de la question 1.b, l'entier u est alors de la forme
u
où λ est un entier relatif quelconque.
Or, l'entier u qui appartient à l'ensemble A, est compris entre 1 et 46. Il vient alors :
1 46 1 47 2 46 3 47 48
3 48 1
47 47 47
≤ ≤ ⇔ ≤ × λ − ≤ ⇔ ≤ × λ ≤
u
L'entier relatif λ étant strictement compris entre 0 et 2, il ne peut être qu'égal à 1. Ainsi :
u
Ainsi, dans l'ensemble A, seul 45 peut être solution de l'équation
≡x
.
Mais rien ne dit qu'il le soit !
Seconde phase : 45 est-il une solution de l'équation
≡x
?
23 45 1035 1 22 47 1 modulo 47
× = = + × ≡
Conclusion : L'équation
≡x
a une seule solution dans l'ensemble A : 45.
2. Soient a et b deux entiers relatifs
2.a) Montrer que si
× ≡a b
alors
0 modulo 47 ou 0 modulo 47
≡ ≡a b
Si
× ≡a b
, alors 47 divise la différence
0
.
Là, de deux choses l'une :
Soit 47 divise a et alors naturellement, a est congru à 0 modulo 47.
Soit 47 ne divise pas a.
47 étant un nombre premier, cela implique que le diviseur 47 est premier avec
le facteur a.
Comme 47 divise le produit
et qu'il est premier avec le facteur a,
alors 47 divise nécessairement l'autre facteur b en vertu du théorème de Gauss.
Et comme 47 divise b, alors nous avons naturellement :
≡b
Conclusion : si
× ≡a b
alors
0 modulo 47 ou 0 modulo 47
≡ ≡a b