Mtodos de Demostracin en

Matemticas
Lic. Renzo Hubert Osorio Ccoya

En matemticas no se acepta una

proposicin como verdadera hasta que se
construye su demostracin formal, aunque
la proposicin sea vlida para un nmero
finito de casos no significa que sea vlida
para todo el universo, por ejemplo la
conjetura de Goldbach (todo nmero par
mayor que 2 puede escribirse como suma
de dos nmeros primos) se ha verificado
utilizando computadoras para millones de
casos pero a pesar de ello no se acepta
como verdadera.

Veamos el siguiente razonamiento:

Si x=y entonces:
3x=3y
2y=2x
luego:
3x+2y=3y+2x
3x-3y=2x-2y
3(x-y)=2(x-y)
3=2
qu paso?

Aqu consideraremos los siguientes

mtodos de demostracin:
a) Mtodo directo de demostracin
b) Mtodos indirectos de demostracin
por contrapositiva
por reduccin al absurdo
c) Mtodo de Induccin matemtica
d) Mtodo por contraejemplo

A) MTODO
DE
DEMOSTRACIN
DIRECTA
Aqu se tiene como hiptesis verdaderas
las proposiciones P1, P2,,Pn
procediendo a la deduccin de que la
conclusin Q es verdadera a travs de
un proceso lgico deductivo, es decir
como una cadena de implicaciones
lgicas. El esquema de demostracin en
el mtodo directo es de la forma:
P1 P2 Pn Q

El mtodo de demostracin directo tiene

como fundamento lgico la regla de
inferencia
clsica
o
esquema
argumentativo vlido llamado Modus
Ponens:
[ P (PQ) ] Q
que significa: si la
hiptesis P es
verdadera y la hiptesis P implica la
conclusin Q entonces la conclusin Q es
verdadera.

B) MTODOS DE DEMOSTRACIN
INDIRECTOS
Mtodo
de
demostracin
por
contrapositiva
Tiene como fundamento la equivalencia
lgica entre las proposiciones PQ y
~Q~P)
Para realizar una demostracin por
contrapositiva se toma como hiptesis la
negacin de la conclusin escrita como

~Q para obtener como conclusin la

negacin de la hiptesis escrita como ~P,
ello se puede generalizar para el caso que
se tengan varias premisas.

Mtodo de demostracin por reduccin

al absurdo
Se atribuye al filsofo griego Zenn de
Elea, alrededor del siglo V a.C., la
invencin del mtodo de reduccin al
absurdo que utilizaba en sus argumentos
y en sus famosas paradojas, desde
entonces es un mtodo ampliamente
aplicado en matemticas.

El procedimiento general para demostrar

indirectamente por reduccin al absurdo
una proposicin de la forma (P1 P2
Pn ) Q consiste en:
1) Asumimos que la condicional es falsa
luego las proposiciones P1, P2,, Pn y
~Q son verdaderas
2) De lo anterior debemos llegar a una
contradiccin, por lo que la condicional
tiene que ser verdadera.

Aristteles fundamento lgicamente la

demostracin por reduccin al absurdo en
dos principios: principio de no contradiccin
~(p~p) considerada ley suprema de la
lgica segn Kant y Aristteles, que significa
que una proposicin no es verdadera y falsa
simultneamente y el principio del tercero
excluido (p~p) que significa que una
proposicin es verdadera o falsa.

Si no son aceptados los

principios
anteriores, el mtodo de reduccin al
absurdo carece de fundamento lgico.

C) MTODO DE DEMOSTRACIN POR

EL PRINCIPIO DE INDUCCIN
MATEMTICA
El principio de induccin matemtica es
un principio universalmente vlido en
matemticas y es fundamentalmente uno
de los axiomas de los nmeros naturales
construidos por el matemtico italiano
Giuseppe Peano a finales del siglo XIX.

Las demostraciones por el principio de

induccin matemtica se consideran
indirectas. El principio de induccin
matemtica es utilizado para demostrar la
veracidad de proposiciones p(n) donde n
es un nmero natural mayor o igual que un
valor inicial no, el principio de induccin
matemtica consiste en:
1) Inicialmente se verifica que la
proposicin p(n) es verdadera para n=n o,
es decir p (no) es verdadera.

ii) Se enuncia la hiptesis de induccin:

p(k) es verdadera para el nmero natural
k.
iii) Usando la hiptesis de induccin
enunciada en (ii) y otras proposiciones
verdaderas demostradas anteriormente se
demuestra que p (k+1) es verdadera.
iv) La conclusin consiste en que p(n) es
verdadera para todo nno

D) MTODO POR CONTRAEJEMPLO

Este mtodo se aplica de manera muy
particular para demostrar la falsedad de
proposiciones cuya
hiptesis
est
construida mediante un "cuantificador
universal". Esto es, se aplica para
demostrar la falsedad de una proposicin
que tenga una conclusin referida para
"todos los elementos de un cierto
conjunto".

Una demostracin consiste en una

sucesin de formulas que, o bien son
axiomas, o bien son teoremas, o se han
obtenido de stas mediante inferencias
admisibles.
Hilbert
Los encantos de esta ciencia sublime, las
matemticas, slo se le revelan a aquellos
que tienen el valor de profundizar en ella.
Carl Friedrich Gauss

Un axioma es una proposicin que se

considera evidente y se acepta sin
requerir demostracin previa.
Un postulado es una proposicin no
evidente por s misma, ni demostrada,
pero que se acepta ya que no existe otro
principio al que pueda ser referida.

Un lema es una proposicin demostrada,

utilizada para establecer un teorema
menor o una premisa auxiliar que forma
parte de un teorema ms general
Un teorema es una afirmacin que puede
ser demostrada dentro de un sistema
formal. Demostrar teoremas es un asunto
central en la lgica y la matemtica.

Un corolario es una conclusin obvia

o inevitable que se desprende de ciertos
antecedentes