Vous êtes sur la page 1sur 2

UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE S2 MATHMATIQUES THORME DE BZOUT

Premier Thorme de Bzout : Soient , tels que . Dmonstration: Si , alors d'Euclide, et l'on obtient : , , , , , 0< <b < < < 0

. Si

, alors il existe

. Sinon, on applique l'algorithme

On montre que pour tout , , il existe tels que si sont les restes non-nuls obtenus au cours de la procdure (

. En effet, = ), on a :

, et , o . et ont dj t mis sous la forme . Alors, . Disons que

Dfinition : L'expression obtenue en appliquant l'algorithme d'Euclide sera appele la relation de Bzout. On dit que est une combinaison linaire de et coefficients entiers. Ces coefficients et seront appels les coefficients de Bzout de et . Second Thorme de Bzout (souvent appel Thorme de Bzout ) : Soient des entiers naturels premiers entre eux. Alors, il existe des entiers , tels que . Dmonstration : On applique le Premier Thorme de Bzout dans le cas o . Dans ce cas (o coefficients de Bzout . et sont des entiers premiers entre eux) et sont appels les

Quelques corollaires importants des thormes de Bzout : Corollaire 1. Soient , et . Alors pour tout .

(les diviseurs communs de )

et

sont exactement les diviseurs de

, ou encore

: (Sans les thormes de Bzout) Si , puisque et , on a, par transitivit de la divisibilit, et . Donc . : D'aprs le Premier Thorme de Bzout, il existe tels que . Si est un diviseur commun de et , il divise aussi , , et , donc . Corollaire 2. Soient des entiers naturels tels que et . Alors

(en divisant deux nombres par leur , on obtient des nombres premiers entre eux ; et si, en divisant deux nombres et par un autre , on obtient des nombres premiers entre eux, alors est le de et ) : (Sans les thormes de Bzout) Soit . Il existe donc tels que et = . Par consquent, et . Si > 1, est un diviseur commun de et suprieur , ce qui est impossible. Par consquent, =1. : Si , d'aprs le Thorme de Bzout il existe . En multipliant chaque membre de cette galit par , et donc . Ainsi, si est un diviseur de , donc . tels que , on obtient et , divise