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
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;