Un teorema es una proposicin cuya verdad se ha demostrado.

Algunos tipos especiales de teoremas se conocen por lemas o corolarios

Demostracin vaca
Si la hiptesis p de una implicacin p q es falsa, entonces la implicacin es verdadera
Ejemplo
Si P(n) es la funcin proposicional
"Si n > 1 entonces n2 > n"
Mostrar que P(0) es verdadera.
P(0) es Si 0 > 1 entonces 0 2 > 0 y como la hiptesis es falsa la implicacin es
automticamente cierta.
Demostracin trivial
Si la conclusin q de una implicacin p q es cierta entonces la implicacin es verdadera
Ejemplo
Sea P(n) si a es un nmero real positivo tal que 0 < a < 1, entonces (1 + a)n 1 + na.
Demostremos que P(0) es verdadero.
P(0) es si a es un nmero real positivo tal que 0 < a < 1, entonces (1 + a)0 1 + 0a. Como
1 = (1 + a)0 1 + 0a = 1, la conclusin P(0) es cierta.
Observemos que no hemos utilizado la hiptesis de la implicacin (0 < a < 1).
Demostracin directa
Ejemplo:
Si n es un entero impar entonces n2 es un entero impar.
Si n es impar, n = 2k + 1 con k entero y, entonces,
n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2(2k2 + 2k) + 1
Demostracin por reduccin al absurdo
La tcnica sera la siguiente:
Se supone cierto A.
Se demuestra que esta hiptesis conduce a contradiccin.
Se concluye no A
Principio de induccin Matemtica
Una proposicin p(n) es verdadera para todos los valores de la variable n si se cumplen las
siguientes condiciones :
Paso 1.- La proposicin p(n) es verdadera para n = 1 , o bien, p(1) es verdadera.
Paso 2.- Hiptesis de Induccin . Se supone que p(k) es verdadera , donde k es un
nmero natural cualesquiera.
Paso 3.- Tesis de Induccin. Se demuestra que p(k + 1) es verdadera, o bien,
p(k) verdadera ) p(k + 1) verdadera:
La tcnica de Induccin Matemtica consiste en los tres pasos anteriores. Si se necesita
demostrar la validez de una proposicin p(n) para todos los valores naturales n, entonces es
suficiente que se cumplan: Paso 1, Paso 2 y Paso 3
LOS NMEROS REALES
Axiomas para el sistema de nmeros reales. Hay algunos mtodos para introducir a los
nmeros reales, una de ellas es usar los nmeros naturales 0,1,2,3, que se llega a construir
los nmeros reales. Los nmeros naturales N los notaremos como
N = {0,1,2,3,}
As por ejemplo x+5=1, esta ecuacin no tiene solucin; pues ella tiene solucin cunado x=-4 y
como sabemos -4 no pertenece a N, debemos introducir un nuevo sistema de nmeros que
contengan por ejemplo a la solucin de esta ecuacin este el sistema de los nmeros enteros
Z.
Z = {-2,-1,0,1,2,}.
Ahora vemos que este sistema tampoco satisface todas las ecuaciones que se puedan plantear
por ejemplo 3x=1, no tiene solucin en el conjunto de los nmeros enteros ya que x=1/3 no
pertenece a Z, Entonces se define un sistema de nmeros ms amplio que el de los nmeros
enteros el de los nmeros racionales Q, los mismos que se definen como el cociente entre
dos nmeros enteros
Q = {a/b: a
Zyb
Z; b 0}
An este sistema no nos permite resolver la ecuacin n 2 = 2 no se satisface por ningn nmero
racional.
La solucin estar en el sistema de los nmeros irracionales que al unir los nmeros racionales
con los irracionales tendremos los nmeros reales R. No nos interesan los mtodos de

construccin de los nmeros de esto se encargar la teora de nmeros. Es as que

estudiaremos las propiedades, los axiomas y a partir de estos unas nuevas propiedades, los
veremos a los reales como objetos no definidos.
Mientras no se diga lo contrario, las letras a,b,c,x,y,z que aparecen en los axiomas
representan nmeros reales cualesquiera. Los axiomas se agrupan en forma natural en tres
grupos, que son, axiomas de cuerpo, axiomas de orden y axioma del extremo superior (llamado
tambin axioma de continuidad o axioma de completitud.
Axioma de Cuerpo (axioma = proposicin, sentencia)
Junto con el conjunto de los nmeros reales R admitiremos la existencia de dos operaciones
llamadas adicin y multiplicacin, tales que x + Y es un nuevo nmero real al igual que x.y es
un nuevo nmero real. A las operaciones que al operar en un par de elementos de un conjunto,
nos dan un nuevo elemento de l mismo conjunto; se les llama operaciones internas en el
conjunto
1. LEY CONMUTATIVA x+y = y+x
2. LEY ASOCIATIVA
(x+y)+z = x+(y+z)
3. existe un nmero real que lo notaremos con el smbolo 0 tal que , para todo x
R