Universidad Aut

onoma de Chihuahua
Facultad de Ingeniera

Principio del Buen Orden

Matem
aticas Computacionales.

Catedratico:
Dr. Luis Carlos Gonzalez Gurrola.
Elaborado por:
Luis Angel Pereyra Villanueva 261804.

Fecha de entrega: Lunes 12 de Febrero del 2017

 Usa el principio del Buen Orden para demostrar las siguientes proposiciones.
a) Para cualquier entero n > 1, n es divisible por un n
umero primo.
Demostraci on
Dado que usaremos el principio del Buen orden, implementaremos la demostracion
por contradiccion, proponiendo un conjunto C de contra-ejemplos respecto al teorema
propuesto, es decir:
C ::= {n N| si n > 1, n no es divisible por un numero primo}

Por el principio de contradiccion se supone que el conjunto C es no vaco. Retoman-

do el principio del Buen Orden, debe existir un elemento mnimo en el conjunto C
llamado m, donde m se puede dividir por m y no es divisible por un n umero primo,
por lo tanto m no es un numero primo y m > 1.

Dado que m > 1 y no es un n umero primo, existen dos enteros k y s que cumplen,
1 < k < m, 1 < s < m y tambien m = ks, Por lo tanto se tiene que k es divisor de
m.
Se sabe que k < m lo cual indica que el elemento k por definicion no pertenece el
conjunto C, como k no pertenece al conjunto C puede ser divido por un n umero
primo, llamemos a ese n umero primo p, por transitividad en las divisiones se tiene
que p es divisor de k y k es divisor de m, por lo tanto p es divisor de m. Dado que p
es un n
umero primo y m es el elemento mas peque no del conjunto C, se llega a una
contradiccion y el conjunto C esta vaco. Por lo tanto

n N| si n > 1, n es divisible por un numero primo LQQD

b) La suma de los cubos de 3 n

umero naturales consecutivos es un m
ultiplo
de 9.
Demostraci on
Dado que usaremos el principio del Buen Orden, implementaremos la demostracion
por contradiccion, proponiendo un conjunto C de contra-ejemplos respecto al teorema
propuesto, es decir:

C ::= {n N | n3 + (n + 1)3 + (n + 2)3 no es un multiplo de 9}

Por la suposicion propuesta del teorema de contra-ejemplos, el conjunto C no esta vaco
y contiene enteros no negativos. Por lo tanto, por el principio del Buen Orden, se sa-
be que C tiene un elemento mnimo llamado m, donde m es el contra-ejemplo mas
pequeno del conjunto C.

Sabemos que el teorema es falso para n = m, pero es verdadero para n = 0 lo cual

indica que m > 0, esto nos quiere decir que m 1 es un entero no negativo, y dado
que es menor que m el teorema se cumple para m 1, cabe mencionar que r N es
decir:

(m 1)3 + (m 1 + 1)3 + (m 1 + 2)3 = 9 r

(m 1)3 + m3 + (m + 1)3 = 9 r
(1)

Usaremos la relacion propuesta del teorema para un entero no negativo m 1 para

llegar a una contradiccion, partimos del supuesto del conjunto C el cual es falso.

m3 + (m + 1)3 + (m + 2)3 = m3 + (m + 1)3 + (m + 2)3

Agregamos un cero al lado derecho de la igualdad, es decir le sumamos y restamos

(k 1)3

m3 + (m + 1)3 + (m + 2)3 = m3 + (m + 1)3 + (m + 2)3 + (k 1)3 (k 1)3

Reacomodamos un poco los terminos del lado derecho para poder aplicar la propiedad
(1) y realizar un poco de algebra.

m3 + (m + 1)3 + (m + 2)3 = m3 + (m + 1)3 + (m + 2)3 + (m 1)3 (m 1)3

