Professional Documents
Culture Documents
Divisibilidad
Recordamos algunas notaciones usuales:
Notamos por N al conjunto de los números naturales (o enteros positivos)
N = {1, 2, 3, . . .}
Y por N0 al conjunto de los números naturales incluyendo al cero (también
llamados enteros no negativos):
N0 = {0, 1, 2, 3, . . .}
Finalmente, notamos por Z al conjunto de los números enteros (positivos,
negativos y cero)
Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}
En el conjunto Z de los números enteros, las operaciones de suma a + b, resta a
− b y producto ab son siempre posibles. En cambio, la división a: b no es
siempre posible.
Por ejemplo, la división 6 : 3 es posible, ya que existe un entero 2 tal que 6=3
× 2. Mientras que la división 7:3 no es posible, ya que no existe
Ningún entero c tal que 7 = 3c.
Esto motiva la siguiente definición:
Definición 1.1 Sean a, b ∈ Z dos enteros, b ƒ= 0, diremos que b divide a a, o
que a es divisible por b, o que a es un m ú l t i p l o de b, o que b es un factor
de a si existe algún entero c ∈ Z (necesariamente único) tal que a = bc. (De modo
que a: b = c). Simbolizamos este hecho mediante la notación: b|a
c = (ae)f = a(ef )
Concluimos que a|c.
Si a|b, entonces (−a) |b, a| (−b) y (−a)| (−b). Vale decir que para las cuestiones
de divisibilidad los números a y −a son completamente equivalentes (podemos
olvidarnos del signo cuando estamos estudiando cuestiones de divisibilidad)
Si b|a siendo a, b ƒ= 0, entonces |b| ≤ |a|.
Prueba: Si b|a, entonces existe un c tal que a = bc. Tomando módulo, tenemos
que:
|a| = |b||c|
Y como |c| ≥ 1 (ya que si c = 0 entonces sería a = 0), concluimos que:
|a| ≥ |b|
Si a|b y b|a (siendo a, b ƒ= 0) entonces a = ±b.
Prueba: Por la propiedad anterior, |a| ≤ |b| y |b| ≤ |a|. En consecuencia, |a| = |b|.
Y concluimos que a = ±b.
En particular, concluimos que si nos restringimos a los enteros positivos, la relación
de orden resulta anti simétrica. Siendo reflexiva, anti simétrica y transitiva,
concluimos que la divisibilidad es una relación de orden (en sentido amplio) en N.
Sin embargo, no es una relación de orden total, ya que existen elementos
incomparables (por ej.: 3 y 5 son incomparables, ya que no es cierto que 3 divida a
5, ni tampoco que 5 divida a 3).
Si a|b y a|c, se tiene que a|b + c y que a|b − c.
b + c = ae + af = a(e + f)
b − c = ae − af = a(e − f)
2) Mcd (a, b, c) = mcd (mcd (a, b), c) = mcd (a, mcd (b, c)),
3) Mcd (a, 0) = mcd (a, a) = |a|,
4) Mcd (a, b) = mcd (−a, b) = mcd (|a|, |b|),
5) Mcd (ca, cb) = |c| mcd (a, b),
Sólo falta pues probar que r < b. Si por el contrario fuera r ≥ b, podemos
considerar rt = r − b ≥ 0. Tenemos que:
rt = a − bq − b = a − (q + 1) b
Concluimos que rt ∈ C. Pero como rt < r, esto contradice el hecho de que r era el
mínimo de C. En consecuencia, deducimos que necesariamente
r < b. Esto concluye la prueba de la parte de existencia.
Ahora hemos de demostrar la unicidad: para ello supongamos que tuviéramos dos
posibles cocientes q y q t, con sus correspondientes restos r y rt. Es decir que,
a = bq + r con 0 ≤ r < b
bq + r = bqt + rt
Y por lo tanto:
b(qt − q) = r – r
En particular vemos que:
b|r − rt
Si rt = 0, tenemos que:
a = (−q)b