CORRIGE MATHEMATIQUES FRANCE METROPOLITAINE
SECTION S - Juin 2004
1.
pour tout
et
pour tout
,
on a :
2.a)
En
appliquant la formule de la question 1 avec
on a :
Donc
est un diviseur de
b)
On remarque que
et que
Donc
d'après la propriété précédente appliquée avec
,
,
et
on a :
est divisible par
Donc
est divisible par
Or
comme
est divisible par
il est divible par tout diviseur de
c'est à dire par
et
3.a)
Si
alors
et
avec
et
étant premiers entre eux le théorème de Bézout dit qu'il
existe un couple d'entier naturels
tels que :
Soit
en multipliant par
:
En
posant alors
et
on a :
b)
On a
Or
d'après la question précedente , donc :
Donc
Comme
divise
,
divise aussi
. Donc d'après la question 2.a) :
divise
Comme
divise
,
divise aussi
. Donc d'après la question 2.a) :
divise
Donc
est un diviseur commun de
et
Soit
un diviseur commun de
et
,
divise aussi toute combinaison linéaire de
et
Donc
divise
Donc
d'après le calcul précédent :
divise
Tout
diviseur commun de
et
divise
Donc
c)
Choisissons les entiers
et
tels que
et
Le
choix
et
convient .
On
a alors
Donc
d'après la question 3.b) on a :