Nombre del alumno: Ulises Manzano Hernández

Matricula: ES1921005869

Grupo: MT – MIAS – 1902 – B2 – 002

Materia: Introducción al Álgebra Superior

Carrera: Licenciatura en Matemáticas

Nombre de la Actividad: Actividad 3 “Principio del Buen Orden”

Nombre de la escuela: Universidad Abierta y a Distancia de México

Nombre del profesor: Laura Ponton Becerril

Fecha de entrega: 30 de Septiembre al 6 de Octubre de 2019

Ejercicios
Realizar ejercicios del principio de buen orden, relacionados con algunos
conjuntos de números.
Actividad
❖ Aspecto 1.
Demostrar que la ecuación 𝑥 3 + 1991𝑦 3 = 𝑧 4 tiene infinitas soluciones
Procedimiento:
Despejar 𝑥, y resolver cuando el discriminante es mayor o menor
a cero.
Primero se despeja la 𝑥 de la ecuación , que nos quedaria de ls siguiente
forma:
𝑥 3 + 1991𝑦 3 = 𝑧 4
𝑥 3 = 𝑧 4 − 1991𝑦 3
3
𝑥 = √(𝑧 4 − 1991𝑦 3 )
Ahora, se sustituye el despeje en esa misma ecuación que nos quredaria:
3
𝑥 3 + 1991𝑦 3 = 𝑧 4 → 𝑥 = √(𝑧 4 − 1991𝑦 3 )
3
3
(√(𝑧 4 − 1991𝑦 3 )) + 1991𝑦 3 = 𝑧 4

(𝑧 4 − 1991𝑦 3 ) + 1991𝑦 3 = 𝑧 4
𝑧 4 − 1991𝑦 3 + 1991𝑦 3 = 𝑧 4
−1991𝑦 3 + 1991𝑦 3 = 𝑧 4 − 𝑧 4
0=0
Entonces, sus soluciones son infinitas ya que el conjunto solución son todos
los numeros reales, ya que cualquier numero multiplicado por 0 es 0. Se
denota la solución infinita es:
𝑦 ⋀ 𝑧 ∈ ℝ, 𝑝𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑦 𝑦 𝑧.
Por lo tanto, el discrimante puede ser mayor o menor que 0.
Despejar cualquiera de las dos variables restantes y resuelve
cuando el discriminante es positivo o negativo.
Despejamos la y de la ecuación, que nos quedaria de la siguiente manera:
𝑥 3 + 1991𝑦 3 = 𝑧 4
1991𝑦 3 = 𝑧 4 − 𝑥 3
3
𝑧4 − 𝑥3
𝑦 =
1991
 3 𝑧4 − 𝑥3
𝑦 = √( )
1991

Y se sustituye el despeje a la misma ecuación:

3 3
𝑧4 − 𝑥3 4
3
𝑥 + 1991𝑦 = 𝑧 → 𝑦 = √( )
1991
3
3 𝑧4− 𝑥3
𝑥 3 + 1991 (√( )) = 𝑧 4
1991

3
𝑧4 − 𝑥3
𝑥 + 1991 ( ) = 𝑧4
1991
1991 4
𝑥3 + (𝑧 − 𝑥 3 ) = 𝑧 4
1991
𝑥 3 + 1(𝑧 4 − 𝑥 3 ) = 𝑧 4
𝑥3 + 𝑧4 − 𝑥3 = 𝑧4
𝑥3 − 𝑥3 = 𝑧4 − 𝑧4
0=0
Entonces, sus soluciones son infinitas, ya que el conjunto solución son todos
los numeros reales, ya que cualquier numero multiploicado por 0 es 0. Se
denota lo siguiente:
𝑥 ⋀ 𝑧 ∈ ℝ, 𝑝𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑥 𝑦 𝑧.
Despejamos la z de la ecuación, que nos quedaria de la siguiente manera:
𝑥 3 + 1991𝑦 3 = 𝑧 4
4
𝑧 = ±√(𝑥 3 + 1991𝑦 3 )
Y se sustituye el despeje a la misma ecuación:
4
4
𝑥 3 + 1991𝑦 3 = (±√(𝑥 3 + 1991𝑦 3 ))

