Lógica y Matemática Computacional Lic.

Sistemas de Información

Trabajo Práctico N◦ 5
A - Teorı́a de Números

1. Encontrar el cociente y el resto de la división entera entre los siguientes números enteros:
a) a = 425; b = 37
q = 11, r = 18
b) a = 186; b = −14
q = −13, r = 4
c) a = −214; b = −3
q = 72, r = 2
d) a = −317; b = 21
q = −16, r = 9

2. a) Hallar todos los a ∈ Z, a 6= 1, tales que a − 1|a2 + 5.

a − 1|a − 1 ⇒ a − 1|(a + 1)(a − 1) ⇒ a − 1|a2 − 1
a − 1|a2 + 5 ∧ a − 1|a2 − 1 ⇒ a − 1|(a2 + 5) − (a2 − 1) ⇒ a − 1|6
a ∈ {−5, −2, −1, 0, 2, 3, 4, 7}

b) Demostrar que si un número entero es a la vez cuadrado y cubo puede escribirse de la forma 7k o
7k+1, k ∈ Z.
Cualquier número n puede escribirse de la forma n = 7q + r, 0 6 r < 7.
Si nuestro número a es cuadrado y cubo tenemos:
a = x2 = y 3
Como x es de la forma x = 7q + r tenemos:
(7q + r)2 = 49q 2 + 14qr + r2 = 7(7q 2 + 2qr) + r2
Haciendo r = 0, 1, .., 6 tenemos:
r = 0 ⇒ r2 = 0
r = 1 ⇒ r2 = 1
r = 2 ⇒ r2 = 4
r = 3 ⇒ r2 = 9 = 7.1 + 2
r = 4 ⇒ r2 = 16 = 7.2 + 2
r = 5 ⇒ r2 = 25 = 7.3 + 4
r = 6 ⇒ r2 = 36 = 7.5 + 1
Luego (7q + r)2 es de la forma:
7k, 7k + 1, 7k + 4, 7k + 2, 7k + 2, 7k + 4, 7k + 1
Repetimos el mismo razonamiento para y, es de la forma y = 7q 0 + r0
(7q 0 + r0 )3 = (7q 0 )3 + 3(7q 0 )2 .r + 3.7q 0 .r02 + r03 = 7k 0 + r3
Haciendo r = 0, 1, .., 6 tenemos:
r = 0 ⇒ r3 = 0
r = 1 ⇒ r3 = 1
r = 2 ⇒ r3 = 8 = 7.1 + 1
r = 3 ⇒ r3 = 27 = 7.3 + 6
r = 4 ⇒ r3 = 64 = 7.9 + 1
r = 5 ⇒ r3 = 125 = 7.17 + 6
r = 6 ⇒ r3 = 216 = 7.30 + 6
Luego (7q 0 + r0 )3 es de la forma:
7k, 7k + 1, 7k + 1, 7k + 6, 7k + 1, 7k + 6, 7k + 6
Para finalizar x2 = y 3 coinciden solo si:
r = r0 = 0 o r = r0 = 1
a es de la forma 7k o 7k + 1

c) Hallar todos los a, b ∈ Z : a − b = 2 y el cociente de dividir cada uno de ellos por 5 es 42.
a = 5.42 + r

1
Lógica y Matemática Computacional Lic. Sistemas de Información

b = 5.42 + r0
a − b = (210 + r) − (210 + r0 ) = r − r0 = 2
r = r0 + 2 ⇒ r0 = 0, r = 2 o r0 = 1, r0 = 3 o r0 = 2, r = 4
a y b pueden ser, 212 y 210, 213 y 211, 214 y 212.

3. Demostrar por inducción que para todo n ∈ N :

a) 3|4n − 1
Si n = 1 ⇒ 3|3
Si n = h ⇒ 3|4h − 1 Hipótesis inductiva.
Como 3|3 ∧ 3|4, (4h − 1) usando la hipótesis
3|4(4h − 1) + 3 ⇒ 3|4h .4 − 4 + 3 ⇒ 3|4h+1 − 1

