Unidad 2.

Conjuntos de números

Actividad 4. Divisibilidad y congruencia

Alumno: Flores Mena Jorge Luis

Matrícula: ES1922000416
Grupo: MT-MIAS-1901-B2-002
Asignatura: Introducción al Álgebra Superior
Docente: Silvia Flor de Azalia Monroy Salazar
Carrera: Lic. Matemáticas
Fecha: 30 de Abril de 2020.
Introducción al Álgebra Superior

Instrucciones: Realiza lo que se te pide en cada caso:

1. Demostrar mediante congruencias que 32 n+ 5+2 4 n+1 es divisible por 7

cualquiera que sea el entero n≥1.

Para este ejercisio vamos a utilizar congruencias que no son mas que una relación de
equivalencia puesto que verifica las propiedades reflexiva, simétrica y transitiva. Esto nos
permite agrupar a los enteros en familias disjuntas de manera que dos números son congruentes
módulo (m) si y sólo si están en la misma. Estas familias se denominan clases residuales
módulo (m), y se designa por Z mal conjunto formado por ellas, vamos a utilizar las siguientes
propiedades La relación de congruencia módulo n cumple las siguientes propiedades:

a). a ≡ a (m) para todo entero a. Reflexiva

b). Sí a ≡ b (m) , entonces, b ≡ a (m) para todo par de enteros a y b. Simetría
c). Sí a ≡ b (m) y b ≡ c (m) , entonces a ≡ c (m) para enteros a, b y c. Transitividad

Entonces vamos a utilizar esas propiedades para determinar si la expresión es divisible por 7 y
cualquiera que sea el entero n≥1.
Podemos primero que nada aplicar una ley de los exponentes para separarlos en factores para el
mismo coeficiente asi:

32 n+ 5+2 4 n+1=3 2 n∗35 +24 n∗21=

Ahora podemos resolver las potencias para que nos sea mas facil aplicar el módulo asi:
32 n∗35+ 24 n∗21=9n∗243+16n∗2=
Ahora si podemos aplicar una de las propiedades de la congruencia en este caso sera la de
transitividad asi, aclarando que n = 1

a ≡ b (m) y b ≡ c (m) , entonces a ≡ c (m)

Esto se lee asi a es congruente con c en el módulo n y relaciona c como el residuo de la
división.

9 n=9 ≡2(mod 7)
243=243≡ 5(mod 7 )
16n =16 ≡2(mod 7 )
2=2≡ 2(mod 7)

Nuestro factores serian:

2n∗5+2n∗2=
Podemos verificar esta relación con esta definición Si m divide a la diferencia a - b; es
decir, si m|(a - b), probemos:

9 n=9 ≡2(mod 7) Será 9−2=7(mod 7) Esto se cumple ya que 7 es múltiplo de 7.

Entonces continuamos y podemos resolver asi:

1
Introducción al Álgebra Superior

2n∗5+2n∗2 = 10n + 4n =14n = 7n∗2=0

De esta manera demostramos con las propiedades de congruencia que

32 n+ 5+2 4 n+1 es divisible por 7 es decir, que 7 divide a 32 n+ 5+2 4 n+1, porque si nos
damos cuenta 14 ≡0(mod 7) puesto que 0 es múltiplo de 7.

2. Sean a, b y c tres enteros positivos tales que a | b. Si al dividir c entre a

obtenemos un resto r y al dividir c entre b un resto s, ¿qué resto se obtiene
de la división de s entre a?

a. Realiza la demostración considerando el algoritmo de divisibilidad y no por

congruencias.
Entonces el algoritmo de divisibilidad nos dice que : Dados enteros a, b con b 0 existen enteros q
y r tales que a = b q + r   y   0 r |b|
Al número a se le llama dividendo.
Al número b se le llama divisor.
Al número q se le llama cociente.
Al número r se le llama residuo.
En el caso particular que a y b sean enteros positivos, se trata de hallar el número de veces que el
dividendo contiene al divisor. Este número se llama cociente, y lo que queda se llama residuo.

