Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Demostraciones de Teoremas PDF
Demostraciones de Teoremas PDF
T
ecnicas de demostraci
on
METODOS DE DEMOSTRACI
ON
Definiciones b
asicas
Definici
on 1. un Teorema es una sentencia que se
puede verificar que es verdadera.
(P1 P2 . . . Pn) Q) es un teorema donde los
P1 , P2 . . . Pn son los postulados o premisas y Q la
conclusi
on del teorema.
Ejemplo 1. Sea el siguiente teorema si a y b son
enteros positivos, a b, entonces a0 b0
premisas:
P1 : a y b son enteros positivos.
P2 : a b
y la conclusi
on Q es a0 b0 por lo tanto el teorema
sera (P1 P2 ) Q
Definici
on 2. Un lema es un teorema sencillo utilizado en la demostraci
on de otros teoremas.
Definici
on 3. Un corolario es una proposici
on que
se puede establecer directamente a partir de un
teorema que ya ha sido demostrado.
1. REGLAS DE INFERENCIA.
Estas reglas justifican los pasos dados para demostrar
que a partir de una serie de hip
otesis se llega de
forma l
ogica a una conclusi
on.
Ejemplo 2. Una regla de inferencia b
asica es la
modus ponens
E.I.S.C
T
ecnicas de demostraci
on
p
pq
q
Ejemplo 3. En que regla de inferencia se basa el
siguiente argumento: Ahora estamos bajo cero.
Por tanto estamos bajo cero o bien llueve ahora.
p
pq
Esta es la regla de inferencia de la Adici
on y su
tautologa sera p (p q)
Ejemplo 4. Cu
al es la regla de inferencia de para el
siguiente argumento: Estamos bajo cero y llueve.
Por tanto, estamos bajo cero.
pq
p
Este argumento usa la regla de la simplificaci
on y
su tautologa sera (p q) p.
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
El argumento en LP:
1) P 1 P 2
2) Q
3) Q R
4) R v P 1
5) R aplicando modus ponens a (2) y (3)
6) v P 1 aplicando modus ponens a (5) y (4)
7) P 2 aplicando el silogismo disyuntivo a (1) y
(6)
Por lo tanto se concluye que Y cometi
o el crimen.
Tambi
en se puede demostrar la validez de un argumento derivando la conclusi
on desde las premisas
usando las REGLAS DE INFERENCIA.
Ejemplo 6. Dado el siguiente argumento v
alido: Si
la banda no pudiera tocar rock o las bebidas no
llegasen a tiempo, entonces la fiesta de A
no Nuevo tendra que cancelarse y Alicia se enojara. Si la
fiesta se cancelara, habra que devolver el dinero.
No se devolvio el dinero. Por lo tanto, la banda
pudo tocar rock. Derive la consecuencia l
ogica usando las reglas de inferencia.
P : la banda pudo tocar rock.
Q: las bebidas se entregaron a tiempo.
R: la fiesta de A
no Nuevo se cancel
o.
S: Alicia estaba enojada.
T : Hubo que devolver el dinero.
El argumento v
alido:
Premisas:
1)(v P v Q) (R S)
E.I.S.C
T
ecnicas de demostraci
on
2) R T
3) v T
P
Se debe inferir con las premisas 1,2 y 3 y llegar
a derivar P.
1)R T premisa
2) v T premisa
3) v R aplicando modus tollens a (1) y (2)
4) v R v S aplicando ley de adici
on con (3)
5) v (R S) aplicando ley de morgan a (4)
6) (v P v Q) (R S) premisa
7) v (v P v Q) aplicando modus tollens a (5) y
(6)
8) P Q aplicando ley de morgan y de la doble
negaci
on a (7)
9) P aplicando simplificaci
on conjuntiva a (8)
Ejemplo 6.1 aplique las reglas de inferencia para
demostrar que q p es una consecuencia l
ogica
de las premisas:
u r; (r s) (p t); q (u s); t
1)
2)
3)
4)
5)
6)
7)
8)
9)
(r s) (p t) premisa
v r v s p t aplicaci
on de la implicaci
on a 1
u r premisa
v u r aplicaci
on de la implicaci
on a 3
v u v s p t resoluci
on 2 y 4
v (u s) p t aplicaci
on de morgan a 5
(u s) (p t) aplicaci
on de implicaci
on a 6
q (u s) premisa
q (p t) silogismo hipot
etico 8 y 7
E.I.S.C
10)
11)
12)
13)
T
ecnicas de demostraci
on
(v q p) t implicaci
on y asociativa de 9
v t premisa
v q p silogismo disyuntivo de 10 y 11
q p implicaci
on de 12
E.I.S.C
T
ecnicas de demostraci
on
n2 es impar.
Definici
on 2. El n
umero real r es racional si existen dos enteros p y q, q 6= 0, tales que r = p/q.
Un n
umero real que no es racional es irracional.
Ejemplo 8. Demuestre que la suma de dos racionales
es un racional.
p: Sean r y s racionales, si r es racional entonces
r = p/q para q 6= 0 y si s es racional entonces
s = t/u para u 6= 0. (hip
otesis)
q: Hay que demostrar que r + s es racional. (tesis)
sumamos r + s = pq + ut = pu+qt
, donde qu 6= 0
qu
por que q 6= 0 y u 6= 0 por tanto hemos expresado
r + s como la raz
on de dos enteros pu + qt y qu
POR TANTO r + s es racional.
2.2 Demostraci
on indirecta. Como la implicaci
on
p q es equivalente a su contrarecproca v q v p
la implicaci
on se puede demostrar viendo que su
contrarecproca es verdadera.
Ejemplo 9. Demostrar que si 3n + 2 es impar, entonces n es impar.
p: 3n + 2 es impar.
q: n es impar.
Suponemos la v q es decir que n es par, entonces
n = 2k para alg
un entero k y demostramos v p es
decir que 3n + 2 es par.
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
por tanto 3n + 2 = 2q + 1 = 3n = 2q + 1 2 =,
n = 2q1
para q Z por tanto es una CON3
por que n es UN ENTERO PAR.
TRADICCION
Esta es una aplicaci
on de la tautologa ((p q)
(v q) (v p)) modus tollens dado que el argumento es una implicaci
on p q.
Ahora como ((p q) (v q) (v p)) es v
alida p q debe ser verdadera y p y q deben ser
verdaderas y asu vez v q y v p son falsas entonces
((p q) (v q) (v p)) ((V F ) F ) V
| {z }
| {z } | {z }
V
2.5 Demostraci
on por casos. Se demuestra la implicaci
on: (p1 p2 . . . pn) q y resolvemos
(p1 p2 . . . pn) q =v (p1 p2 . . . pn) q
(p1 p2 . . . pn) q = (v p1 v p2 . . . v pn) q
(p1 p2 . . . pn) q = q (v p1 v p2 . . . v pn)
(p1 p2 . . . pn) q = (q v p1 ) (q v p2 ) . . .
(q v pn)
(p1 p2 . . . pn) q = (v p1 q) (v p2 q) . . . (v
pn q)
(p1 p2 . . .pn) q = (p1 q)(p2 q) . . .(pn
q)
Por tanto podemos decir que:
[(p1 p2 . . . pn) q] [(p1 q) (p2 q) . . .
(pn q)]
Ejemplo 14. Demuestre por casos que
| xy |=| x || y |, donde x y y son reales.
E.I.S.C
T
ecnicas de demostraci
on
Definici
on valor absoluto:
x
si x 0
| x |=
x si x 0
Por casos entonces: p: x e y son reales
q: | xy |=| x || y |
p es equivalente a p1 p2 p3 p4
p1 es x 0 y y 0
p2 es x 0 y y < 0
p3 es x < 0 y y 0
p4 es x < 0 y y < 0
Por tanto podemos demostrar: (p1 q) (p2
q) (p3 q) (p4 q)
(p1 q) entonces xy 0 por que x 0 y
y 0, y por tanto | xy |= xy =| x || y |
(p2 q) si x 0 y y < 0, entonces xy 0,
por tanto | xy |= xy = x(y) =| x || y |
(aqu como y < 0, tenemos que | y |= y)
(p3 q) si x < 0 y y 0, entonces xy 0,
por tanto | xy |= xy = (x)y =| x || y |
(aqu como x < 0, tenemos que | x |= x)
E.I.S.C
T
ecnicas de demostraci
on
TRADICCION
por que estamos suponiendo que
E.I.S.C
T
ecnicas de demostraci
on
n2 es IMPAR
por tanto si n2 es impar, entonces n es impar (queda demostrada p q)
2.7 Demostraci
on por unicidad. Mostrar que existe
un
unico elemento x tal que P (x) es lo mismo que
demostrar la sentencia:
x(P (x) y(y 6= x v P (y)))
Entonces demostramos:
1) Existencia. mostramos que existe un elemento
x con la propiedad deseada.
2) Unicidad. Mostramos que si y 6= x, entonces y
no tiene la propiedad deseada.
Ejemplo 15.1 Demuestre que todo entero tiene un
unico inverso respecto a la suma.
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
un n
umero racional (CONTRADICCION)
Sean r y s racionales, entonces suponemos
que r + s es irracional, es decir r + s = i, despejamos r = is pero como se demostr
o que
la suma de un irracional y un racional es un
racional, entonces podemos deducir que r es
un irracional Por tanto es una contradicci
on
por que r es racional.
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
3.4 Progresi
on aritm
etica. Una progresi
on aritm
etica
es una sucesi
on de la forma:
a, a + d, a + 2d, a + 3d, . . . , a + nd
donde el t
ermino inicial a y la diferencia d son
n
umeros reales.
Ejemplo 29. La sucesi
on sn = 1 + 4n para n 0
es una progresi
on aritm
etica con t
ermino inicial
a = 1 y diferencia d = 4, la progresi
on comienza
c0 , c1 , c2 , c3 , . . . comienza por 1, 3, 7, 11, . . .
Ejemplo 30. La sucesi
on tn = 7 3n para n 0
es una progresi
on aritm
etica con t
ermino inicial
a = 7 y diferencia d = 3, la progresi
on comienza
t0 , t1 , t2 , t3 , . . . comienza por 7, 4, 1, 2, . . .
3.5 Sumatorias. Usamos la notaci
on de la sumatoria para expresar la suma de los t
erminos.
am , am+1 , , an
de la sucesi
on {an}. Usamos la notaci
on
n
X
aj
j=m
E.I.S.C
T
ecnicas de demostraci
on
t
erminos de la sucesi
on {an}, donde an = 1/n para
n = 1, 2, 3, . . .
100
X
1
j=1
Ejemplo 32. Cu
al es el valor de
P5
P5
j=1 j
= 12 + 22 + 32 + 42 + 52
= 1 + 4 + 9 + 16 + 25
= 55
j=1 j
j=1
(k + 1)2
k=0
Es f
acil ver que ambas suman 55.
Ejemplo 34. Supongamos que tenemos:
4 X
3
X
i=1 j=1
ij
E.I.S.C
T
ecnicas de demostraci
on
ij =
4
X
(i+2i+3i) =
i=1
4
X
6i = 6+12+18+24 = 60
i=1
Pn
Pn
i=1 can =
Pn
Pcn i=1 anPn
+ i=1 bi
i=1
Pn(ai + bi) = i=1 ai P
n
(a
+
b
)
=
na
+
i
i=1 P
i=1 bi
n
i = n(n+1)
i=1
2
Pn 2
n(n+1)(2n+1)
i=1 i =
6
P
n
n2 (n+1)2
3
i =
4
Pn
Pn+pi=1
Pnp
f
(k)
=
f
(k
p)
=
k=iP
k=i+p
k=ip f (k + p)
n
opica
j=1 (aj aj1 ) = an a0 telesc
Pn
k = ar n+1 a , r 6= 1
ar
k=0
r1
2 3j = 2 + 2 3 + 2 32 + 2 33 + 2 34 + 2 35
E.I.S.C
T
ecnicas de demostraci
on
2 35+1 2
2(36 1)
23 =
=
= 36 1 = 728
31
2
j=0
j
k2
k=50
Soluci
on:
P100
P49
P100
P100
2 =
k=1 k
jamos:
2
k=50 k =
2
k=1 k +
2
k=1 k
seg
un la tabla
P100
k=50 k
P100
k=50 k
P49
k=1 k
Pn
2
k=1 k =
entonces despe-
n(n+1)(2n+1)
6
100101201 495099
6
6
=338.350 -40.425=297.925
Pn
k=1 (k
(k 1)2 ) = n2
E.I.S.C
T
ecnicas de demostraci
on
aj
j=m
Ejemplo 37. Cu
al es el valor de estos productos
Q10
i=0
Qi=0
8
i=5 i = 5 6 7 8 = 1680
Ejemplo 38. Cu
al es el valor de estos productos
Q4
i=0 j! = 1 2 6 24 = 288
4. INDUCCION MATEMATICA.
Es una t
ecnica de demostraci
on que se utiliza para
demostrar muchos teoremas que afirman que P (n)
es verdadera para todos los enteros positivos n.
La inducci
on matem
atica se usa para demostrar
proposiciones de la forma nP (n), donde el dominio es el conjunto de los enteros positivos.
Una demostraci
on por inducci
on de que P (n) es
verdadera para todo n Z+ consiste en dos pasos:
PASO BASE: Se muestra que la proposici
on P(1) es
verdadera.
PASO INDUCTIVO: se muestra que la implicaci
on
P (k) P (k + 1) es verdadera para todo entero
positivo k.
La sentencia P (k) para un entero positivo fijo k
se denomina la hip
otesis de inducci
on.
E.I.S.C
T
ecnicas de demostraci
on
La inducci
on matem
atica expresada como regla
de inferencia:
[P (1) k(P (k) P (k + 1))] nP (n)
En pocas palabras s
olo se muestra que si se supone
que P (k) es verdadera, entonces P (k + 1) es tambi
en verdadera.
Ejemplo 39. Demostrar por inducci
on que la suma
de los n primeros enteros positivos para n 1 es
n(n+1)
es decir:
2
1 + 2 + 3 + + n =
n(n+1)
2
n(n+1)
2
1 + 2 + 3 + + (k + 1) =
(k + 1)(k + 2)
2
E.I.S.C
T
ecnicas de demostraci
on
1 + 2 + 3 + + k + (k + 1) =
k(k + 1)
+ (k + 1)
2
k(k + 1) + 2(k + 1)
2
factorizando (k + 1) nos queda:
1 + 2 + 3 + + k + (k + 1) =
(k + 1)(k + 2)
2
Por tanto como se demostr
o la tesis de inducci
on,
entonces P (n) es verdadero para todos los valores
n 1.
1 + 2 + 3 + + k + (k + 1) =
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
(1)
(2)
Ck + A
A Dk + A usando (1) para reemplazar en Ck
A (Dk + 1) Factorizando
A Dk+1 segundo miembro de P(k+1)
E.I.S.C
T
ecnicas de demostraci
on
PASO INDUCTIVO:
P (s) : Rs N ks = N 2M (Hip
otesis)
P (s + 1) : Rs+1 N ks+1 = N 2M (Tesis)
Rs+1 N ks+1
=
=
=
=
=
=
E.I.S.C
T
ecnicas de demostraci
on
E.I.S.C
T
ecnicas de demostraci
on
Funci
on factorial (n:entero positivo)
If n=1 then
Factorial(n):=1
Else
Factorial(n):= n*factorial(n-1)
End funci
on.
Factorial (3)=3*factorial(2)=3*2*factorial(1)=3*2*1=6
Ejemplo 47. Una definici
on recursiva de:
n
X
ak
k=0
0
X
ak
= a0
k=0
n+1
X
ak = (
k=0
n
X
ak ) + an+1
k=0
Definici
on 1. Los n
umeros de Fibonnacci, f0 , f1 , . . . ,
se definen a partir de las ecuaciones f0 = 0, f1 = 1
y
fn = fn1 + fn2
para n = 2, 3, 4, . . .
Ejemplo 48. Los n
umeros de fibonacci, f0,f1,f2 son
definidos para n=2,3,4 son:
f2=f1+f0=1+0=1
E.I.S.C
T
ecnicas de demostraci
on
f3=f2+f1=1+1=2,
f4=f3+f2=2+1=3,
f5=f4+f3=3+2=5,
f6=f5+f4=5+3=8,
funci
on fibonacci (n:entero positivo)
if n=0 then
fibonacci(0):=0
else
if n=1 then
fibonnaci(1):=1
else
fibonacci(n):=fibonacci(n-1)+ fibonacci (n-2)
end fibonacci
Ejemplo 49. Un algoritmo recursivo para calcular
el m
aximo com
un divisor de dos enteros no negativos a y b, donde a < b.
procedure mcd(a,b)
si a=0 entonces mcd(a,b)=b
else
mcd(a,b):=mcd(b mod a,a)
end mcd
Ejemplo 50. (Funci
on de Ackermann)
2n
0
A(m, n) =
2
A(m 1, A(m, n 1))
si
si
si
si
m=0
m1 y n=0
m1 y n=1
m1 y n2
E.I.S.C
T
ecnicas de demostraci
on
1. Obtener A(1, 0), como m = 1 y n = 0 entonces A(1, 0) = 0 se aplica el segundo criterio de la funci
on.
2. Obtener A(1, 1), como m = 1 y n = 1 entonces A(1, 1) = 2 se aplica el tercer criterio
de la funci
on.
3. Obtener A(0, 1), como m = 0 y n = 1 entonces A(0, 1) = 2(1) = 2 se aplica el primer
criterio de la funci
on.
4. Obtener A(2, 2). Aplicando el cuarto criterio nos queda otra recursividad A(1, A(2, 1)),
ahora A(2, 1) = 2 por tercer criterio, por tanto tenemos que calcular A(1, 2). Por el cuarto criterio A(0, A(1, 1)), donde A(1, 1) = 2
reemplazando nos queda A(0, 2) por el primer
criterio A(0, 2) = 4 por tanto A(2, 2) = 4
5. Obtener A(2, 3). Usamos el cuarto criterio
A(2, 3) = A(1, A(2, 2)) ahora A(2, 2) = 4 es
decir que tenemos que calcular A(1, 4) por que
A(2, 3) = A(1, 4) lo podemos hacer de dos
formas:
a) Aplicando la siguiente f
ormula A(1, n) =
n
2 si n 1, entonces A(1, 4) = 24 = 16
por tanto A(2, 3) = 16
b) Ahora sin usar f
ormulas, s
olo con recursividad. A(1, 4) aplicamos el cuarto criterio A(1, 4) = A(0, A(1, 3))
ahora calculamos A(1, 3) = A(0, A(1, 2))
E.I.S.C
T
ecnicas de demostraci
on
Definici
on 2. El conjunto de cadenas sobre
el alfabeto se puede definir recursivamente por:
Paso base. , donde es la cadena vaca,
aquella que no tiene smbolos.
Paso recursivo. Si w y x , entonces
wx
E.I.S.C
T
ecnicas de demostraci
on
Ejemplo 51. Sea = {0, 1} las cadenas del conjunto , el conjunto de todas las cadenas de bits.
Paso base. lo constituye la cadena vaca
Paso recursivo. 0 y 1 cadenas que se forman recursivamente por primera vez, 00, 01, 10 y 11
cadenas que se forman al aplicar el paso recursivo
por segunda vez.
Definici
on 3. Dos cadenas se pueden combinar
mediante la operaci
on de la concatenaci
on. Sea