Académique Documents
Professionnel Documents
Culture Documents
El Algoritmo de la División
Es momento de iniciar con algunas de las propiedades de divisibilidad de los números
enteros. El siguiente es un teorema fundamental en la construcción de la teoría para este
curso. En lenguaje coloquial este afirma que dado un entero a este puede ser dividido por
un entero positivo b de tal manera que el residuo es más pequeño que b.
Teorema (El algoritmo de la división). Dados enteros a,b con b>0, existen enteros
únicos q,r tales que:
(1)
a=qb+r0≤r<b.
(2)
C={a−xb:x∈Z ∧ a−xb≥0}
(3)
a−(−|a|)b=a+|a|b≥a+|a|≥0.
por lo que a−(−|a|)b∈C y por lo tanto C≠∅. Por el principio del buen orden, C tiene un
primer elemento, digamos r∈C, entonces por definición de C, existe un entero q tal
que r=a−qb. Afirmamos que r<b, en efecto, si suponemos lo contrario, es decir
si r≥b entonces
(4)
a−(q+1)b=(a−qb)−b=r−b≥0
estaría en C, pero este elemento es menor que r lo cuál no es posible por la elección
de r∈C come el primer elemento.
Ahora queremos demostrar que estos enteros son únicos. Supongamos que a tiene dos
representaciones en la forma deseada, es decir supongamos que
(5)
a=qb+r=q′b+r′0≤r,r′<b.
Como corolario tenemos una versión más general del algoritmo de la división, que es
obtenido al quitar la restricción b>0 pero simplemente pidiendo b≠0.
Corolario: Sia,b∈Z con b≠0, entonces existe enteros q,r únicos con la propiedad de
que a=qb+r con 0≤r≤|b|.
(6)
1=0(−7)+1−2=1(−7)+561=(−8)(−7)+5
Algunas consecuencias inmediatas del algoritmo de la división son las siguientes: Cuando el
divisor es b=2 entonces el residuo del algoritmo de la división es o 0 o 1. Decimos que a es
par si el residuo al dividir entre dos es 0, y que a es impar si el residuo es uno. Así todo
número impar es de la forma a=2k+1 y todo número par es de la forma a=2k. Así si tomo
un entero a es de la forma 2ko 2k+1. Si nos fijamos ahora en a2 entonces este es de la
forma (2k)2=4k o bien de la forma (2k+1)=2=4k2+4k+1=4(k2+k)+1 y podemos concluir que
el residuo de número entero al dividirlo entere cuatro es o cero o uno. ¿ Es 2014 un
número cuadrado? al dividir este número entre 4 vemos que deja residuo 2, por lo tanto
2014 no es un cuadrado.
Ejercicio: Demuestra que el cuadrado de un número impar deja residuo 1 al dividirlo entre
8.
Ejercicio: Muestra que todo entero de la forma 6k+5 es también de la forma 3k+2 pero
que el converso no es necesariamente cierto.
Todo
entero
impar es
de la
forma
4k+1 o
4k+3
El
cuadrado
de todo
entero es
de laforma
3k o 3k+1
El cubo de
cualquier
entero es
de la
forma 9k
ó 9k+1 ó
9k +8.
Definición: Sean a,b enteros. Decimos que a divide a b (y lo denotamos por a|b), si existe
un entero c∈Z tal que b=ac. También decimos que b es divisible por (o entre) a. También
decimos que a es un divisor de b o que a es un factor de b o que b es un múltiplo de a.
Escribimos a∤b si a no divide a b.
a|a
a|1 si y
sólo
sí a=±1
a|b→a|−b
a|b,b|d→a
|d
a|b→a|bd
para
todo d∈Z
a|b,c|d→a
c|bd
Si a|b y b
≠0 entonc
es |a|≤|b|
a|b, a|d→
a|(b±d)
Si a|b,a|c
→a|(bx+c
y) para
todos
enteros x,
y
Si a|b y b|
a entonce
s a=±b.
De la definición anterior se sigue que 0|0 pero 0 no divide a ningún otro entero. También
todo entero a|0 y 1,−1 dividen a todo entero.
Corolario: Sea a≠0. a|b si y sólo si el residuo al dividir b entre a es cero, es decir si al
aplicar el algoritmo de la división b=aq+r, r=0.
Definición: Sean a,b∈Z con al menos uno distinto de cero. El máximo común
divisor de a y b denotado por (a,b)=mcd(a,b), es el entero positivo d que satisface:
d|a y d|b
Si c|a y c|
b entonce
s c≤d.