E.I.S.

C Tecnicas de demostracion
METODOS DE DEMOSTRACI

ON
Definiciones basicas
Definicion 1. un Teorema es una sentencia que se
puede vericar que es verdadera.
(P
1
P
2
. . . P
n
) Q) es un teorema donde los
P
1
, P
2
. . . P
n
son los postulados o premisas y Q la
conclusion del teorema.
Ejemplo 1. Sea el siguiente teorema si a y b son
enteros positivos, a b, entonces a
0
b
0
premisas:
P
1
: a y b son enteros positivos.
P
2
: a b
y la conclusion Q es a
0
b
0
por lo tanto el teorema
sera (P
1
P
2
) Q
Definicion 2. Un lema es un teorema sencillo uti-
lizado en la demostracion de otros teoremas.
Definicion 3. Un corolario es una proposicion que
se puede establecer directamente a partir de un
teorema que ya ha sido demostrado.
1. REGLAS DE INFERENCIA.
Estas reglas justican los pasos dados para demostrar
que a partir de una serie de hipotesis se llega de
forma logica a una conclusion.
Ejemplo 2. Una regla de inferencia basica es la
modus ponens
E.I.S.C Tecnicas de demostracion
p
p q
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
p q
Esta es la regla de inferencia de la Adicion y su
tautologa sera p (p q)
Ejemplo 4. Cual es la regla de inferencia de para el
siguiente argumento: Estamos bajo cero y llueve.
Por tanto, estamos bajo cero.
p q
p
Este argumento usa la regla de la simplicacion y
su tautologa sera (p q) p.
E.I.S.C Tecnicas de demostracion
Ejemplo 5. Fue X o Y quien cometio el crimen.
X estaba fuera del pueblo cuando el crimen fue
cometido. Si X estaba fuera del pueblo, no pu-
do haber estado en la escena del crimen. Si X no
estaba en la escena del crimen, no pudo haber
cometido el crimen. Obtenga la conclusion usan-
do las reglas de inferencia.
P1: X cometio el crimen.
P2: Y cometio el crimen.
Q: X estaba fuera del pueblo cuando fue cometido
el crimen.
R: X no estaba en la escena del crimen.
E.I.S.C Tecnicas de demostracion
El argumento en LP:
1) P1 P2
2) Q
3) Q R
4) R P1
5) R aplicando modus ponens a (2) y (3)
6) P1 aplicando modus ponens a (5) y (4)
7) P2 aplicando el silogismo disyuntivo a (1) y
(6)
Por lo tanto se concluye que Y cometio el crimen.
Tambien se puede demostrar la validez de un argu-
mento derivando la conclusion desde las premisas
usando las REGLAS DE INFERENCIA.
Ejemplo 6. Dado el siguiente argumento valido: Si
la banda no pudiera tocar rock o las bebidas no
llegasen a tiempo, entonces la esta de Ano Nue-
vo tendra que cancelarse y Alicia se enojara. Si la
esta se cancelara, habra que devolver el dinero.
No se devolvio el dinero. Por lo tanto, la banda
pudo tocar rock. Derive la consecuencia logica us-
ando las reglas de inferencia.
P: la banda pudo tocar rock.
Q: las bebidas se entregaron a tiempo.
R: la esta de Ano Nuevo se cancelo.
S: Alicia estaba enojada.
T: Hubo que devolver el dinero.
El argumento valido:
Premisas:
1)( P Q) (R S)
E.I.S.C Tecnicas de demostracion
2) R T
3) T
P
Se debe inferir con las premisas 1,2 y 3 y llegar
a derivar P.
1)R T premisa
2) T premisa
3) R aplicando modus tollens a (1) y (2)
4) R S aplicando ley de adicion con (3)
5) (R S) aplicando ley de morgan a (4)
6) ( P Q) (R S) premisa
7) ( P Q) aplicando modus tollens a (5) y
(6)
8) P Q aplicando ley de morgan y de la doble
negacion a (7)
9) P aplicando simplicacion conjuntiva a (8)
Ejemplo 6.1 aplique las reglas de inferencia para
demostrar que q p es una consecuencia logica
de las premisas:
u r; (r s) (p t); q (u s); t
1) (r s) (p t) premisa
2) r s p t aplicacion de la implicacion a 1
3) u r premisa
4) u r aplicacion de la implicacion a 3
5) u s p t resolucion 2 y 4
6) (u s) p t aplicacion de morgan a 5
7) (u s) (p t) aplicacion de implicacion a 6
8) q (u s) premisa
9) q (p t) silogismo hipotetico 8 y 7
E.I.S.C Tecnicas de demostracion
10) ( q p) t implicacion y asociativa de 9
11) t premisa
12) q p silogismo disyuntivo de 10 y 11
13) q p implicacion de 12
2. METODOS PARA DEMOSTRAR TEOREMAS.
2.1 Demostracion Directa. Se basa en la implicacion
p q se puede demostrar que si p es verdadero q
tambien lo es.
p: es la hipotesis (lo que se supone como ver-
dadero)
q: es la Tesis (lo que se va ha demostrar)
Definicion 1. El entero n es par si existe un en-
tero k tal que n = 2k y es impar si existe un entero
k tal que n = 2k +1
Ejemplo 7. Demostrar que si n es un entero im-
par, entonces n
2
es un entero impar.
p: n es impar. (hipotesis)
q: n
2
es impar. (tesis)
Se demuestra p q, se parte de que p verdadero
y se termina demostrando que q es verdadero.
Si n es impar entonces, n = 2k +1, donde k es un
entero.
Se sigue que n
2
= (2k + 1)
2
= 4k
2
+ 4k + 1 =
2(k
2
+k)
. .
tZ
+1
Por tanto como n
2
es de la forma 2t +1 entones
E.I.S.C Tecnicas de demostracion
n
2
es impar.
Definicion 2. El numero real r es racional si ex-
isten dos enteros p y q, q = 0, tales que r = p/q.
Un numero 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 = 0 y si s es racional entonces
s = t/u para u = 0. (hipotesis)
q: Hay que demostrar que r +s es racional. (tesis)
sumamos r + s =
p
q
+
t
u
=
pu+qt
qu
, donde qu = 0
por que q = 0 y u = 0 por tanto hemos expresado
r + s como la razon de dos enteros pu + qt y qu
POR TANTO r +s es racional.
2.2 Demostracion indirecta. Como la implicacion
p q es equivalente a su contrarecproca q p
la implicacion se puede demostrar viendo que su
contrarecproca es verdadera.
Ejemplo 9. Demostrar que si 3n +2 es impar, en-
tonces n es impar.
p: 3n +2 es impar.
q: n es impar.
Suponemos la q es decir que n es par, entonces
n = 2k para algun entero k y demostramos p es
decir que 3n +2 es par.
E.I.S.C Tecnicas de demostracion
ahora se sigue que 3n +2 = 3(2k) +2 = 2(3k) +
2 = 2(3k +1)
. .
lZ
y 3n +2 es de la forma 2l
Por tanto 3n +2 es par, es decir p
Ejemplo 10. Demuestre que la suma de dos im-
pares es par.
p: r y s son impares.
q: r +s es par.
Suponemos que r+s es impar y se debe demostrar
que r o s son pares no de manera simultanea.
Sea r +s impar entonces r +s = 2k +1, k Z
Vemos que pasa cuando s es par y cuando s es
impar
s es PAR, suponemos que s = 2t, t Z, entonces
r = 2k + 1 2t = 2(k t)
. .
Z
+1 por tanto r es IM-
PAR. Cuando s es par r es impar.
s es IMPAR, s = 2t + 1, t Z, entonces r =
2k +1 2t 1 = 2k 2t = 2(k t)
. .
Z
Por tanto r es PAR. Cuando s es impar r es par.
De ninguna forma bajo la premisa q, r y s son o
pares o impares por tanto se garantiza p
2.3 Contraejemplo. Se busca un ejemplo para refu-
tar el cual la implicacion o doble implicacion sea
falsa.
E.I.S.C Tecnicas de demostracion
Ejemplo 11. Demuestre o refute la proposicion que
expresa que si x y y son numeros reales, (x
2
=
y
2
) (x = y)
Buscamos un ejemplo que contradiga la arma-
cion, sean x = 3 y y = 3 entonces (3)
2
= (3)
2
,
pero 3 = 3, el resultado es falso. Este es el CON-
TRAEJEMPLO.
2.4 Demostracion por contradiccion o reduccion al
absurdo. Dado p, supongamos que se puede en-
contrar una contradiccion q tal que p q sea
verdadera, esto es, p F es verdadera. En-
tonces la preposicion p tiene que ser FALSA.
por tanto p DEBE SER VERDADERA.
Por ejemplo una contradiccion q puede ser r r
entonces podemos mostrar que p (r r)
sea VERDADERA.
Ejemplo 12. Demuestre que

