A DEMONSTRAO DO ALGORIMO DE EUCLIDES PARA

DETERMINAO DO MXIMO DIVISOR COMUM ENTRE DOIS

NMEROS.

Por Alzir Fourny Marinhos

DEMONSTRAO QUE EST NOS ELEMENTOS DE EUCLIDES- 300 aC.
Teorema
Seja a = bq + r.
mdc (a,b) = mdc (b,r)
Demonstrao:
Supor mdc (a,b) = d
Ento d divide a e d divide b.
Se a = bq + r, ento, como d divide a temos que d divide bq + r.
Da: se d divide b e divide bq + r, ento d divide r.
d divisor comum de b e r .
Temos que verificar se o maior, se o mdc.
Supor que exista um divisor comum c de b e r.
Ento c divide b e r.
Ento c divide bq + r.
Ento c divide a, pois a = bq + r.
Ento c divide a e b.
Mas c < d, pois existe um divisor d de a e b, que o maior, na hiptese.
Logo o mdc(b,r) d.
Logo mdc(a,b) = mdc(b,r) = d.
Demonstrao do Algoritmo de Euclides:
Q1

Q2

Q3

....

Qn

R1

R2

....

R1

R2

R3

...

....

Qn+1
n -1

Rn

mdc (a,b) = mdc (b, R1) = mdc (R1, R2) = . . . = mdc (Rn 1, Rn) = mdc( Rn, 0) = Rn .