0% encontró este documento útil (0 votos)
63 vistas6 páginas

3-Algoritmo de Divición

Cargado por

Ash Ketchup
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
63 vistas6 páginas

3-Algoritmo de Divición

Cargado por

Ash Ketchup
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Teoremas 8.

(Algoritmo de la División)

Dados números enteros a y b, con b>0, existe enteros únicos q y r tales que:
a=b q + r con 0≤r<b

Los enteros q y r son el cociente y el residuo, respectivamente, en la división de a por


b.

Demostración:

Existencia:

Sea S= {a-x b: x es un número entero y a-x b≥0}, afirmamos que S es un conjunto no


vacío.

En efecto, como b>0, tenemos que b≥1, multiplicando ambos miembros de esta
desigualdad por |a| obtenemos: |a|b ≥|a|.

Por otra parte, obsérvese que: a-(-|a|) b = a + |a|b ≥ a +|a|≥0

Así pues, tomando x como el número entero -|a| , podemos garantizar que a-x b∈S.

Por el Principio del Buen Orden este conjunto tiene elemento mínimo, sea r el
elemento mínimo de S.

Entonces existe un número entero q tal que r=a-q b y r≥0.

A continuación, vamos a demostrar que r<b.

En efecto, si r ≥b, tenemos:

a-(q+1) b = a- q b – b= (a-q b)-b =r-b ≥0

Lo cual implica que a-(q+1) b ∈S, como r es el elemento mínimo de S se tendría que r
≤r-b

Pero esto es imposible.

Así pues r<b.

En conclusión hemos demostrado la existencia de números enteros q y r tales que


a = b q +r con 0 ≤r <b.
Unicidad:

Supongamos ahora que existen enteros q, q’, r, r’ tales que:

a= b q +r = b q’ + r’ con 0 ≤r<b y 0 ≤r’<b

Entonces: r’-r = b (q-q’)

Tomando valor absoluto en ambos miembros de la igualdad, obtenemos:

|r′−r|=|b(q−q′)|

= b |q−q′|

Ahora bien, como -b < -r ≤0 y 0 ≤r’<b tenemos que: -b < r’-r<b ó equivalentemente:

|r′−r|<b

De esto se sigue que b |q−q′|<b lo cual implica que 0≤|q−q′| <1.

En conclusión |q−q′|= 0, es decir, q’ =q y r = r’.

Corolario. Dados números enteros a y b, con b ≠0, existen enteros únicos q y r tales
que: a = b q +r con 0≤r<|𝑏|

Los enteros q y r son el cociente y el residuo, respectivamente, en la división de a por


b.

Demostración: Si b >0 entonces |b|=b y por el teorema anterior la conclusión se


cumple.

Si b<0 claramente |b|=-b >0

Aplicamos el Teorema anterior a los números ‘’a’’ y |b|.

Por el Teorema anterior sabemos que existen números enteros únicos q’ y r tales que:

a=|𝑏|q’ +r con 0≤r<|𝑏|

Sea q =-q’, de la igualdad anterior tenemos que:

a=|𝑏|(-q) + r con 0≤r<|𝑏|

a = (-b) (-q) +r con 0≤r<|𝑏|

a= b q + r con 0≤r<|𝑏|
Definición. Sean b y c números enteros, no ambos cero, decimos que d ∈ Z es máximo
común divisor de b y c si, d satisface las siguientes condiciones:

1) d>0

2) 𝑑|b y 𝑑|c

3) Si existe un número entero f tal que 𝑓|b y 𝑓|c entonces 𝑓|𝑑

Observación. Si d ∈ Z es máximo común divisor de b y c entonces d es único.

Pues si d′∈ Z también es máximo común divisor de b y c.

Aplicando la condición (2) de la definición a d’ tenemos 𝑑′|b y 𝑑′|c.

Aplicando la condición (3) a d resulta que 𝑑′| d.

Ahora invertimos los papeles de d’ y d en el razonamiento anterior para obtener 𝑑| d’

Por otra parte, por la condición (1) tenemos que d>0 y d’ >0.

Así pues, d>0, d’>0, 𝑑| d’ y 𝑑′| d

Luego por el Teorema 4 (8) podemos concluir que d=d’.

Definición. Sean b y c números enteros, no ambos cero, decimos que m ∈ Z es mínimo


común múltiplo de b y c si, m satisface las siguientes condiciones:

1) m>0

2) 𝑏|m y 𝑐|m

3) Si existe un número entero f tal que 𝑏|𝑓 y 𝑐|f entonces 𝑚|f

Observación. Si m ∈ Z es mínimo común múltiplo de b y c entonces m es único.

