Miriam Aldana Quispe 1

Algoritmos y Estructuras de Datos – LAS

Algunos ejercicios resueltos

Ejercicio 1: La suma de dos números es 60 y su máximo común divisor es 12. ¿Cuáles son estos
números?

Resolución: Sean x e y los números buscados

x + y = 60
{ (1)
d = mcd(x, y) = 12

Por ser d = mcd(x, y), existen c y c’ tales que x=dc, y=dc’ y mcd (c, c’) = 1.

60= x + y= d (c + c’)= 12(c + c’) ⇒ c + c’= 60/12 ⇒ c + c’= 5

El sistema (1) se transforma así en:

c + c′ = 5
{
d = mcd(c, c′) = 1

Que tiene dos soluciones:

c=1 c=2
{ y {
c′ = 4 c′ = 3
Por tanto hay dos soluciones posibles al problema planteado:
x = 12 x = 24
{ y {
y = 48 y = 36
Ejercicio 2: El producto de dos números naturales es 1260 y su mínimo común múltiplo es 630.
¿Cuáles son los números?

Resolución:

Llamemos x e y a los números buscados. Según el enunciado tenemos

xy = 1260
{
l = mcm(x, y) = 630

Llamando d al máximo común divisor de x e y, se tiene d= mcd(x, y), existen c y c’ tales que:

x= dc, y= dc’, mcd (c, c’)=1 (1)

Sabemos que

xy = mcd(x, y) mcm(x, y)= d . l

Luego 1260= d. 630, de donde, d=2

Operando en las expresiones de (1) resulta que:

xy = dcdc’ = 𝑑2 cc’, de donde, 1260= 4cc’

Por tanto, las condiciones para c y c’ son:

cc′ = 315
{
mcd(c, c′) = 1

Este sistema tiene cuatro soluciones,

Miriam Aldana Quispe 2
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

1) 𝑐 = 1, 𝑐 ′ = 32 . 5. 7 = 315

2) 𝑐 = 32 , c’ = 5. 7 = 35

3) 𝑐 = 5, 𝑐 ′ = 32 . 7 = 63

4) 𝑐 = 7, 𝑐 ′ = 32 . 5 = 45

Que proporciona las 4 parejas de números que cumplen con las condiciones del enunciado:

1) x = 2, y = 630

2) x = 18, y = 70

3) x = 10, y = 126

4) x = 14, y = 90

Ejercicio 3: Si a y b son enteros tales que mcd(a, b)=1, demostrar que:

a) mdc(a + b, a) = 1
b) mcd( a + b, a – b) = 1 ó 2

Resolución:

a) Primera demostración:
Para demostrar que mcd (a + b, a)= 1 necesitamos probar que:

1. 1 | a + b y 1 | a , lo que es obvio, y
2. Si d | a + b y d | a entonces d | 1

𝑑|𝑎+𝑏
{ ⇒ 𝑑 | (𝑎 + 𝑏) − 𝑎 ⇒ 𝑑 |𝑏
𝑑|𝑎

Es decir d es divisor común de a y b. Y por ser mcd(a, b) = 1, resulta d|1 como queríamos.

Segunda demostración

Mcd(a b) = 1 ⇔ existen r, s enteros tales que ar + bs = 1

Operando adecuadamente en esta igualdad

1 = ar + bs = ar + br – br + bs = (a + b) r + b (r – s)

= ar + as – as + bs = (a + b) s + a(r – s)

Obtenemos que

mcd(a + b, b) = mcd( a + b, a) = 1

b) Sea d un divisor común de a + b y a – b

d|a+b sumando d | 2a
d|a–b restando d | 2b
Miriam Aldana Quispe 3
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

Como mcd(a, b) = 1, a y b no tienen ningún factor común. Luego d|2.

Por tanto, mcd(a +b, a – b)= 1 ó 2.

Ejercicio 4: Demostrar que el cuadrado de cualquier número entero es de la forma 4k ó 4k+1.

Resolución: Sea a un entero cualquiera. Al efectuar la división entera de a por 4, el resto

puede tomar los valores 0, 1, 2 y 3.

a = 4q + r r= 0, 1 ,2 ó 3

si r= 0, entonces 𝑎2 = 4(4𝑞 2 ) = 4𝑘

si r= 1, entonces 𝑎2 = (4𝑞 + 1)2 = 4(4𝑞 2 + 2𝑞) + 1 = 4 𝑘 + 1

si r= 2, entonces 𝑎2 = (4𝑞 + 2)2 = 4(4𝑞 2 + 4𝑞 + 1) = 4𝑘

