Matemtica Discreta - FISI

Daniel A. Quinto Pazce

INDUCCIN

SUMATORIA:
n

n(n 1)
2

i 1 2 3 ... n
i 1
n

i 12

22 32 ... n 2

i 1
n

ai

a1 a2

ai

a1.a2 .a3....an 1.an

n(n 1)(2n 1)
6

a3 .... an 1 an

i 1
n
i 1

PROPIEDADES:
n

1.

i 1
n

2.

1 kn

tambien

i 1

1 n
i 1

kai
i 1
n

3.

ai
i 1
n

( ai
i 1
n

4.

bi )

ai
i 1

( Fi

Fi 1 )

Fn

bi
i 1

Fm 1 (P. Telescpica )

i m

Calcular por propiedad Telescpica

5k
k 1

(5k

5k 1 ) 5n 1

k 1
n

5k

k 1
n
k 1

Induccin

5k 1

5n 1

k 1

5k

1 n k
5 =
5k 1

Semestre 2014-1

Matemtica Discreta - FISI

4 n k
5
5k 1

Daniel A. Quinto Pazce

5
1 => 5 = (5n 1)
4
k 1
k

Ejercicios:
n

1. Calcular

kk! asuma que

(kk! (k 1)( k 1)!)

2. Calcular
3. Calcular

nn!

k 1

k 1

(2k 1 2k ), n

k 1
n

k 2 , asuma k 3 (k 1)3

k 1
n

(k 3

k 2 asuma

1. Hallar

( k 1) 3 ) conjunto de partida , luego demuestre :

k 1

k 1

INDUCCIN MATEMATICA
Induccin es una tcnica que se utiliza para demostrar predicados, y no es una herramienta para
descubrir formulas.
En todo Induccin va de lo particular a lo General:

P(n) ---> P(n+1)

En toda Deduccin va de lo General a lo Particular:

P(n+1) ----> P(n).

El proceso de induccin, sirve para elaborar HIPOTESIS a partir de un Objetivo.

PRINCIPIO DE INDUCCION
Sea el conjunto de definicin S

N / el predicado P(n) es vlido, n

Para demostrar la validez: se tiene el siguiente principio:

i. Para n = 1 S ,
ii. Supongamos que n = h
iii. Para n = h +1 S ,

Induccin

S,

P(1) es vlido
P(h) . Hiptesis Inductivo
P(h+1) .es vlido

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

Ejemplo de Sumatorias:

3
n

Demostrar por induccin :

n(n 1)
2

k
k 1

Solucin:
1

i.

1(1 1)
1
2

Para n= 1, k 1
1 1, P (1) : Es vlido
h

ii. Suponiendo _ n

h
h

iii. Para : n

h 1
k

h 1

k
k 1

h(h 1)
2
k 1
1
(h 1)(( h 1) 1)
k
, por _ demostrar
2
1

h 1

k
k 1

k
k h 1

h(h 1)
(h 1)
2
h(h 1) 2(h 1)
2
(h 1)((h 1) 1)
cumple; P(n) es valido
2

1 Demostrar por Induccin

1
=1
1+3
=4
1+3+5
=9
1+3+5+7
=16
.
.
Encontramos que la serie , se puede expresar mediante la siguiente sumatoria:
n

(2k 1)

n2

k 1

Lo cual demostraremos por induccin:

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

2(1) 1 12

Para n = 1:

1 1
h

II) Suponiendo_ n

(2k 1)

h 2 hiptesis inductiva

k 1

h 1

Para n = h+1

: Para : n

h 1

(2k 1)

(h 1) 2 , por _ demostrar

k 1

h 1

(2k 1)
k 1

h 1

(2k 1)
k 1

(2k 1)
k h 1

h2

2(h 1) - 1

h2

2h 1

(h 1) 2 , que es valido la demostracion

2. , Demostrar por induccin que el nmero total de subconjuntos generados a partir de
n
n
A ={ a , b , c , d } sea
2n
k 0 k
i)

Para n=1
1

k
k 0
1
1
0
1

21
2

1 1 2; cumple, P(n) es valido

2

ii)

Supongamos que n=h

h
k 0

iii)

Induccin

h
k

2 h ......Hiptesis Inductiva

Para n=h+1

Semestre 2014-1

Matemtica Discreta - FISI

h 1 h 1

2h 1.....Por

