LICEO ALEMÁN DEL VERBO DIVINO

DEPARTAMENTO DE MATEMÁTICA
LOS ÁNGELES

GUÍA DE MATEMÁTICA PLAN DIFERENCIADO CUARTO MEDIO

DEMOSTRACIONES
DEMOSTRACIÓN: Es un razonamiento que establece la veracidad de un teorema, es decir
demostrar un teorema equivale a probar que la proposición P  Q es una TAUTOLOGÍA.
Una demostración se construye a partir de las hipótesis que se tienen, los axiomas que sabemos
ciertos, y teoremas previamente demostrados.

Teorema: Consiste en una proposición P, llamada hipótesis y otra proposición Q que será la
conclusión, tesis o lo que se quiere demostrar.

Corolario: Es un teorema que se deduce inmediatamente de otro teorema.

Lema: (o resultados intermedios) Es un teorema que no tiene especial interés en sí mismo

porque es útil para probar algún otro teorema.

¿Cómo demostrar un teorema?

Existen una serie de métodos que se explican a continuación:

MÉTODOS DE DEMOSTRACIÓN
1. DEMOSTRACIÓN DIRECTA:

Una demostración de este tipo muestra que la verdad de la conclusión Q , se sigue

lógicamente de la verdad de la hipótesis P . La demostración empieza asumiendo que
P es verdad para después, utilizando cualquier información disponible, así como
teoremas probados con anterioridad, probar que Q es verdad.

Ejemplo: Demostrar que el cuadrado de un número entero par también es par

El teorema a demostrar escrito en forma condicional, sería:

“para cualquier entero n , si n es par, entonces n 2 es par”

Que corresponde al esquema:

n  p(n)  p(n 2 ) 
Donde p  n  : n es par , y el universo del discurso son todos los números enteros.
Luego se tiene:
2. DEMOSTRACIÓN POR CONTRARECÍPROCO

La demostración de un teorema se dice que es por el contrarecíproco cuando

suponiendo que la conclusión Q , es falsa y utilizando la hipótesis P y otros teoremas y
equivalencias lógicas establecidas previamente, se concluye que P es falso.
Está basada en la equivalencia lógica entre una proposición condicional y su
contrarecíproca. Es decir: P  Q  Q  P

Ejemplo:
Demostrar, para cada entero n , si 5n  3 es par, entonces n es impar.

Es decir (por contrarecíproco): “para cada entero n , si n NO es impar entonces 5n  3

NO es par”

3. DEMOSTRACIÓN POR REDUCCIÓN AL ABSURDO

Es uno de los métodos más usados para hacer demostraciones matemáticas. La idea es
suponer que la proposición que queremos demostrar es falsa, y a partir de esta
suposición, usando deducciones matemáticas, llegar a una contradicción o algo absurdo,
lo cual implica que nuestra proposición es necesariamente cierta.
Ejemplo:
Demuestre que si m y n son enteros tales que n  n2  n3  m  m2 , entonces n es par

EJERCICIOS

1) Demuestre con el método directo el siguiente teorema:

“Si n es un entero impar entonces n 2 también es un entero impar”

2) Demuestre directamente que si m, n, p son enteros y (m  n) y (n  p) son enteros pares,

entonces m  p también es un entero par
3) Demuestre directamente que sí m y n son cuadrados perfectos, entonces mn es también
cuadrado perfecto
(Recuerde que a es un cuadrado perfecto si existe un entero b tal que a  b2 )

4) Demostrar que 2 no es un número racional (la demostración es por reducción al absurdo)

1
5) Demostrar que si es un número real
0
6) Demostrar que hay infinitos números primos (utilizar reducción al absurdo)