Algoritmos de divisin y Euclides

Tema 1-1

Los contenidos de este tema son los siguientes:

La divisin de nmeros enteros. Propiedades.

Definicin de valor absoluto de un nmero entero. Propiedades.
Algoritmo de la Divisin.
El operador mdulo: MOD.
Mximo comn divisor (m.c.d.) de dos enteros.
Algoritmo de Euclides para el clculo del m.c.d.

En este tema se introducen las operaciones bsicas de los nmeros enteros como son la
suma, diferencia, producto y divisin. En particular, se estudiarn las interesantes propiedades
de la divisin. Si a0 y b=a.q diremos que a divide a b, o que b es un mltiplo de a.
Cuando a no divide a b, el Algoritmo de la Divisin nos dice que existen nmeros q y r
(cociente y resto) tales que
b=a.q+r.

Adems, si 0r<a entonces q y r son nicos. Este sencillo resultado que utilizamos
constantemente en la vida cotidiana, servir para establecer importantes conceptos y
resultados. Por ejemplo, a partir del Algoritmo de la Divisin podemos definir el operador
mdulo. En la situacin anterior tendramos que "b mdulo a" es r, es decir "b mdulo a" es el
resto de dividir b por a. la notacin que utilizaremos es b MOD a = r. Es importante
familiarizarse con este operador y sus propiedades, por su relacin directa con el concepto de
congruencia que veremos en el Tema 5.

El mximo comn divisor de dos nmeros a y b es, como su nombre indica, un nmero d0
que divide a a y a b, y es el mayor de los que cumplen esa condicin. De forma que, dado
cualquier otro divisor comn, d', de a y de b, se cumple que d' es un divisor de d. Se denota
por d=m.c.d.(a,b). Uno de los resultados ms importantes de este tema es el Algoritmo de
Euclides, que nos da un procedimiento sistemtico (basado en el Algoritmo de la Divisin),
para el clculo del mximo comn divisor de dos nmeros enteros.