Presentacion Iapm PDF

M
etodos de demostraci
on
Fredy Jes us Fabian Medinilla, Leodegario Fabian Medinilla y Octavio
Rendon Gutierrez
UNIVERSIDAD ABIERTA Y A DISTANCIA DE M
EXICO
CIENCIAS EXACTAS, INGENIER
IA Y TECNOLOG
IA
LICENCIATURA EN MATEM
ATICAS
Docente: Luis Fernando Acosta Urzua
Noviembre de 2013
UNADM Licenciatura en Matematicas Noviembre de 2013 1 / 22
Demostraci on matematica
Cada una de las distintas ramas de las matematicas tiene una estructura
l ogica construida a partir de ciertas proposiciones fundamentales conocidas
como postulados o axiomas. Los resultados mas importantes en cualquier
rama de las matematicas se conocen como Teoremas.
Cada teorema es una consecuencia logica de uno o mas axiomas o
teoremas precedentes.
Las siguientes deniciones permiten detallar de que se trata cada uno de
los elementos basicos de una ciencia deductiva asi construida.
Deniciones basicas
Definici
on
Axioma: Un axioma es un enunciado matematico que se admite como
verdadero y no se tiene que demostrar. Los axiomas son las verdades
basicas.
Definici
on
Lema: Un lema es una proposicion que ya ha sido demostrada y se utiliza
para establecer un teorema menor o una premisa auxiliar que es parte de
un teorema general.
Definici
on
Teorema: Un teorema es una armacion que debe ser demostrada.
Definici
on
Corolario: Un corolario es una conclusion que se desprende de un
teorema que ya se ha demostrado.
Demostraci on directa
Todo teorema matematico se puede formular en terminos logicos de la
siguiente manera
P Q (1)
es decir, una implicacion logica, donde P representa una o varias
porposiciones, llamadas premisas; Q representa una o varias proposiciones
que se llaman conclusiones. La demostracio directa consiste en demostrar
un resultado del tipo (1) empezando en las premisas P y procediendo
sucesivamente hasta la conclusion Q.
Demostraci on directa
Ejemplo
Demostrar que
x
3
+ 5x
2
4x > 0 x > 0
Soluci
on
Sup ongase que x
3
+ 5x
2
4x > 0. Sumando x
3
+ 4x se tiene que
5x
2
> x
3
+ 4x, dividiendo entre x se obtiene 5x > x
2
+ 4, puesto que
x
2
+ 4 4x, entonces 5x > 4 y en consecuencia x >
4
5
de modo que
x > 0.
Demostraci on indirecta
La demostracion indirecta se da cuando se parte de que Q no es cierta, es
decir negamos Q, lo que se puede escribir como Q. A partir de lo
anterior se prueba que P tampoco puede ser cierta en vista de la siguiente
equivalencia
P Q = Q P. (2)
Demostraci on indirecta
Ejemplo
Demostrar que
x
3
+ 5x
2
4x > 0 x > 0
Soluci
on
Sup ongase que x 0, dividiendo la desigualdad entre x se tiene
x
2
+ 5x 4 > 0
entonces
5x 0
y de ese modo
x
2
+ 5x 4 0
Demostraci on por contradicci on
Este tipo de demostracion se basa en el principio logico fundamental de
que es imposible que una cadena de inferencias validas vaya de una
proposicion verdadera a una falsa. si se tiene una proposicion A y se
deduce una contradiccion de la suposicion de que A sea falsa, se deduce
que A debe ser verdadera.
Demostraci on por contradicci on
Ejemplo
Demostrar que
x
3
+ 5x
2
4x > 0 x > 0
Soluci
on
Sup ongase que el enunciado no es cierto. Entonces tiene que existir un x
tal que x
3
+ 5x
2
4x > 0 y x 0. Pero si x 0, entonces
x
3
+ 5x
2
4x x
3
4x 4x (3)
lo que es una contradiccion
Demostraci on por reducci on al absurdo
En este metodo se utiliza la hipotesis y la negacion de la contradiccion
para llegar a un absurdo.
Consiste en suponer que P es verdadera y Q falsa y ver que no puede
ocurrir esto.
Demostraci on por reducci on al absurdo
Ejemplo
Demostrar que
3 es irracional
Soluci
on
Sup ongase que
3 es racional, de modo que
3 =
r
s
con r y s enteros y
primos entre si. Entonces
r
2
s
2
= 3
entonces r
2
= 3b
2
, por lo que r
2
es m ultiplo de 3, en consecuencia
r
2
= 3k y entonces r debe ser m ultiplo de 3. Si r = 3l entonces r
2
= 9l
2
y
sustituyendo se tiene que 9l
2
= 3s
2
, es decir s
2
= 3l
2
con lo que s es
tambien m ultiplo de 3. En consecuencia
3 es irracional.
Demostraci on por inducci on matematica
Sea A(n) una armacion que contiene el entero n. Se puede concluir que
A(n) es verdadero para cada n n
1
si es posible:
a) Probar que A(n
1
) es cierta.
b) Probar, que supuesta A(k) verdadera, siendo k un entero arbitrario
pero jado n
1
, que A(k + 1) es verdadera.
Este metodo de demostracion descansa sobre un teorema relativo a lo
n umero reales.
Teorema
Principio de inducci
on matem
atica: Sea S un conjunto de enteros