b) 7|32n+1 + 2n+2
Si n = 1 ⇒ 7|33 + 23 = 35
Si n = h ⇒ 7|32h+1 + 2h+2 Hipótesis inductiva.
7|[32h+1 + 2h+2 ] ∧ 7|7
7|[32 (32h+1 + 2h+2 ) − (32 − 2).2h+2 ]
7|[32 .32h+1 + 32 .2h+2 − 32 .2h+2 + 2.2h+2 ]
7|[32 .32h+1 + 2.2h+2 ]
7|[32h+1+2 + 2h+2+1 ]
7|[32(h+1)+1 + 2(h+1)+2 ]

c) ∀ a ∈ Z, a 6= 1, a − 1|an − 1
Si n = 1 ⇒ a − 1|a − 1
Si n = h ⇒ a − 1|ah − 1 Hipótesis inductiva.
a − 1|ah − 1 ∧ a − 1|a − 1 ⇒
a − 1|a(ah − 1) + (a − 1)
a − 1|ah .a − a + a − 1
a − 1|ah .a − 1
a − 1|ah+1 − 1

d) ∀ a, b ∈ Z, (a.b)n = an .bn Si n = 1 ⇒ (a.b)1 = a1 .b1

Si n = h ⇒ (a.b)h = ah .bh Hipótesis inductiva.
(a.b)h = ah .bh
(a.b)h .(a.b)1 = ah .bh .(a.b)1
(a.b)h .(a.b)1 = ah .bh .a1 .b1
(a.b)h+1 = ah .a1 .bh .b1
(a.b)h+1 = ah+1 .bh+1

4. Teniendo en cuenta que abcd es un número de cuatro cifras demostrar que:

a) 9|abcd si y solo sı́, 9|(a + b + c + d)
abcd = 1000a + 100b + 10c + d
abcd = (999 + 1)a + (99 + 1)b + (9 + 1)c + d
abcd = 999a + 99b + 9c + (a + b + c + d)
abcd = 9(111a + 11b + c) + (a + b + c + d)
9|abcd ⇔ 9|[9(111a + 11b + c) + (a + b + c + d)] ⇔ 9|(a + b + c + d)

b) 4|abcd si y solo si, la mitad de cd es par.

abcd = 1000a + 100b + cd
abcd = 4(250a + 25b) + cd
4|abcd ⇔ 4|[4(250a + 25b) + cd] ⇔ 4|cd
4|cd ⇔ 4k = cd, k ∈ Z

2
Lógica y Matemática Computacional Lic. Sistemas de Información

4|cd ⇔ 2k = cd/2, k ∈ Z
4|cd ⇔ la mitad de cd es par.

c) 11|aabb
aabb = 1000a + 100a + 10b + b
aabb = 1100a + 11b = 11(100a + b)
11|aabb dado que 11|11(100a + b)

5. Analizar el valor de verdad de las siguientes proposiciones, justificando la respuesta:

a) ∀n ∈ N, n|3n + 1
Falso. 3 - 33 + 1

b) ∀n ∈ N, n|5n
Falso. 2 - 52

c) ∀n ∈ N, 4|2.5n − 1
Falso. 4 - 2.51 − 1

d) ∀n ∈ N, 11|102n − 1
Verdadero.
Si n = 1 ⇒ 11|102 − 1
Si n = h ⇒ 11|102h − 1 Hipótesis inductiva.
11|102h − 1 ∧ 11|99 ⇒ 11|102 (102h − 1) + (102 − 1) 11|102h .102 − 102 + 102 − 1
11|102h .102 − 1
11|102(h+1) − 1

e) ∀n ∈ N, 3|n ⇔ 3|n2
Verdadero.
3|n ⇔ n = 3k, k ∈ Z
n2 = (3k)2 , k ∈ Z
n2 = 9k 2 = 3.(3k 2 ), k ∈ Z
3|n2

6. Una banda de 13 piratas obtuvo cierto número de monedas de oro. Los mismos trataron de distribuir-
las entre sı́ equitativamente, pero les sobraban 8 monedas. Imprevistamente dos de ellos contrajeron
sarampión y murieron. Al volver a intentar el reparto sobraban 3 monedas. Posteriormente 3 de ellos se
ahogaron comiendo caramelos... con papel. Pero al intentar distribuir las monedas quedaban cinco. Se
trata de saber cuántas monedas habı́a en juego.