2 es irracional.
Sea p: la proposicion

2 es irracional y supong-
amos que p es verdadera. Entonces

2 es racional.
Mostraremos que esto conduce a una contradic-
cion. Sea que

2 es racional por tanto:
Existen dos enteros a y b de tal forma que

2 = a/b, donde a y b no tiene FACTORES COMUNES

(es decir que no hay una fraccion equivalente
a a/b mas pequena).
E.I.S.C Tecnicas de demostracion
Como

2 = a/b entonces 2 = a
2
/b
2
y por
tanto 2b
2
= a
2
Esto signica que a
2
es PAR, entonces a es
PAR, y a es de la forma a = 2c para algun
c Z
Bien entonces 2b
2
= 4c
2
por lo que b
2
= 2c
2
esto signica que b
2
es PAR, por tanto b es
PAR.
Se ha mostrado que ambos a y b son PARES y
por tanto tienen factor comun 2. Esto es una
CONTRADICCION a la suposicion de que en

2 = a/b, a y b no tiene FACTORES COMUNES

Entonces se ve que p implica tanto r como
r donde r es la sentencia a y b son enteros
sin FACTORES COMUNES.
Por tanto p es falsa y p es verdadera, en-
tonces

2 es IRRACIONAL.
para que p F sea verdadera p debe ser
FALSA y por tanto p es VERDADERA.
Ejemplo 13. Demuestre por el absurdo que si 3n+2
es impar, entonces n es impar.
Suponemos que n es PAR sabiendo que 3n + 2
es IMPAR y llegamos a una CONTRADICCI