Notación. Si b y c son números enteros no ambos cero.

1) Denotaremos con el símbolo (b, c) al máximo común divisor de b y c.

2) Denotaremos con el símbolo [b, c] al mínimo común múltiplo de b y c.

Definición. Sean b y c números enteros no ambos cero, decimos que b y c son primos
relativos si (b, c) = 1
Teorema 9. (Identidad de Bézout)

Si b y c son números enteros no ambos cero entonces existen números enteros x y z


tales que: (b, c) = b x + c z.

Demostración:

Sea A = {b s+ c t: bs + c t >0 y s, t ∈Z}

Claramente A ≠∅ (Supongamos que b≠0, si b>0 tenemos b=b∙1+c∙0 ∈ A y si b<0 se


verifica que –b =b∙(-1)+c∙0∈A)

Como A⊆N y A ≠∅ por el Principio del Buen Orden se sigue que A tiene elemento
mínimo, es decir, existe d ∈A tal que d ≤ a, ∀a ∈A.

Observe que d ∈A implica que d>0 y existen x, z ∈Z tales que d=b x + c z

A continuación vamos a demostrar que d = (b, c)

Aplicando el Algoritmo de la División a los números b y d, sabemos que existen


enteros únicos q y r tales que b = d q + r, con 0 ≤r <d.

Despejando a r obtenemos:

r = b – d q = b – (b x + c z)=b – b x –c z = b (1-x)+c (-z)

Si r>0 resulta que r ∈A y r< d, lo cual contradice la minimalidad de d.

De este análisis resulta que r = 0, pero esto implica que 𝑑|b.

Aplicando ahora el Algoritmo de la División a los números c y d y procediendo como


en el caso anterior obtenemos: 𝑑|c.

Supongamos ahora que existe un número entero f tal que 𝑓| b y 𝑓|c .

Por el Teorema 4(6) obtenemos 𝑓|(bx +c z), es decir, 𝑓| d.

En conclusión d = (b, c) = b x + c z
Ejercicios:

8) Sean b y c números enteros, no ambos cero. Demuestre que b y c son primos


relativos si y sólo si existen números enteros x y z tales que b x + c z = 1.

9) Sean b, q, r números enteros con b≠0, demuestre que (b q+ r, b) = (b, r)

10) Sean b, c números enteros no ambos cero, suponga que d = (b, c). Demuestre que:

i) (b k, c k) = |k| (b, c), k ∈Z \ {0}

b c
ii) ( , ) = 1
d d

11) Sean b, c, g números enteros tales que b|g, c|g y (b, c) = 1, demuestre que bc| g.

12) Sean b y c números enteros, no ambos cero, si (b, c) =1, demuestre que:

(b n, c) =1, ∀n∈N

Concluya que (b n, c m) = 1, ∀n, m∈ N.

13) Demuestre que 8| (52 n + 7), ∀n∈N.

14) Sean b y c números enteros no ambos cero, demuestre que (b, c) [b, c] = b c.

15) Si b, c, m son números enteros tales que (b, c) = m y n es un número natural


demuestre que (b n, c n) = mn

Teorema 10. Sean b, c, d números enteros tales que (b, c) =1, b≠0 y b|(cd) entonces
b|d.

Demostración: Por la Identidad de Bézout sabemos que existen números enteros x, z


tales que: 1=bx+cz

Multiplicando ambos miembros de la igualdad por d, obtenemos:

d=bdx+cdz

Por hipótesis b|cd entonces existe t ∈Z tal que: c d = b t

Substituyendo esta expresión en la igualdad anterior, obtenemos:

d = b d x + b t z = b (d x + t z)

Así pues b|d.


Corolario. Si c, d son números enteros y p es un número primo tal que p|cd entonces
p|c o p|d.

Demostración:

Si p es número primo entonces (p, c) = {1p


En caso de que (p, c) = p tenemos que p|c

Finalmente si, (p, c) = 1 como p|cd por el teorema anterior podemos concluir que p|c
o p|d.

Así pues en cualquier caso, la conclusión del teorema se cumple.

Corolario. Sean q1,…, q r y p números primos tales que p| q1 ∙ … ∙ q r entonces p = q i


para algún i=1,2,…, r

Demostración:

Por el corolario anterior sabemos que existe i ∈{1,…, r} tal que p|q i por el Teorema
4(7) sabemos que p ≤ q i.

Si p<q i como q i es primo existirían enteros positivos menores que q i tales que q i es
el producto de éstos enteros positivos, lo cual es imposible.

Así pues p debe ser igual a q i.

También podría gustarte