Con esa definicion vamos a comenzar a trabajar si nos dice que Sean a, b y c tres enteros positivos
tales que a | b, es decir que a divide a, b , entonces podemos deducir que c es un número que no se
incluye en a | b, entonces si se nos pide Si al dividir c entre a obtenemos un resto r y al dividir c
entre b un resto s, esto lo podemos enunciar asi:

Para c | a :
c = a*q + r sabiendo que q є ℤ y que 0 ≤ r ≤ a
Para c | b :
c = b*q + s sabiendo que q є ℤ y que 0 ≤ s ≤ a

Entonces si sabemos que c es el mismo para culquiera de las dos divisiones podemos igualar ambas
expresiones para encontrarlo asi:

a*q + r= b*q + s

Ademas de eso podemos juntar términos que representan lo mismo en nuestra expresión como
cocientes y residuos asi:
a*q - b*q = s-r

Ahora solo nos bastara dejar nuestra expresión en términos del algoritmo de divisibilidad
para s | a es decir : s | a = a*q s +t

2
Introducción al Álgebra Superior

a*q a - b*q b = s-r

Aquí podemos decir que como b є ℤ si quisieramos saber el valor de b podriamos enunciarlo en
factores comunes asi b = a(d) por ejemplo: si b = 12 y a = 6 entonces b=a(d) es 12 = 6(2),
asi que con este planteamiento podemos pasar a terminos comunes nuestra expresión asi:

a*q a - b*q b = s - r
a*q a – (a*d)q b = s - r
a(q a- d ¿ q b ¿ = s – r
Ahora podemos decir que el término (q a- d ¿ q b ¿ podemos sustituirlo por una q ya que es lo mismo
que representa el cociente de s | a, entonces q = ¿- d ¿ q b ¿
a*q = s – r
a*q + r = s
s = a*q + r

Y asi llegamos a esta expresión s = a*q + r ,con lo cuál podemos observar que esta en los términos
del algoritmo de divisibilidad para s | a y con esto terminamos de demostrar que el residuo que se
obtiene de s | a es igual al residuo r que se obtiene de c | a.

b. Realiza la demostración considerando la congruencia y no del algoritmo de

divisibilidad.
Bien entonces para esta demostración ocuparemos las propiedades de la congruencia comenzando
con la de transitividad:
Sí a ≡ b (m) y b ≡ c (m) , entonces a ≡ c (m) para enteros a, b y c. Transitividad
Entonces tenemos números dados como a,b y c y un residuo r y otro s, asi que aplicamos la
propiedad pues sabemos bien que cumplen la relación a – b = (m)
c ≡ r (mod a) Esto se lee c es congruente con r en el modúlo a
c ≡ s(mod b) Esto se lee c es congruente con s en el modúlo b
Ahora podemos igualarlar pues se trata del mismo número c
r (mod a) ≡ s(mod b)

Entonces nosotros sabemos que c siendo un número esta dado, por la congruencia con su residuo
con el modulo de su divisor ademas de que debe de haber un valor t є ℤ , entonces podemos
enunciar el que tiene residuo s , ya que es el que debemos demostrar y quedaria asi :

r (mod a) ≡ s+bt

Ya en este punto nos queda una expresion donde debemos de encontrar una congruencia para b que
cumpla con el modúlo de un número a cualesquiera ya que recordamos que nuestro modulo viene

3
Introducción al Álgebra Superior

de a | b , asi que podemos generalizar con un número que sea múltiplo de todos pues no le estamos
dando un valor especifico a b ó a a, es decir que
b ≡ 0(mod a) = 0

Entonces:
r ( mod a) ≡ s+ ( 0 ) t
r ( mod a) ≡ s+0
r (mod a) ≡ s

Es decir que el residuo s es congruente con el residuo r en el modúlo a s ≡r (mod a) En otras

palabras al dividir el residuo r entre el modúlo de a nos va a resultar el residuo r que es el mismo de
c | a.
Ademas no olvidemos que como se trata de un residuo sera 0 < r < a

Bibliografía

Unadm. Unidad 2. Conjuntos de números

Cárdenas, H., Lluís, E., Raggi, F., Tomás, F., Álgebra Superior. México: Ed. Trillas, 1974.
Recuperado de: http://elfers-zieq.hoda.stalix.pw/ZXiHde11y7ux4/