Álgebra Superior I

Primer Parcial: Lógica, Métodos de Demostración y Conjuntos

Métodos de Demostración
Ejemplos

Los Métodos de Demostración vistos en clase son:

a) Método Directo.

b) Método de Contraposición (o Contrarrecı́proca).

c) Método de Contradicción.

d) Método de Disyunción de Casos.

e) Método de Inducción.

A continuación se encuentran algunos ejemplos de demostraciones realizadas siguiendo estos

métodos.
a) Método Directo.
1. Sea A ⊂ R tal que

i) 3 ∈ A
ii) x ∈ A ⇒ 3x + 1 ∈ A
iii) x ∈ A ∧ y ∈ A ⇒ x + y ∈ A

Demostrar que si 7 ∈ A entonces 25 ∈ A.

DEMOSTRACIÓN:
Por hipótesis sabemos que 7 ∈ A. Entonces por ii),

3(7) + 1 ∈ A,

es decir, 22 ∈ A. Ahora, usando i), 3 ∈ A, y como ya vimos que 22 ∈ A, entonces

usando iii) tenemos que
3 + 22 ∈ A,
esto es, 25 ∈ A. 

1
2. Si m y n son enteros impares entonces mn es impar.

DEMOSTRACIÓN:
Por hipótesis, m y n son impares. Esto significa que existen ciertos enteros k y p tales
que
m = 2k + 1 y n = 2p + 1.
Entonces

mn = (2k + 1)(2p + 1) = 4kp + 2k + 2p + 1 = 2[2kp + k + p] + 1.

Esto significa que mn es impar, porque mn se puede ver como mn = 2z + 1, donde z

es el entero 2kp + k + p. 

3. Si a y b son números racionales entonces ab es racional.

DEMOSTRACIÓN:
Por hipótesis, a y b son racionales. Esto significa que existen ciertos enteros m, n, p y
q tales que
m p
a= y b= ,
n q
donde n y q son diferentes de cero. Entnces
 m  p  mp
ab = = .
n q nq
Esto quiere decir que ab es un racional ya que es de la forma xy , donde x es el entero
mp y y es el entero nq, el cual es diferente de cero porque n y q son diferentes de cero.


4. Sea n ∈ N. Si n es par entonces n2 es par.

DEMOSTRACIÓN:
Por hipótesis, n es par. Esto significa que existe un entero k tal que

n = 2k.

Entonces
n2 = (2k)2 = 4k 2 = 2(2k 2 ).
Esto quiere decir que n2 es par porque es de la forma n2 = 2z, donde z es el entero
2k 2 . 

2
5. Sea n ∈ N. Si n es impar entonces n3 es impar.

DEMOSTRACIÓN:
Por hipótesis, n es impar. Esto significa que existe un entero k tal que

n = 2k + 1.

Entonces

n3 = (2k + 1)3 = 8k 3 + 12k 2 + 6k + 1 = 2(4k 3 + 6k 2 + 3k) + 1.

Esto quiere decir que n3 es impar porque es de la forma n3 = 2z + 1, donde z es el

entero 4k 3 + 6k 2 + 3k. 

6. Si a y b son números racionales entonces a + b es racional.

DEMOSTRACIÓN:
Por hipótesis, a y b son racionales. Esto significa que existen ciertos enteros m, n, p y
q tales que
m p
a= y b= ,
n q
donde n y q son diferentes de cero. Entonces
 m   p  mq + np
a+b= + = .
n q nq
Esto quiere decir que a + b es un racional ya que, es de la forma xy , donde x es el entero
mq + np y y es el entero nq, el cual es diferente de cero porque n y q son diferentes de
cero. 

7. Sea n ∈ N. Si n es impar entonces n2 es impar.

DEMOSTRACIÓN:
Por hipótesis, n es impar. Esto significa que existe un entero k tal que

n = 2k + 1.

Entonces
n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1.
Esto quiere decir que n2 es impar porque es de la forma n2 = 2z + 1, donde z es el
entero 2k 2 + 2k. 

3
b) Método de Contraposición (o Contrarrecı́proca).
1. Sean x, y ∈ R. Si xy < 5 entonces x < 5 ó y < 5.

