27/6/24, TALLER 3

1:30

TALLER 3
TEORÍA DE NÚMEROS

AUTOR/A AFILIACIÓN
Karen Xiomara Mora Marin Universidad del Tolima
Carol Dayana Bonilla
Murcia Dilan Alejandro
Cardenas Niño

FECHA DE PUBLICACIÓN
27 de junio de 2024

1 EJERCICIOS DEL LIBRO ESPAÑOL

EJERCICIOS 4,5 DEL
LIBRO

EJERCICIO EJERCICIO EJERCICIO EJERCICIO

8 13 19 20

425x ≡ 846 mod 863

Vamos hallar el MCD que serían las posibles soluciones

(425, 863)

863 = 425(2) + 13
425 = 13(32) + 9
13 = 9(1) + 4
9 = 4(2) + 1
4 = 1(4) → hay 1
solucioˊn
425x ≡ 846 mod 863
863y ≡ −846 mod 425
13y ≡ −846 mod 425
425z ≡ 846 mod 13
9z ≡ 846 mod 13
9z ≡ 1 mod 13
z=3
remplazamo
sz

https:// 1/
[Link] 5
27/6/24, TALLER 3
1:30

425(3) − 846
13 = 33

remplazamos
y

863(33) + 846
425 = 69

entonces

863
x0 = 69 + 0( )
1

x0 = 69

EJERCICIOS 4,5 DEL

LIBRO

EJERCICIO EJERCICIO EJERCICIO EJERCICIO

8 13 19 20

20y − 15x = 100

20y ≡ 100 mod 15
(20, 15)
20 = 15(1) + 5
15 = 5(3) + 0

20y ≡ 100 mod 15

5y ≡ 100 mod 15
5y ≡ 10 mod 15
15z ≡ −10 mod 5
15z ≡ 0 mod 5

z =0
z =1
z =2
z =3
https:// z =4 2/
[Link] 5
27/6/24, TALLER 3
1:30

20(2) −
100 = −4
15

15
y0 = −4 + 0( ) = −4
5

y1 = −4 + 1( 3) = −1

y2 = −4 + 2( 3) = 2

y2 = −4 + 3( 3) = 5

y2 = −4 + 4( 3) = 8

entonces

y = −4 + 3r

ahora
remplazamos y

20(−4 + 3r) − 15x = 100

−80 + 60r − 15x = 100

−15x = 100 + 80 − 60r

180 − 60r
x=
−15

x = −12 + 4r

comprobamos
https:// 2/
[Link] 6
27/6/24, TALLER 3
1:30

20y − 15x = 100

20(−4 + 3r) − 15(−12 + 4r) = 100
−80 + 60r + 180 − 60r = 100
100 = 100

EJERCICIOS 4,5 DEL

LIBRO

EJERCICIO EJERCICIO EJERCICIO EJERCICIO

8 13 19 20

4x + 5y ≡ 7 mod 17
7x + 12y ≡ 4 mod 17

vamos a multiplicar 4x + 5y ≡ 7 por 7 y a 7x + 12y ≡ 4

por 4

28x + 35y ≡ 49 mod 17

28x + 48y ≡ 16 mod 17

ahora vamos a restar 28x + 35y ≡ 49 menos 28x +

28x + 35y ≡ 49
−28x − 48y ≡ −16
−13y ≡ 33

Entonce
s
−13y ≡ 33 mod 17

4y ≡ 16 mod 17

https:// 3/
[Link] 6
27/6/24, TALLER 3
1:31
vamos hallar el inverso multiplicativo de 4

17 = 4(2) + 1
4 = 1(4)

el inverso es 4

4.4y ≡ 16.4 mod 17

y ≡ 64 mod 17
y ≡ 13 mod 17

Ahora hacemos lo mismo para encontrar a x

4x + 5y ≡ 7 mod 17
7x + 12y ≡ 4 mod 17

vamos a multiplicar a 4x + 5y ≡ 7 por 12 y a 7x + 12y ≡ 4 por 5

48x + 60y ≡ 84 mod 17

35x + 60y ≡ 20 mod 17

el resultado de restar las dos anteriores

13x ≡ 64 mod 17

13x ≡ 13 mod 17

x ≡ 1 mod 17

EJERCICIOS 4,5 DEL

LIBRO

EJERCICIO EJERCICIO EJERCICIO EJERCICIO

8 13 19 20

7x + 10y ≡ 5 mod 24
16x + 15y ≡ 16 mod
24
vamos a multiplicar 7x + 10y ≡ 5 por 16 y a 16x + 15y ≡ 16 por 7 para poder
eliminar a x

112x + 160y ≡ 80 mod 24

112x + 105y ≡ 112 mod 24

ahora vamos a restar 112x + 160y ≡ 80 menos 112x + 105y

≡ 112
https:// 4/
[Link] 5
27/6/24, TALLER 3
1:31
7y ≡ −8 mod 24
(55, 24) = 1
vamos hallar el inverso multiplicativo de 7

