ESCUELA COLOMBIANA DE INGENIERÍA

LÓGICA CALCULATORIA
Taller 01
Inducció n Matemá tica e Inducció n sobre Teoremas

Presentado por: Sergio Andrés Bejarano Rodríguez

Grupo: LCAT - 6

1. Proponga una fó rmula para el nú mero de diagonales de un polígono basada en el nú mero de lados y
demuestre su validez usando inducció n matemá tica.

Sea S ( n ) la fó rmula para el nú mero de diagonales de un polígono, donde n es el nú mero de lados del
polígono.

n(n−3)
D ( n )=
2
Definición

S ( n )=S ( n−1 ) +n−2

Caso base

4 (4−3)
S ( 4 )= =4 ¿ ¿ =2
2 2

Hipótesis inductiva

n( n−3)
S ( n )=
2

S ( 4 )=2
Demostración

( n+1 ) ( n+1−3 )
S ( n+1 )=
2

( n+1 ) ( n−2 )
S ( n+1−1 ) + n+ 1−2=
2
 n(n−3) ( n+1 ) ( n−2 )
+n−1=
2 2

n2−3 n+2 n ( n+ 1 )( n−2 )

n2−n−2 n2−n−2
=
2 2

2. Un torpedo va a una velocidad V0 km/h cuando se le acaba el combustible. Si una corriente en contra hace
que pierda K% de la velocidad que llevaba en el kiló metro anterior, proponga una fó rmula para la
velocidad del torpedo, después que se le acaba el combustible, basada en los kiló metros recorridos y
demuestre su validez usando inducció n matemá tica.
n
k
T ( n )=V 0 (1− ) donde k es la constante de reducción de velocidad y nlos kilòmetros recorridos
100

S ( n )=S ( n−1 ) 1− ( k
100 )
S ( 0 )=V 0

M ( n ) : S ( n )=T ( n ) ; n ≥ 0
Caso base

k 0
M ( 0 ) : S ( 0 )=T ( 0 ) =V 0 (1− ) =V 0 ∙ 1
100

M ( 0 )=V 0

Hipótesis inductiva

M ( n ) : S ( n )=T ( n ) ; n ≥ 0 se cumple
Demostración

M ( n+1 ) : S ( n+1 ) =T ( n+1 )

(
S ( ( n+1 )−1 ) 1−
k
100 )
=V 0 (1−
k n+1
100
)
 ( )( )
n
k k 1 k n k 1
V 0 1− 1− =V 0(1− ) (1− )
100 100 100 100
n+1 n+1
k k
M ( n+1 ) :V 0(1− ) =V 0 (1− )
100 100
3. Un torpedo va a una velocidad V0 km/h cuando se le acaba el combustible. Si una corriente en contra hace
que pierda K% de la velocidad que llevaba en el kiló metro anterior y ademá s pierde C km/h, por cada
kiló metro recorrido sin combustible, proponga una fó rmula para la velocidad del torpedo, después que se
le acaba el combustible, basada en los kiló metros recorridos y demuestre su validez usando inducció n
matemá tica.

( )
n
k km
( )
T n =V 0 1− −C ; k es la constante de reducción de velocida , n los kmrecorridos y C los adicionales p
100 h

S ( n )=S ( n−1 ) 1− ( k
100
−C )
V0k
S ( 1 )=V 0 − −C
100

M ( n ) : S ( n )=T ( n ) ; n ≥ 1
Caso base

( )
k 1 V 0k
M (1 ) : S ( 1 )=T ( 1 )=V 0 1− −C=V 0− −C
100 100

V0k
M (1 ) =V 0− −C
100
Hipótesis inductiva

M ( n ) : S ( n )=T ( n ) ; n ≥ 1 se cumple
Demostración

M ( n+1 ) : S ( n+1 ) =T ( n+1 )

( ) ( )
n +1
k k
S ( ( n+1 )−1 ) 1− −C=V 0 1− −C
100 100

( )( ) ( )( )
n 1 n 1
k k k k
V 0 1− 1− −C=V 0 1− 1− −C
100 100 100 100

( )
n+1 n +1
( ) k k
M n+1 :V 0( 1− ) −C=V 0 1− −C
100 100
4. Sea el sistema formal DI:

Conjunto de símbolos: {D, I}

Postule una propiedad que cumplan todos los teoremas de DI y demuéstrela usando Inducció n sobre
Teoremas.

S ( Y )=2 S ( X )−1

Caso base

S ( I ) =2 S(I )−1
1=2 ( 1 )−1

1=1
Inducción

Hipó tesis.
S ( Y )=2 S ( X )−1

Demostración.
S ( YII )=2 S ( XI )−1

S ( YII )=2 S ( X ) +2 S(I )−1

S ( Y ) +S ( I ) + S ( I ) =S (Y )+ S ( I ) +S (I )

S ( Y ) +2=S ( Y ) +2