Spé math

[Eziell]

Hmm j'ai un petit problème, je suis un peu bloqué à la démonstration du théorème de Bézout en ROC, completement oublié et je n'ai pas trop pris le cours, si je me rappele bien on la déduisait de l'écriture générale du l'algorithme D'Euclide :

a = bq+r1
b = r1q1+ r2
r1=r2q2+ r3
r2= r3q2 + r4
.
.
r(q)=r(q+1)q(q)+r(q+2)

Et ensuite ? En admettant que r(q+2) = 0

Je me souviens plus s'il fallait le remonter comme tel :

r(q+1) = r(q-1) - r(q)q(q)
r(q) = r(q-2) - r(q-1)q(-1)

Donc r(q+1) = r(q-1) - [(r(q-2) - r(q-1)(q-1))q(q)]

[Eziell]

A l'aide ! ^^