Vous êtes sur la page 1sur 22

Introduccin al pensamiento matemtico

Unidad 2. Mtodos de demostracin



Evidencia de aprendizaje. Aplicacin de los mtodos de demostracin

Instrucciones: Demuestra el lema para que lo utilices al momento de realizar la
demostracin del teorema y verifica si el corolario se desprende del teorema y es
verdadero.

Lema: Si x e y son nmeros reales,

y n es par, entonces o .
Teorema: Si x e y son nmeros reales,

, entonces o .
Corolario: Si x e y son nmeros reales,

y n es impar, entonces .
Un teorema es una frmula bien formada que puede ser demostrada dentro de un sistema
formal. Demostrar teoremas es un asunto central en la lgica matemtica y la matemtica.
Los teoremas tambin pueden ser expresados en lenguaje natural formalizado.
Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o
aclaradas de antemano. Luego existe una conclusin, una afirmacin lgica o matemtica,
la cual es verdadera bajo las condiciones dadas. El contenido informativo del teorema es la
relacin que existe entre las hiptesis y la tesis o conclusin.
Se llama corolario a una afirmacin lgica que sea consecuencia inmediata de un teorema,
pudiendo ser demostrada usando las propiedades del teorema previamente demostrado.


Esta imagen muestra la relacin entre las cadenas de caracteres, las frmulas bien formadas
y los teoremas. En algunos sistemas formales, sin embargo, el conjunto de los teoremas
coincide con el de las frmulas bien formadas.
Un teorema es una frmula bien formada que puede ser demostrada dentro de un sistema
Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin
un lema es una proposicin demostrada, utilizada para establecer un teorema menor o una
premisa auxiliar que forma parte de un teorema ms general. El trmino proviene del griego
, que significa cualquier cosa que es recibida, tal como un regalo, una ddiva o un
soborno.
Ciertos lemas demostrados son ms famosos que el teorema para el que fueron creados,
desempeando a veces la funcin de teorema. Muchos lemas son de hecho muy celebrados
y generales y se usan por doquier como resultados auxiliares en muchas ramas de la
matemtica.
Sean dos espacios de Hilbert y sea

un operador lineal. Se asume que

donde cada

es un operador lineal continuo.
Significa
,
Si

y

entonces



Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Introduccin al pensamiento matemtico
Unidad 2. Mtodos de demostracin

Vous aimerez peut-être aussi