ON.
Sea n par, tambien suponemos que 3n+2 es impar
E.I.S.C Tecnicas de demostracion
por tanto 3n + 2 = 2q + 1 = 3n = 2q + 1 2 =,
n =
2q1
3
para q Z por tanto es una CON-
TRADICCI

ON por que n es UN ENTERO PAR.

Esta es una aplicacion de la tautologa ((p q)
( q) ( p)) modus tollens dado que el argu-
mento es una implicacion p q.
Ahora como ((p q) ( q) ( p)) es vali-
da p q debe ser verdadera y p y q deben ser
verdaderas y asu vez q y p son falsas entonces
((p q)
. .
V
( q)
. .
F
( p)
. .
F
) ((V F) F) V
2.5 Demostracion por casos. Se demuestra la im-
plicacion: (p
1
p
2
. . . p
n
) q y resolvemos
(p
1
p
2
. . . p
n
) q = (p
1
p
2
. . . p
n
) q
(p
1
p
2
. . . p
n
) q = ( p
1
p
2
. . . p
n
) q
(p
1
p
2
. . . p
n
) q = q ( p
1
p
2
. . . p
n
)
(p
1
p
2
. . . p
n
) q = (q p
1
) (q p
2
) . . .
(q p
n
)
(p
1
p
2
. . . p
n
) q = ( p
1
q) ( p
2
q) . . . (
p
n
q)
(p
1
p
2
. . . p
n
) q = (p
1
q)(p
2
q) . . . (p
n

q)
Por tanto podemos decir que:
[(p
1
p
2
. . . p
n
) q] [(p
1
q) (p
2
q) . . .
(p
n
q)]
Ejemplo 14. Demuestre por casos que
| xy |=| x || y |, donde x y y son reales.
E.I.S.C Tecnicas de demostracion
Denicion valor absoluto:
| x |=
_
_
_
x si x 0
x si x 0
Por casos entonces: p: x e y son reales
q: | xy |=| x || y |
p es equivalente a p
1
p
2
p
3
p
4
p
1
es x 0 y y 0
p
2
es x 0 y y < 0
p
3
es x < 0 y y 0
p
4
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 Tecnicas de demostracion
(p4 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 y
x < 0, tenemos que | x |= x)
2.6 Demostracion por equivalencia Se puede demostrar
un teorema que viene dado por un bicondicional,
esto es:
p q (p q) (q p)
Ejemplo 15. Demostrar el teorema: El entero n es
impar si, y solo si, n
2
es impar.
p:El entero n es impar.
q:El entero n
2
es impar.
1)p q, Hay que demostrar que si n es impar,
entonces n
2
es impar. (metodo directo).
sea n impar es de la forma n = 2k + 1 donde
k Z ahora vemos que pasa con n
2
= (2k +1)
2
=
4k
2
+ 4k + 1 = 2(2k
2
+2k)
. .
Z
+1 por tanto n
2
es
IMPAR. (queda demostrada p q)
2)q p, Hay que demostrar que si n
2
es impar,
entonces n es impar. (Contradiccion).
supongo que n es par, por tanto es de la forma
n = 2k tomando como premisa que n
2
es impar y
llego a una contradiccion.
ahora vemos que pasa con n
2
= (2k)
2
= 4k
2
=
2(2k
2
)
. .
Z
por tanto n
2
es PAR lo cual es una CON-
TRADICCI

ON por que estamos suponiendo que

