El algoritmo de la división: Números primos

 Divisibilidad, el algoritmo de Euclides:

Dados dos números enteros a y b (con a distinto de 0), se dice que a divide a b, y lo
escribimos como a|b, si existe un c∈Z tal que b= ac.
También se dice que a es un factor o divisor de b, y que b es un múltiplo de a.

 Algunas propiedades derivadas de la definición anterior:

1|a
a|0
a|b y a|c ⇒ a|b+c
a|b y a|c ⇔ a|bx+cy para cualesquiera x, y∈ Z
a|b y b|a ⇒ a = b o bien a = -b

 Teorema de la división:
Sean a∈ Z y b∈ N. Entonces existen q, r∈ Z con 0< r <b tales que a=bq+r.
Además, q y r son únicos.
Esta es la vieja fórmula de la división entera: dividendo a es igual al divisor b multiplicado
por el cociente q, más un resto r.

 Sistemas de Numeración:
Una consecuencia importante del teorema de la división es que nos sirve para justificar el
método habitual en que representamos los números enteros (i.e. mediante un sistema de
representación posicional).
Sea t > 2 un entero al que llamamos la base de cálculo. Para cualquier entero x tenemos,
aplicando el teorema de la división dividiendo repetidamente el entero x por nuestra base t,
x = tq0 + r0
q0 = tq1 + r1
....
qn-2 = tqn-1 + rn-1
qn-1 = tqn + rn
cada resto ri es uno de los enteros 0, 1,,t-1, y se termina la serie cuando qn=0. Si
eliminamos los cocientes qi , se obtiene que
x = rntn + rn-1tn-1 +...+ r1t + r0
Puede así verse como podemos representar o expresar x en la base t, mediante la sucesión
de restos obtenida, y lo escribimos como x = (rnrn-1...r1r0)t
Esta representación del número entero x es además única para la base t
Cuando la base es t=10, decimos que estamos usando notación decimal. A la notación en
base 2 se le llama binaria, a la notación en base 16 se le llama hexadecimal y a la notación
en base 8 se le llama octal. La base 10 es la notación convencional para calcular
habitualmente, y es por eso que en el caso decimal omitiremos el subíndice t al representar
el número.

El Algoritmo de Euclides.
 Máximo Común Divisor:
El algoritmo de Euclides es un método “rápido” de hallar el máximo común divisor de dos
números. El máximo común divisor de dos enteros puede obtenerse escogiendo el mayor de
todos los divisores comunes. Hay un proceso más eficiente que utiliza repetidamente el
algoritmo de la división. Este método se llama algoritmo de Euclides.
El algoritmo de Euclides se describe de la forma siguiente: Dados dos enteros a  y b cuyo
máximo común divisor se desea hallar, y asumiendo que a b > 0, (El método funciona
también si a y b son negativos). Basta trabajar con los valores absolutos de estos números,
debido a que M.C.D (|a|, |b|) =M. C. D (a,b) se siguen los siguientes pasos:
a) Se usa el algoritmo de la división para obtener a = q 1b + r2 con
0 ≤ r1  < b.  Si  r1  = 0, entonces b | a y M.C.D. (a, b) = b.
b) Si r1  ≠ 0 se divide b  por r1 y se producen enteros q2y r2 que
satisfacen b =q2 r1 + r2 con  0 ≤r2 < r1. Si r2  = 0 el proceso termina y M.C.D. (a, b) = r1.
c) Si r2  ≠ 0 se procede a dividir r2 por r1  obteniendo r1  = q3 r2 +  r3    con 0 ≤ r3< r2.
d) Este proceso continúa hasta que algún residuo cero aparece. Esto ocurre porque en la
secuencia b > r1 >  r2  >  ….   ≥ 0 no puede haber más de b enteros. Es decir, el proceso es
finito.
e) En estas circunstancias, el máximo común divisor de a y b no es más que el último
residuo no cero del proceso anterior.
Ejemplo:
Dados dos números positivos, por ejemplo 13566 y 35742.
El primero paso es dividir el número mayor por el menor, es decir: 35742/13566 = 2
(Los decimales no son tomados, únicamente se toman los números enteros),
 entonces tenemos: 35742 = 13566 * 2 + 8610 (Los 8610, es nuestro residuo en esta
operación)

Ahora dividimos el divisor anterior por el resto: 13566/8610 = 1, entonces 13566 =

8610 * 1 + 4956.

Nuevamente dividimos el divisor por el resto: 8610/4956 = 1, entonces 8610 = 4956

* 1 + 3654.

Repetimos el proceso: 4956/3654 = 1, entonces 4956 = 1, entonces 4956 = 3654 * 1

+ 1302

Repitiendo nuevamente: 3654/1302 = 2, entonces 3654 = 1302 * 2 + 1050.

Repitiendo nuevamente: 1302/1050 = 1, entonces 1302 = 1050 * 1 +252.

Repitiendo: 1050/252 = 4, entonces 1050 = 252 * 4 + 42

Repitiendo: 252/42 = 6, entonces 252 = 42 * 6

El proceso de detiene cuando el resto es cero (0), el máximo común divisor es el resto
anterior; eso quiere decir que el máximo común divisor es 42. MCD (13566, 35742) = 42.