1) Muestre con dos ejemplos los siguientes teoremas:

a) Muestre que, si p es primo, 𝒎𝒄𝒅 (𝒂, 𝒑) = 𝒑 o 𝒎𝒄𝒅 (𝒂, 𝒑) = 𝟏

p=3a=93|319|33|31mcd (3 , 9)=3 p=3a=73|317|71mcd (3 , 7)=1

b) Si 𝒅 = 𝒎𝒄𝒅 (𝒂, 𝒃), entonces 𝒎𝒄𝒅 (𝒂/𝒅, 𝒃/𝒅) = 𝟏

a=3
b=6
3|3
1
6|2
3|3
1
d=mcd(3 ,6)=3
a /d=3/3=1
b /d=6 /3=2
1|1
1
2|2
1
mcd (1 ,2)=1

a=4
b=8
4 |2
2|2
1
8|2
4 |2
2|2
1
d=mcd( 4 , 8)=4
a /d=4/ 4=1
b /d=8 /4=2
1|1
1
2|2
1
mcd (1 ,2)=1

c) Muestre que si n > 1, p es primo y (𝒏2+𝟏) /𝒑 = 𝟏, entonces 𝒎𝒄𝒅 (𝒑, 𝒏) = 𝟏

n=2
p=5
 2 2
n +1 2 +1 5
= = =1
p 5 5
mcd (5 , 2)=1

n=4
p=17
2 2
n +1 4 +1 17
= = =1
p 17 17
mcd (17 , 4)=1

d) Sea 𝒅 = 𝒎𝒄𝒅 (𝒂, 𝒃). Si 𝒂 = 𝒌𝒅 𝒚 𝒃 = 𝒌´𝒅, entonces mcd (k, k´) = 1. (k y k´ enteros)
a=3
b=9
d=mcd(3 ,9)=3
a=1∗3b=3∗3
mcd (1 ,3)=1

a=4
b=8
d=mcd(4 , 8)=4
a=1∗4b=2∗4
mcd (1 ,2)=1

e) Si 𝒅 = 𝒎𝒄𝒅 (𝒂, 𝒃), entonces 𝒎𝒄𝒅 (𝒂, 𝒃−𝒂𝒏) = 𝒅 con 𝒏∈ Z

a=3
b=9
d=mcd(3 ,9)=3
2∈Z
mcd (3 , 9−3∗2)
¿ mcd (3 , 3)=3

a=4
b=8
d=mcd( 4 , 8)=4
1∈Z
mcd (4 , 8−4∗1)
¿ mcd (4 , 4)=4

2) Investigar los criterios de divisibilidad de:

a) Los números divisibles por 2 y 5 ejemplos
Un número es divisible entre 2 cuando termina en cero o cifra par.
Un número es divisible entre 5 cuando termina en cero o en cinco.
Ejemplos: 1200, 1840

b) Los números divisibles por 3 y 5 ejemplos

Un número es divisible entre 3 si la suma de sus cifras es múltiplo de tres.
Un número es divisible entre 5 cuando termina en cero o en cinco.
Ejemplos: 1350, 9135

c) Los números divisibles por 5 y 5 ejemplos.

Un número es divisible entre 5 cuando termina en cero o en cinco.
Ejemplos: 1280, 4785

d) Los números divisibles por 2 y 5 ejemplos

Un número es divisible entre 2 cuando termina en cero o cifra par.
Un número es divisible entre 5 cuando termina en cero o en cinco.
Ejemplos: 1900, 1350

e) Los números divisibles por 11 y 5 ejemplos

Un número es divisible entre 11 cuando la diferencia entre la suma de sus cifras de
lugar impar y la suma de sus cifras de lugar par, de derecha a izquierda, es cero o
múltiplo de once.
Un número es divisible entre 5 cuando termina en cero o en cinco.
Ejemplos: 4950, 3575

3) Remplace los enteros 1 al 7 en “t” en los siguientes grupos de familias y determine si