𝑥 3 + 1991𝑦 3 = (𝑥 3 + 1991𝑦 3 )
𝑥 3 + 1991𝑦 3 = 𝑥 3 + 1991𝑦 3
𝑥 3 − 𝑥 3 = 1991𝑦 3 − 1991𝑦 3
0=0
Entonces, sus soluciones son infinitas, ya que el conjunto solucion son todos
los números reales, ya que cualquier numero multiplicado por 0 es 0. Se
denota lo siguiente:
𝑥 ⋀ 𝑦 ∈ ℝ, 𝑝𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑥 𝑦 𝑦.
Por lo tanto, el discriminante que lleva los valores x, y y z es positivo o negativo
para cualquier valor numerico real.
Se busca cuando el discriminante es positivo o negativo.

Aspecto 2
✓ Demostrar todos los enteros positivos n para los cuales la expresión 2𝑛 +
1 es divisible por 3
Procedimiento:
o Demostrar que 2𝑛 + 1 es divisible por 3, podrán observar un
ejercicio similar a través del siguiente video:
http://www.youtube.com/watch?v=cBt6FIVwZeg&feature=share&li
st=PL382D6ED30BD9DEAA
Es importante la comprobación de lo que ocurre tanto con los pares como con
los impares.
Se resuelve por indducción esta demostración:
Se llevan los siguientes pasos:
1. Cuando 𝑛 = 1.
(2)𝑛 + 1 → 𝑛 = 1
(2)(1) + 1 = (2) + 1 = 2 + 1 = 3, 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 3.
2. Hipotesis 𝑛 = 𝑘.
Supongamos que el resultado es cierto para n = k, osea que:
(2)𝑛 + 1 → 𝑛 = 𝑘
(2)𝑘 + 1
Es divisible por 3
3. Demuestra 𝑛 = 𝑘 + 1.
(2)𝑛 + 1 → 𝑛 = 𝑘 + 1
(2)𝑘+1 + 1 = (2𝑘 )(21 ) + 1 = 2(2𝑘 ) + 1
Como (2)𝑘 + 1 es divisible por 3, entonces nos quedaria:
(2)𝑘 + 1 = 3𝑝, 𝑑𝑜𝑛𝑑𝑒 𝑝 ∈ ℕ.
(2)𝑘 = 3𝑝 − 1.
Por lo tanto, se sustituyr el despeje de k a la formula original, y nos quedaria:
2(2)𝑘 + 1 → (2)𝑘 = 3𝑝 − 1 = 2(3𝑝 − 1) + 1 = 6𝑝 − 2 + 1 = 6𝑝 − 1
1
= 3(2𝑝) − 1 = 3 (2𝑝 − )
3
Esto significa que (2)𝑛 + 1 si es divisible por 3.

Aspecto 3
Procedimiento:
➢ Deberá utilizarse el pequeño Teorema de Fermat, podrán observar
el procedimiento a través del siguiente vídeo.
http://youtu.be/aj2lq71FPtQ
❖ Demostrar que 544 ≡ 1(𝑚𝑜𝑑 13)
Utilizando las formulas siguientes:
Si p es un numero primo, entonces para cada numero natural 𝑎:
𝑎𝑝 ≡ 𝑎(𝑚𝑜𝑑 𝑝)
Si p es un numero natural, entonces para cada numero natural a coprimo con
𝑝:
𝑎𝑝−1 ≡ 1(𝑚𝑜𝑑 𝑝)
Se resuelve lo siguiente:
Donde:
▪ 𝑎=5
▪ 𝑝 = 13
Nos quedaria: 513−1 ≡ 1 → 512 ≡ 1
Despues, se descompone el numero primo del 5, que nos quedaria:
544 = 5(12)(3)+8 = (5)(12)(3) (5)8 = (512 )3 (5)8 = (1)3 (5)8 = (1)(5)8 = (5)8
= (52 )4
Ahora se hace la congruencia de 52 ≡ _𝑥_(𝑚𝑜𝑑 13), para hacerlo se hace la
(5)2 25
division de = , que nos quedaria:
13 13

25 ÷ 13 = 1 𝑑𝑒 𝑐𝑜𝑐𝑖𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 12 𝑑𝑒 𝑟𝑒𝑠𝑖𝑑𝑢𝑜.

Entonces nos quedaria: 52 ≡ 12(𝑚𝑜𝑑 13). Para seguir con la sustitución:
(5)44 = (52 )4 = (12)4 = 20736 ≡ 1(𝑚𝑜𝑑 13).
Y otra vez hacemos la división para comprobar si es verdadero
 20736 ÷ 13 = 1595 𝑑𝑒 𝑐𝑜𝑐𝑖𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 1 𝑑𝑒 𝑟𝑒𝑠𝑖𝑑𝑢𝑜
