Universidad Tcnica Federico Santa Mara

Departamento de Matemtica Matemtica I (Mat-021)

Problemas Resueltos de Induccin Matemtica

eleazar.madariaga@alumnos.usm.cl

Tema: -Induccin (Primer y segundo PIM) Dificultad: : Simple : Intermedio : Desafiante : Nivel Certamen UTFSM

En cada uno de los siguientes problemas demuestre, usando induccin, que el enunciado es verdadero para todo :

Problema n 1:

Solucin: Sea Probemos para Es verdad, es decir, se cumple: H.I (Hiptesis Inductiva) Pero, quiero demostrar para
Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM Pgina 1

T.I (Tesis Inductiva) Dem: En efecto:

Lo que prueba la Tesis.

Problema n 2:

Solucin: Sea Probemos para Es verdad, entonces se cumple: (H.I) Pero, quiero demostrar para ; (T.I) Dem:

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 2

Problema n 3:

( Es una constante, distinta de 1) Solucin: Sea Probemos para Es verdad, entonces se cumple: (H.I) Pero, quiero demostrar para (T.I) Dem:

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 3

Problema n 4:

Solucin: Sea Probemos para Es verdad, entonces se cumple: (H.I) Pero, quiero demostrar para (T.I) Dem:

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 4

Problema n 5:

Solucin: Antes de usar Induccin, trabajemos la igualdad un poco: Sabemos que: Y reemplazando obtenemos:

Entonces sea Probemos para Es verdad, entonces se cumple: (H.I) Pero, quiero demostrar para Dem: ; (T.I)

! " " "# " "" $ ! " "" " " "" " " " #" " " " "" " " "" $

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 5

Problema n 6:
Demostrar % & '() es divisible por 2

Solucin: Lo anterior es equivalente a: * Probemos para: , 2 y 6 son divisibles por 2, entonces se cumple: * %* + (H.I) Pero, queremos demostrar: - & %- + (T.I) Dem: * * . * . * . * . * / / / & %* +

0* * 1

Problema n 7:
Demostrar % & '() es divisible por 3

Solucin: Lo anterior es equivalente a: * Probemos para: & %* +

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 6

3 y 12 son divisibles por 3, entonces se cumple: * & %* + (H.I)

Pero, queremos demostrar: Dem: Empleare el mismo mtodo que en el problema n 6(despejando, sumando, restando, elevando y usando: 2 ) * * . * . * . * * * * * 0. * 0. * 0. * 0. * 1 1 1 * 0. * 1 1 . * . * . * . * . * & %+ (T.I)

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 7

Problema n 8:
Demuestre que la suma de los ngulos de un polgono convexo de es 32 lados

Solucin: Notemos que los polgonos tienen por lo menos 3 lados, por lo que debemos demostrar lo propuesto para 4 . Claramente para se cumple (es un triangulo).Entonces ya tenemos nuestra (H.I), de modo que asumamos como verdadero y demostremos para 5 Es decir, debemos demostrar que la suma es: 326 7 32 (T.I) Consideremos un polgono convexo de lados, entonces para formar uno convexo de lados basta tomar un punto P en alguna de las regiones (zonas achuradas) que se determinan por la prolongacin de los lados del polgono original (sin considerar las mismas rectas).

Des esta manera, la suma de los ngulos de este nuevo polgono va a ser la suma de todos los ngulos del polgono original ms 8& 9& :. Notemos que 8& 9& : son los ngulos de un triangulo, entonces: 8 9 : 32 lados es:
Pgina 8

Finalmente la suma de los ngulos de un polgono de

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

3 2

32

32

32

Problema n 9:
Determine la falla del mtodo de induccin en la demostracin de: % La formula ; proporciona solo nmeros primos. Solucin: Definicin Nmero Primo: Un nmero natural ; < si, sus nicos factores son exactamente ; y 1. De acuerdo con esto, basta tomar claramente no es primo. ;