k 0
h 1 h 1

k 0

h 1
1

h
0

h
1

h
0
.......

h 1

h 1
k

k h 1

h 1
2

h 1
3

h
2

h
1

h 1
h

..............

h 1
h 1

h
h

.......................

.....................

h
h

h
k
k 0

h
......................... para
k
k 0

probar

h 1

k 0

h 1
0

Daniel A. Quinto Pazce

h
k
k 0

2.2h

h 1

2h 1; cumple

3)Demostrar por Induccin :

n

(3k 2)

i.
k 1

1
(3n 2
2

iv)

Par n = 1:

v)

Supo. n = h :

n)

1
(3(1) 2 1)
2
1 1
1

(3k 2)
k 1
h 1

vi)

1
(3h 2 h), hipo. ind.
2
h

(3k 2)

Para n=h+1:
k 1

h 1

(3k 2)
k 1

(3k 2)
k h 1

desarrolando

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

1
(3h 2 h) (3(h 1) 2)
2

3h 2 h 6(h 1) 4
2
3h 2 h 6h 6 4
2
3h 2 5h 2
2
3(h 2 2h) 2 h
2
3((h 1) 2 1) 2 h
2
3(h 1) 2 ( h 1)
cumple
2
P(n) es valido
4)Demostrar por induccin
n
k

i)

k
k
1 2

n 2
2n

Para n=1,

k 12

1 2

21

1
3
2 1
1
2
2
1 1
2 2
h

ii)

Supo. n = h :

k 12

h 1

iii)

Para n=h+1:

k 12

Induccin

h 2

2h

(h 1) 2
2(h 1)

Semestre 2014-1

Matemtica Discreta - FISI

h 1

k
k 12

h 1

k 12

h 1

k
k 12

Daniel A. Quinto Pazce

k

h 2

h 1

2h 1

k
k h 12

h 1 2(h 2)

=2

2h 1
(h 1) (2h 4)

=2

2h 1
h 3

=2

2h 1
(h 3)

=2

2h 1
((h 1) 2)

=2

2h 1

, cumple

5)Demostrar por induccin, a partir de la siguiente relacin:

-3+5
-3+5-7+9
-3+5-7+9-11+13

=2
=4
=6

Se puede generalizar y escribir:

2n

( 1) k (2k 1)

2n

k 1

i) Para n=1

( 1) k (2k 1)

2(1)

k 1

3 5
2 2
2h

( 1)k (2k 1)

ii) Supo.n = h :

2(h)

k 1
2( h 1)

iii) Para n=h+1:

( 1)k (2k 1)

2( h 1)

k 1

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

2( h 1)

( 1)k (2k 1)

k 1

2h

Daniel A. Quinto Pazce

2( h 1)

( 1) k (2k 1)

k 1
2( h 1)

=2h

( 1) k (2k 1)

k 2h 1

( 1) k (2 k 1)

k 2h 1
(2h 1)

=2 h ( 1)
(2(2 h 1) 1) ( 1)2h 2(2(2h 2) 1)
=2h-1(4h+3)+(1)(4h+5)
=2h+2 = 2(h+1)

cumple
n

(k 3

1 Desarrollando el cuadrado y operando

( k 1) 3 ) tenemos :

k 1

3k 2 3k 1 n 3
k 1
n

k2 3

3
k 1

k n1

k2

3
k 1
n

k2

3
k 1
n

k2

k 1
n

k2
k 1
n

k2
k 1

n3

k 1

2
3
3n(n 31k) 3k 13 n
k 1
n n
2n
n
n
2
2k
3
3
k
1 n3
3n 3n
3
n k1
k 1n
k 1
2
n
3n(n 1)
2
3
2n33 3kn 2 3n 2 2n n n
k 1
2
n
3n 2 3n
2
3
33
2
k
n
n
2n 3n n
2
k 1
n6
2n 3 3n 2 3n 2n
2
3
k
n(n 1)(2n 1)
2
k 1
6
n
2n 3 3n 2 n
k2
6
k 1
n

Demostrando por induccin:

k2
k 1

n(n 1)(2n 1)
6

Para n = 1:

12

1(1 1)(2(1) 1)

12

1(2 * 3)

1 1
n=h:
Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

h(h 1)( 2h 1)
6
k 1
h( h 1)( 2h 1)
1 4 9 ...... h 2
6
k2

