P. 1
METODOS DE DEMOSTRACIÓN (MATERIAl Nº 2)

METODOS DE DEMOSTRACIÓN (MATERIAl Nº 2)

4.38

|Views: 59.746|Likes:
Publicado pornievesba

More info:

Published by: nievesba on Jun 14, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

05/21/2014

pdf

text

original

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 llamadas (que se toman como proposiciones de partida) y las deducidas, (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 posibles) donde argumento. es la es lógicamente verdadera (es decir, verdadera en todos los cosos o conjunción de las premisas y es la conclusión del

Luego, si en el enunciado de un teorema se incluyen explícitamente las proposiciones de partida, éste afirma que partiendo de cierta hipótesis . 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 se puede demostrar otra proposición llamada

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 un conjunto de proposiciones (

consiste en ) 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 anterior.
Ejemplo 8

(hipótesis) al antecedente del esquema proposicional

Sean

y

números enteros positivos tales que divide a ( )

divide a

,(

)y

divide a

.(

)

Demostrar que

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 otro si existe un entero tal que = ). divide a

Demostraremos entonces que (

divide a

divide a )

(

divide a

) (esquema a

comprobar)

Si

divide a (1)

,entonces existe un entero positivo

(por ser

y

positivos), talque:

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 no es

es

verdadera (negar-negando). La mejor manera de hacerlo es mostrando que 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 partir de la hipótesis .

, basta deducir alguna contradicción a

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 , donde y

y si

es un número impar, entonces

es de la forma

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 o

contiene el factor 2 o

contiene

el factor 2, o ambos, es decir

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 para todo entero positivo cuestión.

es un múltiplo de

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->