E.I.S.C Tecnicas de demostracion
n
2
es IMPAR
por tanto si n
2
es impar, entonces n es impar (que-
da demostrada p q)
2.7 Demostracion 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 = x P(y)))
Entonces demostramos:
1) Existencia. mostramos que existe un elemento
x con la propiedad deseada.
2) Unicidad. Mostramos que si y = x, entonces y
no tiene la propiedad deseada.
Ejemplo 15.1 Demuestre que todo entero tiene un
unico inverso respecto a la suma.
Esto es si p es un entero, entonces existe un
unico entero q tal que p +q = 0
Existencia: Si p Z, encontramos que p+q =
0 cuando q = p como q tambie es entero,
por consiguiente, existe un entero q tal que
p +q = 0
Unicidad: se muestra que dado el entero p, el
entero q tal que p +q = 0 es UNICO.
supongamos que existe r Z tal que r = q y
p + r = 0 entonces p + q = p + r por tanto
q = r lo que contradice la suposicion de que
r = q.
E.I.S.C Tecnicas de demostracion
Por lo tanto hay un UNICO entero q tal que
p +q = 0
Ejercicios Resueltos
1. Sean m y n enteros. Demuestre que n
2
= m
2
si y solo si m = n o m = n
Como es un teorema de si y solo si p (q
r) = (p (q r)) ((q r) p)
1)p (q r)
Entonces p : n
2
= m
2
y q :m = n o r:m = n
Sea n
2
= m
2
, n
2
m
2
= 0, (nm)(n+m) = 0
entonces
(nm) = 0 y (n+m) = 0 por tanto m = n o
m = n.
2) (q r) p
Sea m = n o m = n, nm = 0 y n+m = 0,
(n m)(n + m) = 0, n
2
m
2
= 0, por tanto
n
2
= m
2
2. Demuestre que la suma de un irracional y un
racional es un irracional.
Por contradiccion suponemos que la suma de
un irracional y un racional es racional bajo
la suposicion de que i es irracional y r es
el racional y llegamos a contradiccion llegan-
do a establecer que cualquiera de los dos no
cumple con la condicion de ser racional o ir-
racional.
E.I.S.C Tecnicas de demostracion
Sea i un irracional y r un racional entonces
suponemos que i + r es un racional, es decir
i +r = s donde s es racional.
Si despejamos i nos queda que i = s r es
un RACIONAL lo cual es una contradiccion
por que i es un irracional.
3. Demuestre que la suma de dos racionales es
un numero racional (CONTRADICCI

ON)
Sean r y s racionales, entonces suponemos
que r +s es irracional, es decir r +s = i, de-
spejamos r = is pero como se demostro que
la suma de un irracional y un racional es un
racional, entonces podemos deducir que r es
un irracional Por tanto es una contradiccion
por que r es racional.
4. Demuestre que el producto de dos racionales
es racional.
Por el metodo directo es muy facil se suponen
que r y s son racionales y se debe demostrar
que el producto es racional.
sean r =
p
q
, p, q Z para q = 0 y s =
k
t
k, t Z
E.I.S.C Tecnicas de demostracion
para t = 0 y continuamos realizando el pro-
ducto r s =
p
q

k
t
=
pk
qt
donde qt = 0 y pk Z y
por tanto demostramos que rs es un racional.
5. Demuestre que si x es irracional, 1/x tambien
lo es.(sea p : x es irracional y q : 1/x es irra-
cional p q
Por el metodo indirecto (se demuestra q
p) Entonces suponemos que 1/x es racional y
demostramos que x es racional.
Sea 1/x un racional entonces
1
x
=
p
q
donde
p, q Z, q = 0 Ahora
p
q
debe ser diferente de
cero por que 1 = x 0 por tanto p = 0.
Despejamos x, x =
q
p
donde ambos son en-
teros y p = 0 por lo tanto x es un RACIONAL.
6. Demuestre que si x e y son numeros reales,
entonces
max(x, y) +min(x, y) = x +y
Por casos; primero se demuestra para x y y
segundo para x y.
1) Sea x y entonces max(x, y)+min(x, y) =
y+x como y+x = x+y por tanto max(x, y)+
min(x, y) = x +y
E.I.S.C Tecnicas de demostracion
2) Sea x y entonces max(x, y)+min(x, y) =
x +y
3. SUCESIONES, SUMATORIAS Y PRODUCTORIAS.
Sucesion. Es una lista de objetos dispuestos en
orden. un primer elemento, segundo elemento, un
tercer elemento y as sucesivamente. esta es una
sucesion FINITA.
Ejemplo 16. Si la lista empieza por un primer ele-
mento y sigue hasta n pasos, n N es una sucesion
INFINITA.
Ejemplo 17. La sucesion 1,0,0,1,0,1,0,0,1,1,1 es
una sucesion nita de elementos repetidos.
Ejemplo 18. La lista 3,8,13,18,23,... es una suce-
sion innita.
Ejemplo 19. Otra sucesion innita de los cuadra-
dos de todos los enteros positivos. 1,4,9,16,25,....,
3.1 Formula recursiva o recurrente
Ejemplo 20. Sea la sucesion innita 3,8,13,18,23,...la
podemos expresar como una formula recurrente
as: a
n
= a
n1
+5 para a
1
= 3 para 2 n <
Ejemplo 21. Sea la sucesion innita 5,10,20,40,80,160
la podemos expresar como una formula recurrente
as: t
n
= 2t
n1
para t
1
= 5 para 2 n 6
E.I.S.C Tecnicas de demostracion
Ejemplo 22. Encontrar una formula recursiva para
la sucesion 3,7,11,15,19,23,....
3.2 Formula Explcita.
Ejemplo 23. Sea la sucesion 1,4,9,16,25,...., la formu-
la explcita es b
n
= n
2
tal que n 1
Ejemplo 24. Sea la sucesion -4,16,-64,256,....
s
n
= (4)
n
para n 1
Ejemplo 25. Encontrar una formula explcita para
la sucesion nita: 87,82,77,72,67.
3.3 Progresion geometrica. Es una sucesion de la
forma:
a, ar, ar
2
, . . . , ar
n
donde el termino inicial a y la razon r de la pro-
gresion son reales.
Ejemplo 26. La sucesion {b
n
}, b
n
= (1)
n
para
n 1 es una progresion geometrica donde el ter-
mino inicial a = 1 y la razon r = 1
b
1
, b
2
, b
3
, b
4
, . . . comienza por 1, 1, 1, 1, ....
Ejemplo 27. Sea c
n
= 2 5
n
para n 1 es una
progresion geometrica con termino inicial a = 10
y razon r = 5 donde c
1
, c
2
, c
3
, c
4
, . . . comienza por
10, 50, 250, 1,250, . . . ,
Ejemplo 28. Dada la siguiente progresion geometri-
ca d
n
= 6 (1/3)
n
para n 1 encontrar el termino
inicial y la razon.
E.I.S.C Tecnicas de demostracion
3.4 Progresion aritmetica. Una progresion aritmetica
es una sucesion de la forma:
a, a +d, a +2d, a +3d, . . . , a +nd
donde el termino inicial a y la diferencia d son
numeros reales.
Ejemplo 29. La sucesion s
n
= 1 + 4n para n 0
es una progresion aritmetica con termino inicial
a = 1 y diferencia d = 4, la progresion comienza
c
0
, c
1
, c
2
, c
3
, . . . comienza por 1, 3, 7, 11, . . .
Ejemplo 30. La sucesion t
n
= 7 3n para n 0
es una progresion aritmetica con termino inicial
a = 7 y diferencia d = 3, la progresion comienza
t
0
, t
1
, t
2
, t
3
, . . . comienza por 7, 4, 1, 2, . . .
3.5 Sumatorias. Usamos la notacion de la suma-
toria para expresar la suma de los terminos.
a
m
, a
m+1
, , a
n
de la sucesion {a
n
}. Usamos la notacion
n