DEMOSTRACIÓN:
Procederemos por Contraposición, es decir, demostraremos la Contrarrecı́proca:

Si x ≥ 5 y y ≥ 5, entonces xy ≥ 5.

Por hipótesis tenemos que x ≥ 5, entonces multiplicando en ambos lados por y obte-
nemos
xy ≥ 5y
porque y > 0 (pues y ≥ 5 > 0). Por otro lado, como y ≥ 5, entonces al multiplicar en
amos lados por 5 obtenemos que
5y ≥ 25
porque 5 > 0. Hemos demostrado que xy ≥ 5y y que 5y ≥ 25, por lo cual concluimos
que
xy ≥ 25 > 5
lo cual implica que xy > 5, por lo que es válido que xy ≥ 25.
Hemos demostrado la contrarrecı́proca. Por tanto hemos terminado la demostración.


2. Sea n ∈ Z. Si n2 es impar entonces n es impar.

DEMOSTRACIÓN:
Procederemos por Contraposición, es decir, demostraremos la Contrarrecı́proca:

Si n no es impar, entonces n2 no es impar.

En otras palabras demostraremos que si n es par entonces n2 es par.

Esta demostración se encuentra en el inciso 4 de la parte de demostraciones por el
Método Directo (revisarla para más detalles). Si n es par entonces n = 2k para algún
k ∈ Z. Entonces
n2 = 4k 2 = 2(2k 2 )
por lo cual n2 es par.
Hemos demostrado la contrarrecı́proca. Por tanto hemos terminado la demostración.


4
3. Sea n ∈ Z. Si n2 es par entonces n es par.

DEMOSTRACIÓN:
Procederemos por Contraposición, es decir, demostraremos la Contrarrecı́proca:

Si n no es par, entonces n2 no es par.

En otras palabras demostraremos que si n es impar entonces n2 es impar.

Esta demostración se encuentra en el inciso 7 de la parte de demostraciones por el
Método Directo (revisarla para más detalles). Si n es impar entonces n = 2k + 1 para
algún k ∈ Z. Entonces

n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1

por lo cual n2 es impar.

Hemos demostrado la contrarrecı́proca. Por tanto hemos terminado la demostración.


4. Sean m y n enteros. Si mn es par entonces m es par ó n es par.

DEMOSTRACIÓN:
Procederemos por Contraposición, es decir, demostraremos la Contrarrecı́proca:

Si m no es par y n no es par, entonces mn no es par.

En otras palabras demostraremos que si m es impar y n es impar entonces mn es

impar.
Esta demostración se encuentra en el inciso 2 de la parte de demostraciones por el
Método Directo (revisarla para más detalles). Por hipótesis sabemos que m y n son
impares. Entonces existen enteros k y p tales que

m = 2k + 1 y n = 2p + 1.

Por tanto

mn = (2k + 1)(2p + 1) = 4kp + 2k + 2p + 1 = 2(2kp + k + p) + 1

por lo cual mn es impar.

Hemos demostrado la contrarrecı́proca. Por tanto hemos terminado la demostración.


5
c) Método de Contradicción.
√
1. 2 no es un racional.

DEMOSTRACIÓN:
√
Procediendo por contradicción, supongamos que 2 es racional. Entonces existen en-
teros a y b tales que
√ a
2=
b
a
donde b 6= 0 y además la fracción b es irreducible. Elevando al cuadrado obtenemos

√ a2
(∗) 2 = ( 2)2 = 2
b
por lo cual
2b2 = a2 .
Esto significa que a2 es par, por lo cual a es par (esto se demostró en la parte de
Métodos de demostración por Contrarrecı́proca, en el inciso 3). Entonces, como a es
par, existe un entero k tal que
a = 2k.
Por tanto
a2 = 4k 2 .
Sustituyendo esto en la expresión (*) anterior obtenemos que

4k 2
2= 2 ,
b
por lo cual
b2 = 2k 2 .
Entonces b2 es par, por lo cual b es par.
Hemos demostrado que a y b son pares. Esto es una contradicción porque supusimos
a
que la fracción era irreducible. Por tanto hemos terminado la demostración de que
√ b
2 no es racional. 

2. Sean m y n enteros. Si m y n son impares entonces m + n es par.

