UNIVERSIDAD ABIERTA Y A DISTANCIA DE MÉXICO

INTRODUCCIÓN AL ALGEBRA SUPERIOR

UNIDAD II. CONJUNTOS DE NÚMEROS

ACTIVIDAD 3. PRINCIPIO DEL BUEN ORDEN

ESTUDIANTE:

LICENCIATURA EN MATEMÁTICAS
A continuación se presentan la resolución de los problemas correspondientes a la
actividad 3 sobre el principio del buen orden

Demostrar que la ecuación x 3+ 1991 y 3=x 4 tiene infinitas soluciones.

Despejando x de la ecuación tenemos:

x 3=z 4 −1991 y 3
Igualando ambos externos de la ecuación tenemos:
z 4 −1991 y 3=z 4 −1991 y 3
Lo que al simplificarla logramos encontrar la igualdad 0 = 0, lo que implica que el sistema
tiene infinidad de soluciones en los reales.
Es fácil deducir que la solución trivial x=0 , y=0 , z=0 también es una solución del
sistema; sin embargo, resulta conveniente visualizar cual es la relación que guardan dichas
soluciones, para ello analicemos las posibles opciones:

Si consideramos que x >0, tendremos: Si consideramos que x <0, tendremos:

x 3 >0, entonces: x 3 <0, entonces:
z 4 −1991 y 3 >0 z 4 −1991 y 3 <0
z 4 >1991 y 3 z 4 <1991 y 3
De esta desigualdad surgen dos casos: De esta desigualdad surge el caso
4 4 4 4
z > √ 1991 y 3 y z ← √ 1991 y 3 −√ 1991 y 3 < z < √ 1991 y 3
(1) (2)
Si consideramos a y >0, en (1) entonces: Si consideramos a y >0 tenemos:
4
z > √ 1991 y 3
4 4
−√ 1991 y 3 < z < √ 1991 y 3
Pero si consideramos a y <0, tenemos
4
z > √ 1991(− y)3
4
z > √−1991 y 3
Cuya raíz no tiene soluciones en los reales.

Si consideramos a y >0, en (2) entonces: Si consideramos y <0 tenemos:

4
z ← √1991 y 3
4 4
−√ 1991(− y )3< z < √ 1991(− y )3
Pero si consideramos a y <0, tenemos:
z ← √4 1991 ¿ ¿ 4 4
−√−1991 y3 < z < √−1991 y 3
4
z ← √−1991 y 3
Lo que nuevamente no tiene solución en Que nuevamente no tiene soluciones en
los reales. los reales.
Como pudimos ver en el análisis anterior, la expresión x 3+ 1991 y 3=x 4 tiene infinitas
soluciones, sin embargo, dichas soluciones se encuentran acotadas bajo las diversas
condiciones vistas anteriormente.

Demostrar todos los enteros positivos n para los cuales la expresión 2n +1 es divisible por
3.

Antes de comenzar con el análisis, resulta conveniente corroborar dicha expresión para
los primeros 6 valores de n y ver el comportamiento de la expresión.

Para n=1 tenemos 2(1) +1=2+1=3, lo que si es divisible por 3.

Para n=2 tenemos 2(2 )+1=4 +1=5, lo que no es divisible por 3.
Para n=3 tenemos 2(3 )+ 1=8+1=9, lo que si es divisible por 3.
Para n=4 tenemos 2(4) +1=16+ 1=17, lo que no es divisible por 3.
Para n=5 tenemos 2(5 )+ 1=32+1=33, lo que si es divisible por 3.
Para n=6 tenemos 2(6 )+ 1=64+ 1=65, lo que no es divisible por 3.

Como vimos anteriormente, no todos los valores de n cumplen con la expresión y solo
basta mostrar un elemento que no se cumpla para demostrar la falsedad del argumento,
sin embargo, aun así, consideremos que es verdadero, y empleemos la inducción
matemática para demostrarlo.

 Probando con n=1, 2(1) +1=2+1=3, lo que si es divisible por 3.

 Consideremos que la expresión 2n +1 es divisible entre 3 para cualquier n.
 Demostremos que se cumple para n+1.
2 +1=2∗2n +1
n+ 1

Dado que es divisible entre 3, 2n +1 es un múltiplo de 3, por lo que lo podemos escribir de

la forma: 2n +1=3 m , con m un natural, entonces:
2n=3 m−1
Sustituyendo esta expresión en 2∗2n+ 1 tenemos:
2∗2n+ 1=2∗ (3 m ) +1=6 m+1
Lo que claramente no es un múltiplo de 3. Por lo que se rechaza la afirmación que se
cumple para cualquier n+1.