todos los resultados son números primos (Usar criba de Eratóstenes para verificarlos):
a) 1+10t

1+10 ( 1 )=11 Sí 1+10 ( 2 )=21 No1+10 ( 3 )=31 Sí 1+10 ( 4 )=41 Sí 1+10 ( 5 )=51 No
1+10 ( 6 ) =61 Sí 1+10(7)=71 Sí

b) 1+5t
1+5 ( 1 )=6 No1+5 ( 2 )=11 Sí 1+5 ( 3 )=16 No1+5 ( 4 )=21 No1+5 ( 5 )=26 No1+5 ( 6 ) =31 Sí
1+5 ( 7 )=36 No

c) 3+10t

3+10 ( 1 )=13 Sí 3+10 ( 2 )=23 Sí 3+10 ( 3 ) =33 No3+10 ( 4 )=43 Sí 3+10 ( 5 ) =53 Sí
3+10 ( 6 )=63 No3+10 ( 7 )=73 Sí

d) 2+5t

2+5 ( 1 )=7 Sí 2+5 ( 2 )=12 No2+5 ( 3 )=17 Sí 2+5 ( 4 )=22 No2+5 ( 5 )=27 No2+5 ( 6 ) =32 No
2+5 ( 7 ) =37 Sí

e) 9+10t

9+10 ( 1 ) =19 Sí 9+10 ( 2 ) =29 Sí 9+10 ( 3 )=39 No9+10 ( 4 ) =49 No9+10 ( 5 )=59 Sí
9+10 ( 6 )=69 No9+10 ( 7 )=79 Sí

4) Usando el algoritmo de la división determine:

a) Que residuos deja cualquier entero al ser dividido por tres
3=3∗1+04=3∗1+15=3∗1+26=3∗2+ 07=3∗2+18=3∗2+ 29=3∗3+0
Por lo tanto, 0, 1 y 2.

b) Que residuos deja cualquier entero al ser dividido por cuatro

4=4∗1+05=4∗1+16=4∗1+27=4∗1+38=4∗2+ 09=4∗2+110=4∗2+211=4∗2+3
12=4∗3+0
Por lo tanto, 0, 1, 2 y 3.

c) Que residuos deja cualquier entero al ser dividido por cinco.

5=5∗1+06=5∗1+17=5∗1+28=5∗1+39=5∗1+ 410=5∗2+0

Por lo tanto, 0, 1, 2, 3 y 4.
d) Que residuos deja cualquier entero al ser dividido por siete

7=7∗1+ 08=7∗1+ 19=7∗1+ 210=7∗1+311=7∗1+ 412=7∗1+513=7∗1+ 6

14=7∗2+0
Por lo tanto, 0, 1, 2, 3, 4, 5 y 6.

e) Que residuos deja cualquier entero al ser dividido por nueve

9=9∗1+ 010=9∗1+111=9∗1+ 212=9∗1+313=9∗1+ 414=9∗1+515=9∗1+ 6

16=9∗1+ 717=9∗1+ 818=9∗2+ 0

Por lo tanto, 0, 1, 2, 3, 4, 5, 6, 7 y 8.

5) Encuentre el mcd de los siguientes pares de números, utilizando el Algoritmo

Euclidiano.
a) 35, 75

Por lo tanto, mcd (35, 75) = 5

b) 64, 126

Por lo tanto, mcd (64, 126) = 2

c) 92, 116

Por lo tanto, mcd (92, 116) = 4

d) 234, 298
Por lo tanto, mcd (234, 298) = 2

e) 546, 264

Por lo tanto, mcd (546, 264) = 6

6) Determine cuáles de las siguientes relaciones de congruencia son verdaderas y

cuáles son falsas:
a) 17 ≡ 2 (𝑚𝑜𝑑 5)
17−2=15=3∗5
Por lo tanto, es verdadero, porque 15 es múltiplo de 5.