si r= 3, entonces 𝑎2 = (4𝑞 + 3)2 = 4(4𝑞 2 + 6𝑞 + 2) + 1 = 4𝑘 + 1

En los casos 1 y 3 el cuadrado es de la forma 4k y en los casos 2 y 4 el cuadrado es de la

forma 4k+1.

Ejercicio 5: Probar que si a|c, b|c y mcd(a, b)= 1 entonces ab|c.

Resolución:

Como mcd(a, b)= 1, existen r, s enteros tales que 1= ar + bs, luego c= car + cbs.

Además a|c y b|c luego c = am y c = bn. Sustituimos estos valores en la expresión anterior:

c = bnar + ambs = (ab)nr + (ab)ms

Como ab divide a ambos sumando, también divide a la suma, es decir, ab|c.

Ejercicio 6: Demostrar que si n ≥ 2 y n no es primo, entonces existe un primo p que divide a n

y tal que 𝑝2 ≤ n.

Resolución:

Si n no es primo en su descomposición en factores primos habrá, al menos, dos factores

primos p1 y p2 (que pueden ser iguales). Tendremos asi que:

p1p2≤ n

Llamando p = min(p1, p2), este primo será el requerido por el enunciado pues p|n y

𝑝2 ≤ p1p2 ≤ 𝑛.

Ejercicio 7: Demostrar que si 2𝑛 − 1 es primo, entonces o bien es impar, o bien es n=2.

Resolución:

Supongamos que n es par, distinto de 2 natural y llegaríamos a una contradicción. Así, por
reducción al absurdo, demostramos el resultado.
Miriam Aldana Quispe 4
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

Si n es par, será de la forma n= 2k con k≠ 1 por ser n≠2

2𝑛 − 1 = 22𝑘 − 1 = (2𝑘 − 1)(2𝑘 + 1 )

Y si k≠ 1 ésta es una descomposición en factores primos, distintos de 1, y de 2𝑛 − 1, por lo

que 2𝑛 − 1 no sería primo en contradicción con la hipótesis de partida.

Ejercicio 8: Estudiar si las siguientes afirmaciones son ciertas:

a) ∀𝑚 ∈ Ζ, 2m y 4m+3 son primos entre sí.

b) ∀𝑚 ∈ Ζ, 2m+1 y 3m+ 2 son primos entre sí.

Resolución:

a) No es cierta, pues para m= 3, 2.3 y 4.3+3, es decir, 6 y 15 no son primos entre sí.
b) Para demostrar que 2m+1 y 3m+2 son primos entre sí basta encontrar r, s enteros tales
que (2m+1)r + (3m+2)s = 1.
Tomando r= -3, s= 2, se tiene que (2m+1)(-3) + (3m+2)2 = 1.
Por tanto, mdc(2m+1, 3m+2) = 1 ∀𝑚 ∈ Ζ.

Ejercicio 9: Comprobar que si n es un entero positivo entonces ninguno de los n enteros

consecutivos (n+1)!+2, (n+1)!+3, (n+1)!+4, …, (n+1)!+n+1 es un numero primo.

Resolución:

Los números (n+1)!+k, ∀𝑘 = 2 … 𝑛 + 1 son compuestos por que

(n+1)!+k = (n+1)n(n-1) … (k+1)k(k-1) … 2.1+k =

= k[(n+1)n … (k+1)(k-1) … 2.1 +1]

Es divisible por k.

Ejercicio 10: Demostrar que si p es un numero primo distinto de 2 y de 5 entonces, o bien

𝑝2 − 1, o bien 𝑝2 + 1 es divisible por 10.

Resolución:

La última cifra de un numero primo p, distinto de 2 y de 5, puede ser 1, 3, 7 ó 9. Por tanto la

última cifra de 𝑝2 solo puede ser 1 o 9. En el primer caso 𝑝2 − 1 será múltiplo de 10 y en el
segundo caso será 𝑝2 + 1 múltiplo de 10.

Ejercicio 11: ¿Qué condición tienen que verificar b y K para que la recta de ecuación
87x+by=K no pase por ningún punto de coordenadas enteras.

Resolución:

La recta de ecuación 87x + by = K pasa por el punto de coordenadas enteras (m, n) si 87m +
bn =K, es decir, si el par (m, n) es una solución de la ecuación diofántica 87x + by = K. Esta
ecuación tiene soluciones enteras si y solo si mcd(87, b) es un divisor de K. Por tanto, la
condición que deben verificar b y K para que la recta de ecuación 87x + by = K no pase por
ningún punto de coordenadas enteras es que mcd(87, b) no sea un divisor de K.
Miriam Aldana Quispe 5
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

