Вы находитесь на странице: 1из 31

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:
1  2  3  4 
 
Solucin:
Sea

  : 1  2  3  4 
 

Probemos para  1 

 1 : 1

   1
2







  Es verdad, es decir, se cumple:


1  2  3  4 
 




H.I (Hiptesis Inductiva)

Pero, quiero demostrar para    1 ;


Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 1

1234
  1




T.I (Tesis Inductiva)

Dem:
En efecto:
1  2  3  4 
     1

   1
 1


2 
.




  





Lo que prueba la Tesis.

Problema n 2:

1  3  5  7 
 2  1 

Solucin:
Sea   : 1  3  5  7 
 2  1 
Probemos para  1   1 : 1 1
  Es verdad, entonces se cumple:
1  3  5  7 
 2  1 

(H.I)

Pero, quiero demostrar para    1 ;


1  3  5  7 
 2  1  2  1   1 

(T.I)

Dem:
1  3  5  7 
 2  1  2  1 
  2  1
.

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 2

  2  1
  1  

Problema n 3:


1       
 

 

  1

1

( Es una constante, distinta de 1)


Solucin:
Sea

  : 1        
   




Probemos para  1   1 : 1

  Es verdad, entonces se cumple:


1        
   

(H.I)

Pero, quiero demostrar para    1 ;


1        
      

(T.I)

Dem:


1       
 

 

  1
 
 
1


   1      1

1
  1    1  1

1

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

   1

1

Pgina 3

Problema n 4:
1
1
1
1






2  1 2  1
13 35 57
2  1
Solucin:
Sea   :




  

Probemos para  1   1 :





  Es verdad, entonces se cumple:







  

(H.I)



Pero, quiero demostrar para    1 ;







     



(T.I)



Dem:





     



 

 2  3  1
2  1 2  3

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

  

 

2  1   1
2  1 2  3




Pgina 4

Problema n 5:
1  2  3 
  1  2  3 
  
Solucin:
Antes de usar Induccin, trabajemos la igualdad un poco:
1 2  3  4 
 

Sabemos que:




Y reemplazando obtenemos:

   1 
1 2 3 
 

2

Entonces sea   : 1  2  3 
  
Probemos para  1   1 : 1 

 

 


  Es verdad, entonces se cumple:


1  2  3 
  

 

(H.I)

Pero, quiero demostrar para    1 ;


1  2  3 
     1 

 


(T.I)

Dem:
.

.

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





1  2  3 
     1 
    1
2
   1   4   1

4


  1   4   1

4

 


  1   2 

 
2

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 5

Problema n 6:

Demostrar %   , '()    es divisible por 2

Solucin:
Lo anterior es equivalente a:
   2* ,
%*  + 
Probemos para:
 1  1  1 2
 2  2  2 6

2 y 6 son divisibles por 2, entonces se cumple:


   2*
%*  + 
(H.I)
Pero, queremos demostrar:
  1     1 2- , %-  +  (T.I)
Dem:

   2*
 2*  
 2*  

/1

  1 2*    1
  1  2*    1 

/ 
/   1


 1     1 2*    1     1

.

  1     1 2 
0*  1  2*  1 


Problema n 7:

Demostrar %   , '()   2 es divisible por 3


Solucin:
Lo anterior es equivalente a:
  2 3*
, % *  +
Probemos para:
 1  1  2 1 3
Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 6

 2  2  2 2 12
3 y 12 son divisibles por 3, entonces se cumple:
  2 3*

% *  +

(H.I)

Pero, queremos demostrar:


  1  2   1 3-

% -  +

(T.I)

Dem:
Empleare el mismo mtodo que en el problema n 6(despejando, sumando,
restando, elevando y usando: 0    )
  2 3*
 3*  2

 3*  2

  1 3*  2  1

  1 3*  2  1


  1 3*  2  303*  21  33*  2  1




  1 3*  2  303*  21  33*  2  1  2  2

  1  2 3*  2  303*  21  33*  2  1  2




  1  2  2 3*  303*  21  33*  2  1  2


 1  2   1 3 
*  03*  21  3*  2  1 

.

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 7

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

Solucin:
Notemos que los polgonos tienen por lo menos 3 lados, por lo que
debemos demostrar lo propuesto para  4 3. Claramente para  3 se
cumple (es un triangulo).Entonces ya tenemos nuestra (H.I), de modo que
asumamos como verdadero y demostremos para   1. Es decir, debemos
demostrar que la suma es:
1806   1  27 180   1
(T.I)
Consideremos un polgono convexo de  lados, entonces para formar uno
convexo de   1 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  : 180
Finalmente la suma de los ngulos de un polgono de   1 lados es:
Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 8

180 
 2  8  9  : 180   2  180 180   1 