24 = 7(3) + 3
7 = 3(2) + 1
3 = 1(3)
1 = 7 + 3(−2)
3 = 24 + 7(−3)

1 = 7 + 3(−2)
1 = 7 + (24 + 7(−3))(−2)
1 = 7 + 24(−2) + 7(6)
1 = 7(7) + 24(−2)

el inverso multiplicativo de 7 es 7

entonces

7y ≡ −8 mod 24
7 ⋅ 7y ≡ 7 ⋅ −8 mod 24
y ≡ −56 mod 24
y ≡ −8 mod 24
y ≡ 16 mod 24

Ahora hacemos lo mismo para encontrar a x

7x + 10y ≡ 5 mod 24
16x + 15y ≡ 16 mod 24

vamos a multiplicar a 7x + 10y ≡ 5 por 15 y a 16x + 15y ≡ 16 por 10

105x + 150y ≡ 75 mod 24

160x + 150y ≡ 160 mod 24

−55x ≡ −85 mod 24 el resultado de restarlas dos anteriores

https:// 5/
[Link] 6
27/6/24, TALLER 3
1:31

−7x ≡ −13 mod 24

7x ≡ 13 mod 24
7.7x ≡ 13.7 mod 24 se multiplica por el inverso multiplicativo de 7

x ≡ 91 mod 24
x ≡ 19 mod 24

EJERCICIOS 4.6 DEL

LIBRO

EJERCICIO 1 EJERCICIO 2

x ≡ 2 mod 3 m1 = 3 M1 = 56 a1 = 2
x ≡ 5 mod 7 m2 = 7 M2 = 24 a2 = 5
x ≡ 5 mod 8 m3 = 8 M3 = 21 a3 = 5

M1b1 ≡ 1 mod 3
56b1 ≡ 1 mod 3
2b1 ≡ 1 mod 3
b1 = 2

M2b2 ≡ 1 mod 7
24b2 ≡ 1 mod 7
3b2 ≡ 1 mod 7
b2 = 5

M3b3 ≡ 1 mod 8
21b3 ≡ 1 mod 8
5b3 ≡ 1 mod 8
b3 = 5

x0 = M1b1a1 + M2b2a2 + M3b3a3

x0 = 56 ⋅ 2 ⋅ 2 + 24 ⋅ 5 ⋅ 5 + 21 ⋅ 5
⋅5
x0 = 224 + 600 + 525

https:// 3/
[Link] 6
27/6/24, TALLER 3
1:31
x0 = 1349

https:// 3/
[Link] 6
27/6/24, TALLER 3
1:32

x ≡ 1349 mod (3 ⋅ 7 ⋅ 8)
x ≡ 1349 mod 168
x ≡ 5 mod 168

x = 5 + 168k

si k = 0

x = 5 + 168(0)

x=5

https:// 3/
[Link] 6
27/6/24, TALLER 3
1:32

EJERCICIOS 4.6 DEL

LIBRO

EJERCICIO 1 EJERCICIO 2

x≡3 mod 5 m1 = 5 M1 = 693 a1 = 3

x≡6 mod 7 m2 = 7 M2 = 495 a2 = 6
x≡4 mod 9 m3 = 9 M3 = 385 a3 = 4
x≡8 mod 11 m4 = 11 M4 = 315 a4 = 8

M1b1 ≡ 1 mod 5
693b1 ≡ 1 mod 5
3b1 ≡ 1 mod 5
b1 = 2

M2b2 ≡ 1 mod 7
495b2 ≡ 1 mod 7
5b2 ≡ 1 mod 7
b2 = 3

https:// 9/
[Link] 6
27/6/24, TALLER 3
1:32

M3b3 ≡ 1 mod 9
385b3 ≡ 1 mod 9
7b3 ≡ 1 mod 9
b3 = 4

M4b4 ≡ 1 mod 11
315b4 ≡ 1 mod 11
7b4 ≡ 1 mod 11
b4 = 8

x0 = M1b1a1 + M2b2a2 + M3b3a3 + M4b4a4

x0 = 693 ⋅ 2 ⋅ 3 + 495 ⋅ 3 ⋅ 6 + 385 ⋅ 4 ⋅ 4 + 315 ⋅ 8 ⋅ 8
x0 = 4158 + 8910 + 6160 + 20160
x0 = 39388
x ≡ 39388 mod (5 ⋅ 7 ⋅ 9 ⋅ 11)
x ≡ 39388 mod 3465
x ≡ 1273 mod 3465

x = 1273 + 3465k

si k = 0

x = 1273 + 3465(0)

x = 1273

2 EJERCICIOS DEL LIBRO PORTUGUÉS

PROBLEMAS PROPUESTOS

EJERCICIO EJERCICIO
1.53 1.58

Sea d cualquier número entero positivo distinto de 2, 5 o 13. Demuestre que se pueden
encontrar a y
b distintos en el conjunto {2, 5, 13, d} tal que ab − 1 no es un cuadrado perfecto.

https:// 3/
[Link] 5
27/6/24, TALLER 3
1:33