Por lo tanto, 544 ≡ 1 (𝑚𝑜𝑑 13) es verdadero la demostración.

❖ Calcular el resto de la división por 15 del número 750 .

Se pide el residuo de la división que nos quedaria la forma: 750 ≡_x_(mod 15)
Se resuelve lo siguiente:
Donde:
▪ 𝑎=7
▪ 𝑝 = 15
Nos quedaria: 715−1 ≡ 1(𝑚𝑜𝑑 15) → 714 ≡ 1(𝑚𝑜𝑑 15)
Despues se descompose el numero:
750 = 7(3)(14)+8 = (7)(3)(14) (7)8 = (714 )3 (7)8 = (1)3 (7)8 = (1)(7)8 = (7)8
= (72 )4 .
Ahora se hace la congruencia de 72 ≡ _𝑥_(𝑚𝑜𝑑 15), para hacerlo se hace la
(7)2 49
división de = , que nos quedaria:
15 15

49 ÷ 15 = 3 𝑑𝑒 𝑐𝑜𝑐𝑖𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 4 𝑑𝑒 𝑟𝑒𝑠𝑖𝑑𝑢𝑜.

Entonces nos quedaria: 72 ≡ 4 (𝑚𝑜𝑑 15). Para seguir con la sustitución:
(7)50 ≡ (72 )4 = (4)4 = (42 )2
Despues, se hace otra congruencia de 42 ≡ _𝑥_(𝑚𝑜𝑑 15), para hacerlo se hace
(4)2 16
otra división de = , que nos quedaria:
15 15

16 ÷ 15 = 1 𝑑𝑒 𝑐𝑜𝑐𝑖𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 1 𝑑𝑒 𝑟𝑒𝑠𝑖𝑑𝑢𝑜.

Entonces, nos quedaria: 42 = 1(𝑚𝑜𝑑 15). Para seguir con la sustitución:
(7)50 = (72 )4 = (4)4 = (42 )2 = (1)2 = 1
Y por ultimo, se realiza la división para obtener el residuo.
(7)50 ≡ (72 )4 ≡ (4)4 ≡ (42 )2 ≡ (1)2 ≡ 1 ≡ _𝑥_(𝑚𝑜𝑑 15)
Y se realiza la división, y nos quedaria:
1 ÷ 15 = 0.06 𝑑𝑒 𝑐𝑜𝑐𝑖𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 10 𝑑𝑒 𝑟𝑒𝑠𝑖𝑑𝑢𝑜.
Por lo tanto el resto o residuo es de 10, que denotamos como:
(7)50 ≡ 10(𝑚𝑜𝑑 15).
Conclusiones:
Para concluir estos ejercicios me parece que son similares para aquellos que
estudian aritmetica desde la primaria, pero el aritmetica avanzada son muy
complicadas, las demostraciones por el principio del buen orden es parecido
a la inducción matemática. Por lo tanto, lo de las raices, el de divisibilidad y el
de las congruencias, son similares. Ya que la aritmetica, nos cuesta un poquito
de trabajo por las demostraciones que si son verdaderas o falsas. En el caso
de la inducción matématica contiene 3 pasos ya que con eso basta para
demostrar un enunciado. En el caso del Pequeño Teorema de Fermat contiene
un numero de pasos, y que son esos son suficientes para demostrar.

Bibliografía
Edu, M. (20 de Septiembre de 2017). You Tube. Obtenido de Inducción
Matemática, Ejemplo 3:
https://www.youtube.com/watch?v=UE2xB2LrYV8
lasmatematicas.es. (10 de Octubre de 2010). You Tube. Obtenido de
Demostración por inducción y divisibilidad:
https://www.youtube.com/watch?v=cBt6FIVwZeg&list=PL382D6ED30B
D9DEAA&index=6
MateFacil. (3 de Enero de 2016). Youtube. Obtenido de Ecuaciones de primer
grado: INFINITAS SOLUCIONES:
https://www.youtube.com/watch?v=BzTUKMcv_U8
Munoz, E. (14 de Marzo de 2013). You Tube. Obtenido de El pequeño teorema
de Fermat:
https://www.youtube.com/watch?v=aj2lq71FPtQ&feature=youtu.be
UnADM. (16 de Septiembre de 2019). PDF. Obtenido de Unidad 2 "Conjunto
de Números":
file:///C:/Users/Kralisess%20Manz/Desktop/UnADM%20Matem%C3%A
1ticas/Semestre%201/Introducci%C3%B3n%20al%20%C3%81lgebra%
20Superior/U2_contenido.pdf