METODOS DE DEMOSTRACIN

La demostracin es un razonamiento o serie de razonamiento que prueba la validez de un nuevo

conocimiento estableciendo sus conexiones necesarias con otros conocimientos.
Cuando un conocimiento queda demostrado, entonces se le reconoce como vlido y es admitido
dentro de la disciplina correspondiente.
La demostracin es el enlace, entre los conocimientos recin adquiridos y el conjunto de los
conocimientos anteriores.
El enlace entre los conocimientos recin adquiridos y los anteriores est constituidos por una
sucesin finita de proposiciones que o bien son postulados o bien son conocimientos cuya validez
se ha inferido de otras proposiciones, mediante operaciones lgicas perfectamente coordinadas.
La demostracin permite explicar unos conocimientos por otros y por tanto es una prueba
rigurosamente racional.
Sabemos que todas las proposiciones de una teora matemtica se clasifican en dos tipos: las
aceptadas sin demostracin que son las definiciones (donde no hay nada por demostrar) y los
o

(que se toman como proposiciones de partida) y las deducidas,

llamadas

(que son proposiciones cuya validez ha sido probada).

No siempre tenemos evidencia directa de la validez de un teorema. Eso depende en parte su

grado de complejidad y de nuestra mayor o menor familiaridad con su contenido.
Un teorema requiere demostracin cuando no hay evidencia de su validez.
Estructura de la demostracin
La demostracin consta de tres partes:
a) El conocimiento que se trata de demostrar, es decir la proposici (teorema)cuya validez se
trata de probar.
b) Los fundamentos empleados como base de la demostracin.
c) El procedimiento usado para lograr que el conocimiento quede demostrado.
Los procedimientos de demostracin permiten establecer la conexin lgica entre los
fundamentos y sus consecuencias sucesivas, hasta llegar como conclusin final a la tesis que as
se demuestra. Una tesis puede ser demostrada mediante distintos procedimientos.
Tipos de demostracin
Consideremos una demostracin como un argumento que nos muestra que una proposicin
condicional de la forma
posibles) donde
argumento.

es la

es lgicamente verdadera (es decir, verdadera en todos los cosos

o conjuncin de las premisas y es la conclusin del

Luego, si en el enunciado de un teorema se incluyen explcitamente las proposiciones de partida,

ste afirma que partiendo de cierta hiptesis

se puede demostrar otra proposicin

llamada

.
Los procedimientos utilizados en la demostracin estn constituidos por distintas formas de
deduccin o inferencia y se puede clasificar en varios tipos los cuales sern estudiados

separadamente.
Los principales tipos de demostracin son:
a) Demostracin directa.
b) Demostracin indirecta.
c) Demostracin por recursin.

El problema de la construccin de una demostracin consiste en preparar

una serie de pasos que conduzcan a la conclusin deseada. No hay caminos automticos para
hacerlo y, por ello, la demostracin constituye un proceso creador dentro del conocimiento
cientfico ``es una cuestin personal que se adquiere con la prctica y el desarrollo de la
iniciativa de cada uno''.
Demostracin directa
Cuando se parte de un conjunto de postulados o de proposiciones cuya validez ha sido probada,
para inferir como consecuencia la

, a travs de una serie de inferencias, se establece una

. En ella se prueba la validez de una tesis estableciendo que sta es

una consecuencia necesaria de los fundamentos de la disciplina correspondiente (matemtica en
nuestro caso).

Una demostracin directa de una proposicin

consiste en

un conjunto de proposiciones

) que son postulados o

proposiciones cuya validez ya ha sido probada y de las cuales se infiere la proposicin

consecuencia inmediata.

como

En una demostracin directa, cada paso debe ir acompaado de una explicacin que justifique la
presencia de ese paso.

Decimos que es una consecuencia inmediata de

Para mayor brevedad, llamaremos

anterior.

si se produce la implicacin:

(hiptesis) al antecedente del esquema proposicional

Ejemplo 8

Sean

Demostrar que

nmeros enteros positivos tales que

divide a

divide a

,(

)y

divide a

