25.06.2013 Views

Cours et activités en arithmétique pour les classes ... - Robert Rolland

Cours et activités en arithmétique pour les classes ... - Robert Rolland

Cours et activités en arithmétique pour les classes ... - Robert Rolland

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

16 Chapitre 2<br />

2.3.2 Conséqu<strong>en</strong>ces, théorème de Bezout, applications<br />

Repr<strong>en</strong>ons l’algorithme qui nous a servi à déterminer le pgcd de deux nombres<br />

sur l’exemple précéd<strong>en</strong>t a = 325, b = 145. C<strong>et</strong> algorithme nous conduit aux<br />

calculs<br />

325 = 2 × 145 + 35<br />

<strong>et</strong> le reste 35 s’exprime <strong>en</strong> fonction de 325 <strong>et</strong> de 145<br />

puis<br />

35 = 325 − 2 × 145,<br />

145 = 4 × 35 + 5<br />

<strong>et</strong> le reste 5 s’exprime <strong>en</strong> fonction de 145 <strong>et</strong> de 35 <strong>et</strong> par suite <strong>en</strong> fonction de<br />

325 <strong>et</strong> de 145<br />

5 = 145 − 4 × 35 = 9 × 145 − 4 × 325,<br />

puis<br />

35 = 7 × 5 + 0<br />

<strong>et</strong> l’algorithme s’arrête car le reste est nul. Ainsi pgcd(325, 145) = 5 <strong>et</strong> de<br />

plus on a pu exprimer ce pgcd 5 comme combinaison <strong>en</strong>tière des nombres 325<br />

<strong>et</strong> 145.<br />

on dispose <strong>en</strong> fait du résultat suivant<br />

Théorème 2.3.2 Si pgcd(a, b) = d, il existe deux <strong>en</strong>tiers u <strong>et</strong> v tels que<br />

ua + vb = d.<br />

Preuve : Là <strong>en</strong>core nous supposerons que a ≥ 0 <strong>et</strong> b > 0. Le cas général<br />

s’<strong>en</strong> déduit.<br />

Voici un algorithme (algorithme d’Euclide ét<strong>en</strong>du, adaptation de l’algorithme<br />

précéd<strong>en</strong>t) qui perm<strong>et</strong> de trouver explicitem<strong>en</strong>t un couple (u, v) qui<br />

convi<strong>en</strong>t.<br />

R0 := a; (a ≥ 0)<br />

R1 := b; (b > 0)<br />

U0 := 1;<br />

U1 := 0;<br />

V 0 := 0;<br />

V 1 := 1;

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!