Sea n el número de monedas.

n ≡ 8 (mod 13)
n ≡ 3 (mod 11)
n ≡ 5 (mod 8)
Osea que:
n = 13k + 8
n = 11h + 3
n = 8t + 5
y ası́:
13k + 8 ≡ 3 (mod 11) ⇒ 13k ≡ 6 (mod 11)
13k + 8 ≡ 5 (mod 8) ⇒ 13k ≡ 5 (mod 8)
Las soluciones de 13k ≡ 6 (mod 11) son:

3
Lógica y Matemática Computacional Lic. Sistemas de Información

3, 14, 25, 36, . . .

Las soluciones de 13k ≡ 5 (mod 8) son:
1, 9, 17, 25, 33, . . .
Se sigue que 25 es solución común. Por lo tanto n = 25.13 + 8 = 333

7. El sistema de protección de una computadora realiza tres escaneos diferentes, el primero cada hora, el
segundo cada 38 minutos y el tercero cada 42 minutos. Hoy a las 0 horas coincidieron los tres procesos,
¿a qué hora vuelven a coincidir los tres?, en los siguientes 15 dı́as, ¿cuántas veces coincidirán los tres a
la vez?.
38 = 2.19
42 = 2.3.7
mcm(38, 42) = 2.3.7.19 = 798
Volverán a coincidir a las 13 : 18 y en los siguientes 15 dı́as coincidirán 27 veces.

8. En un corporación cuyo predio es rectangular de 6,4 Km x 9,2 Km se quieren colocar en el perı́metro,

por motivos de seguridad, postes conectados inalámbricamente. Los postes deben estar separados a la
misma distancia y se desea colocar la menor cantidad de postes posibles. El alcance inalámbrico de cada
poste es de 420 metros. ¿A qué distancia deben estar los postes?¿Cuántos postes se necesitan? ¿Y si el
alcance se reduce a 300 metros?
Los postes debe estar a 400 metros y se necesitan 78 postes.
Si el alcance se reduce a 300 metros, los postes deben estar a 200 metros y se necesitan 156 postes.

9. Utilizar el algoritmo de Euclides para determinar el m.c.d. de:

a) 280 y 30
mcd(280, 30) = 10

b) 441 y 725
mcd(441, 725) = 1

c) 12384 y 4720.
mcd(12384, 4720) = 12

10. Hallar el máximo común divisor entre dos números enteros (d = mcd(a, b)) y expresarlo como una com-
binación lineal entera entre estos números (d = ax + by).
a) a = 234, b = 129
234 = 1.129 + 105
129 = 1.105 + 24
105 = 4.24 + 9
24 = 2.9 + 6
9 = 1.6 + 3
6 = 2.3 + 0
mcd(234, 129) = 3

3 = 9 − 1.6
3 = 9 − 1.(24 − 2.9) = 9 − 1.24 + 2.9 = 3.9 − 1.24
3 = 3.(105 − 4.24) − 1.24 = 3.105 − 12.24 − 1.24 = 3.105 − 13.24
3 = 3.105 − 13.(129 − 105) = 3.105 − 13.129 + 13.105 = 16.105 − 13.129
3 = 16.(234 − 129) − 13.129 = 16.234 − 16.129 − 12.129 = 16.234 − 29.129
3 = (16).234 + (−29).129

4
Lógica y Matemática Computacional Lic. Sistemas de Información

b) a = 3120, b = 270
30 = mcd(2130, 270)
30 = 2.3120 − 23.270

B. Congruencias y ecuaciones diofánticas

11. Sean a, b, c ∈ Z, n ∈ N/a ≡ b (mod n). Demostrar que:
a) ∀x ∈ Z : a + x ≡ b + x (mod n)
a ≡ b (mod n) ⇔ n|a − b ⇔ n|(a + x) − (b + x) ⇔ a + x ≡ b + x (mod n)

b) ∀x ∈ Z : a.x ≡ b.x (mod n)