.

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

Problema n 10:
Demuestre por induccin:



Solucin:

 1  

>

1
1

1

2
2

1

Para  1 se cumple, as que aceptamos:




1

(H.I)

Pero, quiero demostrar:





Dem:

1


(T.I)




1
1
1
1
1
1
=  =    1     1   


2
2
2
2
2
2



.


.



Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 9

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

: 1  @ 4 1  @

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

1  @  4 1  @  @  @ 4 1  @  @
, ya que @ 4 0
A 1  @  4 1    1 @ 

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

b)

@ 1
@ @  2  1 2
@ @  4  1 5
@ @  6  1 10
@ @  8  1 17
La formula que parece emanar de los casos anteriores es:

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 10

c)

@ 1    1 
Demostrare la formula anterior por induccin matemtica:
>  1  @ 1 1  1  1 

Es verdadera, as suponemos que:


>> @ 1    1 
(H.I)
Pero, queremos probar:
(T.I)
>>> @ 1  
>B Dem:
Por definicin: @ @  2  1
Por H.I: @ 1    1 
Por lo tanto:
@ @
  2  1
.

@ 1    1   2  1
@ 1    2  1  2  1
@ 1   

Problema n 13:
Se define:
@ 1
@ @ 

1
1

Demuestre que para todo   :




= @   1 @  


Solucin:

>  1  = @ @ 1  1 @  1 1


Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 11

Es verdadera, as suponemos que:


>>  @   1 @  

(H.I)

Pero, queremos probar:


>>> 
 @   2 @    1

(T.I)

>B Dem:
Observemos que:

@ @ 




 @ @ 



= @ = @  @



.

  1 @
    @


  1 @ 

1
    @
1

  1 @  1    @
  2 @    1 

Problema n 14:

Demostrar por induccin que 8   9  es divisible por 8  9.


Solucin:
La proposicin es cierta para  1 , ya que:
8   9  8   9  8  9 8  9
Supongamos ahora que 8   9  es divisible por 8  9. Queremos
demostrar que tambin 8   9  es divisible por 8  9
Tenemos que:

8   9  8   9 


8  8   9 

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 12


 
8   9
 9
8  9 



 8 

8 


9
 9  8   9 
8   9  8   9  8   9 
El primer termino es divisible por 8  9 por hiptesis de induccin y el
segundo lo es ya que 8   9  8  9 8  9 . Por lo tanto
8  
9  es divisible por 8  9 y eso completa la demostracin.

Problema n 15:
Demuestre que, para todo  4 3:
2 <   4
Solucin:
Empleare Induccin:
>

 3  2
 < 2

4


Es verdadera, as suponemos:
>> 2 <   4
(H.I)
Pero, debo probar:
>>> 2 <   5 (T.I)
>B Dem:

 
2 2 2
<

4 2


.

Adems
2   4 2  8 <   5
Luego por transitividad se demuestra lo pedido
Observacin: Para ms formalidad usar  

Problema n 16:
Demuestre que
%   : 4   3 , es mltiplo de 13
Solucin:
Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 13

Lo anterior equivale a:
4   3 13* , % *  + 
>  1  4  3 13
Es verdadera, as suponemos:
>> 4   3 13* , % *  + 
Pero, quiero demostrar:
>>> 4  3 13- , % -  + 
>B Dem:

(H.I)
(T.I)

.

!""""""#""""""$
4   3 13*
Multiplicando ambos lados por 4 16 13  3
4  3 13  3 16 13*
4  13 3  3 3 16 13*
4  3 16 13*  13 3
16*  3 
4  3 13 


Problema n 17:
Demuestre que

  
% D E   F 
3 2
6

Solucin:
Lo demostrare por induccin:


  : 

Sea
>

 1 :






  1   , Luego se satisface  

Suponemos:


>>   : 

Probaremos:
>>>    1 :
>B Dem:






(H.I)




Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM




(T.I)
Pgina 14

  1   1    1


3
2
6



 1 
1 

 1
       
3 3 2 2 6
2 2 6


 

1 1 1
 
      

3 
3 
2 
6 
2
2 
6 
2 

G   ;H I)J>>K>H, GG   ;H '()  1 )L B)I@I)@


Solo nos queda demostrar que GGG  , de modo que volvemos a usar
induccin:
 

Sea M  :
> M 1 :


 


2  , Luego se satisface M 

Suponemos:
>> M  :

 


Probaremos:
>>> M   1 :
>B Dem:

(H.I)




(T.I)

  1   4
2


3


2
2
2
   3



2


2 



(1)  , por H.I y (2)  , por definicin ya que  9 2  


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 1
O 8 8
O 8 28 O  8  O  8 ,

P
42

Demuestre que para la funcin coseno, las formulas de ngulos mltiples se