es primo si y solo que

Problema n 10:
Demuestre por induccin: = Solucin: > Para ? ? se cumple, as que aceptamos: (H.I)

Pero, quiero demostrar: ? (T.I) Dem: = =

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 9

Problema n 11:
Demuestre mediante induccin la Desigualdad de Bernouilli. Esto es si @4 , entonces % , se cumple que: @ Solucin:
Sea la proposicin:

4 @ , con @ < > @ 4 @ , entonces es verdadera >> Supongamos ahora que, dado un natural & tambin es cierto: @ 4 @ (H.I) Entonces debemos probar que se cumple: @ 4 @ (T.I) En efecto. Como @ 4 2 , tenemos: @ @ 4 @ @

@ A

@ @

@ 4 4

@ @

, ya que @ 4 2

Problema n 12:
Se define la sucesin @ como sigue: @ @ @ a) Escriba los primeros 5 trminos de la sucesin. b) Conjeture una expresin para el termino general @ 5 c) Demuestre por induccin su conjetura de la parte anterior. Solucin: a) @ @ b) 4

@ @ @ @ @ , 2

@ @ 3 La formula que parece emanar de los casos anteriores es:

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 10

c)

@ Demostrare la formula anterior por induccin matemtica: > @

Es verdadera, as suponemos que: >> @ (H.I) Pero, queremos probar: >>> @ >B Dem: Por definicin: @ Por H.I: @ Por lo tanto: @ @ @ @ @ (T.I)

Problema n 13:
Se define: @ @ Demuestre que para todo =@ : @ @

Solucin: > =@ @ @

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 11

Es verdadera, as suponemos que: >> ? @ @ (H.I)

Pero, queremos probar: >>> @ ? @ (T.I)

>B Dem: Observemos que: @ @ =@ =@ @ @ C

@ @ @ @

Problema n 14:
Demostrar por induccin que 8 Solucin: La proposicin es cierta para 8 9 8 9 9 Supongamos ahora que 8 demostrar que tambin 8 Tenemos que: 8 9 8 8 8 9 9 9 es divisible por 8 9.

, ya que: 9 8 9 8 9 9. Queremos 9 es divisible por 8

es divisible por 8

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 12

8 8 8 El primer termino es divisible por 8 segundo lo es ya que 8 9 es divisible por 8 9 8

9 9 8 9 8

8 9 8 9 8

9 9 9

9 por hiptesis de induccin y el 9 8 9 . Por lo tanto 8

9 y eso completa la demostracin.

Problema n 15:
Demuestre que, para todo 4 : < Solucin: Empleare Induccin: > Es verdadera, as suponemos: >> < (H.I) Pero, debo probar: >>> < (T.I) >B Dem: < Adems 3< Luego por transitividad se demuestra lo pedido Observacin: Para ms formalidad usar <

Problema n 16:
Demuestre que % Solucin:
Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM Pgina 13

, es mltiplo de 13

Lo anterior equivale a: * &%* > Es verdadera, as suponemos: >> * &%* + Pero, quiero demostrar: >>> - &%- + >B Dem: (H.I) (T.I) +

! " " " " " " # " " "" "*"$ Multiplicando ambos lados por , , , , * * * , *

Problema n 17:
Demuestre que % D E , Solucin: Lo demostrare por induccin: Sea > Suponemos: >> Probaremos: (H.I) & Luego se satisface F

>>> >B Dem:

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

(T.I)
Pgina 14

, , , G ;H I)J> >K>H & GG Solo nos queda demostrar que GGG induccin: Sea M > M Suponemos: >> M Probaremos: >>> M >B Dem: (T.I) (H.I) & Luego se satisface M

;H '() )L B) I@I) @ , de modo que volvemos a usar

(1) , por H.I y (2) , por definicin ya que 9 Con esto queda demostrado que GGG y con ello

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 15