Como vimos en los 6 ejemplos, n debe ser un numero impar, por lo que le daremos la
forma n=2 k−1, con k un natural.
Demostremos que en este caso efectivamente se cumple la afirmación de que
2n +1=22 k−1 +1 es un múltiplo de 2.

 Probando con k=1, 22(1)−1 +1=22−1 +1=21 +1=2+ 1=3, lo que es divisible por 3.
  Consideremos que la expresión 22 k−1 +1 es divisible entre 3 para cualquier k.
 Demostremos que se cumple para k +1 .
2(k +1)−1
2 + 1=22 k+2−1 +1=22 k +1+1=2∗22 k +1
Dado que es divisible entre 3, 22 k−1 +1 es un múltiplo de 3, por lo que lo podemos escribir
de la forma: 22 k−1 +1=3 m, con m un natural, entonces:
2−1 22 k + 1=3 m→ 2−1 22k =3 m−1→ 22 k =2 ( 3 m−1 )
22 k =6 m−2
Sustituyendo esta expresión en 2∗22 k +1 tenemos:
2 ( 6 m−2 ) +1=12 m−4+1=12 m−3=3(4 m−1)
Lo que claramente es un múltiplo de 3.
Con lo anterior demostramos que n=2 k−1 (es decir, solo valores impares) son los valores
para los cuales los resultados de la expresión 2n +1 son divisibles entre 3.

Demostrar que 544 ≡1 mod(13)

Para resolver esta demostración, resulta primordial emplear el pequeño teorema de

Fermat, que establece que a p−1 ≡1 ¿) donde a es un entero y p un número primo.
Como vemos, el módulo tiene un valor de 13, que es un número primo, por lo que el
pequeño teorema de Fermat nos queda de la forma
513−1 ≡ 1(mod 13)
512 ≡ 1(mod 13)
(1)
Ahora analicemos la expresión principal:
544 =5(12) (3 )+8=(5¿¿ 12)3(58)¿
Empleando la identidad (1):
3
544 =(5¿ ¿12)3 ( 5 8 ) ≡ ( 1 ) ( 5 8 ) (mod 13)¿
Dado que ( 1 )3=1 tenemos
544 ≡(1) ( 58 ) ( mod 13)
544 ≡ ( 5 8 ) (mod 13)
Analizando el 58 tenemos que 58 =5(2)(4)=(5¿¿ 4)2=( 625 )2 ¿, dividiendo 625 entre 13 y
buscando el residuo tenemos:
625 1
=48+
13 13
Por lo que el residuo es 1.
De esta manera:
( 625 )2 ≡ ( 1 )2 (mod 13)
Por lo tanto:
( 625 )2 ≡1(mod 13)
Entonces concluimos que 544 ≡1 mod(13)
Calcular el resto de la división por 15 del número 750
Este problema puede ser traducido como:
750 ≡ x (mod 15)
Por lo que ahora nos atañe encontrar el menor valor de x (que debe estar entre 0 y 15).
Cabe destacar que para este problema no resulta útil el pequeño teorema de Fermat dado
que el modulo no esta formado por un número primo.
Descompongamos la potencia del 7:
25
750=7(2)(25) =( 72 ) = ( 49 )25
Dividiendo el 49 entre 15 tenemos:
49 4
=3+
15 15
Por lo que podemos ver, tiene un residuo de 4, entonces:
50 25 25
7 = ( 49 ) ≡ ( 4 ) ( mod 15 )
De la misma forma, descompongamos la potencia 25:
5
4 25=4( 5) (5 )=( 4 5 ) =( 1024 )5
Dividiendo 1024 entre 15 tenemos:
1024 4
=68+
15 15
Por lo que podemos ver, tiene nuevamente un residuo de 4, entonces:
4 25=( 1024 )5 ≡ ( 4 )5 (mod 15)
Y como ( 4 )5=1024 ; dividiendo 1024 entre 15 tenemos:
1024 4
=68+
15 15
Por lo que podemos ver, tiene nuevamente un residuo de 4, entonces:
750 ≡ 4(mod 15)

Si realizamos el problema de una manera alternativa:

10
750=7(5)(10)=( 75 ) =( 16807 )10
Dividiendo 16807 entre 15 tenemos:
16807 7
=1120+
15 15
Por lo que vemos que el residuo es 7, por lo tanto:
50 10 10
7 = (1120 ) ≡ ( 7 ) ( mod 15 )
Desintegrando nuevamente la potencia:
2
( 7 )10=( 75 )
Lo que genera la misma congruencia anterior, entonces:
2
( 7 )10=( 75 ) ≡ 72 (mod 15)
49 4
Dado que 72 =49. Dividiendo entre 15 tenemos =3+ , dado que el residuo es 4:
15 15
72 ≡ 4(mod15)
Y finalmente
750 ≡ 4(mod 15)
Dando el mismo resultado que con el procedimiento anterior.

Fuentes:
Cardenas, Humberto; Lluis, Emilio; Raggi, Francisco; Tomas, Francisco. (1990). Álgebra
superior. México: Trillas.
Apostol, Tom. (2006). Calculus. México: Reverté.