positivos que tienen las dos propiedades siguientes:
a) El n umero 1 pertenece al conjunto S.
b) Si un entero k pertenece a S, tambien k + 1 pertenece a S.
Entonces todo entero positivo pertenece al conjunto S.
Ejemplo
La sucesion de Fibonacci se dene de forma recursiva como:
_
_
_
F
0
= 0
F
1
= 1
F
n+1
= F
n
+ F
n1
, n N.
Demuestre que n N {0} se cumple que
F
n
=
1
5
__
1 +
5
2
_
n
_
1
5
2
_
n
_
(4)
Soluci
on
F
0
es verdadera pues
F
0
=
1
5
_
_
_
1 +
5
2
_
0
_
1
5
2
_
0
_
_
F
0
=
1
5
[1 1] =
1
5
[0] = 0
Suponiendo que se cumple para n = k, es decir
F
k
=
1
5
_
_
_
1 +
5
2
_
k
_
1
5
2
_
k
_
_
Soluci
on
Entonces debe demostrarse que tambien se cumple para n = k + 1:
F
k+1
=
1
5
_
_
_
1 +
5
2
_
k+1
_
1
5
2
_
k+1
_
_
Puesto que la denicion recursiva se cumple n N
F
k+1
= F
k
+ F
k1
haciendo =
1+
5
2
y =
1
5
2
entonces
F
k+1
=
1
5
_
()
k
()
k
_
+
1
5
_
()
k1
()
k1
_
Soluci
on
Simplicando terminos se tiene que
F
k+1
=
1
5
_
()
k
()
k
+ ()
k1
()
k1
_
F
k+1
=
1
5
__
k
+
k1
_
k1
+
k
__
F
k+1
=
1
5
_
k
_
1 +
1
k
_
1 +
1
__
Puesto que
1 +
1
= 1 +
1
1+
5
2
=
1 +
5 + 2
1 +
5
=
2
_
3 +
5
_
2
_
1 +
5
_ =
_
1 +
5
_
2
2
_
1 +
5
_ =
1 +
5
2
Soluci
on
y
1+
1
= 1+
1
1
5
2
=
1
5 + 2
1
5
=
2
_
3
5
_
2
_
1
5
_ =
_
1
5
_
2
2
_
1
5
_ =
1
5
2
entonces
F
k+1
=
1
5
_
_
_
1 +
5
2
_
k
_
1 +
5
2
_
_
1
5
2
_
k
_
1
5
2
_
_
_
F
k+1
=
1
5
_
_
_
1 +
5
2
_
k+1
_
1
5
2
_
k+1
_
_
Demostraci on por contraejemplo
Este metodo se utiliza para demostrar la falsedad de porposiciones cuya
hipotesis estaconstruda mediante un cuanticador universal .
Basta exhibir un elemento que satisfaga la hipotesis de la proposicion, pero
que no satisfaga su conclusion, es decir, un contraejemplo.
Ejemplo
Demostrar que para todo z, w n umeros reales z
2
= w
2
z = w.
Soluci
on
Sup ongase z = 3 y w = 3 entonces 9 = 9 pero 3 = 3, entonces la
proposicion es falsa.
Demostraci on por casos
Este metodo consiste en demostrar la veracidad de un enunciado del tipo
P Q, en el que la proposicion original P puede tomar diferentes
posibilidades, mediante el uso dela siguiente equivalencia logica
[(P
1
P
2
. . . P
n
) Q] [(P
1
Q) (P
2
Q) . . . (P
n
Q)]
Ejemplo
Demostrar que n Z n
2
3 no es m ultiplo de 4
Soluci
on
Sup ongase que n es par, entonces se puede escribir n = 2m y en
consecuencia n
2
3 = 4m
2
3 no es m ultiplo de 4. Si n es impar, entonces
n = 2m+1 por lo que n
2
3 =
_
4
_
m
2
+ m
_
+ 1 3
no es m ultiplo de 4.
Demostraci on por contraposicion
En este metodo se supone que tanto Q como su negacion Q son
verdaderas. Se procede empezando con Q y se deduce que P es falsa.
Demostraci on por contraposicion
Ejemplo
Sean z, w n umeros reales. Si z
2
+ w
2
= 0, entonces z = 0 y w = 0.
Soluci
on
supongase z > 0 y w > 0, entonces z
2
> 0 y w
2
> 0, por lo que
z
2
+ w
2
> 0 y en consecuencia el enunciado es verdadero.

Presentacion Iapm PDF

Diunggah oleh

Informasi Dokumen

Deskripsi Asli:

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Presentacion Iapm PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

M

3 es racional, de modo que

atica: Sea S un conjunto de enteros

Anda mungkin juga menyukai