Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Metodos de Demostracion Material #2
Metodos de Demostracion Material #2
llamadas
es la
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.
consiste en
un conjunto de proposiciones
como
En una demostracin directa, cada paso debe ir acompaado de una explicacin que justifique la
presencia de ese paso.
si se produce la implicacin:
Ejemplo 8
Sean
Demostrar que
divide a
,(
)y
divide a
.(
si existe un entero
tal que
divide a
divide a
).
divide a )
divide a
) (esquema a
comprobar)
Si
divide a
(por ser
positivos), talque:
(1)
Si
divide a
talque:
(2).
Haciendo
se obtiene que:
Cuando se establece validez de una tesis probando, que las consecuencias de su contraria son
falsas, entonces se realiza una demostracin indirecta.
es falsa, entonces
es
no es
Hay diferentes formas para utilizar el mtodo de demostracin indirecta; Para demostrar
podemos hacerlo demostrando que:
a)
b) (
c) (
d) (
Ejemplo 9
Sean
es impar.
Si
es de la forma
, donde
y si
(1)
(2)
es par. Entonces,
Luego el producto
contiene el factor 2 o
contiene
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
y obviamente
, entonces:
es un multiplo de
es un mltiplo de
entonces si
; tendramos
es un multiplo de
para cualquier
entero positivo
El caso siguiente a
ser
, en consecuencia:
As entonces,
es un mltiplo de
para
si
es mltiplo de
,
es un mltiplo de
para