Vous êtes sur la page 1sur 1

14 I.

Arithmétique

Remarques
1. D(a ; b) = D(a) ∩ D(b).
2. Si a , 0, D(a) est un ensemble borné non vide (1 ∈ D(a) et ∀d ∈ D(a) , |d | É |a|).
3. Si a et b ne sont pas tous nuls, D(a ; b) est de même borné et non vide (1 ∈ D(a ; b) et ∀d ∈
D(a ; b) , |d | É |a| ou |d | É |b|).
T HÉORÈME I.2.9
Soit a, b et q trois entiers
¡ relatifs.
¢
On a : D(a ; b) = D b ; a − bq .

Démonstration Soit c un élément de D(a ; b).


Il existe deux entiers relatifs k et k ′ tels ¡que : a = kc ′
¢ et b = k c.

On a : a − bq = (k − k q)c ; donc¡ : c ∈ D ¢b ; a − bq .
Par conséquent : D(a ; b) ⊂ D ¡ b ; a − bq¢ .
Soit c un élément de D b ; a − bq .
Il existe deux entiers relatifs k et k ′ tels que : b = kc et a − bq = k ′ c.
′ ′
On a : a = a − bq + bq¡ = k c −¢kcq = (k − kq)c ; donc : c ∈ D(a ; b).
Par conséquent : D b ; a − bq ⊂ D(a ; b).
¡ ¢ ¡ ¢ ¡ ¢
On a : D(a ; b) ⊂ D b ; a − bq et D b ; a − bq ⊂ D(a ; b) ; donc : D(a ; b) = D b ; a − bq . ä
M
M
Pour démontrer l’égalité de deux ensembles E et E’, on peut établir leur double inclusion ; c’est-à-dire démontrer que : E ⊂ E′
et E′ ⊂ E.

I.2.4 Exercices résolus


Exercice I.2.1. Résoudre dans N2 l’équation :

x 2 − y 2 = 35 (I.1)

Solution
(I.1) ⇐⇒ (x − y)(x + y) = 35
Soit (x ; y) un couple d’entiers naturels solution de l’équation (I.1) (s’il en existe).
Raisonnons par conditions nécessaires.
D’après l’équivalence ci-dessus, (x − y) et (x + y) sont des diviseurs « conjugués » de 35.
y est positif, donc : x − y É x + y . De plus (x + y) est positif, donc (x − y)(x + y) est du signe de (x − y)
or ce produit est positif, donc (x − y) est positif, c’est-à-dire : y É x .
L’ensemble des diviseurs naturels de 35 est :
© ª
D(35) = 1 ; 5 ; 7 ; 35 .

(x + y) + (x − y) (x + y) − (x − y)
En remarquant que : x = et y = , on en déduit le tableau suivant
2 2
qui donne à la fois toutes les solutions potentielles et leur vérification.

x−y x+y x y x2 − y 2
1 35 18 17 182 − 172 = 324 − 289 = 35
5 7 6 1 62 − 12 = 36 − 1 = 35
© ª
S = (6 ; 1), (18 ; 17)


Lycée Pontus de Tyard 708–709

Vous aimerez peut-être aussi