pueden expresar mediante este polinomio, es decir, pruebe que:
cos T O KHLT
As por ejemplo:
cos 1 T O KHLT KHLT

Solucin:
Demostrare por Induccin
> U 1 , es verdadero (demostrado en el ejemplo)
Asumimos:
>> cos UT O KHLT , U V 

(H.I)

Por demostrar, para U   1:


>>> cos   1 T O KHLT

(T.I)

>B Dem:
O KHLT 2KHLT O KHLT  O  KHL
2KHLT 
KHLT
 cos


1 T



  !"#$ %& .

2KHLT KHLT  6cos T cos T  L) T L) T 7


cos T cos T  L) T L) T
cos T  T
Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 16

cos0   1 T1 

Problema n 19:
Demuestre rigurosamente que:
%   : cos W 1 
Solucin:
Definimos el subconjunto de :
X Y  : cos W 1  Z
Y aplicamos el Principio de Induccin Matemtica para demostrar que
X 
> Como cos W 1 se tiene que 1  X y en consecuencia X [ \
Supongamos que   X, es decir:
>> cos W 1 

(H.I)

Por demostrar que   1  X, esto es:


>>> cos   1 W 1 

(T.I)

Para demostrar que (H.I) implica (T.I) basta recordar la ley del coseno de la
suma de ngulos: cos 8  9 cos 8 cos 9  L) 8 L) 9 y que
cos W 1 y L) W 0. En efecto:
>B

Dem:
cos W  W cos W
 1  0 L) W
'.(

1  1
1 

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 17

Problema n 20:
Demuestre %   ,  4 2


= U U!   1 !  2!



Solucin:
Probemos para  2


= U U! = U U!  = U U!







0 0!  1 1!  2 2!  0 0!  1 1!
4
Por otro lado tenemos
2  1 !  2! 3!  2!
62
4
Por lo tanto asumimos que es verdadera


= U U!   1 !  2!



_. G

Pero, debemos probar




= U U!   2 !  2!



O. G

Dem:




= U U! = U U!  = U U!



Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM





Pgina 18



= U U!  1


= U U!    1 0   1 !1  1


`= U U!  1a    1 0   1 !1



`= U U!  = U U! a    1 0   1 !1




= U U!    1 0   1 !1


.

  1 !  2!    1 0   1 !1
  1 ! 61    1 7  2!
  2   1 !  2!
  2 !  2!

Problema n 21:
Demuestre por Induccin que %   


= U 5



1
65  4  1 5 7
16

Solucin:
Probemos para  1

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 19

= U 5 1 5 5



Por otro lado tenemos


1
80
65  4  1 5 7
5
16
16

Por lo tanto asumimos que es verdadera




= U 5



1
65  4  1 5 7
16

_. G

Pero, debemos probar




= U 5



1
65  4  3 5 7
16

O. G

Dem:


= U 5 = U 5    1 5





.

1
65  4  1 5 7    1 5
16

5 4  1 5


   1 5
16
16

5
4  1
 5 b
   1c
16
16

5
20  15
 5 b
c
16
16

5
4  3
 5 b
c
16
16

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 20

1
65  4  3 5 7
16

Problema n 22:
Sea ;   un nmero natural fijo. Probar por Induccin que
%     Y0Z
;! ;  1 ! ;  2 !
;    1 !
;   !





;  1   1 !
0!
1!
2!
  1 !

Solucin:
Primero debemos notar que
 

;  U !
;    1 !
;! ;  1 ! ;  2 !




=
1!
2!
  1 !
U!
0!


Por lo tanto, la expresin inicial se puede escribir como


 



;  U !
;   !

;  1   1 !
U!

Probemos para  1
 



;  U ! ;  0 !

;!
U!
0!

Por otro lado tenemos


;  1 !
;  1 !

;!
;  1 1  1 ! ;  1

Por lo tanto asumimos que es verdadera

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 21

 



;  U !
;   !

;  1   1 !
U!

_. G

Pero, debemos probar






;  U ! ;    1 !

;  1 !
U!

O. G

Dem:


 

;  U !
;  U ! ;   !
=

=
U!
U!
!




.

;   !
;   !

;  1   1 !
!

;   !
;   !

;  1   1 !    1 !

1
;   ! 1
 c
b
  1 ! ;  1 

;   ! ;    1
d
e
  1 ! ;  1 

;    1 !
;  1 !

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 22

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


1
1  @   1

=
1  @ 
@ 1  @ 

%   :



Solucin:
Probemos para  1




1
1

1  @  1  @

Por otro lado tenemos


@
1
1  @   1


@ 1  @ 1  @
@ 1  @ 
Por lo tanto asumimos que es verdadera


1
1  @   1

=
1  @ 
@ 1  @ 



