Академический Документы
Профессиональный Документы
Культура Документы
Quinto Pazce
INDUCCIN 1
SUMATORIA:
n
n( n 1)
i 1 2 3 ... n
i 1
2
n
n(n 1)(2n 1)
i 12 22 32 ... n 2
i 1
6
n
ai a1 a2 a3 .... an 1 an
i 1
n
ai a1.a2 .a3....an 1.an
i 1
PROPIEDADES:
n n n
1. k k 1 kn tambien 1 n
i 1 i 1 i 1
n n
2. kai k ai
i 1 i 1
n n n
3. (ai bi ) ai bi
i 1 i 1 i 1
n
4. ( Fi Fi 1) Fn Fm 1 (P. Telescpica )
i m
n
(5k 5k 1 ) 5 n 1
k 1
n n
5k 5k 1 5n 1
k 1 k 1
n
1 n k
5k 5 =
k 1
5k 1
2
4 n k n
n
5
5 5 1 => 5 = (5n 1)
k
5k 1 k 1
4
Ejercicios:
n n
1. Calcular kk! asuma que (kk! (k 1)(k 1)!) nn!
k 1 k 1
n
2. Calcular (2k 1 2k ), n
k 1
n
3. Calcular k 2 , asuma k 3 ( k 1)3
k 1
n n
1. Hallar k 2 asuma (k 3 (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. Se sabe que:
PRINCIPIO DE INDUCCION
3
Ejemplo de Sumatorias:
n
1) Demostrar por induccin : n(n 1)
k
k 1
2
Solucin:
1
1(1 1)
k 1
i. Para n= 1, 2
k 1
1 1, P(1) : Es vlido
h
h(h 1)
ii. Suponiendo_ n h k , hiptesis inductivo
k 1 2
h 1
(h 1)((h 1) 1)
iii. Para : n h 1 k , por demostrar
k 1 2
h 1 h h 1
k k k
k 1 k 1 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 =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
2(1) 1 12
Para n = 1: 4
1 1 Es valido
h
II) Suponiendo_ n h (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 h h 1
(2k 1) (2k 1) (2k 1)
k 1 k 1 k h 1
h2 2(h 1) - 1
h2 2h 1
(h 1) 2 , que es valido la demostracion
i) Para n=1
1 1
21
k 0
k
1 1
2
0 1
1 1 2; cumple, P(n) es valido
2 2 Es valido
h h
2 h ...... Hiptesis Inductiva
k 0 k
k 0
k k 0
k k h 1
k
h 1 h 1 h 1 h 1 h 1 h 1
..............
0 1 2 3 h h 1
h h h h h h
.......................
0 1 0 2 1 h
h h h h h h
....... .....................
0 1 h 0 1 h
h h h h
......................... para n h 1
k 0
k k 0
k
h h
2 2.2h 2h 1; cumple
k 0
k
h
1
ii. Supo. n = h : (3k 2) (3h 2 h), hipo. ind.
k 1
2
h 1 h h 1
iii. Para n=h+1: (3k 2) (3k 2) (3k 2)
k 1 k 1 k h 1
1
(3h 2 h) (3(h 1) 2) 6
2
3h 2 h 6(h 1) 4
2
3h 2 h 6h 6 4
2
3h 2 5h 2
2
3(h 2 2 h) 2 h
2
3((h 1) 2 1) 2 h
2
3(h 1) 2 (h 1)
cumple
2
Lqqd.
1
k 1 2
i) Para n=1, 2
k
k 12 21
1 3
1
2 1
2 2
1 1
2 2
h
k h 2
ii) Supo. n = h : 2
k
k 12 2h
h 1
k (h 1) 2
iii) Para n=h+1: 2
k
k 12 2( h 1)
h 1
k h 2 h 1
2
k h
k 12 2 2h 1
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 , cumple
2h 1
6) Demostrar por induccin, a partir de la siguiente serie:
-3+5 =2
-3+5-7+9 =4
-3+5-7+9-11+13 =6
Se puede generalizar y escribiendo:
2n
( 1) k (2k 1) 2n
k 1
2
i) Para n=1 ( 1) k (2k 1) 2(1)
k 1
3 5 2
2 2
2h
ii) Supo.n = h : ( 1) k (2k 1) 2( h)
k 1
2( h 1)
iii) Para n=h+1: ( 1)k (2k 1) 2(h 1)
k 1
n
3k 2 3k 1 n 3
k 1
n n n
3 k2 3 k 1 n3
k 1 k n1 k 1
2 3
n
3n(n 31k) 3k 13 n
3 k2 k 1 n n
k 1 2n n n
2
n 3 2k
3n 3n 3 k 1 n3
3 k2 3
n k1 k 1n k 1
k 1 n 2
2 3n(n 1) 3
n
2n33 3kn 2 3n 2n n n
3 k2 k 1 2
k 1 2
33
n
22 3 3n 2 3n
n
2n 3n n k n n
k2 k 1 2
k 1 n6
2 2n 3 3n 2 3n 2n
n 3 k
n(n 1)(2n 1)
k2 k 1 2 Hemos deducido la
k 1 6
n
2n 3n n frmula
3 2
k2
k 1 6
n
Demostrando por induccin: n(n 1)(2n 1)
k2
k 1 6
Para n = 1:
12 1(1 1)(2(1) 1)
12 1(2 * 3)
1 1
n=h:
n=h+1:
(h 1)((h 1) 1)(2(h 1) 1)
12 22 32 ...... h 2 (h 1) 2
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
i ) Para n= 1 31 71 2, 10
10-2
8, cumple
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. es divisible por 8
3n 7 n 2, es divisible entre 8
Solucin:
32h+2.32 2(h+1).2 = ()
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:
x2h + 1 (x + y) (x y) + y2 ( )
x2h + 1 ( ) + y2 ( ) =
5. Demostrar:
Solucin:
Para n=1:
Para n=h:
12
6. Demostrar
Solucin:
Para n=1:
Para n=h:
2. n
k n 2
k 1.
2
k 1 2 2n
2n
3.
( 1) k (2k 1) 2n
k 1
n
4. (3k 2 3k 1) n3
k 1
SEGMENTOS DE ALGORITMOS
PSEUDOCDIGOS: 14
1. Dada un segmento de algoritmo, se pide demostrar por induccin el predicado.
Solucin:
Realizamos la traza para parmetro de entrada: N = 5
N I S
5 0 0
1 5
2 10
3 15
4 20
5 25
S=N*I
La formula S = N * I
E/ S
N
CAJA
S
I NEGRA
Predicado: Sn = N * In
I. Para n=0: S0 = N * I0
Induccin Semestre 2017-2
Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
0 = N * 0, cumple P(1)
15
II. Para n=h: Sh = N * Ih (Hiptesis inductiva)
Sh+1 = Sh + N, tomando.
Ih+1 = Ih + 1
Sh+1 = Sh + N
= N * Ih + N
= N (Ih + 1) Sh+1 = N * Ih+1
2.-Demostrar por Induccin:
Solucin:
Realizamos la traza para los parmetros de entrada: A = 1 y B = 5
A B D C
1 5 5 1
4 6
3 11
2 16
1 21
0 26
C= A + B2
Variables de E / S:
16
A
CAJA C
B NEGRA
C = A + B2 (formula)
C = A+ B*B
Predicado: An = Cn + B * Dn
Ch+1 = Ch + B
Dh+1 = Dh 1
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 es la hiptesis inductiva
Ah +1 = A + B2 cumple
17
Realizamos la traza para el parmetro de entrada n = 5
X Y N X P N S
5 Y 5 X
4 XY
3 XY2
2 XY3
1 XY4
0 XY5
S = X Y5
X
CAJA S
Y NEGRA S
Predicado: Sn = X Yn
Demostracin:
i) Para n=0: S0 = X Y0
X = X, cumple P(1).
Sh+1 = Sh Y; tomando.
n=n-1
Sh+1 = Sh Y
= XYh y
Sh+1 = X Y(h+1)
18
4.- Demostrar por Induccin:
Solucin:
I. Realizar la traza para el parmetro de entrada por lectura: A = 7 y B = 5
A B P C
7 5 5 0
4 7
3 14
2 21
1 28
0 35
W P C
W = C, P = B - 1, C=C+W
35 4 35
3 70
2 105
1 140
0 175
C = A * B2
19
A CAJA C
B
NEGRA
.
i. Predicado : Cn = W + A*BPn
= 35 + 7*5*4
ii. Demostracin:
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.
4.- Considerar el siguiente segmento de algoritmo para demostrar por induccin el predicado
llamado sumatoria.
FUNCION Sumatoria (n)
Inicio
z0
x1
y1
Mientras (y < n)
z z + x*y
x (1) x
Fin - mientras
Retornar ( z )
FIN - Inicio
Induccin Semestre 2017-2
Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
20
Solucin:
Realizamos la traza para el parmetro de entrada de: n=14
n y x z
14 1 1 0 =0
3 1 1 =0+1
5 1 2 = 0 + 13
7 1 3 = 0 + 13 +5
9 1 4 = 0 + 13 +57
11 1 5 = 0 + 13 +57 + 9
13 1 6 = 0 + 13 +57 + 911
Para n=1:
Para n=h:
Inicio
x1
y1
z0
Mientras (x < n)
yy * 2
1
t
y
z z+t
x x +1
Fin_mientras
Retornar ( z )
FIN - Inicio
22
EJERCICIOS RESUELTOS
Para n=1
1 1
21
k 0 k
1 1
2
0 1
1 1 2
2 2
Para n=h
h h
2 h ...... Hiptesis Inductiva
k 0 k
Para n=h+1
h 1 h 1
2 h 1 ..... Por probar
k 0 k
h 1 h 1 h 1 h 1 h 1 h 1
.......... ....
0 1 2 3 h h 1
h h h h h h
.......... .......... ...
0 1 0 2 1 h
h h h h h h
....... .......... .......... .
0 1 h 0 1 h
h h h h
.......... .......... ..... para n h 1
k 0 k k 0 k
h h
2 2.2 h 2h 1
k 0 k
23
n
2.Demuestre por induccin: k2
k 1
n
Desarrollando (k 3 (k 1) 3 ) obtenemos :
k 1
n
3k 2 3k 1 n 3
k 1
n n n
3 k2 3 k 1 n3
k 1 k 1 k 1
n
3n(n 1)
3 k2 n n3
k 1 2
n
3n 2 3n
3 k2 n3 n
k 1 2
n
2n 3 3n 2 3n 2n
3 k2
k 1 2
n
2n 3 3n 2 n
k2
k 1 6
n
n(n 1)(2n 1)
k2
k 1 6
n = 1:
12 1(1 1)(2(1) 1)
12 1(2 * 3)
1 1
n=h:
n
h(h 1)(2h 1)
k2
k 1 6
h(h 1)(2h 1)
1 4 9 ...... h 2
6
n=h+1: 24
(h 1)((h 1) 1)(2(h 1) 1)
12 22 32 ...... h 2 (h 1) 2
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
EJERCICIOS
1.Dada un segmento de algoritmo:
Funcin PRACTICA(A; B)
Inicio
Cul es I / o de la funcin? W=0; C=0; P=B;
Demostrar por induccin Mientras (P>0)
El predicado? Hacer
C=C + A; P=P-1;
Fin- Hacer
P=P-1;
W=C;
Mientras ( P>0)
Hacer
C=C + W; P=P-1;
Fin - Hacer
Retornar ( );
Fin -Inicio
n n
2. Dada N y Cn CN N 2 para C1 1 ; Hallar la solucin General de una
j
j 0 2
relacin recursiva y el algoritmo recursivo.
Funcin EXAMEN( 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
3.Demostrar por induccin el predicado del segmento de algoritmo:
funsin S (X ,Y)
inicio C=X; D=Y;
mientras (D 0)
C=C+Y; D=D-1; completar
Fin mientras;
RETURN ( );
Fin- inicio.
26
FIN DE PRACTICA