Ejercicio 12: Si p es primo, demostrar que en Ζ𝑝 los únicos elementos que coinciden con su
inverso son el 1 y -1.

Resolución:

Si p es primo todos los elemento no nulos de Ζ𝑝 admiten inverso. Sea 𝑎 𝜖 Ζ𝑝 un elemento que
coincide con su inverso, es decir, 𝑎𝑎̅ = 1 𝑒𝑛 Ζ𝑝 , o lo que es lo mismo, 𝑎𝑎̅ ≡ 1 (𝑚𝑜𝑑 𝑝).

Así 𝑝|𝑎2 − 1, es decir p|(a+1)(a-1).

Como p es primo debe dividir a uno de los factores, o bien p|(a-1) o bien p|(a+1).

Si p|(a-1) entonces 𝑎 ≡ 1 (𝑚𝑜𝑑 𝑝), osea 𝑎̅ = 1̅ 𝑒𝑛 Ζ𝑝 .

Si p|(a+1) entonces 𝑎 ≡ −1 (𝑚𝑜𝑑 𝑝), osea 𝑎̅ = ̅̅̅̅

−1 𝑒𝑛 Ζ𝑝 .

Ejercicio 13: Hallar los números x e y tales que

𝑚𝑐𝑚(𝑥, 𝑦) = 180
{
𝑥 + 𝑦 = 81
Resolución:

Si d= mcd(x, y) entonces existen c y c’ tales que

x= dc y y= dc’ y mcd ( c, c’)= 1

Además se cumple que

mcd(x, y)mcm(x, y)= xy, es decir, 180d= xy

Operando resulta:

180d= xy =dcdc’ = 𝑑2 cc’ ⇒ 180 = dcc’ (1)

81 = x + y = dc + dc’ ⇒ 81 = d(c + c’) (2)

De (1) y (2) resulta:

180 𝑑𝑐𝑐′ 20 𝑐𝑐′
= ′
⇒ =
81 𝑑(𝑐 + 𝑐 ) 9 𝑐 + 𝑐′

Y como c y c’ son primos entre si, de la expresión anterior se deduce que

c= 4 y c’= 5

Volviendo a (2) 81= 9d ⇒d=9

Y los números buscados son x= 36, y=45.

Ejercicio 14: Averiguar cuántos números menores que mil son divisibles a la vez por 36 y 15 y
cuales son.

Resolución:

Busquemos, en primer lugar, el mcm(36, 15)

Miriam Aldana Quispe 6
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

15 = 3.5
} ⇒ 𝑚𝑐𝑚(15, 36) = 22 . 32 . 5 = 180
36 = 2.2.3.3
Entonces, el primer numero divisible por 15 y 36 será 180 y los sucesivos múltiplos de 180
menor que mil, son:

180

180.2= 360

180.3= 540

180.4= 720

180.5= 900

En total son cinco números.

Ejercicio 15: Probar que para todo valor m natural, la expresión 𝑚2 − 𝑚 es un número
compuesto.

Resolución:

En efecto, es 𝑚2 − 𝑚 = 𝑚(𝑚 − 1), es decir, la expresión es el producto de dos números

consecutivos o, lo que es igual, es un numero par y, por lo tanto, se cumple que 2 | (𝑚2 − 𝑚).

Al ser divisible por 2, 𝑚2 − 𝑚 es un número compuesto.

𝑎𝑏
Ejercicio 16: Si a y b son números enteros no nulos y llamamos 𝑚 = 𝑚𝑐𝑑(𝑎,𝑏), probar que m es el
mínimo común múltiplo de a y b.

Resolución:

Debemos probar que

a) m es el múltiplo común de a y b, a|m y b|m.

b) m es el menor de los múltiplos comunes, es decir, si h es un número entero tal que a|h y
b|h entonces m|h.

Sea d=mcd(a, b), como d es divisor de a y de b será a= a’d, b= b’d con mcd=(a’, b’)= 1.

Sustituimos estos valores en la definición de m

𝑎𝑏 𝑎𝑏 𝑎′𝑑𝑏′𝑑
𝑚 = 𝑚𝑐𝑑(𝑎,𝑏) = = = 𝑎′𝑏′𝑑 Luego m=ab’=a’b
𝑑 𝑑

Y por tanto a|m y b|m.

Ahora probemos la segunda parte:

𝑎|ℎ ℎ = 𝑎𝑠 = 𝑎′ 𝑑𝑠
Sea h tal que }⇒ } ⇒ 𝑎′ 𝑑𝑠 = 𝑏 ′ 𝑑𝑡 ⇒ 𝑎′ 𝑠 = 𝑏′𝑡
𝑏|ℎ ℎ = 𝑏𝑡 = 𝑏′𝑑𝑡
Miriam Aldana Quispe 7
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