Problema n 18:
Un polinomio de chebyshev esta definido por la siguiente relacin de recurrencia: N O 8 O 8 O 8 8 O 8 8 O 8 & 4

Demuestre que para la funcin coseno, las formulas de ngulos mltiples se pueden expresar mediante este polinomio, es decir, pruebe que: QRS T As por ejemplo: QRS T O KHLT KHLT O KHLT

Solucin: Demostrare por Induccin > U , es verdadero (demostrado en el ejemplo)

Asumimos: >> QRS UT O KHLT &UV (H.I)

Por demostrar, para U >>> QRS >B Dem: O KHLT KHLT S KHLT O KH L KHLT T T
! " #$ %&

KHLT

(T.I)

O Q R

KHL

KHLT KHL T QRS T QRS T

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

6QRS T L) T

QRS T L) T

L)

L)

T7

QRS T T

Pgina 16

QRS0

T1

Problema n 19:
Demuestre rigurosamente que: % Solucin: Definimos el subconjunto de X Y QRS W Z QRS W

Y aplicamos el Principio de Induccin Matemtica para demostrar que X > Como QRS W Supongamos que >> QRS W se tiene que X, es decir: (H.I) X, esto es: (T.I) X y en consecuencia X [ \

Por demostrar que >>> QRS W

Para demostrar que (H.I) implica (T.I) basta recordar la ley del coseno de la suma de ngulos: QRS 8 9 QRS 8 QRS 9 L) 8 L) 9 y que QRS W y L) W 2. En efecto: >B Dem: QRS W W Q R S L) W
' (

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 17

Problema n 20:
Demuestre % & 4 = U U] ] ]

Solucin: Probemos para = U U] 2 2] ] = U U] ] = U U] 2 2] ]

Por otro lado tenemos ] , ] ] ]

Por lo tanto asumimos que es verdadera = U U] ] ] ^ _5 G

Pero, debemos probar

= U U] Dem: = U U] = U U]

^ O5 G

= U U]

Induccin Matemtica/Mat-021

Pgina 18

Eleazar Madariaga -UTFSM

= U U]

= U U]

]1

`= U U]

]1

`= U U]

= U U] a

]1

= U U]

]1

] ]6

] 7 ] ]

0 ]

]1

Problema n 21:
Demuestre por Induccin que % =U 6 7

Solucin: Probemos para

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 19

=U Por otro lado tenemos , 6 7 32 ,

Por lo tanto asumimos que es verdadera =U Pero, debemos probar 6 , 7 ^ O5 G 6 7 ^ _5 G

=U

Dem: =U =U

,6

b , 2 ,

c b , , c

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 20

Problema n 22:
Sea ; % ;] 2] un nmero natural fijo. Probar por Induccin que Y2Z ; ] ] ] ; ] ; ] ] ; ; ] ]

Solucin: Primero debemos notar que ;] 2] ; ] ] ; ] ] ; ] ] = ; U ] U]

Por lo tanto, la expresin inicial se puede escribir como ; = U ] U] ; ; ] ]

Probemos para ; = Por otro lado tenemos ; ; ] ] ; ; ] ;] U ] U] ; 2 ] 2] ;]

Por lo tanto asumimos que es verdadera

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 21

; =

U ] U]

; ;

] ]

^ _5 G

Pero, debemos probar = ; U ] U] ; ; ] ] ^ O5 G

Dem: = ; U ] U] ; = U ] U] ; ] ]

; ; ; ; ; ; ; ; ] b ] ;

] ] ] ] c

; ] ;

] ] ]

] ; d ; ] ] ]

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 22

Problema n 23:
Sea @ una constante real @ < % = , pruebe usando Induccin sobre @ @ @ @ que:

Solucin: Probemos para = Por otro lado tenemos @ @ @ @ @ @ @

Por lo tanto asumimos que es verdadera = @ @ @ @ ^ _5 G

