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.
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.
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 + r0cada 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 queq0 = tq1 + r1
....
qn-2 = tqn-1 + rn-1
qn-1 = tqn + rn
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.
Por tanto 220 = (11011100)2220 = 2.110 + 0
110 = 2.55 + 0
55 = 2.27 + 1
27 = 2.13 + 1
13 = 2.6 + 1
6 = 2.3 + 0
3 = 2.1 + 1
1 = 2.0 + 1
![]() |
Dados dos enteros a y b distintos de 0, decimos que el entero d>1 es un máximo común divisor, o mcd, de a y b si
d|a, d|b y para cualquier otro c ∈ Z tal que c|a y c|b, entonces c|d
Es decir, d es un entero positivo, divisor común de a y b, y cualquier otro divisor común es también un divisor de d.
Con estas condiciones, el máximo común divisor es único. Se denota por d= mcd(a,b)
Esta proposición nos indica que es igual de válido calcular el mcd(a,b) que el mcd(b,r), con la ventaja de que r es un entero de menor tamaño que el original a. Esto es aprovechado por el algoritmo de Euclides para el cálculo del máximo común divisor de dos números enteros.
a = bq1 + r1 (0<r1<b)
b = r1q2 + r2 (0<r2<r1)
r1 = r2q3 + r3 (0<r3<r2)
....
rk-3 = rk-2qk-1 + rk-1 (0<rk-1<rk-2)
rk-2 = rk-1qk (rk=0)
Y de la proposición anterior, se sigue que:
mcd(a,b) = mcd(b,r1) = mcd(r1,r2) = ... = mcd(rk-2,rk-1) = rk-1
Además se puede demostrar que el número de pasos necesarios para calcular el mcd de dos números es menor que 5 veces el número de dígitos del menor de ellos.
A continuación, figura una posible implementación en pseudocódigo del algoritmo de Euclides:
Sean a,b enteros no nulos, y sea d = mcd(a,b). Entonces d es el menor entero positivo (no nulo) que puede expresarse en la forma ax + by con x,y∈ Z
![]() |
para todo valor t entero, en donde (x1, y1) es una solución particular cualquiera de la ecuación ax + by = c (que puede obtenerse, por ejemplo, a partir del algoritmo de Euclides).
x = x1 + (tb / d) y = y1 - (ta / d)
![]() |
![]() |
![]() |
Anterior | Arriba | Siguiente |
| |
| |
| |
| |
| |
|