n=h+1:

12

22

32 ...... h 2

(h 1) 2

(h 1)((h 1) 1)(2(h 1) 1)
6

h(h 1)(2h 1)
(h 1) 2
6
h(h 1)(2h 1) 6(h 1) 2
6
(h 1) h(2h 1) 6(h 1)
6
(h 1) ((h 1) 1)(2(h 1) 1)
6
EJEMPLO DE DESIGUALDADES - DIVISIBILIDAD:

1 Demostrar por induccin

n ! 2n 1 para n=1,2,3,...
i) para n=1, 1! 21-1
1 1 cumple
ii ) Sup n=h, h! 2h-1
iii ) para n=h+1, (h+1)! 2(h+1)-1
(h+1)! =(h+1)h!
como h 1
h+1 2
(h+1)!

(h+1)2h-1

(h+1)!

2.2(h)-1

(h+1)!

2(h+1)-1 cumple

2. Demostrar por Induccin

3n 7n 2, es divisible entre 8, para n=1,2,3,..

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

i ) Para n= 1 31 71 2,

10

10-2
8, cumple

ii)

Supo. n=h, 3h 7h 2, hipo. inductiva

iii)

Para n=h+1, 3h 1 7 h 1 2
3.3h 7.7 h 2
3.3h (3 4).7 h (4 6)
3.3h 37 h 4.7 h (4 6)
3(3h 7 h 2) 4(7 h 1)
por indu.
3n 7 n 2,

es divisible por 8
es divisible entre 8

3. Demostrar por induccin que

es mltiplo de 7.

Solucin:

Para n=1: 32(1)+2 21+1 = 34 22 = 77 =

Para n=h: 32h+2 2h+1 =

Probar para n=h+1: 32(h+1)+2 2(h+1)+1 =

32h+2.32 2(h+1).2 =

() Hiptesis inductiva

()

Sumando y restando 2(h+1).32 en () se obtiene

32h+2.32 2(h+1).32 + 2(h+1).32 2(h+1).2
9 (32h+2 2h+1) + 2h+1 (9 2), de la expresin ()
9

( ) + 7. 2h+1 =

4. Demostrar por induccin: x2n-1 + y2n-1 es divisible por x+y

Solucin:

Induccin

Para n=1: x2(1)-1 + y2 (1)-1 = x + y =

Para n=h: x2h-1 + y2h-1 =

() Hiptesis inductiva
Semestre 2014-1

Matemtica Discreta - FISI

x2 (h+1) -1

Daniel A. Quinto Pazce

Probar para n=h+1: x2 (h+1) -1 + y2 (h+1) -1 =

+

y2 (h+1) -1

x2h + 1

11

y2h + 1

x2h-1. x2 + y2h-1 .y2 ()

Sumando y restando x2h - 1.y2 en ()
x2h -1. x2 x2h - 1.y2 + x2h - 1.y2 + y2h-1 .y2
x2h + 1 (x2 y2) + y2 (x2h-1 + y2h-1)
Por hiptesis inductiva en ()
x2h + 1 (x2 y2) + y2 (

x2h + 1 (x + y) (x y) + y2 (
x2h + 1 (

) + y2 (

)
) =

5. Demostrar:

Solucin:

Induccin

Para n=1:

Para n=h:

Probaremos que para n=h+1:

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

12

6. Demostrar
Solucin:

Para n=1:

Para n=h:

Probaremos para n=h+1:

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

Ejercicios de casa:
13

1.

(3k 2)
k 1

2.

n
k

1
(3n 2
2

n)

k
n 2
2
k 1.
2n
1 2

2n

3.

( 1) k (2k 1)

2n

k 1

4.

(3k 2 3k 1)

n3

k 1

5.

Demostrar por induccin:

1.
2.

3n 7 n 2 es divisible entre 8, para n=1,2,3, . . .

2 n n 2 para n=4,5,6,... donde 2n+1 2 n ,n=3,4,5

3.

2n 5n 3 es divisible por 2, para n

4.

3n 7n 2 es divisible entre 8, para n=1,2,3...

5. Demostrar po induccin que n3 n es divisible por 3, siempre n=1,2,3...

6. Demostrar por induccin que:

1 2 22 23 ... 2n 2n 1 1
siempre que n=0,1,2,3,..
n2

7. Demostrar por induccin:

1 3 5 7 ... (2k 1)
siempre que k=1,2,3,..n

8. Demostrar por induccin:

3 5 7 ... ( 1)k (2k 1) 2n

siempre que k=1,2,3,..2n

SEGMENTOS DE ALGORITMOS
Dado un Pseudocodigo o segmento de Algoritmo, a partir de la traza o prueba de escritorio,
determinar la formula que realiza dicho segmento de algoritmo, ahora para representar las
variables de Entrada/salida (E/S) de la formula, lo representamos en la caja negra, finalmente
viene determinar el predicado de la formula, que nos permite demostrar por Induccin.
Debemos realizar previamente antes de demostrar por induccin al predicado, lo siguiente:
a)
b)
c)
d)
e)
Induccin