b) −2 ≡ 8 (𝑚𝑜𝑑 3)
−2−8=−10
Por lo tanto, no es verdadero, porque -10 no es múltiplo de 3.

c) 4 ≡ −5 (𝑚𝑜𝑑 7)
4 +5=9
Por lo tanto, no es verdadero, porque 9 no es múltiplo de 7.

d) 15 ≡ 3 (𝑚𝑜𝑑 2)
15−3=12=6∗2
Por lo tanto, es verdadero, porque 12 es múltiplo de 2.

e) −6 ≡ 22 (𝑚𝑜𝑑 2)
−6−22=−28=−14∗2
Por lo tanto, es verdadero, porque -14 es múltiplo de 2.

7) Revisar la OVI de ecuaciones diofánticas que se encuentra en los contenidos de la

unidad 2 y resolver las siguientes ecuaciones:
a) 𝟑𝒙 − 𝟕𝒚 = 𝟓
 mcd (3 , 7)=1=d
3 x 0−7 y 0=1
7=3∗2+1
3=1∗3+0
3(−2)−7 (−1)=1
x 0=−2 , y 0=−1
c 5
c '= = =5
d 1

{
b
¿ x=x 0 c ' − k
d
a
¿ y= y 0 c ' + k
d

{
7
¿ x=−2∗5+ k
1
3
¿ y=−1∗5+ k
1

{¿¿x=−10+7
y=−5+3 k
k

b) 𝟓𝒙 + 𝟐𝒚 = 𝟗
mcd (5 , 2)=1=d
5 x 0+ 2 y 0 =1

5=2∗2+1
2=1∗2+0
5(1)+2(−2)=1
x 0=1 , y 0=−2

c 9
c '= = =9
d 1

{
b
¿ x=x 0 c ' + k
d
a
¿ y= y 0 c ' − k
d

{
2
¿ x=1∗9+ k
1
5
¿ y=−2∗9− k
1

{¿ y=−18−5
¿ x =9+2 k
k
c) 𝟏𝟓𝒙 + 𝟕𝒚 = 𝟏𝟏
mcd (15 , 7)=1=d
15 x 0+ 7 y 0=1

15=7∗2+1
7=1∗7+ 0
15(1)+7(−2)=1
x 0=1 , y 0=−2

c 11
c '= = =11
d 1

{
b
¿ x=x 0 c ' + k
d
a
¿ y= y 0 c ' − k
d

{
7
¿ x =1∗11+ k
1
15
¿ y=−2∗11− k
1

{¿ y=−22−15
¿ x=11+7 k
k

d) 𝟏𝟎𝒙 − 𝟕𝒚 = 𝟏𝟕
mcd (10 , 7)=1=d
10 x 0−7 y 0=1

10=7∗1+3
7=3∗2+1
3=1∗3+0
10(−2)−7 (−3)=1
x 0=−2 , y 0=−3

c 17
c '= = =17
d 1

{
b
¿ x=x 0 c ' − k
d
a
¿ y= y 0 c ' + k
d
 {
7
¿ x=−2∗17+ k
1
10
¿ y=−3∗17+ k
1

{¿¿y=−51+10
x=−34+ 7 k
k

e) 𝟓𝒙 + 𝟑𝒚 = 𝟓𝟐
mcd (5 , 3)=1=d
5 x 0+ 3 y 0=1

5=3∗1+2
3=2∗1+1
2=1∗2+0
5(−1)+3(2)=1
x 0=−1 , y 0=2

c 52
c '= = =52
d 1

{
b
¿ x=x 0 c ' + k
d
a
¿ y= y 0 c ' − k
d

{
3
¿ x=−1∗52+ k
1
5
¿ y=2∗52− k
1

{¿¿ x=−52+3 k
y=104−5 k

8) El grupo debe Investigar sobre el teorema de Fermat referente a los números

primos. (de medía a una página)
https://www.gaussianos.com/los-numeros-de-fermat/