METODOS DE DEMOSTRACIÓN

La demostración 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 válido y es admitido

dentro de la disciplina correspondiente.

La demostración es el enlace, entre los conocimientos recién adquiridos y el conjunto de los

conocimientos anteriores.

El enlace entre los conocimientos recién adquiridos y los anteriores está constituidos por una
sucesión finita de proposiciones que o bien son postulados o bien son conocimientos cuya validez
se ha inferido de otras proposiciones, mediante operaciones lógicas perfectamente coordinadas.

La demostración permite explicar unos conocimientos por otros y por tanto es una prueba
rigurosamente racional.

Sabemos que todas las proposiciones de una teoría matemática se clasifican en dos tipos: las
aceptadas sin demostración 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 demostración cuando no hay evidencia de su validez.

Estructura de la demostración

La demostración 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 demostración.

c) El procedimiento usado para lograr que el conocimiento quede demostrado.

Los procedimientos de demostración permiten establecer la conexión lógica entre los

fundamentos y sus consecuencias sucesivas, hasta llegar como conclusión final a la tesis que así
se demuestra. Una tesis puede ser demostrada mediante distintos procedimientos.

Tipos de demostración

Consideremos una demostración como un argumento que nos muestra que una proposición

condicional de la forma es lógicamente verdadera (es decir, verdadera en todos los cosos

posibles) donde es la o conjunción de las premisas y es la conclusión del

argumento.

Luego, si en el enunciado de un teorema se incluyen explícitamente las proposiciones de partida,

éste afirma que partiendo de cierta hipótesis se puede demostrar otra proposición llamada

Los procedimientos utilizados en la demostración están constituidos por distintas formas de

deducción o inferencia y se puede clasificar en varios tipos los cuales serán estudiados
separadamente.

Los principales tipos de demostración son:

a) Demostración directa.

b) Demostración indirecta.

c) Demostración por recursión.

El problema de la construcción de una demostración consiste en preparar

una serie de pasos que conduzcan a la conclusión deseada. No hay caminos automáticos para
hacerlo y, por ello, la demostración constituye un proceso creador dentro del conocimiento
científico ``es una cuestión personal que se adquiere con la práctica y el desarrollo de la
iniciativa de cada uno''.

Demostración directa

Cuando se parte de un conjunto de postulados o de proposiciones cuya validez ha sido probada,

para inferir como consecuencia la , a través 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 (matemática en
nuestro caso).

Una demostración directa de una proposición consiste en

un conjunto de proposiciones ( ) que son postulados o

proposiciones cuya validez ya ha sido probada y de las cuales se infiere la proposición como
consecuencia inmediata.

En una demostración directa, cada paso debe ir acompañado de una explicación que justifique la
presencia de ese paso.

Decimos que es una consecuencia inmediata de si se produce la implicación:

Para mayor brevedad, llamaremos (hipótesis) al antecedente del esquema proposicional

anterior.

Ejemplo 8

Sean y números enteros positivos tales que divide a ,( )y divide a .( )

Demostrar que divide a ( )

En este caso las bases de la demostración se encuentran en la definición de divisibilidad, la

multiplicación de números enteros y sus propiedades. (Recordemos que un entero divide a

otro si existe un entero tal que = ).

Demostraremos entonces que ( divide a divide a ) ( divide a ) (esquema a

comprobar)

Si divide a ,entonces existe un entero positivo (por ser y positivos), talque:

(1)

Si divide a ,existe un entero positivo talque: (2).

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

Haciendo se obtiene que: donde es un entero positivo.

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 implicación.

Demostración Indirecta

Si se tiene dificultades en la construcción de una demostración directa, se puede a veces

obtener resultados más importantes y mejores, empleando algunos otros métodos.

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

El método de demostración indirecta se basa en el hecho de que si es falsa, entonces es

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

compatible con las afirmaciones dadas en la hipótesis.

De otro modo, suponiendo que la proposición 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 contradicción. Cuando se llega a la contradicción, sabemos que

la verdad de no es compatible con nuestra hipótesis (verdadera) y, por tanto, que es falsa.

Por consiguiente, es verdadera.

Luego, para demostrar un teorema de la forma , basta deducir alguna contradicción a

partir de la hipótesis .

Hay diferentes formas para utilizar el método de demostración indirecta; Para demostrar
podemos hacerlo demostrando que:

a) .

b) ( )

c) ( ) .
d) ( ) ( )

Ejemplo 9

Sean y números enteros positivos impares. Demostrar que es impar.

En este caso las bases de la demostración ( ) se encuentra en las nociones de

número impar, número par, la suma y la multiplicación de números enteros con sus propiedades.

Si es un número impar, entonces es de la forma y si es un número impar, entonces

es de la forma , donde y pueden tomar los valores 0, 1, 2, 3,.... así:

(1) (2)

Supongamos contrariamente que no es impar, es decir que es par. Entonces,

para algún entero positivo .

Luego el producto contiene el factor 2, lo que implica que contiene el factor 2 o contiene

el factor 2, o ambos, es decir o son pares en contradicción con la hipótesis.

Demostración por Recursión (Inducción Matemática)

Cuando la se prueba por medio de la inducción matemática recursiva, se efectúa una

demostración por recursión. La demostración por recursión se utiliza principalmente en la teoría
de números 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, (hipotésis inductiva)

Tercero, se prueba que se cumple igualmente para el caso siguiente.

Ejemplo 10

Demostrar que es un múltiplo de para todo entero positivo .

Aplicando el procedimiento anteriormente descrito, tenemos:

Comprobamos para un caso inicial, Si , entonces:

y obviamente es un multiplo de

Admitimos nuestra hipotesis inductiva, esto es, que es un múltiplo de

entonces si ; tendríamos

: 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 expresión final, no es otra cosa que un número múltiplo de

Así entonces, es un múltiplo de para si es múltiplo de para

. Por tanto, por el principio de , es un múltiplo de

para todo entero positivo ., con lo cual queda entonces demostrado, el enunciado en
cuestión.

__