.(

En este caso las bases de la demostracin se encuentran en la definicin de divisibilidad, la

multiplicacin de nmeros enteros y sus propiedades. (Recordemos que un entero
otro

si existe un entero

tal que

Demostraremos entonces que (

divide a

divide a

).

divide a )

divide a

) (esquema a

comprobar)

Si

divide a

,entonces existe un entero positivo

(por ser

positivos), talque:

(1)

Si

divide a

,existe un entero positivo

talque:

(2).

Reemplazando (1) en (2) se tiene que:

Haciendo

donde es un entero positivo.

se obtiene que:

De aqu concluimos que divide a

con lo cual se ha establecido la veracidad del consecuente
del esquema a comprobar y por lo tanto queda demostrada la implicacin.
Demostracin Indirecta
Si se tiene dificultades en la construccin de una demostracin directa, se puede a veces
obtener resultados ms importantes y mejores, empleando algunos otros mtodos.

Cuando se establece validez de una tesis probando, que las consecuencias de su contraria son
falsas, entonces se realiza una demostracin indirecta.

El mtodo de demostracin indirecta se basa en el hecho de que si

es falsa, entonces

verdadera (negar-negando). La mejor manera de hacerlo es mostrando que

compatible con las afirmaciones dadas en la hiptesis.

es

no es

De otro modo, suponiendo que la proposicin

es verdadera, consideremos el conjunto
formado por ella y las otras proposiciones conocidas y tratamos de demostrar que este conjunto
as considerado nos lleva a una contradiccin. Cuando se llega a la contradiccin, sabemos que
la verdad de

no es compatible con nuestra hiptesis (verdadera) y, por tanto, que es falsa.

Por consiguiente, es verdadera.

Luego, para demostrar un teorema de la forma

partir de la hiptesis

, basta deducir alguna contradiccin a

Hay diferentes formas para utilizar el mtodo de demostracin indirecta; Para demostrar
podemos hacerlo demostrando que:

a)

b) (

c) (

d) (

Ejemplo 9

Sean

nmeros enteros positivos impares. Demostrar que

es impar.

En este caso las bases de la demostracin (

) se encuentra en las nociones de
nmero impar, nmero par, la suma y la multiplicacin de nmeros enteros con sus propiedades.

Si

es un nmero impar, entonces es de la forma

es de la forma

, donde

y si

es un nmero impar, entonces

pueden tomar los valores 0, 1, 2, 3,.... as:

(1)

Supongamos contrariamente que

(2)

no es impar, es decir que

es par. Entonces,

para algn entero positivo

Luego el producto

contiene el factor 2, lo que implica que

el factor 2, o ambos, es decir

contiene el factor 2 o

contiene

son pares en contradiccin con la hiptesis.

Demostracin por Recursin (Induccin Matemtica)

Cuando la
se prueba por medio de la induccin matemtica recursiva, se efecta una
demostracin por recursin. La demostracin por recursin se utiliza principalmente en la teora
de nmeros y consiste en probar la validez de un teorema estableciendo:
Primero, su cumplimiento para el caso limitante (caso inicial)
Segundo, admitiendo que se cumple en el general, (hipotsis inductiva)
Tercero, se prueba que se cumple igualmente para el caso siguiente.
Ejemplo 10

Demostrar que

es un mltiplo de

para todo entero positivo

Aplicando el procedimiento anteriormente descrito, tenemos:

Comprobamos para un caso inicial, Si

y obviamente

, entonces:

es un multiplo de

Admitimos nuestra hipotesis inductiva, esto es, que

es un mltiplo de

entonces si

; tendramos

es un multiplo de

escrito de otra forma

para cualquier

entero positivo

Por ltimo, comprobamos que se cumple para el caso siguiente

El caso siguiente a

ser

, en consecuencia:

esta expresin final, no es otra cosa que un nmero mltiplo de

As entonces,

es un mltiplo de

para

. Por tanto, por el principio de

para todo entero positivo
cuestin.

si

es mltiplo de
,

es un mltiplo de

., con lo cual queda entonces demostrado, el enunciado en

__

para