Vamos a considerar el módulo 4 y los residuos cuadráticos del módulo 4

son 0 y 1 2.
Porque 0 es 0 y 12 es 1 , 22 es 4 o 0 ya que lo tenemos en modulo 4 y 32
es 9 o 1.

https:// 3/
[Link] 5
27/6/24, TALLER 3
1:33

Ahora
si
d≡0 mod 4
2d − 1 ≡ −1 mod 4
entonc
es
que no es un cuadrado porque uno no es 0 ni 1

Ahora
d ≡ 2 mod 4

si

Entonc 2d − 1 ≡ 3 mod 4

es

nuevamente esto no es un cuadrado porque 3 no es un residuo cuadratico de modulo 4

Ahora
d ≡ 3 mod 4

si

Entonc 5d − 1 ≡ 14 ≡ 2 mod 4

es

nuevamente esto no es un cuadrado por que 14 ni 2 son un residuo cuadratico de modulo 4

Pero cuando d ≡ 1 mod 4 tenemos que pasar el modular a 16 si d es un modulo

4 ,entonces d es 1,5,9 o 13 modulo 16

Ahora como antes los residuos cuadraticos del modulo 16 son 0,1,4 y 9 entonces cuando
un cuadrado se divide por 16 debe dejar de resto 0,1,4 y [Link] un numero deja otro resto
cuando se divide por 16 es por que no es un cuadrado .

Ahora
si
d ≡ 1 mod 16 13d − 1 ≡ 12 mod 16
entonces
No es un cuadrado

Ahora
si
d ≡ 5 mod 16 5d − 1 ≡ 24 ≡ 8 mod 16
entonces
No es un cuadrado

https:// 4/
[Link] 5
27/6/24, TALLER 3
1:33

Ahora
si
d ≡ 9 mod 16 5d − 1 ≡ 44 ≡ 12 mod 16
entonces
No es un cuadrado.

Ahora si d ≡ 13 mod 16

https:// 5/
[Link] 5
27/6/24, TALLER 3
1:33

Entonces

13d − 1 ≡ 168 ≡ 8 mod 16

Nuevamente no es un cuadrado. Entonces, queda demostrado que sea cual sea el d

siempre podemos encontrar buscando a y b donde ab–1 no es un cuadrado.

https:// 6/
[Link] 5
27/6/24, TALLER 3
1:34

EJERCICIO EJERCICIO
1.53 1.58

sea m y n enteros positivos

que

m 1 1 1 1 1
=1− + − + ... − +
n 2 3 4 1318 1319
Demuestre que m esdivisible por
1979

Hay que tener en cuenta que todo termino que tiene signo menos son fracciones de uno
sobre algunos números pares.

https:// 3/
[Link] 5
27/6/24, TALLER 3
1:34

Entonces vamos a rescribir la expresion para reagrupar los terminos pares. m

podemos obtener definición. n por

m 1 1 1 1 1 1 1 1
=1+ + + + ... + − − − − ... −
n 3 5 1319 2 4 1318
7 6

ahora ya que la suma es dificil de manipular por que es una especie de serie armonica.
Entonces vamos a agregar un termino para que haga que las fracciones como los
denominadores sean consecutivos y luego equilibramos la ecuacion, voy a restar el doble a
los términos pares

m 1 1 1 1 1 1
=1+ + + + ... + 1 − − ... − )
— 2( −
1
n 2 3 1319 2 4 1318
4 6

Este factor de 2 se cancelara con los denominadores

m 1 1 1 1 1 1 1
=1+ + + + ... + — (1 − − − ... − )= 1 1 + ... + +
+
1

n 2 3 4 1319 2 3 659 660 661 1318

Ahora consideramos el primer término con el último y el segundo con el penultimo y los agrupamos

1 1 1 1 1 + 1 )
( 660 + )+ + 1318 ) + .. + 989 990
1319 661
( (

La anterior expresión la escribimos de forma de sumatoria

k=660
= ∑ (1 + 1 )
k 1979 − k
989

Ahora el k queda multiplicando 1979 − k

k=660

https:// 4/
[Link] 5
27/6/24, TALLER 3
1:34 1979

https:// 5/
[Link] 5
27/6/24, TALLER 3
1:34 = ∑ ( )
k(1979 − k)
989

k=660
= 1979 ∑ ( 1 )
k(1979 − k)
989

1
1319

https:// 6/
[Link] 5
27/6/24, TALLER 3
1:34

Notamos que 1979 es un numero primo, por lo que todos los términos en el denominador
seran de la forma k o 1979 − k y van de 660 a 989 y no todos contiene el factor primo 1979.

Entonces si sumamos las fracciones tenemos un denominador demasiado grande asi que
decimos que

a 1979a
b
donde a y b ϵ N que se llaman primos
b
; a, b ϵ N, (a, b) =
primos
Es decir 1978 no es divisibles por b por lo tanto el numerador m debe ser
divisible 1979

https:// 7/
[Link] 5