j=m
a
j
Para representar a
m
+a
m+1
+ +a
n
j es el ndice de la sumatoria, n lmite superior y
m lmite inferior.
Ejemplo 31. Exprese la suma de los cien primeros
E.I.S.C Tecnicas de demostracion
terminos de la sucesion {a
n
}, donde a
n
= 1/n para
n = 1, 2, 3, . . .
100

j=1
1
j
Ejemplo 32. Cual es el valor de

5
j=1
j
2

5
j=1
j
2
= 1
2
+2
2
+3
2
+4
2
+5
2
= 1 +4 +9 +16 +25
= 55
Ejemplo 33. supongamos que tenemos la suma:
5

j=1

2
y queremos que el ndice vare entre 0 y 4 en lugar
de 1 y 5
para conseguir esto hacemos k = j 1 por tanto
el termino j
2
se convierte en (k +1)
2
, as:
4

k=0
(k +1)
2
Es facil ver que ambas suman 55.
Ejemplo 34. Supongamos que tenemos:
4

i=1
3

j=1
ij
E.I.S.C Tecnicas de demostracion
Primero se desarrolla la sumatoria interna:
4

i=1
3

j=1
ij =
4

i=1
(i+2i+3i) =
4

i=1
6i = 6+12+18+24 = 60

n
i=1
ca
n
= c

n
i=1
a
n

n
i=1
(a
i
+b
i
) =

n
i=1
a
i
+

n
i=1
b
i

n
i=1
(a +b
i
) = na +

n
i=1
b
i

n
i=1
i =
n(n+1)
2

n
i=1
i
2
=
n(n+1)(2n+1)
6

n
i=1
i
3
=
n
2
(n+1)
2
4

n
k=i
f(k) =

n+p
k=i+p
f(k p) =

np
k=ip
f(k +p)

n
j=1
(a
j
a
j1
) = a
n
a
0
telescopica

n
k=0
ar
k
=
ar
n+1
a
r1
, r = 1
Teorema 1. Si a y r son reales y r = 0, entonces:
n

j=0
ar
j
=
_
ar
n+1
a
r1
si r = 1
(n +1)a si r = 1
Ejemplo 35.0 Use la formula para la suma de los
terminos de una progresion geometrica para eva-
luar la suma de la progresion C
n
= 2 3
n
, para
5 n 0:
La sucesion C
n
tiene como elementos 2, 2 3, 2
3
2
, 2 3
3
, 2 3
4
, 2 3
5
Entonces podemos calcular la
suma de estos elementos:
5

j=0
2 3
j
= 2 +2 3 +2 3
2
+2 3
3
+2 3
4
+2 3
5
E.I.S.C Tecnicas de demostracion
Usando el teorema 1. donde a = 2 y r = 3 ten-
emos:
5

j=0
2 3
j
=
2 3
5+1
2
3 1
=
2(3
6
1)
2
= 3
6
1 = 728
Ejemplo 35. Obtener
100

k=50
k
2
Solucion:

100
k=1
k
2
=

49
k=1
k
2
+

100
k=50
k
2
entonces despe-
jamos:

100
k=50
k
2
=

100
k=1
k
2

49
k=1
k
2
segun la tabla