Hacer la prueba de escritorio o (traza)

Encontrar la frmula en base a los resultados
Indicar las variables de E/S mediante la caja negra
Definir el predicado a partir de la formula
Demostrar por induccin.
(se debe hacer todos los pasos)
Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

PSEUDOCDIGOS:
Ejemplo 1. Dada un segmento de algoritmo, se pide demostrar por induccin el predicado.
FUNCION CUADRADO(N)
Inicio
I0
S0
Mientras (I < N)
hacer
SS+N
II+1
Fin_ hacer
Retornar (S ):
Fin - inicio
Solucin:
Realizamos la traza para N = 5

N
5

I
0
1
2
3
4
5

S
0
5
10
15
20
25

S=N * I
La formula S = N * I
E/ S
N
I

CAJA
NEGRA

Predicado: Sn = N * In
Demostracin:
Induccin

Semestre 2014-1

14

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

I. Para n=0: S0 = N * I0 0 = N x 0 cumple

15

II. Supongamos que n=h: Sh = N * Ih (Hiptesis inductiva)

III. Para n=h + 1: Sh+1 = N * Ih+1 , por demostrar
Sh+1 = Sh + N
Ih+1 = Ih + 1
Tomando Sh+1 = Sh + N
= N * Ih + N
= N (Ih + 1)
entonces Sh+1 = N * Ih+1
Ejemplo 2. Dado el Segmento de Algoritmo, demostrar por Induccin:
FUNCION SUMA (A, B)
Inicio
CA
DB
Mientras (D > 0)
CC+B
DD1
Fin_mientras
Retornar ( C )
Fin de inicio
Solucin: Realizamos la traza para A = 1 y B = 5

A
1

B
5

D
5

C
1

11

16

21

26

C= A + B2

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

16

A
B

CAJA
NEGRA

Como C= A + B2 C = A + B B
Predicado:
An = Cn + B* Dn
Demostracin del predicado:
I. Para n=0: A0 = C0 + B* D0 A0 = A + B2 cumple
II. Supongamos n=h: Ah = Ch + B* Dh (Hiptesis inductiva)
III. Para n=h + 1:

Ah+1 = Ch+1 + B* Dh+1 , por demostrar

Ch+1 = Ch + B
Dh+1 = Dh 1
tomando

Ah+1 = Ch+1 + B* Dh+1

Ah+1 = Ch + B + B (Dh 1)
Ah+1 = Ch + B + B *Dh B
Ah+1 = Ch + B * Dh cumple la hiptesis

Ejemplo 3. Demostrar por Induccin:

Funcin Potencia (X,Y, n)
Inicio
S=X
P=Y
Mientras (n< >0)
X=X*Y
N=N1
Fien de mientras
Retornar(X)
Fin-inicio:

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

17

Realizamos la traza para n = 5

S
X

P
Y

n
5

S
X

XY

XY2

XY3

XY4

XY5

S = X Y5
X

CAJA
NEGRA

S
S

Predicado: Sn = X Yn
Demostracin:
i) Para n=0: S0 = X Y0
X = X cumple
ii)

Supongamos, n=h: Sh = XYh (Hiptesis inductiva)

iii)

Para n=h + 1: Sh+1 = XY(h+1)

Sh+1 = Sh Y
n=n-1

tomando

Sh+1 = Sh Y
= XYh Y
Sh+1 = XY(h+1) Cumple

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

Ejemplo 4. Demostrar por Induccin:

18
FUNCION SUMA (A, B)
Inicio
C0
PB
Mientras (P> 0)
CC+A
PP1
Fin_mientras
PB1
WC
Mientras (P> 0)
CC+W
PP1
Fin_mientras
Retornar C
FIN Inicio:
Solucin:
a) Realizar la traza para A = 7 y B = 5
A

5
4
3
2
1
0

0
7
14
21
28
35

35

4
3
2
1
0

35
70
105
140
175

C=A * B2

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

b) Encontrar la formula : C=A * B2

19

c) Indicar las variables de entrada y salida

A

CAJA
NEGRA

.
d) Como

C = A * B2
i.

Predicado :

Cn = W + A*BPn
= 35 + 7*5*4

ii.

Demostracin:

Para n = 0:

C0 = W + A*BP0

Supongamos, n = h: Ch = W + A*BPh (Hiptesis inductiva)

Para n = h+1: Ch+1 = W + A*BPh+1 ()

C0 = A*B2

Ph+1 = B 1
W = A*B
Tomando la expresin ()
Ch+1 = W + A*B Ph+1
Ch+1 = A*B + A*B (B 1)
Ch+1 = A*B + A*B2 A*B
Ch+1 = A*B2 cumple

EJERCICIOS
1.Considerar el siguiente segmento de algoritmo para demostrar por induccin el predicado llamado
INCOGNITO
FUNCION INCOGNITO (n)
Inicio
z0
x1
y1
Mientras (y < n)
z z + x*y
x (1)x
Fin_mientras
Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

Retornar (Z)
FIN

20

Solucin:
Tomamos un valor al azar y realizamos la traza para un n=14
n

14

=0

=0+1

= 0 + 13

= 0 + 13 +5

= 0 + 13 +57

11

= 0 + 13 +57 + 9

13

= 0 + 13 +57 + 911

Para n=1:

Para n=h:

Demostrar para n=h+1:

Induccin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

Ejercicio 2. Tambien se puede demostrar con

An = (-1 ) (n +1) ( n )

21

Ejercicio 3. Demostrar por induccin el nmero total de subconjuntos generados a partir de

A={a,b,c,d}, Para n=0,1,2,3,4
Ejercicio 3. Demostrar por induccin
FUNCION INCOGNITO (n)
Inicio
x1
y1
z0
Mientras (x < n)
yy * 2
1
t y
z z+t
x
x +1
Fin_mientras
Retornar z
FIN

Ejercicio 4.

1.Dada un segmento de algoritmo:

Cul es I/ o de la funcin?
Demostrar por induccin
El predicado?

Induccin

Funcin MD(A; B)
Inicio
W=0; C=0; P=B;
Mientras (P>0)
Hacer
C=C + A; P=P-1;
Fin
P=P-1;
W=C;
Mientras ( P>0)
Hacer
C=C + W; P=P-1;
Fin
Retornar ( );
Fin

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

Ejercicio 5.
n

Dada N

j 0

n
j

y Cn

CN

22

N 2 para C1 1

Hallar la solucin General de una relacin recursiva y el algoritmo recursivo.

6.Considerar el siguiente algoritmo en Pseudos-cdigo, para demostrar por

Funcin Incgnito(R)
inicio
A=0;
B=1;
C=1;
Mientras (C < R)
Hacer
A=A + B*C;
C=C + 2;
B=B (-1);
Fin- Hacer
Return( );
Fin;
1. Dada el seudocdigo
Cul es I/ o de la funcin
Cual es la formula
Cual es el predicado?
Demostrar por induccin.

Induccin

Funcin INDU(I; S, B)
Inicio
B=0; D=0; A=S;
Mientras (A>0)
Hacer
B=B + D; A=A -1;
Fin-hacer
A=S;
Mientras ( A>0)
Hacer
B=B + I; A=A-1;
Fin-hacer
A= S 1; D = B;
Mientras (A>0)
Hacer
B= B + D; A= A 1;
Fin-hacer
Retornar ( )
Fin-inicio

Semestre 2014-1

Matemtica Discreta - FISI

Daniel A. Quinto Pazce

7.Demostrar por induccin el predicado del segmento de algoritmo:

funsin S (X ,Y)
inicio
C=X;
D=Y;
mientras (D 0)
hacer
C=C+Y;
D=D-1;
Fin.hacer
Fin mientras;
RETURN ( );
fin inicio.

completar

FIN DE LA CLASE

Induccin

Semestre 2014-1

23