_. G

Pero, debemos probar




1
1  @   1

=
1  @ 
@ 1  @ 



O. G

Dem:


1
1
1


=
=
1  @ 
1  @  1  @ 



.

1  @   1
1


@ 1  @ 
1  @ 

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 23

1  @   1  @  @

@ 1  @ 

1  @   1
@ 1  @ 

Problema n 24:
Demuestre por Induccin:


= f   1 f!    1 !


Solucin:
Probemos para  1


= f   1 f! 1  1 1! 2


Por otro lado tenemos


1 1  1 ! 2
Por lo tanto asumimos que es verdadera


= f   1 f!    1 !


_. G

Pero, debemos probar




= f   1 f!   1   2 !


O. G

Dem:

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 24



= f   1 f! = f   1 f!  6   1   17   1 !



.

   1 !  6   1   17   1 !
  1 ! 6    1   17
  1 ! 6  3  27
6   1   2 7   1 !
  1   2 !

Problema n 25:
Demuestre por Induccin que:
2 g ! ; %  4 4
Solucin:
Probemos para  4
16 2 g 4! 24
Lo cual es verdadero, as que asumimos
2 g !

_. G

Pero, debemos probar


2 g   1 !

O. G

Dem:
2 2 2

g!
2
.

Por otro lado

2g1

%44

As que
2 g 2 ! g   1 !   1 !
Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM


Pgina 25

Problema n 26:
La sucesin de Fibonacci se define recursivamente como:
i 0
P
i 1
h
i i  i  , %   
Demuestre %    j Y0Z


1  5
1  5
i
kE
F E
F l
2
2
5
Solucin:
i de la definicin recursiva es 0, veamos que sucede con la formula


1  5
1  5
i
kE
F E
F l
2
2
5
1

61  17 0
5
Lo cual es verdadero, as que asumimos
i

1  5
1  5
i
kE
F E
F l
2
2
5
Pero, debemos demostrar
i



1  5

kE
F
2
5

_. G



1  5
E
F
2

O. G

Dem:
Sabemos de la definicin recursiva que se cumple %   
i i  i 
Sea
1  5
:
2
1  5
m
2
Entonces
1
1
6m   :  7 
6m    :   7
i
5
5
Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 26

i
i

1
5
1

6m   m    :   :   7

1
1
bm  1    :  1  c
m
:
5

Veamos que
1

1
2
3  5 1  5
1


m
2
1  5 1  5

1

1
2
3  5 1  5
1


:
2
1  5 1  5

Por lo tanto
i
i

1  5
1  5
1  5
1  5

kE
F E
FE
F E
Fl
2
2
2
2
5
1
1



1  5

kE
F
2
5



1  5
E
F
2

Problema n 27:
Considere la siguiente figura:

En ella hay 2 resistencia n.


Sea n la resistencia total del circuito entre A y B cuando hay 2
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
3
8
21
,
n n,
n
n,
n
n
2
5
13
34
Ahora, para poder conjeturar un formula general, necesitamos conocer la
sucesin de Fibonacci que se define recursivamente por:
J 1
P
J 1
N
J J  J , *
Si calculamos para los primeros valores, tenemos:
J 2
J 13
J 3
J 21
J 34
J 5
J 8
n

Y si notamos en nuestras resistencias calculadas anteriormente, podemos


deducir que:
n J
n
2 J
3
J
n n n
5
J
8
J
n
n n
13
J
21
J
n
n n
J
34
Lo anterior nos da para conjeturar que:
J 
n
_. G
n
J
Ahora, debemos demostrar a partir de nuestra hiptesis de induccin (H.I)
que:
n

n

J
n
J

O. G

Dem:
Si hay 2  2 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  n

J 
nn
J

J   J
n
J

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


n+ 
n+ 

J  J  J


n
J

J
n
J

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


paralelo:
1
n

1
n+

1
n

J 1 1
 
J n n

J  J 1

J
n

n 

J
n
J  J

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


n

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

J
n
J

Pgina 29

Problema n 28:
Sea ; un nmero natural fijo. Demuestre que para todo    se satisface
la siguiente igualdad


;U
;1
=
 

U




Solucin:
Probemos para  1


;U
;0
;1
=
 


U
0
1



;
;1


0
1

1;1
;2
Por otra parte


;2
;11
 ;2
 
1
1

Lo cual es verdadero, as que asumimos




;U
;1
=
 

U




_. G

Pero, debemos probar




;U
;2
=

 
1
U



O. G

Dem:


;U
;1
;U
=
 =


U
U
1



.

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

Pgina 30

;1
;1



1

Induccin Matemtica/Mat-021
Eleazar Madariaga -UTFSM

;2

1

Pgina 31

Вам также может понравиться