Así tenemos que a’|b’t. Además recordemos que mcd(a’, b’)= 1, por lo que a’|t, es decir, t= a’r.
Sustituyendo este valor de t resulta:

h= bt= ba’r= mr, entonces m|h.

Ejercicio 17: Demostrar que si 5 no es un divisor de n, entonces 5 si es un divisor de 𝑛8 − 1.

Resolución:

Una descomposición en factores primos del polinomio 𝑛8 − 1 es:

𝑛8 − 1 = (𝑛4 − 1)(𝑛4 + 1) = (𝑛2 − 1)(𝑛2 − 1)( 𝑛2 + 1)( 𝑛4 + 1) = (𝑛 − 1)(𝑛 + 1)(𝑛2 + 1)(𝑛4 + 1)

Si n no es múltiplo de 5, entonces n es de la forma n= 5q + r, donde r puede tomar los valores

1, 2, 3 y 4. Analicemos por separado cada caso.

Si r= 1, entonces n= 5q + 1 y el factor (n – 1) es múltiplo de 5.

Si r= 2, entonces n= 5q + 2, 𝑛2 = 5(5𝑞 2 + 4𝑞) + 4 luego 𝑛2 + 1 si es múltiplo de 5.

Si r= 3, entonces n= 5q + 3, 𝑛2 = 5(5𝑞 2 + 6𝑞) + 9 luego 𝑛2 + 1 si es múltiplo de 5.

Si r= 4, entonces n= 5q + 4 y el factor n + 1 es múltiplo de 5.

Por tanto, 𝑛8 − 1 es siempre múltiplo de 5.

Ejercicio 18: Demostrar que todo numero primo p > 3 se puede escribir de la forma

a) p= 4n+1 ó p= 4n+3 para algún n natural.

b) p= 6n+1 ó p= 6n+5 para algún n natural.

Resolución:

a) Si p es primo consideremos la división entera de p por 4:

p= 4q + r, con r= 0, 1, 2 y 3

Pero si r= 0, entonces p= 4q y no sería primo.

Y si r= 2, entonces p= 4q + 2= 2(4q + 1) y p no sería primo.

Por tanto, sólo quedan dos restos posibles, r= 1 y r= 3.

b) Ahora dividimos el primo p por 6

P= 6q + r, con r= 0, 1, 2, 3, 4, 5

Los valores posibles para el resto son 0, 1, 2 , 3, 4 y 5. Pero al ser p primo el resto r no puede
tomar valores 0, 2, 3 ó 4. Por tanto, o bien p= 6q + 1, o bien p= 6q + 5.

Ejercicio 19: Si a es un numero entero, que no es múltiplo de 2 ni de 3, demostrar que

24|(𝑎2 − 1)

Resolución:

Efectuamos la división entera de a por 12.

Miriam Aldana Quispe 8
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

a= 12q + r, 0 ≤ 𝑟 < 12

Como a no es múltiplo de 2, el resto r no puede tomar los valores 0, 2, 4, 6, 8 y 10. Como a no

es múltiplo de 3, el resto r no puede tomar los valores 3, 6 y 9. Así pues, los únicos restos
posibles son 1, 5, 7 u 11. Analizamos cada caso por separado:

Si a= 12q + 1, entonces:
𝑎2 = (12𝑞 + 1)2 = 144𝑞 2 + 24𝑞 + 1

Luego 𝑎2 − 1 = 24(6𝑞 2 + 𝑞) es múltiplo de 24.

Si a= 12q + 5, entonces:
𝑎2 = (12𝑞 + 5)2 = 144𝑞 2 + 120𝑞 + 25

Luego 𝑎2 − 1 = 24(6𝑞 2 + 5𝑞 + 1) es múltiplo de 24.

Si a= 12q + 7, entonces:
𝑎2 = (12𝑞 + 7)2 = 144𝑞 2 + 168𝑞 + 49

Luego 𝑎2 − 1 = 24(6𝑞 2 + 7𝑞 + 2) es múltiplo de 24.

Si a= 12q + 11, entonces:

𝑎2 = (12𝑞 + 11)2 = 144𝑞 2 + 264𝑞 + 121

Luego 𝑎2 − 1 = 24(6𝑞 2 + 11𝑞 + 5) es múltiplo de 24.

Ejercicio 20: ¿Existen algún múltiplo de 28 cuya dos últimas cifras sea 16? En caso
afirmativo, hallar todos los múltiplos que cumplen con esa condición.