m3 + (m + 1)3 + (m + 2)3 = (m 1)3 + m3 + (m + 1)3 +(m + 2)3 (m 1)3
| {z }
 Se oberva que la parte senalada es la propiedad (1), por lo tanto la sustitumos por
9 r y proseguimos con el algebra.

m3 + (m + 1)3 + (m + 2)3 = 9 r + (m + 2)3 (m 1)3

m3 + (m + 1)3 + (m + 2)3 = 9 r + m3 + 6m2 + 12m + 8 m3 + 3m2 3m + 1
m3 + (m + 1)3 + (m + 2)3 = 9 r + 9m2 + 9m + 9
m3 + (m + 1)3 + (m + 2)3 = 9(r + m2 + m + 1)

Llegando a una contradiccion, debido a que el supuesto del conjunto C si es un

multiplo de 9, por lo cual dicho conjunto es vaco y se cumple la suposicion original
del teorema.

n N | n3 + (n + 1)3 + (n + 2)3 es un multiplo de 9 LQQD

b) Para cualquier entero positivo, el resultado de n2 + n + 1 es par.

Demostraci on
Se encontro una inconsistencia con el teorema propuesto, es decir, supongamos un
n
umero entero positivo para comprobar la veracidad del teorema, tomemos n = 1

(1)2 + 1 + 1 = 3, donde 3 no es par

Seguiremos con la idea inicial, donde esta expresion es un n

umero par, por lo tanto
para que se cumpla se tiene que plantear el teorema de la siguiente manera

P ara cualquier entero positivo, el resultado de n2 + n es par.

Dado que usaremos el principio del Buen orden, implementaremos la demostracion

por contradiccion, proponiendo un conjunto C de contra-ejemplos respecto al teorema
propuesto, es decir:

C ::= {n Z+ | n2 + n no es un numero par}

Por la suposicion propuesta del teorema de contra-ejemplos, el conjunto C no esta vaco
y contiene enteros positivos. Por lo tanto, por el principio del Buen Orden, se sabe que
C tiene un elemento mnimo llamado m, donde m es el contra-ejemplo mas peque no
del conjunto C.

Haremos uso del elemento mnimo m del conjunto C, recordando un poco de aritmeti-
ca, se sabe que un n
umero par se representa como m = 2p y n umero impar m = 2p+1,
donde p N, por lo tanto, tenemos dos posibilidades para m, dado que puede ser par
o impar.
Primero tomemos el caso cuando m es impar, usaremos la definicion del conjunto C
la cual nos dice que dicha relacion no es un n
umero par, es decir

m2 + m = m2 + m, el resultado no es par
Ahora tomamos el lado derecho y proponemos que m es impar

m2 + m = (2p + 1)2 + 2p + 1
m2 + m = 4p2 + 4p + 1 + 2p + 1
m2 + m = 4p2 + 6p + 2

Se observa el lado derecho, donde tenemos una suma de tres n umero pares, por lo
tanto, por las propiedades de los n umeros se tiene que la suma de dos o mas n
umeros
pares es par, por lo tanto la relacion resulta en un n
umero par, lo cual es una contra-
diccion por definicion del conjunto C LQQD.

Como segunda posibilidad, tomemos el caso cuando m es par. Analogamente tomamos

la definicion del conjunto C y trabajamos con ella, pero ahora analizamos cuando
m = 2p.

m2 + m = (2p)2 + 2p
m2 + m = 4p2 + 2p
De igual forma llegamos a la conclusion de que la relacion generara un numero par,
por lo tanto, obtenemos de nueva cuenta una contradiccion por definicion del conjunto
C LQQD.
En ambos casos, es decir, donde m es par o impar se llega a una contradiccion, lo
que demuestra que el conjunto C esta vaco y se cumple la proposicion del teorema
propuesto.

n Z+ | n2 + n es un numero par LQQD

Nota: en el caso de querer demostrar la segunda posibilidad del teorema inicial,

es decir, donde la relacion n2 + n + 1 es impar, se resolvera de manera analoga.