n
k=1
k
2
=
n(n+1)(2n+1)
6

100
k=50
k
2
=
100101201
6

495099
6
=338.350 -40.425=297.925
Ejemplo 36. Aplique la propiedad telescopica para
calcular:
n

k=1
(2k 1)
Sea 2k 1 = k
2
(k 1)
2
entonces obtenemos

n
k=1
(k
2
(k 1)
2
) = n
2
E.I.S.C Tecnicas de demostracion
3.6 Productorias. El producto de a
m
, a
m+1
, , a
n
se representa por:
n

j=m
a
j
Ejemplo 37. Cual es el valor de estos productos

10
i=0
i = 0

8
i=5
i = 5 6 7 8 = 1680
Ejemplo 38. Cual es el valor de estos productos

4
i=0
j! = 1 2 6 24 = 288
4. INDUCCION MATEMATICA.
Es una tecnica de demostracion que se utiliza para
demostrar muchos teoremas que arman que P(n)
es verdadera para todos los enteros positivos n.
La induccion matematica se usa para demostrar
proposiciones de la forma nP(n), donde el do-
minio es el conjunto de los enteros positivos.
Una demostracion por induccion de que P(n) es
verdadera para todo n Z
+
consiste en dos pasos:
PASO BASE: Se muestra que la proposicion P(1) es
verdadera.
PASO INDUCTIVO: se muestra que la implicacion
P(k) P(k + 1) es verdadera para todo entero
positivo k.
La sentencia P(k) para un entero positivo jo k
se denomina la hipotesis de induccion.
E.I.S.C Tecnicas de demostracion
La induccion matematica expresada como regla
de inferencia:
[P(1) k(P(k) P(k +1))] nP(n)
En pocas palabras solo se muestra que si se supone
que P(k) es verdadera, entonces P(k +1) es tam-
bien verdadera.
Ejemplo 39. Demostrar por induccion que la suma
de los n primeros enteros positivos para n 1 es
n(n+1)
2
es decir:
1 +2 +3 + +n =
n(n+1)
2
Sea P(n) : el predicado 1+2+3+ +n =
n(n+1)
2
para n 1
PASO BASE: Se muestra que P(1) es verdadera.
entonces
P(1): 1 =
1(1+1)
2
lo cual es verdadera.
PASO INDUCTIVO: Se debe demostrar que si P(k) es
verdadera entonces P(k +1) para k 1
Sea P(k) : (hipotesis de induccion)
1 +2 +3 + +k =
k(k +1)
2
Ahora hay que demostrar la verdad de P(k + 1) :
(tesis de induccion)
1 +2 +3 + +(k +1) =
(k +1)(k +2)
2
E.I.S.C Tecnicas de demostracion
Entonces comienza la demostracion tomando la
hipotesis:
1 +2 +3 + +k =
k(k +1)
2
se suma (k +1) en ambos miembros:
1 +2 +3 + +k +(k +1) =
k(k +1)
2
+(k +1)
1+2+3+ +k +(k +1) =
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 demostro la tesis de induccion,
entonces P(n) es verdadero para todos los valores
n 1.
Ejemplo 40. Demostrar por induccion para n 1
que:
1 +3 +5 + +(2n 1) = n
2
PASO B

ASICO: sea P(1)

1 = 1
2
PASO INDUCTIVO: Se debe demostrar que si P(k) es
verdadera entonces P(k+1) para k 1 Sea P(k) :
(hipotesis de induccion)
1 +2 +3 + +(2k 1) = k
2
E.I.S.C Tecnicas de demostracion
Ahora hay que demostrar la verdad de P(k + 1) :
(tesis de induccion)
1 +2 +3 + +(2k 1) +(2k +1) = (k +1)
2
Entonces comienza la demostracion tomando la
hipotesis:
1 +2 +3 + +(2k 1) = k
2
se suma (k +1) en ambos miembros:
1+2+3+ +(2k 1) +(2k +1) = k
2
+(2k +1)
1 +2 +3 + +(2k 1) +(2k +1) = k
2
+2k +1
1 +2 +3 + +(2k 1) +(2k +1) = (k +1)
2
Entonces queda demostrada la tesis de induccion,
por tanto para n 1 P(n) es verdadera.
Ejemplo 41. Demostrar por induccion la desigualdad:
n < 2
n
para n 1
Sea P(n) : es la proposicion n < 2
n
1) PASO B

ASICO: P(1) es verdadera, dado que

