Matemtica Discreta - FISI-2017-2 Daniel A.

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

Calcular por propiedad Telescpica

n
5k
k 1

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

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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:

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

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

Para demostrar por induccin: se tiene el siguiente principio:

i. Para n = 1 S , P(1), es vlido

ii. Supongamos que n = h S, P(h), es la hiptesis Inductivo
iii. Para n = h +1 S , P(h+1), es vlido

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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

2) Dado la serie, 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 ahora demostraremos por induccin:

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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

3) Demostrar por induccin que el nmero total de subconjuntos generados a partir de

n n
A ={ a , b , c , d } 2n
k 0 k

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

ii) Supongamos que n=h

h h
2 h ...... Hiptesis Inductiva
k 0 k

iii) Para n=h+1

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
h 1 h 1
2h 1.....Por probar 5
k 0
k
h 1 h 1 h 1 h 1 h 1 h

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

4) Demostrar por Induccin :

n
1
i. (3k 2) (3n 2 n)
k 1 2
1
1 (3(1) 2 1)
i. Par n = 1: 2
1 1

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

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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.

5) Demostrar por induccin

n
k n 2
k
2
k 1 2 2n

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)

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
h 1 h h 1
k k k
7
k k k
k 12 k 12 k h 12

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

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
2( h 1) 2h 2( h 1)
( 1)k (2k 1) ( 1)k (2k 1) ( 1)k (2k 1) 8
k 1 k 1 k 2h 1
2( h 1)
=2h ( 1)k (2k 1)
k 2h 1
(2h 1)
=2h ( 1) (2(2h 1) 1) ( 1)2h 2(2(2h 2) 1)
=2h-1(4h+3)+(1)(4h+5)

=2h+2 = 2(h+1) cumple

n
7) Desarrollando el cuadrado y operando (k 3 (k 1) 3 ) tenemos :
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:

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
n
h(h 1)(2h 1)
k2 9
k 1 6
h(h 1)(2h 1)
1 4 9 ...... h 2
6

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

EJEMPLOS 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 2017-2

Matemtica Discreta - FISI-2017-2 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 7h 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. es divisible por 8
3n 7 n 2, 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 = () Hiptesis inductiva

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

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:

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

Para n=h: x2h-1 + y2h-1 = () Hiptesis inductiva

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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

11
x2 (h+1) -1 + y2 (h+1) -1 = x2h + 1 + 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:

Para n=1:

Para n=h:

Probaremos que para n=h+1:

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

12
6. Demostrar

Solucin:

Para n=1:

Para n=h:

Probaremos para n=h+1:

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
Ejercicios de domicilio:
13
n
1. 1
(3k 2) (3n 2 n)
k 1 2

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

5. Demostrar por induccin:

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

2. 2n n2 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 por induccin que n3 n es divisible por 3, siempre n=1,2,3...
1 2 22 23 ... 2n 2n 1 1
6. Demostrar por induccin que:
siempre que n=0,1,2,3,..
1 3 5 7 ... (2k 1) n2
7. Demostrar por induccin:
siempre que k=1,2,3,..n
3 5 7 ... ( 1)k (2k 1) 2n
8. Demostrar por induccin:
siempre que k=1,2,3,..2n

SEGMENTOS DE ALGORITMOS

Dado un segmento de Algoritmo, a partir de la traza o prueba de escritorio, determinar

la frmula que realiza el segmento de algoritmo. Para determinar la variable de
Entrada/salida (E/S) solo tiene que observar la formula. Lo ms importante es
determinar la funcin llamada el predicado, lo que permitir demostrar por Induccin.
Para demostrar el predicado por induccin, realizar todos los pasos siguientes:

a) Hacer la prueba de escritorio o (la trazabilidad del segmento de algoritmo)

b) Encontrar la frmula en base a los resultados
c) Indicar las variables de E/S mediante la caja negra
d) Definir el predicado
e) Demostrar por induccin.
Induccin Semestre 2017-2
Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

PSEUDOCDIGOS: 14
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 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

Demostracin por induccin:

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)

III. Para n=h + 1: Sh+1 = N * Ih+1 , por demostrar

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:

FUNCION SUMA (A, B)

Inicio
C A;
D B;
Mientras (D > 0)
C C + B;
D D 1;
Fin_mientras
Retornar ( C );
FIN

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:

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

16
A
CAJA C
B NEGRA

C = A + B2 (formula)
C = A+ B*B
Predicado: An = Cn + B * Dn

Demostracin por induccin:

I. Para n=0: A0 = C0 + B* D0 A0 = A + B2 cumple

II. Para n=h: Ah = Ch + B* Dh (Hiptesis inductiva)

III. Para n=h + 1: Ah+1 = Ch+1 + B* Dh+1 , por demostrar Tomando

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

3. Demostrar por Induccin:

Funcin Cuadrado (X, Y, N)

Inicio
S = X;
P = Y;
Mientras (N< >0)
S = S * Y;
N = N 1;
Fin - mientras
Retornar(X);
Fin-inicio;

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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).

ii) Para n=h: Sh = X Yh (Hiptesis inductiva)

iii) Para n = h + 1: Sh+1 = X Y(h+1)

Sh+1 = Sh Y; tomando.
n=n-1

Sh+1 = Sh Y

= XYh y

Sh+1 = X Y(h+1)

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

18
4.- Demostrar por Induccin:

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:
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

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

19

II. Indicar las variables de entrada y salida

A CAJA C
B
NEGRA
.

i. Predicado : Cn = W + A*BPn

= 35 + 7*5*4

ii. Demostracin:

Para n = 0: C0 = W + A*BP0 C0 = A*B2 cumple.

Para n = h: Ch = W + A*B Ph (Hiptesis inductiva)

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

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:

Demostrar para n=h+1:

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce
An = (-1 ) (n +1) ( n )
21
Ejercicios

1.-Demostrar por induccin el nmero total de subconjuntos generados a partir de

A= { a, b, c, d } Para n=0,1,2,3,4 mtodo combinatorio, y por mtodo de Potencia

2.-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 - Inicio

FIN CLASE DE INDUCCION

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

22
EJERCICIOS RESUELTOS

1.Demostrar por induccin que el nmero total de subconjuntos generados a partir de

A ={ a , b , c , d }, por mtodo de potencia, mtodo combinatoria se obtiene sumatoria.

Demostraremos el enunciado a partir de el siguiente:

n n
2n
k 0 k

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

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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

Demostrando por induccin:

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

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

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.

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

3. Considerar el siguiente Pseudo-cdigo, se pide demostrar por induccin.

25
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 - Inicio;
2n
analice si es equivalente ( 1) k (2k 1) 2n +1 , demuestra por induccin.
k 1
4. Dada el seudocdigo

Cul es I/ o de la funcin, Cual es la formula, Cual es el predicado? Demostrar por induccin.

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.

Induccin Semestre 2017-2

Matemtica Discreta - FISI-2017-2 Daniel A. Quinto Pazce

26

FIN DE PRACTICA

Induccin Semestre 2017-2