a ≡ b (mod n) ⇔ n|a − b ⇔ n|x.(a − b) ⇔ n|ax − bx ⇔ ax ≡ bx (mod n)

c) ∀m ∈ N : am ≡ bm (mod n)
Si m = 1 ⇒ a ≡ b (mod n)
Si m = h ⇒ ah ≡ bh (mod n) Hipótesis inductiva.
ah ≡ bh (mod n)
n|ah − bh ⇒ n|a.ah − a.bh
n|a − b ⇒ n|a.bh − b.bh
n|a.ah − a.bh + a.bh − b.bh
n|a.ah − b.bh
ah .a ≡ bh .b (mod n)
ah+1 ≡ bh+1 (mod n)

12. Determinar, cuándo existan, todos los enteros a y b que satisfacen:

a) 5a + 8b = 3
mcd(5, 8) = 1
1|3 existe solución.
Busquemos una solución particular:
8 = 1.5 + 3
5 = 1.3 + 2
3 = 1.2 + 1
2 = 1.2 + 0

1 = 3 − 1.2
1 = 3 − 1.(5 − 1.3) = 3 − 1.5 + 1.3 = 2.3 − 1.5
1 = 2.(8 − 1.5) − 1.5 = 2.8 − 3.5
1 = 2.8 + (−3).5
3 = (−9).5 + (6).8

Ahora buscamos la solución general:

a = −9 + 8k
b = 6 − 5k

Probemos con k = 5
a = 31, b = −19
5.31 + 8.(−19) = 3

b) 24a + 14b = 7
mcd(24, 14) = 2
2-7

5
Lógica y Matemática Computacional Lic. Sistemas de Información

No hay solución entera.

c) 20a + 16b = 36 mcd(20, 16) = 4

4|36 existe solución.
a = 1 + 4k
b = 1 − 5k

13. Probar que 725 y 441 son coprimos y encontrar enteros x e y tales que 725x + 441y = 1, con x, y ∈ Z.
x = 191 + 441k
y = −314 − 725k

14. Calcular:
a) El resto de la división de 712 por 11.
72 ≡ 5 (mod 11)
7 ≡ −4 (mod 11)
73 ≡ −20 (mod 11)
73 ≡ 2 (mod 11)
(73 )4 ≡ 24 (mod 11)
71 2 ≡ 16 (mod 11)
71 2 ≡ 5 (mod 11)
El resto es 5.

b) La cifra de las unidades de 1715 .

La cifra de las unidades es 3.

15. Si se sabe que cada unidad de un cierto producto A cuesta 39 pesos y que cada unidad de un cierto
producto B cuesta 48 pesos, ¿cuántas unidades de cada producto se pueden comprar con 135 pesos?
39A + 48B = 339
A = 5, B = 3

16. La entrada a una obra de teatro cuesta $275 para los varones y $175 para las mujeres, un grupo de amigos
pagó en total $3000, ¿cuántos varones y mujeres habı́a?
275v + 175m = 3000
v = 2, m = 14

17. Determine qué dı́a de la semana. . .

a) . . . fue el 9 de julio de 1816?
Martes.

b) . . . será el 25 de mayo de 2060?

Martes.

c) . . . nació ud.?
21 de Julio de 1970.
Martes.

d) Verifique que su cumpleaños número 28 caerá o cayó el mismo dı́a de la semana en que nació.
Fué Martes.
(nota: Un año es bisiesto si es divisible entre 4, excepto si es divisible por 100 pero no por 400).

6
Lógica y Matemática Computacional Lic. Sistemas de Información

18. Resolver las siguientes ecuaciones de congruencia:

a) 9x ≡ 2 (mod 15)
mcd(9, 15) = 3 - 2. No hay solución.

b) 9x ≡ 6 (mod 15)
mcd(9, 15) = 3|6. Hay solución.
15|9x − 6
9x − 6 = 15k
9x − 15k = 6
x = 4 + 5t, t ∈ Z

c) 3x ≡ 2 (mod 4)
x = 2 + 4t, t ∈ Z

d) 12x ≡ 6 (mod 10)

x = 3 + 5t, t ∈ Z

e) 60 ≡ 120x (mod 250)

x = 13 + 25t, t ∈ Z