1 < 2
1
= 2
2) PASO INDUCTIVO: Suponemos que P(k) es
verdadero y demostramos que P(k + 1) tambien
lo es.
P(k): k < 2
k
para k 1
P(k +1): k +1 < 2
k+1
para n 1
k < 2
k
E.I.S.C Tecnicas de demostracion
sumamos 1 a ambos lados:
k +1 < 2
k
+1
k +1 < 2
k
+1 2
k
+2
k
= 2 2
k
= 2
k+1
Por tanto
k +1 < 2
k+1
Ejemplo 42. (Ejercicio propuesto) Demostrar por
induccion que:
1 +2 +2
2
+ +2
n
= 2
n+1
1 para n 0
4.1 Invariante de ciclo
Es una tecnica para demostrar que los ciclos y
programas hacen lo que se arma que hacen.
Hacen parte de la teora de la vericacion de
algoritmos.
Es una relacion entre variables que persiste a
traves de todas las iteraciones del ciclo.
E.I.S.C Tecnicas de demostracion
Ejemplo 43. Consideremos el siguiente codigo:
FUNCTION CUAD (A)
1. C 0
2. D 0
3. WHILE (D = A)
a. C C +A
b. D D +1
4. RETURN(C)
Este ciclo calcula el cuadrado del numero A es de-
cir C = A
2
Pasos:
1. Encontramos la invariante de ciclo que rela-
cione algunas de las variables, para ello se
debe realizar la prueba de escritorio.
2. La invariante nada tiene que ver con la salida.
3. Demostramos por induccion matematica la
invariante de ciclo encontrada. La invariante
de ciclo sera la proposici`on P(n)
Hay solo tres variables de las cuales A se com-
porta como constante, C y D como variables
a traves de la prueba de escritorio.
La invariante de ciclo es la proposicion
P(n) : C
n
= AD
n
para n 0
Ahora la demostramos por induccion:
PASO B

ASICO: Sea P(0) entonces C

0
= A D
0
,
E.I.S.C Tecnicas de demostracion
0 = A0 por tanto se cumple.
PASO INDUCTIVO:
P(k) : C
k
= AD
k
(Hipotesis) (1)
P(k +1) : C
k+1
= AD
k+1
(Tesis) (2)
C
k+1
= C
k
+A
= AD
k
+A usando (1) para reemplazar en C
k
= A(D
k
+1) Factorizando
= AD
k+1
segundo miembro de P(k+1)
y por tanto queda demostrado que P(n) : C
n
=
AD
n
para n 0
Ejemplo 44. Para la siguiente rutina, encontrar la
invariante de ciclo y demostrarla por induccion.
RUTINA exp(N,M:R)
1. R 1
2. K 2M
3. WHILE (k > 0)
a. R R N
b. K K 1
4. RETURN
CALCULA: R = N
2M
La invariante de ciclo es la proposicion
P(n) : R
n
N
k
n
= N
2M
PASO B

ASICO: P(0) : R
0
N
k
0
= N
2M
, 1N
2M
=
N
2M
entonces N
2M
= N
2M
por tanto se cumple P(0)
E.I.S.C Tecnicas de demostracion
PASO INDUCTIVO:
P(s) : R
s
N
k
s
= N
2M
(Hipotesis)
P(s +1) : R
s+1
N
k
s+1
= N
2M
(Tesis)
R
s+1
N
k
s+1
= R
s
N N
k
s+1
reemplazando 3.a
= R
s
N N
k
s
1
reemplazando 3.b
= R
s
N N
k
s
N
1
usando algebra
= R
s
N
k
s
N N
1
agrupando
= R
s
N
k
s
= N
2M
usando la hipotesis
Por tanto queda demostrado que R
s+1
N
k
s+1
=
N
2M
5. DEFINICIONES RECURSIVAS.
A veces es dcil denir objetos de forma ex-
plcita y sin embargo, puede resultar sencillo
denirlos en terminos de ellos mismos, este
proceso se llama recursion.
Podemos utilizar la recursion para denir suce-
siones, funciones y conjuntos.
Podemos demostrar resultados sobre conjun-
tos denidos recursivamente empleando el meto-
do de induccion estructural.
Utilizamos dos pasos para denir una funcion
recursivamente bajo el dominio de los enteros
no negativos.
E.I.S.C Tecnicas de demostracion
1. PASO BASE: Se especica el valor de la
funcion en cero.
2. PASO RECURSIVO: Se proporciona una regla
para obtener su valor en un entero a partir
de sus valores en enteros mas pequenos.
Ejemplo 45. Supongamos que f se dene recursi-
vamente como sigue:
f(0) = 3
f(n +1) = 2f(n) +3
Entonces:
f(1) = 2f(0) +3 = 2,3 +3 = 9
f(2) = 2f(1) +3 = 2,9 +3 = 21
f(3) = 2f(2) +3 = 2,21 +3 = 45
f(4) = 2f(3) +3 = 2,45 +3 = 93
Ejemplo 46. Una denicion recursiva de la funcion
factorial f(n) = n!
Primero se especica un valor para f(0) y encon-
tramos una regla para calcular f(n+1) en funcion
de f(n).
f(0) = 1
f(n +1) = (n +1)f(n)
Calculemos f(4)
f(4) = 4 f(3) = 4 3f(2) = 4 3 2 f(1) =
4 3 2 1 f(0) = 4 3 2 1 1 = 24
podemos tamien obtener un codigo simple para
la funcion factorial:
E.I.S.C Tecnicas de demostracion
Funcion factorial (n:entero positivo)
If n=1 then
Factorial(n):=1
Else
Factorial(n):= n*factorial(n-1)
End funcion.
Factorial (3)=3*factorial(2)=3*2*factorial(1)=3*2*1=6
Ejemplo 47. Una denicion recursiva de:
n

k=0
a
k
0

k=0
a
k
= a
0
n+1

k=0
a
k
= (
n

k=0
a
k
) +a
n+1
Definicion 1. Los numeros de Fibonnacci, f
0
, f
1
, . . . ,
se denen a partir de las ecuaciones f
0
= 0, f
1
= 1
y
f
n
= f
n1
+f
n2
para n = 2, 3, 4, . . .
Ejemplo 48. Los numeros de bonacci, f0,f1,f2 son
denidos para n=2,3,4 son:
f2=f1+f0=1+0=1
E.I.S.C Tecnicas de demostracion
f3=f2+f1=1+1=2,
f4=f3+f2=2+1=3,
f5=f4+f3=3+2=5,
f6=f5+f4=5+3=8,
funcion bonacci (n:entero positivo)
if n=0 then
bonacci(0):=0
else
if n=1 then
bonnaci(1):=1
else
bonacci(n):=bonacci(n-1)+ bonacci (n-2)
end bonacci
Ejemplo 49. Un algoritmo recursivo para calcular
el maximo comun divisor de dos enteros no nega-
tivos 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. (Funcion de Ackermann)
A(m, n) =
_

_
2n si m = 0
0 si m 1 y n = 0
2 si m 1 y n = 1
A(m1, A(m, n 1)) si m 1 y n 2
E.I.S.C Tecnicas de demostracion
1. Obtener A(1, 0), como m = 1 y n = 0 en-
tonces A(1, 0) = 0 se aplica el segundo crite-
rio de la funcion.
2. Obtener A(1, 1), como m = 1 y n = 1 en-
tonces A(1, 1) = 2 se aplica el tercer criterio
de la funcion.
3. Obtener A(0, 1), como m = 0 y n = 1 en-
tonces A(0, 1) = 2(1) = 2 se aplica el primer
criterio de la funcion.
4. Obtener A(2, 2). Aplicando el cuarto crite-
rio nos queda otra recursividad A(1, A(2, 1)),
ahora A(2, 1) = 2 por tercer criterio, por tan-
to tenemos que calcular A(1, 2). Por el cuar-
to 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 formula A(1, n) =
2
n
si n 1, entonces A(1, 4) = 2
4
= 16
por tanto A(2, 3) = 16
b) Ahora sin usar formulas, solo con recur-
sividad. A(1, 4) aplicamos el cuarto crite-
rio A(1, 4) = A(0, A(1, 3))
ahora calculamos A(1, 3) = A(0, A(1, 2))
E.I.S.C Tecnicas de demostracion
ahora calculamos A(1, 2) = A(0, A(1, 1))
como A(1, 1) = 2 aplicando el tercer cri-
terio.
A(1, 2) = A(0, 2) = 4 por el primer crite-
rio, entonces A(1, 2) = 4
ahora reemplazamos A(1, 3) = A(0, A(1, 2)) =
A(0, 4) = 8 aplicando el primer criterio,
entonces A(1, 3) = 8
retomamos A(1, 4) = A(0, A(1, 3)) = A(0, 8) =
16 por el primer criterio. POR TANTO
A(2, 3) = 16
5.1 Conjuntos y estructuras bien definidas.
Las deniciones recursivas de un conjunto tienen
dos partes:
1. Paso base. Coleccion inicial de elementos.
2. Paso recursivo. Reglas para la formacion de
nuevos elementos del conjunto a partir de los
que ya se conocen.
Definicion 2. El conjunto

de cadenas sobre
el alfabeto se puede denir 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 Tecnicas de demostracion

Ejemplo 51. Sea = {0, 1} las cadenas del con-
junto

, el conjunto de todas las cadenas de bits.

Paso base. lo constituye la cadena vaca
Paso recursivo. 0 y 1 cadenas que se forman re-
cursivamente por primera vez, 00, 01, 10 y 11
cadenas que se forman al aplicar el paso recursivo
por segunda vez.
Definicion 3. Dos cadenas se pueden combinar
mediante la operacion de la concatenacion. Sea
un conjunto de smbolos y

el conjunto de
las cadenas formadas a partir de smbolos de .
Podemos denir recursivamente la concatenacion
de dos cadenas, denotada con el smbolo como
sigue:
Paso base. Si w

, entonces w = w, donde
es la cadena vaca.
Paso recursivo. Si w
1

, w
2

y x , en-
tonces w
1
(w
2
x) = (w
1
w
2
)x
Ejemplo 52. Formulas bien formadas en logica proposi-
cional. Podemos denir el onjunto de formulas bi-
en formadas con variables proposicionales y oper-
adores logicos, ademas de los valores V y F.
Paso base.{V, F} y p, donde p es una variable proposi-
cional.
Paso recursivo. Si E y F son formulas bien for-
madas, entonces ( E), (E F), (E F), (E
F), (E F) son formulas bien formadas.