Pero, debemos probar = @ @ @ @ ^ O5 G

Dem: = =

@ @ @ @

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 23

@ @ @ @ @ @

Problema n 24:
Demuestre por Induccin: = f Solucin: Probemos para = f f] ] f] ]

Por otro lado tenemos ] Por lo tanto asumimos que es verdadera = f f] ] ^ _5 G

Pero, debemos probar

= f

f]

^ O5 G

Dem:

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 24

= f

f]

= f

f]

] ]6 ]6 6

7 7 7 7 ] ]

Problema n 25:
Demuestre por Induccin que: g ] Solucin: Probemos para , g ] % 4

Lo cual es verdadero, as que asumimos g ] Pero, debemos probar g Dem: g ] ] ^ O5 G ^ _5 G

Por otro lado As que

]g

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 25

Problema n 26:
La sucesin de Fibonacci se define recursivamente como: i 2 h i i i i &% Demuestre % j Y2Z i kE . . F E . F l

Solucin: i de la definicin recursiva es 2, veamos que sucede con la formula i kE i . . F E . Fl

6 7 2 . Lo cual es verdadero, as que asumimos kE i . F E . F l ^ _5 G

. Pero, debemos demostrar i Dem: Sabemos de la definicin recursiva que se cumple % i i i Sea : m Entonces i . 6m : 7 . 6m : 7 . . . kE . F E . F l ^ O5 G

Induccin Matemtica/Mat-021

Pgina 26

Eleazar Madariaga -UTFSM

i i Veamos que

. .

6m bm

m m

: : .

: : c

. . . . F E . .

Por lo tanto i kE i kE

: . . . . F

. F E

F E

. Fl

Problema n 27:
Considere la siguiente figura:

En ella hay

resistencia n5

Sea n la resistencia total del circuito entre A y B cuando hay resistencias n. Conjeture y pruebe por induccin una formula general para calcular n .

Solucin: Si calculamos con los primeros valores de , vamos a tener:

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 27

&

n&

n&

Ahora, para poder conjeturar un formula general, necesitamos conocer la sucesin de Fibonacci que se define recursivamente por: J J N J J J ) * Si calculamos para los primeros valores, tenemos: J J J J J J J 3

Y si notamos en nuestras resistencias calculadas anteriormente, podemos deducir que: J n J J n n n J 3 J n n n J J n n n J Lo anterior nos da para conjeturar que: J n ^ _5 G n J Ahora, debemos demostrar a partir de nuestra hiptesis de induccin (H.I) que: n n n J J n ^ O5 G

Dem: Si hay resistencias, entonces hay dos resistencias ms que en el primer caso. De ellas hay una que se agrega en serie y la otra en paralelo.
Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM Pgina 28

Calculamos primero la resistencia equivalente, considerando la resistencia en serie n n+ n J J J J Pero, J J J n+ n+ n n n J n

por recurrencia de Fibonacci, entonces: J J J J n J J n

Ahora, calculemos la resistencia del circuito agregando la resistencia n en paralelo:

n+ J J J J J

n n n J n n J

n Pero, J J J

por recurrencia de Fibonacci, entonces: n J J n

Induccin Matemtica/Mat-021

Pgina 29

Eleazar Madariaga -UTFSM

Problema n 28:
Sea ; un nmero natural fijo. Demuestre que para todo satisface la siguiente igualdad = Solucin: Probemos para = ; U U ; 2 ; ; Por otra parte ; ; ; ; 2 2 ; ; ; U U ; se

Lo cual es verdadero, as que asumimos = ; U U Pero, debemos probar = Dem: = ; U U = ; U U ; ; U U ; ^ O5 G ; ^ _5 G

Induccin Matemtica/Mat-021

Pgina 30

Eleazar Madariaga -UTFSM

Induccin Matemtica/Mat-021 Eleazar Madariaga -UTFSM

Pgina 31