DEMOSTRACIÓN:
Procediendo por contradicción, supongamos que m + n no es par. Entonces m + n es
impar. Además, por hipótesis, m y n son impares. Entonces existen enteros k y p tales
que
m = 2k + 1 y n = 2p + 1.

6
 Entonces

m + n = (2k + 1) + (2p + 1) = 2k + 2p + 2 = 2(k + p + 1).

Esto significa que m + n es par porque m + n = 2z, donde z es el entero k + p + 1.

Hemos demostrado que m + n es par. Esto es una contradicción porque supusimos que
m + n era impar. Por tanto hemos terminado la demostración. 

3. Si a es racional, a 6= 0 y b es irracional entonces ab es irracional.

DEMOSTRACIÓN:
Procediendo por contradicción, supongamos que ab no es irracional. Entonces ab es ra-
cional. También sabemos por hipótesis que a es racional y es distinto de cero. Entonces
existe a1 y es racional. Como ab y a1 son racionales, su producto es racional, es decir,
  1 
ab =b
a
es racional.
Hemos demostrado que b es racional. Esto es una contradicción porque por hipótesis b
es irracional. Por tanto hemos terminado la demostración. 

7
d) Método de Disyunción de Casos.
1. Si x ∈ R entonces x2 ≥ 0.

DEMOSTRACIÓN:
Si x ∈ R entonces tenemos 3 casos:

* Caso 1: x < 0.
* Caso 2: x = 0.
* Caso 3: x > 0.

CASO 1: Si x > 0 entonces x2 > 0. Entonces se cumple que x2 ≥ 0.

CASO 2: Si x = 0 entonces x2 = 0. Entonces se cumple que x2 ≥ 0.
CASO 3: Si x < 0 entonces x2 > 0. Entonces se cumple que x2 ≥ 0.
Hemos demostrado que en cualquiera de los 3 casos, se cumple lo que se quiere demos-
trar. Por tanto, es válido para todo x ∈ R. 

2. Para todo n ∈ N se cumple que n2 + n es par.

DEMOSTRACIÓN:
Si n ∈ N entonces tenemos 2 casos:

* Caso 1: n es par.
* Caso 2: n es impar.

CASO 1: Si n es par entonces existe un entero k tal que n = 2k. Entonces

n2 + n = (2k)2 + (2k) = 4k 2 + 2k = 2(2k 2 + k),

por tanto, se cumple(n2 + n) es par, porque (n2 + n) = 2z, donde z = 2k 2 + k. En este

caso se cumple que n2 + n es par.
CASO 2: Si n es impar entonces existe un entero p tal que n = 2p + 1. Entonces

n2 + n = (2p + 1)2 + (2p + 1) = 4p2 + 4p + 1 + 2p + 1 = 4p2 + 6p + 2 = 2(2p2 + 3p + 1),

por tanto, se cumple(n2 + n) es par, porque (n2 + n) = 2z, donde z = 2p2 + 3p + 1. En

este caso se cumple que n2 + n es par.
Hemos demostrado que en cualquiera de los 2 casos, se cumple lo que se quiere demos-
trar. Por tanto, es válido para todo n ∈ N. 

8
3. Para todo x ∈ R se cumple que |x| ≥ 0.

DEMOSTRACIÓN:
Si x ∈ R entonces tenemos 3 casos:

* Caso 1: x < 0.
* Caso 2: x = 0.
* Caso 3: x > 0.

CASO 1: Si x > 0 entonces |x| = x (por definición de valor absoluto) y como x > 0
entonces |x| > 0 (porque son iguales). Entonces se cumple que |x| ≥ 0.
CASO 2: Si x = 0 entonces |x| = 0. Entonces se cumple que |x| ≥ 0.
CASO 3: Si x < 0 entonces |x| = −x (por definición de valor absoluto). Como x < 0
entonces multiplicando en ambos lados por −1 obtenemos que (−1)(x) > (−1)(0), es
decir, −x > 0, y como |x| = −x, entonces |x| > 0. Entonces se cumple que |x| ≥ 0.
Hemos demostrado que en cualquiera de los 3 casos, se cumple |x| ≥ 0. Por tanto, es
válido para todo x ∈ R.