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 :