Resolución:

Todos los múltiplos de 28 son de la forma 28x, x∈ ℤ. que las dos ultimas cifras sean 16
significa que al dividir por 100 el resto es 16. Es decir, si llamamos 𝒴 al cociente será:

28x = 100 𝒴 + 16

Debemos resolver esta ecuación diofantica, que tiene soluciones enteras pues mcd(28, 100)=4
y 4|16.

Simplificando la ecuación resulta 7x – 25y = 4 (1)

Como mcd(7, 25)=1, la ecuación 7x – 25y = 1 tiene soluciones enteras. Una de ellas es x= -7, y=
-2. Asi una solución particular de la ecuación (1) es:
𝑥𝑝 = −28; 𝑦𝑝 = −8

Y todas las soluciones de (1) son de la forma

X = −28 + 25t X = −3 + 25k
{ ∀𝑡 ∈ ℤ, o bien, { ∀𝑘 ∈ ℤ
Y = −8 + 7t Y = −1 + 7t
Los valores de x que interesan para el problema son los positivos
Miriam Aldana Quispe 9
Algoritmos y Estructuras de Datos – LAS
Algunos ejercicios resueltos

X= 22, 47, 72,…

Los múltiplos de 28 que cumplen la condición son, por tanto, los de la forma:

28)22 + 25n)= 616 + 700n, ∀𝑛 = 0, 1, 2, …

Ejercicio 21: Probar que la condición necesaria y suficiente para que dos números a y b sean
congruentes respecto del módulo m, es que su diferencia sea múltiplo de m, es decir, m|(a – b)

Resolución:

a) La condición es necesaria.
Si 𝑎 ≡ 𝑏 (𝑚𝑜𝑑 𝑚) se deduce que
𝑎 = 𝑚̇ + 𝑟
} ⇒ 𝑎 − 𝑏 = 𝑚̇ − 𝑚̇ = , 𝑠𝑖 𝑎 > 𝑏
𝑏 = 𝑚̇ + 𝑟
Es decir, m|(a – b)
b) La condición es suficiente.
Si existe la relación 𝑎 − 𝑏 = 𝑚̇, también existe la 𝑎 = 𝑏 + 𝑚̇ y si es 𝑏 = 𝑚̇ + 𝑟, resultará
𝑎 = 𝑏 + 𝑚̇ = 𝑚̇ + 𝑟 + 𝑚̇ = 𝑚̇ + 𝑟
Lo que indica que también es r el resto de a respecto del módulo m.

Ejercicio 22: Probar que 3|(𝑛3 − 𝑛) para todo n, haciendo uso de congruencias.

Resolución:

Basta con probar que (𝑛3 − 𝑛) ≡ 0 (𝑚𝑜𝑑 3), para todo n, es decir que 𝑛3 ≡ 𝑛 (𝑚𝑜𝑑 3). Ahora
bien; cualquier número n es congruente con 0, 1 ó 2 respecto el módulo 3. En consecuencia,
únicamente habrá que verificar que el enunciado se cumple para los tres números 0, 1 y 2:
03 ≡ 0 (𝑚𝑜𝑑 3), 13 ≡ 1 (𝑚𝑜𝑑 3) , 23 = 8 ≡ 2 (𝑚𝑜𝑑 3)

En consecuencia, se cumple que 3|(𝑛3 − 𝑛) para todo n.

Ejercicio 23: Encontrar todos los números enteros n tales que n+1 es múltiplo de 3, n+3 es
múltiplo de 4 y n+5 es múltiplo de 7.

Resolución:

Expresando los datos del enunciado en forma de congruencias,

𝑛 + 1 ≡ 0 (𝑚𝑜𝑑 3) 𝑛 ≡ −1 (𝑚𝑜𝑑 3) 𝑛 ≡ 2 (𝑚𝑜𝑑 3)
{𝑛 + 3 ≡ 0 (𝑚𝑜𝑑 4) ⇒ {𝑛 ≡ −3 (𝑚𝑜𝑑 4) ⇒ {𝑛 ≡ 1 (𝑚𝑜𝑑 4)
𝑛 + 5 ≡ 0 (𝑚𝑜𝑑 7) 𝑛 ≡ −3 (𝑚𝑜𝑑 7) 𝑛 ≡ 2 (𝑚𝑜𝑑 7)

Luego, resolvemos el sistema de congruencias que por teorema chino del resto el sistema
tiene solución única en módulo 3.4.7

Resolviendo, los números enteros buscados son de la forma 84k + 65, para todo k.