Induccion Libro Final

Induccin Matemtica Ing.
Carlos Armbulo Ostos
TTULO : INDUCCIN MATEMTICA
Edicin original en lengua castellana publicado por Editorial Tachita S.A.C.

Propiedad de:
Carlos Eduardo Armbulo Ostos
La presentacin, disposicin y diseo de esta obra, son de propiedad del

autor.
Derechos reservados en espaol: 2014
Primera Impresin: Enero del 2014
Diseo de Cubierta: Sra. Liliana Fajardo Heredia.

Ing. Carlos Armbulo Ostos.
Reservados todos los derechos. La reproduccin total o parcial de esta obra, por cualquier
medio o procedimiento, comprendido la reprografa y el tratamiento informtico, queda
rigurosamente prohibida, salvo excepcin prevista en la Ley.
Autorizacin legal de la Editorial TACHITA SAC. - Ley 13714 -
Impreso en Lima Per

Enero, 2014
II
Induccin Matemtica Ing. Carlos Armbulo Ostos
Ing. Armbulo Ostos Carlos Eduardo
Profesor de la Universidad Nacional

de Ingeniera
Facultad de Ingeniera Industrial y de
Sistemas
Revisin Tcnica: Mg. Jimmy Rosales Huamani.

Ing. Jos Obregn Sotelo.----
III
DEDICATORIA:
Esta obra va dedicada a mi adorable, querido y

entraable nieto Renzo Matas Armbulo Gmez
Foster quien con su nacimiento origin, en esta
tercera etapa de mi vida, a revitalizarme,
motivarme e impulsar, nuevamente en m, el afn
de volver a poner a disposicin de ustedes, nuevas
publicaciones.
IV
AGRADECIMIENTO:
Quiero mostrar mi gratitud a todos mis colegas,

amigos y alumnos que me estimularon y me
convencieron para plasmar este trabajo que era
necesario y que lo desarroll como parte del
contenido del curso de matemticas del programa
de pre-maestra de Sistemas en la UNI durante
varios aos.
Especialmente quiero dar las gracias al maestro

Jos Obregn Sotelo, docente de muchas
universidades del pas, por sus valiosos
comentarios, su constante apoyo, su crtica
constructiva y de revisin minuciosa del presente
trabajo en todas sus etapas.
As mismo a mis colegas Mg. Jimmy Rosales

Huaman e Ing. Carlos Villanueva Candia, quienes
colaboraron en la revisin y la mejor presentacin
del trabajo y a la Srta. Victoria Mendoza Torres por
su paciencia y esmerada dedicacin en la digitacin
realizada, para el logro de la ejecucin de la
presente obra.
V
NDICE
DEDICATORIA....................................................................................................................... IV
AGRADECIMIENTO ............................................................................................................... V
NDICE .................................................................................................................................... VI
PREFACIO..............................................................................................................................VII
PRLOGO ............................................................................................................................ VIII
INDUCCIN DE MATEMTICA ........................................................................................... 1
Principio del Buen Orden ........................................................................................................... 2
Principio de Induccin Matemtica............................................................................................ 3
Ejemplos: .................................................................................................................................... 3
Ejercicios Resueltos ................................................................................................................. 11
Aplicaciones a Divisibilidad .................................................................................................... 11
Aplicaciones a Series Numricas ............................................................................................. 17
Aplicaciones a Desigualdades .................................................................................................. 26
Aplicaciones Algebraicas ......................................................................................................... 30
Teorema:................................................................................................................................... 32
Teorema:................................................................................................................................... 32
El Teorema del Binomio .......................................................................................................... 33
Aplicaciones Geomtricas ........................................................................................................ 35
Aplicaciones Trigonomtricas.................................................................................................. 38
Aplicaciones a Teora de Conjuntos......................................................................................... 44
Aplicaciones a Sucesiones Recursivas ..................................................................................... 47
La Sucesin de Fibonacci ......................................................................................................... 49
Aplicaciones al Clculo Diferencial ......................................................................................... 58
Ejercicios Propuestos ............................................................................................................... 66
Bibliografa............................................................................................................................... 72
VI
PREFACIO
Mi experiencia en la docencia universitaria, en las distintas Universidades del pas,

me ha puesto, en evidencia que los alumnos, en general, carecen de la suficiente madurez para
asimilar determinados temas tericos, y no conociendo la teora con la suficiente profundidad,
tienen dificultades apreciables para plasmarla en los ejercicios de tipo prctico.
Esta es la idea que me ha guiado: poner al alcance de los estudiantes de esta disciplina
un medio que le permita conseguir el avance terico y prctico de forma simultnea, en la
cual se incluye muchos ejercicios, seleccionados adecuadamente. Esto sirve para que el
estudiante practique la tcnica de resolucin de ejercicios, y adems, algunos de ellos le
ayuden a comprender mejor la estructura matemtica de esta materia. Tambin he empleado
los ejercicios para introducir al lector en una gran variedad de temas que generalmente no se
tratan en los textos comunes.
Esta obra est elaborada para utilizarse como material de informacin para los
estudiantes de los colegios y centros Pre-Universitario, as como tambin a nivel universitario
y pretende que el lector logre manejar con destreza y seguridad tanto el aspecto terico como
los diversos procedimientos utilizados para resolver problemas relativos a este tema. Con este
material desarrollado y asimilado por los estudiantes considero que estarn preparados para
acceder al estudio de otros temas a desarrollarse en otras separatas que se editarn
posteriormente.
Mi propsito ha sido dar una introduccin elemental pero sistemtica de la materia,

procurando dar ideas fundamentales, tcnicas bsicas y aplicaciones diversas. He tratado de
mantener un lenguaje sencillo siguiendo un ordenamiento de los ejercicios de acuerdo al nivel
de dificultad, realizando la solucin de los ejercicios con originalidad, creatividad y
objetividad.
Espero, dentro de lo posible, haber conseguido este objetivo y confo que los
problemas desarrollados ayuden positivamente a la asimilacin de los mismos y contribuyan a
una valiosa formacin profesional. Deseo, con el presente trabajo, que el estudiante adquiera
no solo habilidades tcnicas sino y principalmente entienda los conceptos y verifique el
campo amplio y variado de las aplicaciones. Las explicaciones claras proporcionan confianza
y dan nimo.
Trato de mostrar una buena organizacin, la resolucin de los ejercicios lo presento

desde el inicio y lo refuerzo a travs de todo el contenido, de modo que cuando el lector
termine este captulo posea una base slida y firme del principio de Induccin Matemtica.
Ing. Carlos Armbulo Ostos
VII
PRLOGO
El principio de Induccin Matemtica es un mtodo de demostracin que se usa

frecuentemente para establecer la validez de las proposiciones de carcter matemtico que
se refieren a diversos temas, en los cuales intervienen los enteros positivos n mayores o
iguales a 1. A las proposiciones citadas se les denomina Pn .
En esta interesante publicacin el profesor Carlos Armbulo en base a la gran experiencia

que posee ha resuelto una selecta y muy apropiada variedad de problemas en los cuales
usa de manera muy precisa y muchas veces ingeniosa el principio de Induccin
Matemtica. Se puede observar a lo largo de este texto como se han demostrado
proposiciones asociadas no solo con las clsicas frmulas numricas que existen en
trminos de los enteros n (n 1) , sino tambin con relaciones interesantes relativas a la
Geometra, a la Trigonometra y al Clculo Diferencial.
Cabe indicar que es gratificante constatar como un docente peruano pone en evidencia su
capacidad intelectual y su experiencia para brindarnos la solucin de una bien escogida
serie de problemas que permitirn que el lector de esta obra adquiera conocimiento y
recursos para enfrentar demostracin de numerosas y variadas proposiciones del tipo Pn
que se le presenten.
Finalmente haremos hincapi en que el autor ha contribuido con varias otras publicaciones
muy puntuales como sta, a la correcta asimilacin de conocimientos de muchos
estudiantes del nivel Pre-universitario y de la propia universidad.
Jos Obregn Sotelo

Docente Universitario
VIII
INDUCCIN DE MATEMTICA
En matemticas es muy frecuente distinguir dos mtodos diferentes de prueba en las

demostraciones de los diversos teoremas, el llamado mtodo directo y el llamado mtodo
indirecto. En el mtodo directo de prueba, procedemos de la hiptesis a la tesis
(conclusin) a travs de una serie de deducciones, cada una de las cuales est justificada por
algn axioma o por algn teorema previamente probado. En las pruebas indirectas,
comenzamos por suponer que la conclusin no es cierta y, a continuacin a travs de una serie
de deducciones, obtenemos una proposicin que contradice la hiptesis del teorema. Luego,
bajo la hiptesis, la conclusin del teorema no puede ser falsa y debe, por tanto, ser cierta.
En esta seccin examinaremos con mayor profundidad los aspectos claves relacionados
con las Matemticas, el descubrimiento y la demostracin, que tienen igual importancia. Se
tiene que descubrir algo antes de querer probarlo, y slo es posible tener la certeza de su
veracidad una vez que se haya demostrado.
Frecuentemente en Matemtica nos enfrentamos con la tarea de querer establecer que

cierta proposicin Pn es cierta para todo entero n 1 (o quizs para todo entero n N ),
entonces es a menudo posible construir una prueba basada sobre un principio llamado de
Induccin Matemtica, el cual es un fuerte instrumento para las demostraciones
matemticas. Sin embargo, en los colegios secundarios no ha adquirido an pleno derecho
de ciudadana y muchos estudiantes conocen poco o nada de este mtodo. Sin embargo en
el nivel universitario, desde el primer ciclo hasta los estudios de Post-Grado (especialmente
en las maestras de Ingeniera de Sistemas y de Software), los estudiantes se encuentran con
demostraciones que se basan en el mtodo de induccin matemtica.
Por ejemplo, dadas las siguientes proposiciones:
n(n 1)(2n 1)
1. Pn: 12 2 2 32 ... n 2 2.- Qn: 2 n n 20
6
Rn: n n 41 es primo.
2
3.
La proposicin Pn es cierta para todo entero positivo y Qn es cierta para todo entero
mayor o igual que 5. La tercera proposicin Rn es interesante; observe que si:
1
R(n) = n 2 n 41 , entonces:
R(1) = 41 , R(2) = 43 , R(3) = 47, R(4) = 53 , R(5) = 61
R(6) = 71, R(7) = 83 (nmeros primos hasta aqu)
De hecho, obtendremos un nmero primo para todas las ns hasta 40, lo cual fue
demostrado, en 1772, por el matemtico Leonard Euler. Para n = 41, la frmula da R(41) =
412 = (41)(41) = 1681. Entonces el hecho, en este caso, de probar la veracidad de una
proposicin para 40 (o 40 millones) de casos individuales har suponer una conjetura que no
siempre ser verdadera.
Esto nos ilustra que no se puede tener la certeza de la verdad de un enunciado sin
importar cuantos casos especiales se verifiquen. Necesitamos un argumento convincente, es
decir, una demostracin, para determinar la verdad del enunciado.
Principio del Buen Orden
Suponemos que los enteros positivos poseen la siguiente propiedad, llamada principio del
buen orden. Todo conjunto no nulo de enteros positivos posee un elemento mnimo.
2
Principio de Induccin Matemtica
Para todo nmero natural n, sea P(n) una proposicin que depende de n. suponga que se
cumplan las condiciones siguientes:
1) Paso Bsico: P(1) es verdadera.
2) Paso Inductivo: Para todo nmero m, si P(m) es verdadera, entonces P(m + 1) es
verdadera. Luego, P(n) es verdadera para todos los nmeros naturales.
Para aplicar este principio, observe que hay dos pasos:

Paso 1: Verificar que la proposicin P(n) es vlida para el menor natural, que
generalmente es P(1).
Paso 2: Aceptar que P(m) es verdadero y utilizando esta hiptesis, demostrar que P(m+1)
es verdadero.
Observe que en el paso 2 no se ha demostrado que P(m) es verdadero. Solo se ha
mostrado que si P(m) es verdadero, entonces, P(m + 1) tambin lo ser. Esta suposicin
de que P(m) es verdadero se llama hiptesis inductiva.
Para ayudar a entender este principio, imagnese una sucesin infinita de afirmaciones P1,
P2, P3,, Pn, que satisfacen las condiciones (1) y (2). De acuerdo con (1), el
enunciado P1 es cierto. Como es vlida la condicin (2), siempre que Pm sea cierto, el
siguiente enunciado Pm+1 tambin lo ser. Por consiguiente, como P1 es vlido, P2
tambin ser cierto, de acuerdo con (2). Sin embargo, si P2 es vlido, entonces, de
acuerdo con (2), la siguiente afirmacin, P3, tambin lo ser. Si continuamos as, entonces
para n cualquier entero determinado, Pn es vlida, porque se puede emplear la condicin
(2), paso a paso, para llegar finalmente a Pn.
Ejemplos: A continuacin daremos algunos ejercicios aplicables a diversos campos de la

matemtica cuyas demostraciones pueden realizarse utilizando el Primer Principio de la
Induccin Matemtica.
1. Demuestre por Induccin Matemtica que el producto de dos enteros consecutivos

positivos es mltiplo de 2 (o tambin divisible por 2), es decir, que s n N , entonces,

n( n 1) 2
3
Demostracin:

i) Paso Bsico: Si n 1 , entonces: n(n 1) 1(1 1) 2 2 : la proposicin es verdadera
ii) Paso Inductivo: Aceptemos que para n m , la proposicin sea verdadera, es decir que:

m(m 1) 2 ...( )
lo cual constituye la hiptesis inductiva.
iii) Demostremos tambin que la proposicin es vlida para n m 1 , es decir que:

(m 1)( m 2) 2 ... ( )
Demostracin que es fcil de realizar desde que (m 1)( m 2) m(m 1) 2(m 1)
De ( ) : m( m 1) es mltiplo de dos (hiptesis) y

2( m 1) es mltiplo de dos (entero par) (m 1)( m 2) 2 , es mltiplo de dos.
2. Demuestre que el producto de tres enteros consecutivos positivos es mltiplo de 6, es

decir que si n N entonces, n(n 1)( n 2) 6 (I)
Solucin:

i) Paso Bsico: Si n 1 , entonces n(n 1)( n 2) 1.2.3 6 6 , la proposicin es
verdadera.
ii) Paso Inductivo: Para n m , aceptemos que la afirmacin ( I ) es cierta, o sea,
m(m 1)(m 2) 6 ( )

iii) Demostremos, entonces, que para n m 1 , el producto: (m 1)( m 2)( m 3) 6
Demostracin:
Como : (m 1)(m 2)(m 3) m(m 1)(m 2) 3(m 1)(m 2) ( )
a) m(m 2)(m 3) 6 ( hiptesis bsica)

b) Como: (m 1)( m 2) 2 2k , k Z ( ejercicio anterior) , luego,

3(m 1)( m 2) 3.2k 6k 6 ( )

( ) y ( ) en ( ) : (m 1)( m 2)( m 3) 6 6 6 (m 1)( m 2)( m 3) 6
4
3. Demuestre que el producto de cuatro enteros consecutivos positivos es mltiplo de 24, es

decir que si n N , entonces, n(n 1)( n 2)( n 3) 24 ( I )
Solucin:
i) Paso Bsico: Para n 1 la afirmacin es vlida, puesto que:

n(n 1)( n 2)( n 3) 1.2.3.4 24
ii) Paso Inductivo: Para n m , aceptemos que la afirmacin ( I ) es cierta, es decir que:

m(m 1)( m 2)(m 3) 24 . ( )
iii) Demostremos, entonces, que para n m 1 , tambin la proposicin es cierta, es decir

que: (m 1)( m 2)( m 3)( m 4) 24
Demostracin: (m 1)(m 2)(m 3)( m 4) m(m 1)( m 2)( m 3) 4(m 1)( m 2)( m 3)

24 6

de ( ) : = 24 + 4. 6 = 24 + 24 = 24

(m 1)(m 2)(m 3)(m 4) 24
4. Demuestre, por induccin, que s n N , entonces n3 11 n 6 ( I )

Solucin:
i) Paso Bsico: Para n 1 : n3 11 n 13 11.1 12 6

ii) Paso Inductivo: Supongamos que para n m , la afirmacin ( I ) es cierta, o sea, que
m3 11 m 6 ( )
iii) Debemos demostrar que para n m 1 , la validez de la proposicin:
(m 1)3 11 (m 1) 6 ( )
Demostracin: (m 1)3 11 (m 1) m3 3 m (m 1) 13 11 m 11

m3 11 m 3 m (m 1) 12 6 + 3. 2 + 2.6
6 2

= 6 + 6 + 6 = 6
(m 1)3 11(m 1) 6
5
5. Pruebe que Pn : 2n n + 20 es cierto para cada entero n 5

Solucin: Sea P(n) : 2 n n 20 , n5
i) Paso Bsico: P(5) : 25 5 20 32 > 25, luego la proposicin es vlida.
ii) Paso Inductivo: Aceptamos que P(m) : 2 m m 20 sea cierto para m 5 ( )
iii) Para n = m + 1 debemos demostrar que: P(m 1) : 2 m1 m 21
Demostracin: De ( ) : 2.2 m 2(m 20)
2m1 2m 40 m 1 20 (m 19) ( )
m 5 , m 19 0 m 1 20 (m 19) m 1 20 ( )
De ( ) y ( ): 2 m 1 m 1 20
En los ejercicios del 7 al 10 utilice el principio de Induccin Matemtica para probar

que la proposicin dada es verdadera para cada entero n 1
n
n( n 1)
6. K 1 2 3 ... n
k 1 2
n
n( n 1)
Solucin: Si : K 1 2 3 ... n
k 1 2
( I )
1
1(1 1)
i) Paso Bsico: Si n 1 : K 1 2
, la frmula ( I ) es verdadera.
k 1
ii) Paso Inductivo: Supongamos que para n m la expresin ( I ) es correcta, es decir que :
m
m( m 1)
K 1 2 3 ... m
k 1 2
(1)
iii) Entonces, debemos demostrar que, si n m 1 , se cumplir que:

m 1
( m 1)( m 2)
K
k 1 2
( II )
lo cual es cierto, puesto que d ( 1 ) :

m 1 m
m(m 1)
K K (m 1) (m 1)( m 2)
m 1
(m 1) K
k 1 k 1 2 k 1 2
n
1
7. K
k 1
2
12 2 2 32 ... n 2
6
n( n 1)( 2n 1)
n
n( n 1)( 2n 1)
Solucin: Sea: K
k 1
2

6
( I )
1
1(1 1)( 2.1 1)
i) Paso Bsico: Para n 1 : K
k 1
2
12
6
( cierto )
6
m
m( m 1)( 2m 1)
ii) Paso Inductivo: Para n m , K
k 1
2

6
( 1 )
iii) Entonces, para n m 1 , debemos demostrar que

m 1
( m 1)( m 2)( 2m 3)
K
k 1
2

6
m 1 m
m(m 1)( 2m 1)
como : K 2 K 2 (m 1) 2
k 1 k 1 6
(m 1) 2
m 1
( m 1)m( 2m 1) 6( m 1) (m 1)( m 2)( 2m 3)
K
k 1
2

6
=
6
m 1
(m 1)( m 2)( 2m 3)
K
k 1
2

6
n( n 1)
n 2
8.
k 1
k 3 13 2 3 33 ... n 3
2
n ( n 1)
n 2
Solucin: Sea:
k 1
k3
2
( I )
1(1 1)
1 2
i) Paso Bsico: Para n 1 : k 1 1 1 (cierto).

2 3 3
k 1 2
m(m 1)
m 2
ii) Paso Inductivo: Para n m :

k 1
k3
2 , aceptamos la validez de la frmula (1)
m( m 1)
m 1 m 2
Como: k k ( m 1)
3 3
( m 1) 3 3
k 1 k 1 2
m 1 m 1 m 1
2 2 2
m 4( m 1) = m 4m 4) m 2
2
= 2 2
2 2 2
(m 1)( m 2)
m 1 2

k 1
k

3
n
6n5 15n4 10n3 n n(n 1)(6n3 9n2 n 1)
9. k 4 14 24 34 ... n4
k 1 30

30
n
n(n 1)( 6n 9n n 1)
3 2
Solucin: Sea: k 4 ( I )
k 1 30
1
1(1 1)( 6.13 9.12 1 1)
i) Paso Bsico: Para n 1 : k 4 14 1
k 1 30
ii) Paso Inductivo: Aceptamos la validez de la frmula, para n m , o sea que:
7
m
m(m 1)(6m3 9m 2 m 1)

k 1
k
4
30
(II)
iii) Entonces debemos verificar para n m 1 que:
m 1

(m 1)( m 2) 6(m 1) 3 9(m 1) 2 m
k 4
k 1 30
m 1 m
m(m 1)( 6m 3 9m 2 m 1)
Como: k
k 1
4
k 4 ( m 1) 4
k 1
=
30
(m 1) 4
=

(m 1) m(6m 3 9m 2 m 1) 30(m 1) 3
30
(m 1)( 6m 9m m 2 m 30m 3 90m 2 90m 30)
4 3
=
30
(m 1)( 6m 39m 91m 89m 30)
4 3 2
=
30
(m 1)( m 2)( 6m 3 27m 2 37m 15)
=
30
m1

(m 1)( m 2) 6(m 1) 3 9(m 1) 2 m

k 1
k
4
30
10. Utilizando el primer principio de induccin matemtica, demuestre que:
1 n
1 a b 1
( a b)( a b 1) n

k o ( a b 1)
k

ab
, n N , donde a, b 0,
Solucin: La igualdad dada podemos expresarla como:

n
1 a b 1 1 (a b 1) n1 1
k 0 (a b 1) k

ab

(a b)( a b 1) n (a b)( a b 1) n
(I)
Demostracin:
i) Paso Bsico: Si n 1 :
1
1 1 1 1 ab2
(a b 1)k

(a b 1)0

(a b 1)
1
a b 1 a b 1
( 1 )
k 0
(a b 1)n 1 1 (a b 1)2 12 = (a b 2)( a b) ab2

y = ( 2 )
(a b)(a b 1)n (a b)(a b 1) (a b)( a b 1) a b 1
es decir, la igualdad es vlida para n 1 1 S

ii) Paso Inductivo: si n m , aceptemos la validez (hiptesis inductiva) que:
m
(a b 1) m 1 1

1
( )
k 0 ( a b 1) (a b)(a b 1) m
k
iii) Entonces, debemos demostrar que para n m 1 :
8
m1
1 (a b 1) m2 1

k 0

(a b 1) k (a b)( a b 1) m1
( )
De: ( ) Como:
m1
1 m
1 1 (a b 1) m1 1 1

k 0 (a b 1) k

k 0 ( a b 1)
k

(a b 1) m1

(a b)( a b 1) m

(a b 1) m1
(a b 1) m2 (a b 1) (a b) (a b 1) m2 (a b) 1 (a b)

(a b)( a b 1) m1 (a b)( a b 1) m1
m1
1 (a b 1) m2 1
, es decir la igualdad es vlida n N y
k 0 (a b 1) k (a b)( a b 1) m1
a, b 0,
n
1 rn
11.
k 1
ar k 1 a ar ar 2 ar 3 ... ar n 1 a
1 r
(r 1, 0) , a R
n
1 rn
Solucin: Si: ar k 1
a
1 r
, r 1,0 , aR (I)
k 1
Demostracin:
1
1 r1
k 1
ar k 1 ar11 ar 0 a.1 a a
1 r
m
1 r m 1
ii) Paso Inductivo: Aceptamos la validez que para n m : ar k 1
a
1 r
( )
k 1
m1
1 r m1
iii) Entonces, para n m 1 :
k 1
ar k 1
a
1 r
( )
es la expresin que se debe demostrar luego:

m 1 m
1 rm 1 r m (1 r )r m

k 1
ar k 1 ar k 1 ar
k 1

m 11
= a
1 r
ar m
a
1 r
( para. k m 1)
1 r m r m r m1 1 r m1
a a
1 r 1 r
m 1
1 r m1

k 1
ar k 1 a
1 r
1 2
12. Demustrese que si n es un entero positivo cualquiera, entonces (n n) es un entero.
2
1 2
Solucin: Sea S el conjunto de todos los enteros positivos n tales que (n n) es un
2
entero.
9
1 2
i) Paso Bsico: 1 S , puesto que si n 1 : (1 1) 1 , la proposicin es cierta.
2
1 2
ii) Paso Inductivo: Si m S , aceptamos la validez que s n m , (m m) ( )
2
1
iii) Entontes, si n m 1, debemos demostrar que
(m 1)2 (m 1)
2
Demostracin:
1
2
( m 1) 2
( m 1) 2 2

1 m2 2m 1 m 1 1 (m2 m) 2(m 1)

1 2 1
= (m m) (m 1) (m2 m) ,
2 2
luego , S es el conjunto de todos los enteros positivos segn el principio de induccin.
(n 1) n n(n 1) n(n 1)(n 2)
13. Demostrar que 1 + 3 + 6 + 10 + . . . +
2 2 6
n
k (k 1) n(n 1) n(n 1)(n 2)
Solucin: Como: 2
1 + 3 + 6 + 10 ++
2

6
k 1
1
k (k 1) 1(2)(3)
i) Paso Bsico: Si n 1 , 2
1
6
, la proposicin es verdadera.
k 1
ii) Paso Inductivo: Para n m , aceptamos que
m
k (k 1) m(m 1)(m 2)
2

6
( )
k 1
iii) Entonces, para n m 1 debemos demostrar que
m 1
k (k 1) (m 1)(m 2)(m 3)
2

6
k 1
m 1
k (k 1) m k (k 1) (m 1)(m 2)
Demostracin: De ( ) : 2

2

2
k 1 k 1
m 1
k (k 1) m(m 1)(m 2) (m 1)(m 2)
2

6

2
k 1
m(m 1)(m 2) 3(m 1)(m 2) (m 1)(m 2)(m 3)
=
6 6
m 1
k (k 1) (m 1)(m 2)(m 3)
2 6
k 1
10
Ejercicios Resueltos
Aplicaciones a Divisibilidad
1. Demostremos que para n N : n4 6 n3 11 n2 6 n 24 (I)

Solucin:
El lector podr verificar rpidamente que: n(n 1)( n 2)( n 3) n 6n 11n 6n

4 3 2
luego, el ejercicio ya estara demostrado en el ejercicio 3 (pg.5), pero utilicemos los pasos
del mtodo de induccin para su demostracin, es decir:
i) Paso Bsico: Para n 1 , la afirmacin es vlida puesto que:
n4 6 n3 11n2 6 n 14 6.13 11.12 6.1 24 24

ii) ) Paso Inductivo: Para n m , aceptemos que la afirmacin ( I ) es cierta, es decir que:
m4 6 m3 11m2 6 m 24 ( )
iii) Demostremos entonces que para n m 1 , la proposicin es tambin cierta.

Demostracin: Sea: S m m 4 6m 3 11m 2 6m 24 ( I )
S m 1 (m 1) 4 6(m 1) 3 11(m 1) 2 6(m 1)
= m 4 4m 3 6m 2 4m 1 6(m 3 3m 2 3m 1) 11(m 2 2m 1) 6(m 1)
S m1 ( m 4 6m 3 11m 2 6m) 24( m 2 1) 4( m 3 11m)

= 24 + 24 + 4 . 6 = 24 + 24 + 24 = 24

(m 1) 4 6(m 1) 3 11(m 1) 2 6(m 1) 24
2. Demostrar que si n es un entero positivo, entonces 32 n 7 es mltiplo de 8.

Solucin:

i) Paso Bsico: Si n 1 , luego, 3 2n 7 3 2 7 16 8 es decir, la proposicin es
verdadera.

ii) Paso Inductivo: Aceptamos que para n m la proposicin: 32m 7 8 es verdadera ... ( )

iii) Debemos demostrar que para n m 1 tambin, la proposicin: 32 ( m 1) 7 8 , sea
vlida.
11
Demostracin:

32( m1) 7 32 m2 7 32.32 m 63 56 9(32 m 7) 7.8 9. 8 - 8 = 8 - 8 = 8

32 ( m 1) 7 8

3. Demuestre que n N , 32 n 1 40n 67 64
Solucin:

i) Paso Bsico: Si n 1 : 32 n 1 40n 67 32.11 40.1 67 0 64 la proposicin es
verdadera.

ii) Paso Inductivo: Si n m , aceptamos que: 32 m1 40m 67 64 ... ( )

iii) Verifiquemos, para n m 1 , que: 32( m1)1 40(m 1) 67 64 ... ( )
Demostracin:
Sea: Sm 1 32( m 1) 1 40(m 1) 67 3( 2 m1)2 40m 40 67
9.32m1 9.40m 9.67 (8.67 40) - 8.40m

64.9

9(32m1 40m 67) 9.64 - 64.5m 9. 64 + 64 - 64 = 64

32( m1)1 40(m 1) 67 64
4. Si n es un entero positivo mayor que 1 entonces 2 2 n 3n 1 es divisible por 9.

Solucin:

i) Paso Bsico: Si n 2 : 2 2 n 3n 1 2 2.2 3.2 1 16 6 1 9 9 la proposicin
es verdadera.
ii) Paso Inductivo: Aceptamos que para n m , 2 2 m 3m 1 es divisible por 9.
iii) Debemos demostrar que para n m 1 , 2 2( m1) 3(m 1) 1 es divisible por 9.
Demostracin:
2 2( m1) 3(m 1) 1 2 2 m 2 3m 3 1 2 2.2 2 m 2 2.3m 4 9m
4(22 m 3m 1) 9m ( )

como: 9m = 9 y 4(2 2 m 3m 1) son divisibles por 9, luego de ( )
2 2( m1) 3(m 1) 1 es divisible por 9.

5. Demuestre por induccin que la suma de los cubos de tres enteros consecutivos es
divisible entre 9.
12
Solucin: Sean n , n 1 y n 2 tres enteros consecutivos y sea P ( n ) la proposicin

P(n) : n3 (n 1)3 (n 2)3 9 , n N (I)

i) Paso Bsico: Para n 1 , P (1) : 13 2 3 33 36 4.9 9 , la proposicin ( I ) es cierta.
ii) Paso Inductivo: Para n m aceptemos que,

P ( m) : m 3 (m 1) 3 (m 2) 3 9 , m N ...( )

iii) Para n m 1 , se debe demostrar que, P(m 1) : (m 1) 3 (m 2) 3 (m 3) 3 9
Demostracin: Como: (m 3)3 m3 3m(3)(m 3) 33 , luego:
P(m 1) : (m 1) 3 (m 2) 2 (m 3) 3 (m 1) 3 (m 2) 3 m 3 3m.3(m 3) 33
m3 (m 1)3 (m 2)3 9m(m 3) 9.3

De ( ) : 9
9 9

= 9 + 9 +9 =9 +9 =9

P (m 1) : (m 1) 3 (m 2) 3 (m 3) 3 9 , m N
6. Todos los nmeros de la forma 7 n 2 n son divisibles por 5.

Solucin: Sea P ( n ) la proposicin que debemos demostrar, P ( n ) : 7 n 2 n 5 5k , k N
i) Paso Bsico: La base de la induccin P (1) es claramente cierta, puesto que s n 1 :
P(1) : 71 21 5 5
ii) Paso Inductivo: Para el paso inductivo suponemos que para n m , P ( m ) es verdadera,
es decir que: P(m) : 7m 2m 5 ( )
iii) Nuestra tarea es utilizar el supuesto anterior para establecer que:
P(m 1) : 7m1 2m1 es divisible por 5.
Demostracin:
P(m 1) : 7m1 2m1 7m.7 2m.2 7m (5 2) 2m.2 5.7m 2.7m 2.2m

= 5.7 m 2(7 m 2 m ) 5.7 m 2. 5 5 5 5
7m1 2m1 5 , puesto que 5.7 m es divisible por 5 y 7 m 2 m es divisible por

hiptesis.
13
7. Demuestre que 11n 4 n es divisible por 7 k N
Solucin: Debemos demostrar que: P(n) : 11n 4n 7 7k k N ( I )

i) Paso Bsico: Si n 1 : P (1) : 111 41 7 7 , la proposicin ( I ) es vlida.

ii) Paso Inductivo: Si n m , aceptemos la validez de: P (m) : 11m 4m 7 (1)
iii) Entonces, debemos demostrar que para n m 1 , P(m 1) : 11m1 4m1 es

divisible por 7.
Demostracin: Este problema es similar al anterior y la demostracin puede realizarse de

la misma forma o tambin como se muestra seguidamente:
P(m 1) : 11m1 4m1 11m1 11.4m 11.4m 4m1 (11.11m 11.4m ) (11.4m 4.4m )

11(11m 4 m ) ) 4 m (11 4) 11. 7 4 m.7 7 7 7
11m1 4m1 7
8. Demuestre que n3 4n 6 es divisible por 3, n N
Solucin: Debemos demostrar que, P(n) : n3 4n 6 3 n N (I)
i) Paso Bsico: Si n 1 : P(1) : 13 4.1 6 3 3 , la proposicin (I) es cierta.
ii) Paso Inductivo: Si n m , aceptamos la validez de: P(m) : m3 4m 6 3 (1)
iii) Entonces, debemos demostrar que para n m 1
P(m 1) : (m 1)3 4(m 1) 6 3

Demostracin:
P(m 1) : (m 1)3 4(m 1) 6 m3 3m2 3m 1 4m 4 6

(m 3 4m 6) 3(m 2 m 1) 3 3 3
P(m 1) : (m 1)3 4(m 1) 6 3
9. Demuestre que 2 4 n 1 es divisible entre 15 para n 1,2,3.....

Solucin: Debemos demostrar que 2 4 n 1 es divisible entre 15, es decir que, dada la
proposicin P(n) : 24n 1 15 (I)
i) Paso Bsico: Si n 1 , P(1) : 24.1 1 16 1 15 15 , la proposicin (I) es verdadera.
14
ii) Paso Inductivo: Si n m , aceptamos que, P(m) : 24m 1 15 . (1)
iii) Luego, para n m 1 , debe cumplirse que, P(m 1) : 24( m1) 1 15
Demostracin:
P(m 1) : 24( m1) 1 24m.24 1 (24 m.16) 16) (16 1) 16(24 m 1) 15

= 16. 15 + 15 = 15 + 15 = 15

2 4( m1) 1 15 24n 1 15
10. Prubese que n 3 n es divisible entre 6.
Solucin: Debemos demostrar que: P(n) : n3 n, n 2 es divisible entre 6 ...( I )
i) Paso Bsico: Si n 2, P(1) : 23 2 6 6 , la proposicin (I) es verdadera.
ii) Paso Inductivo: Si n m , aceptamos la validez de, P(m) : m3 m 6 ( 1 )
iii) Para n m 1, debe cumplirse que, P(m 1) : (m 1)3 (m 1) 6
Demostracin:
P(m 1) : (m 1)3 (m 1) m 3m2 3m 1 - m - 1

3

P(m 1) : m3 m 3m 2 3m = 6 + 3m( m 1) 6 +3. 2 = 6 + 6 = 6
(m 1)3 (m 1) 6
n 5 5n 3 4n
11. Para n entero positivo, se tiene: E (n) , entonces:
n2
A) E(n) es siempre divisible entre 24. B) E(n) es siempre divisible entre 30.
C) E(n) genera un decimal peridico puro. D) E(n) puede ser un racional no entero.
E) E(n) es siempre divisible entre 36
n 5 5n 3 4n n(n 4 5n 2 4) n(n 2 4)( n 2 1)
Solucin: E (n) =
n2 n2 n2
n(n 2)(n 2)(n 1)(n 1)
E (n) = E (n) (n 2)( n 1)n(n 1) , n = 2,3,4 ( I )
(n 2)
La expresin ( I ) es mltiplo de 24, demostrado en el ejemplo 3 de la pag. 5

i) Paso Bsico: Si n = 2: E ( 2) 0 = 24
15

Si n = 3: E (3) (3 2)(3 1)3(3 1) 24 24 x1 24

Si n = 4: E (4) (4 2)( 4 1)4(4 1) 120 24 x5 24

Si n = 5: E (5) (5 2)(5 1)5(5 1) 360 24 x15 24
ii) Paso Inductivo: Si n = m, aceptamos la validez que:

E (m) (m 2)( m 1)m(m 1) 24 ( )

iii) Para n = m + 1, debemos demostrar que: E (m 1) (m 1)m(m 1)(m 2) 24
Demostracin: E (m 1) (m 1)m(m 1)( m 2) = ( m 1)m( m 1)( m 2 4)
E ( m 1) = (m 1)m(m 1)( m 2) 4(m 1)m(m 1) ( II )

m N , (m 1)( m)( m 1) = 6 ( )

( ) y ( ) en ( II ): E(m+1) = 24 + 4. 6 = 24 + 24 = 24 E (m 1) = 24
12. Demostrar que 6 2 n 1 es divisible entre 35, para n = 1, 2,3

Solucin: Sea la proposicin, P(n): 6 2 n 1 = 35 , n = 1,2,3,

i) Paso Bsico: n = 1 6 2.1 1 = 36 - 1 = 35 = 35

ii) Paso Inductivo: n = m aceptamos que: 6 2 m 1 = 35 es verdadera.

iii) Para n = m +1, debemos demostrar que: 6 2( m 1) 1 = 35 ( )
Demostracin: P(m+1): 6 2 ( m1) 1 6 2 m2 1 = 62 m.62 1 = 62 m (35 1) 1

= 35.6 2 m 62
m
1 = 35 + 35 = 35

35

6 2( m1) 1 = 35 62 n 1 = 35
16
Aplicaciones a Series Numricas

n
13. (2 K 1) 1 3 5 ... (2n 1) n
k 1
2
n
Solucin: Si: (2 K 1) 1 3 5 ... (2n 1) n
k 1
2
(I)
1
i) Paso Bsico: Para n 1 : (2K 1) 2.1 1 1 1
k 1
2
( cierto )
m
ii) Paso Inductivo: Para n m , aceptemos que (2 K 1) m
k 1
2
(1)
iii) Entonces, se debe cumplir, la validez de ( I ) , para n m 1 , es decir:

m 1
(2 K 1) (m 1)
k 1
2
m 1 m
como: (2 K 1) (2 K 1) 2(m 1) 1 m 2 2m 2 1 m 2 2m 1
k 1 k 1
m 1
(2 K 1) (m 1)
k 1
2
n
14. 2 K 2 4 6 ... 2n n(n 1)
k 1
n
Solucin: Si: 2 K 2 4 6 ... 2n n(n 1)
k 1
1
i) Paso Bsico: Para n 1 : 2 K 2.1 1(1 1)
k 1
( cierto )
m
ii) Paso Inductivo: Para n m , aceptemos que 2 K m(m 1)
k 1
(1)
m 1
iii) Entonces, para n m 1 , debe cumplirse que: 2 K ( m 1)( m 2)
k 1
m 1 m De ( 1 ):
como : 2 K 2 K 2(m 1) m(m 1) 2(m 1) (m 1)( m 2)
k 1 k 1
m 1
2 K (m 1)( m 2)
k 1
n
15.
k 1
(6k 2) 4 10 16 ... (6n 2) n(3n 1)
n
Solucin: Se pide que:
k 1
(6k 2) n(3n 1) (I)
17
1
i) Paso Bsico: Si n 1 (6k 2) 6(1) 2 4 1(3.1 1) , es cierto
k 1
m
ii) Paso Inductivo: Si n m , aceptamos que
k 1
(6k 2) m(3m 1) ( )
iii) Se debe cumplir que para n m 1 :
m 1
(6k 2) ( m 1)3( m 1) 1 ( m 1)( 3m 4)

k 1
m 1 m
Demostracin:
k 1
(6k 2) (6k 2) 6(m 1) 2
K 1

para.n m 1
m 1 De ( ):
(6k 2) m(3m 1) 6m 4 3m m 6m 4 3m 7m 4 (m 1)(3m 4)
2 2
k 1
m 1 n

k 1
(6k 2) (m 1)(3m 4)
k 1
(6k 2) n(3n 1)
n
n( 2n 1)( 2n 1)
16.
k 1
( 2k 1) 2 12 32 52 7 2 ... ( 2n 1) 2
3
(I )
Solucin:
1
1( 2.1 1)( 2.1 1) 1(1)( 3)
i) Paso Bsico: Si n 1 : (2k 1)
k 1
2
12
3

3
1 , luego, la
frmula es vlida para n 1.

ii) Paso Inductivo: Supongamos que para n m la expresin (I) es correcta, es decir que:
m
m( 2m 1)( 2m 1)
(2k 1)
k 1
2

3
(1)
iii) Entonces, debemos demostrar que s n m 1 , se cumplir que:

m 1
( m 1)( 2m 1)( 2m 3)
(2k 1)
k 1
2

3
( II )
m 1 m
(2k 1) 2 (2k 1) 2 2(m 1) 1

2
Expresin que es cierta puesto que:
k 1 k 1
m 1
m(2m 1)( 2m 1) ( 2m 1)m( 2m 1) 3( 2m 1)
De (1): (2k 1)
k 1
2
=
3
(2m 1) 2 =
3
(2m 1)( 2m 2 5m 3) ( 2m 1)( m 1)( 2m 3)

= =
3 3
m 1
( m 1)( 2m 1)( 2m 3)
( 2k 1) 2
k 1 3
18
17. Calcule y luego demuestre que el resultado obtenido es correcto, utilizando el Principio de
Induccin Matemtica, la siguiente suma indicada:
n
( 2k )
k 1
2
2 2 4 2 6 2 8 2 10 2 ... (2n) 2 ...( I )
Solucin:
n
De ( I ): (2k )2 (2.1)2 (2.2)2 (2.3)2 (2.4)2 ... (2.n)2
k 1
= 2 2 (1) 2 2 2 (2) 2 2 2 (3) 2 2 2 (4) 2 ... 2 2 (n) 2

n
n(n 1)(2n 1)
= 2 2 (12 22 32 42 ... n 2 ) 4 k 2 4.
k 1 6
n
2n(n 1)(2n 1)
( 2k )
k 1
2

3
( II )
Notemos, adems, que el resultado obtenido puede hallarse por propiedades; puesto que:
n n n
n( n 1)( 2n 1) 2n(n 1)( 2n 1)
( 2k )
k 1
2
2 2 k 2 4 k 2 4.
k 1 k 1 6
=
3
1
2.1(1 1)(2.1 1)
(2k )
2( 2)( 3)
i) Paso Bsico: Si n 1 , 2
22 4 = 4 , luego, la
k 1 3 3
frmula es vlida para n 1 .
ii) Paso Inductivo: Supongamos que para n m la expresin (I) es correcta, es decir que:
m
2m(m 1)(2m 1)
( 2k )
k 1
2

3
(1)
iii) Entonces, si n m 1 , debe cumplirse que:

m 1
2(m 1)(m 2)(2m 3)
(2k )
k 1
2

3
m 1 m
Es decir, como: (2k ) 2 (2k ) 2 2(m 1)
k 1 k 1
2
2m( m 1)( 2m 1)
= 4( m 1) 2
3
m 1
2( m 1)m( 2m 1) 6( m 1) 2(m 1)( 2m 2 7m 6)
( 2k ) 2 =
k 1 3
=
3
m 1
2(m 1)( m 2)( 2m 3)
( 2k )
k 1
2

3
19
n
n(n 1)(n 2)
18. k (k 1) 1.2 2.3 3.4 ... n(n 1)
k 1 3
n
n( n 1)( n 2)
Solucin: Sea:
k 1
k ( k 1)
3
...( I )
1
1(1 1)(1 2)
i) Paso Bsico: Para n 1 , k ( k 1) 1(1 1) (cierto)
k 1 3
ii) Paso Inductivo: Para n m , aceptamos la validez de que
m
m( m 1)( m 2)
k (k 1)
k 1 3
(1)
( m 1)( m 2)( m 3)
m 1
iii) Entonces, para n m 1 se tendr que:
k 1 3
k (k 1)
m 1 m
m( m 1)( m 2)
Como: k ( k 1) k ( k 1) ( m 1)( m 2) = ( m 1)( m 2)
k 1 k 1 3
m 1
( m 1)( m 2)( m 3)

k 1
k ( k 1)
3
n
19. (3k
k 1
2
3k 1) n 3
n
Solucin: Sea: (3k
k 1
2
3k 1) n 3 (I)
1
i) Paso Bsico: Para n 1 : (3k
k 1
2
3k 1) 3(1) 2 3(1) 1 13 (es cierto)
m
ii) Paso Inductivo: Para n m , aceptamos la validez de : (3k
k 1
2
3k 1) m 3 ( 1 )
m 1
iii) Entonces, para n m 1 , se debe cumplir que: (3k
k 1
2
3k 1) ( m 1) 3
m 1 m
Como (3k
k 1
2
3k 1) (3k 2 3k 1) 3( m 1) 2 3( m 1) +1
k 1
m 3(m 1) 2 3(m 1) 1 m 3 3m 2 3m 1
3
m
(3k
k 1
2
3k 1) (m 1) 3
n
20. k.2
k 1
k 1
1 ( n 1)2 n
n
Solucin: Sea: k.2
k 1
k 1
1 ( n 1)2 n ( I )
1
i) Paso Bsico: Para n 1 , k.2
k 1
k 1
1.211 1 1 (1 1)21 (es cierto)
ii) Paso Inductivo: Para n m , supongamos que (I) sea vlido, es decir que:
m
k.2
k 1
k 1
1 (m 1)2 m (1)
20
m 1
iii) Entonces, para n m 1 se debe demostrar que: k.2
k 1
k 1
1 m.2 m1
Demostracin:
m 1 m De (I):
Como: k.2k 1 k.2k 1 (m 1).2m11 = 1 (m 1)2m (m 1).2m
k 1 k 1
m 1
( 2k )
k 1
2
= 1 (m 1 m 1)2m = 1 (2m)2 m 1 m.2.2 m
m 1
k .2
k 1
k 1
1 m.2 m1
21. (2n 1) + (2n 3) + (2n 5) + + (4n 1) = 3n 2
Solucin: La expresin: (2n 1) + (2n 3) + (2n 5) + + (4n 1) = 3n 2 , podemos

n
expresarlo como: (2n 2k 1) =
k 1
3n 2 ( I )
Resultado que es correcto puesto que:
n n n
(2n 2k 1) = 2n + (2k 1) = 2n.n n

k 1 k 1 k 1
2
= 2n 2 + n 2 = 3n 2
1
i) Paso Bsico: Si n =1: (2n 2k 1) = 2.1 2.11 = 3 = 3.1 , luego la frmula (I) es
k 1
2
correcta para n 1
ii) Paso Inductivo: Aceptamos que para n = m, la frmula es correcta, es decir que:
m
(2m 2k 1) = 3m
K 1
2
.( 1 )
iii) Entonces, para n = m+1, la frmula (I), tambin debe ser cierta, o sea se debe
m 1
cumplir que: 2(m 1) (2k 1) = 3(m 1)
k 1
2
Demostracin:
m 1 m
2(m 1) (2k 1) =
k 1
2(m 1) 2k 1 + 2(m 1) 2(m 1) 1
K 1
m m m
= (2m 2k 1) 2 +
k 1
4m 3 = (2m 2k 1) +
k 1
2 4m 3
k 1
= 3m 2m 4m 3 3(m 2m 1) 3(m 1)
2 2 2
m 1
2(m 1) (2k 1) = 3(m 1)
k 1
2
22. 1.2 + 2.2 2 3.23 ... n.2 n 2 (n 1)2 n1
21
Solucin: Sea: S (n) 1.2 2.2 2 3.23 4.2 4 ... n.2 n 2 (n 1)2 n1
n
S (n) K .2 K 2 (n 1)2 n 1 (I)
K 1
1
i) Paso Bsico: Si n = 1: S (1) K .2 K 1.21 2 2 (1 1)2 2
K 1
m
ii) Paso Inductivo: Si: n = m, aceptamos que S (m) K .2 K 2 (m 1)2 m1 ( )
K 1
es verdadera.
m 1
iii) Para n = m + 1, debemos demostrar que: S (m 1) K .2 K 2 m.2 m 2
K 1
m 1 m
Demostracin: S (m 1) K .2 K K .2 K (m 1)2 m1 = 2 ( m 1).2
m 1 m 1
( m 1)2
K 1 K 1
S (m 1) = 2 (m 1 m 1).2 m1 = 2 2m.2 m1 = 2 m.2.2 m 1
S (m 1) = 2 m.2 m 2
n
1 1 1 1 1 n
23. k (k 1) 1.2 2.3 3.4 ... n(n 1) n 1
k 1
Solucin:
1
1 1 1 1
i) Paso Bsico: Si: n 1 k (k 1) 1(1 1) 2 1 1
k 1
, se cumple
ii) Paso Inductivo: Supongamos que para n m se cumpla que:

m
1 m

k 1 k ( k 1)

m 1
( )
iii) Debemos demostrar que para n m 1 se cumpla que:
m 1
1 m 1
k (k 1) m 2
k 1
( )
m 1 m
Demostracin: Como: ak ak am1 , entonces:
k 1 k 1
m 1
1 m
m 1
k (k 1) k (k 1) (m 1)(m 1 1) m 1 (m 1)( m 2)
1 1
k 1 k 1
am1
m 1
1 m(m 2) 1 m 2 2m 1 (m 1) 2 m 1

k 1 k ( k 1)

(m 1)( m 2) (m 1)( m 2)

(m 1)( m 2) m 2
m 1
1 m 1
k 1

k (k 1) m 2
22
n
1 1 1 1 1 1 n
24. k 1

(2k 1)(2k 1) 1.3 3.5 5.7 7.9
...
(2n 1)(2n 1) 2n 1
Solucin:
1
1 1 1 1
k 1 ( 2k 1)( 2k 1) ( 2.1 1)( 2.1 1) 1.3 2.1 1
ii) Paso Inductivo: Para n m , aceptamos la validez de la frmula, es decir que:

m
1 m
k 1 ( 2k 1)( 2k 1)

2m 1
( )
iii) Entonces, se debe demostrar que para n m 1
m 1
1 m 1 m 1

k 1

( 2k 1)( 2k 1) 2( m 1) 1 2m 3
( )
m 1 m
1 1 1
Demostracin:
k 1 (2k 1)(2k 1)

k 1 (2k 1)(2k 1)

2(m 1) 1 2(m 1) 1
m 1
1 m 1 m(2m 3) 1
(2k 1)( 2k 1) 2m 1 (2m 1)( 2m 3) (2m 1)( 2m 3)
k 1
2m 2 3m 1 (2m 1)( m 1) m 1
=
(2m 1)( 2m 3) (2m 1)( 2m 3) 2m 3
m 1
1 m 1 n
(2k 1)(2k 1) 2m 3
1 n

k 1

k 1

(2k 1)(2k 1) 2n 1
n
1 1 1 1 1 1 n
25. (4k 3)(4k 1) 1.5 5.9 9.13 13.17 (4n 3)(4n 1) 4n 1
k 1
1
1
(4k 3)(4k 1)
n
Solucin: Si: = (I)
k 1 4n 1
1
1 1 1
i) Paso Bsico: Si n 1 , , es vlido,
k 1 (4k 3)(4k 1) 1.5 1.4 1
m
1 m
ii) Paso Inductivo: Si: n m , aceptamos que:
k 1

(4k 3)( 4k 1) 4m 1
iii) Se debe cumplir que para n m 1
m 1
1 m 1 m 1
k 1 ( 4k 3)( 4k 1)

4( m 1) 1 4m 5
Demostracin:
m 1 m
1 1 1

k 1

(4k 3)( 4k 1) k 1 (4k 3)( 4k 1) 4(m 1) 3
. 4(m 1) 1
23
m 1
1 m 1 m(4m 5) 1

k 1 (4k 3)( 4k 1)

4m 1 (4m 1)( 4m 5) (4m 1)( 4m 5)
4m 2 5m 1 (4m 1)( m 1) m 1
1 m 1

(4m 1)( 4m 5) (4m 1)( 4m 5)

k 1 ( 4k 3)( 4k 1)

4m 5
n
1 n

k 1 ( 4k 3)( 4k 1) 4n 1
12 22 32 42 n2
26. Calcule la suma siguiente: ... y el
1.3 3.5 5.7 7.9 (2n 1)(2n 1)
resultado demustrelo utilizando el Principio de Induccin Matemtica.
12 22 32 42 n2
Solucin: La suma indicada: S ... podemos
1.3 3.5 5.7 7.9 (2n 1)(2n 1)
n
k2 n
k2 1 n (4k 2 1) 1
expresarla como: S
(2k 1)(2k 1) k 1 4k 2 1 4 k 1 4k 2 1
k 1
1 n 1 1 n n
1 1 n n(n 1)
S 1 1 n
4 k 1 4k 1 4 k 1 k 1 4k 1 4
2 2
2n 1 2(2n 1)
n
k2 n(n 1)
S (I)
k 1 (2k 1)(2k 1) 2(2n 1)
1
k2 12 1 1(1 1) 1
i) Paso Bsico: Si n 1 , , la
(2k 1)(2k 1) 1.3 3 2(2.1 1) 3
k 1
proposicin es verdadera.
m
k2 m(m 1)
ii) Paso Inductivo: Para n m , aceptamos que:
(2k 1)(2k 1) 2(2m 1)
( )
k 1
m 1
k2 (m 1)(m 2)
iii) Para n m 1 , debemos demostrar que: (2k 1)(2k 1)

2(2m 3)
k 1
Demostracin:
m 1
k2 m
k2 (m 1)2

(2k 1)(2k 1) k 1 (2k 1)(2k 1) 2(m 1) 1 2( m 1) 1
k 1
m 1
k2 m(m 1) (m 1)2
De ( ) :
(2k 1)(2k 1) 2(2m 1) (2m 1)(2m 3)
k 1
m 1
k2 (m 1)(m(2m 3) 2(m 1)) (m 1)(2m2 5m 2)
(2k 1)(2k 1)

2(2m 1)(2m 3)

2(2m 1)(2m 3)
k 1
(m 1)(2m 1)(m 2) (m 1)(m 2)

2(2m 1)(2m 3) 2(2m 3)
24
m1
k2 (m 1)(m 2)
(2k 1)(2k 1)

2(2m 3)
m1
1 1 1 1 n(n 3)
27. Demostrar que ...
1.2.3 2.3.4 3.4.5 n(n 1)(n 2) 4(n 1)(n 2)
Solucin: La suma dada podemos expresarla como:
n
1 1 1 1 1 n(n 3)

k (k 1)(k 2) 1.2.3 2.3.4 3.4.5
...
n(n 1)(n 2) 4(n 1)(n 2)
k 1
1
1 1 1 1.(1 3)
i) Paso Bsico: Si n 1 ,
k (k 1)(k 2) 1.2.3 6 4(1 1)(1 2)
se
k 1
verifica el resultado dado.

ii) Paso Inductivo: Para n m aceptamos la validez de:
m
1 m(m 3)

k (k 1)(k 2) 4(m 1)(m 2)
( )
k 1
m 1
1 (m 1)(m 4)
iii) Entonces debemos demostrar que:
k (k 1)(k 2) 4(m 2)(m 3)
k 1
Demostracin:
m 1 m
1 1 1

k (k 1)(k 2) k 1 k (k 1)(k 2) (m 1)(m 2)(m 3)
k 1
m(m 3) 1
De ( ) : =
4(m 1)(m 2) (m 1)(m 2)(m 3)
m(m 3)2 4 m3 6m2 9m 4
=
4(m 1)(m 2)(m 3) 4(m 1)(m 2)(m 3)
(m 1)2 (m 4)

4(m 1)(m 2)(m 3)
m 1
1 (m 1)(m 4)

k (k 1)(k 2) 4(m 2)(m 3)
k 1
25
Aplicaciones a Desigualdades
28. Determine para qu valores naturales de n es cierta la desigualdad:

2 n n 2 4n 5
Solucin: Al evaluar la expresin para los valores de n = 1, 2, 3,, 6, nos cercioramos
que la desigualdad es incorrecta. Por ejemplo, si n = 6, en la desigualdad dada obtenemos:
26 64 62 4.6 5 65 , es decir 64 65 , lo cual sabemos que es

una desigualdad incorrecta.
Para n = 7 2 7 7 2 4.7 5 128 > 49 + 28 +5 = 82 es correcto
29. Demuestre que es vlida n N , n 7 por el Principio de Induccin Matemtica, el

ejercicio anterior.
Solucin: Ahora demostremos, por el mtodo de Induccin Matemtica, que para todos los
valores de n 7 , la desigualdad es cierta.
i) Paso Bsico: Si n 7 , obtenemos: 2 7 4.7 5 128 82 , o sea la desigualdad

7 2
es cierta.
ii) Paso Inductivo: Si n = m, aceptamos que la desigualdad es cierta,
O sea , 2m m 2 4m 5 ( )
iii)Para n m 1, debemos demostrar que 2m 1 (m 1) 2 4(m 1) 5 ( )
Demostracin:
De ( ) , 2.2m 2(m2 4m 5) 2m 1 2m2 8m 10

2m 1 (m 1) 2 4(m 1) 5 m2 2m (1)
m N , m2 2m 0 , luego:
(m 1) 2 4(m 1) 5 m 2 2m (m 1) 2 4(m 1) 5 (2)

m 1
De (1) y (2): 2 (m 1) 4(m 1) 5
2
Por lo tanto, la desigualdad dada es cierta para n m 1
30. Si n N , n 3 entonces, 2 n 2n 1
Solucin: Sea la proposicin P(n) : 2n 2n 1 , n N , n 3 (I)
i) Paso Bsico: Para n = 3 , 2 3 2.3 1 la desigualdad es cierta.

ii) Paso Inductivo: Para n = m (m > 3) aceptamos que: 2 m 2m 1 , es cierta ( )
26
iii) Entonces, demostremos que para n = m + 1: 2 m1 2(m 1) 1 2m 3
Demostracin: Si: 2 m 2m 1 2.2 m 2(2m 1) 2m1 4m 2 ( )

Si: m N : 2m 1 0
2m 3 2m 1 2m 3 4m 2 2m 3 ( )
De ( ) y ( ) : 2 m 1 2m 3 2 n 2n 1
1 1 1 1 n
31. Demuestre que si n N , entonces: 1 ... n
2 3 4 2 1 2
1 1 1 1 n
Solucin: Sea la proporcin P(n) : 1 ... n , nN ( I )
2 3 4 2 1 2
1
i) Paso Bsico: Si n = 1, la proposicin P(1) : 1 , es verdadera.
2
ii) Paso Inductivo: Si: n = m , aceptamos la veracidad de la proposicin
1 1 1 1 m
P(m) : Sm 1 ... m , m N ( )
2 3 4 2 1 2
en la que el lado izquierdo es la suma de los recprocos de los nmeros naturales desde 1
hasta 2m 1.
iii) Entonces para n = m + 1 debemos demostrar que la proporcin
1 1 1 1 m 1
P(m 1) : Sm 1 1 ... m 1 ( )
2 3 4 2 1 2
Demostracin:
Sm
1 1 1 1 1 1 1 1
Como P(m 1) : Sm1 1 ... m m m m ... m1
2 3 4 2 1 2 2 1 2 2 2 1
1 1 1 1
Sm 1 Sm ( ... m 1
) ( )
2 m
2 1m
2 2
m
2 1
1 1 1 1 1 m
Para todo m N , ... y Sm
2 m
2 1
m
2 2m
2 m1
1 2 2
m 1 m 1
Sm1 Sm1
2 2 2
32. Demuestre, utilizando el Principio de Induccin Matemtica, que n N ,
1 3 5 2n 1 1
. . ...
2 4 6 2n 2n 1
27
1 3 5 2n 1 1
Solucin: Sea la proposicin Pn :
. . ... (I)
2 4 6 2n 2n 1
1 1 1 1
i) Paso Bsico: 1 S , puesto que, si n 1 , P1 : ,
2 2.1 1 2 3
la proposicin es verdadera.
1 1
n N , 32
2 3
1 3 5 2m 1 1
ii) Paso Inductivo: si n m, Pm : . . ... ( ),
2 4 6 2m 2m 1
es verdadera.
1 3 5 2m 1 1
iii) Entonces, debemos demostrar que, Pm 1 : . . ... ( )
2 4 6 2m 2 2m 3
Demostracin:
2m 1 1 3 5 2m 1 2 m 1 1 2m 1
( ) . , . . ... . .
2m 2 2 4 6 2m 2m 2 2m 1 2m 2
1 3 5 2m 1 2m 1
. . ... ( )
2 4 6 2m 2 2m 2
m N , 3 4 4m2 8m 3 4m2 8m 4
(2m 1)(2m 3) (2m 2) 2 (2m 1)(2m 3) 2m 2
2m 1 1
2m 1. 2m 3 2m 2 ( )
2m 2 2m 3
1 3 5 2m 1 1
De ( ) y ( ) : . . ... , entonces Pm 1 es verdadero.
2 4 6 2m 2 2m 3
1 3 5 2n 1 1
Pn : . . ... , n N 1
2 4 6 2n 2n 1
1 1 3 5 1997 1
33. Pruebe que: . . ...
1999 2 4 6 1998 44
1 1 3 5 2n 1
Solucin: Sea la proposicin Pn : . . ... (I)
2n 1 2 4 6 2n
28
1 1 2.1 1 1 1
i) Paso Bsico: si n 1 , , luego 1 S . La
2.1 1 3 2.1 3 2
proposicin es cierta.
ii) Paso Inductivo: si n m , aceptamos la veracidad de la proposicin,
1 1 3 5 2m 1
Pm : . . ... ( )
2m 1 2 4 6 2m
iii) Entonces, debemos demostrar que para n m 1 ,
1 1 3 5 2m 1
Pm 1 : . . ... ( )
2m 3 2 4 6 2 m 2
Demostracin: m N , 2 3 2m 2 2m 3
1 1 2m 1 2m 1
( )
2m 3 2m 2 2m 3 2m 2
1 2m 1 1 3 5 2 m 1 2 m 1
( ) . ( ): . . . ... .
2m 1 2 m 3 2 4 6 2m 2m 2
1 1 3 5 2m 1
Pm 1 : . . ... ,
2m 3 2 4 6 2 m 2
Entonces Pm 1 es verdadero Pn es verdadero n 1
Adems, del ejercicio anterior, tenemos que n N :

1 3 5 7 2n 1 1
. . . ... (II)
2 4 6 8 2n 2n 1
1 1 3 5 7 2n 1 1
De (I) y (II): . . . ...
2n 1 2 4 6 8 2n 2n 1
1 1 3 5 7 1997 1 1 1
Si n 999 : . . . ...
1999 2 4 6 8 1998 1999 1936 44
29
Aplicaciones Algebraicas
34. Prubese que s 0 x 1 y n es un entero positivo cualquiera, 0 x 1

n
Prueba: Elijamos una x tal que 0 x 1 . Sea S el conjunto de todos los enteros positivos n
tales que 0 x 1 . Queremos mostrar que S es el conjunto de todos los enteros positivos,
n
Llegaremos a tal conclusin aplicando el Primer Principio de Induccin Matemtica.
i) Paso Bsico: si n 1 , 0 x 1 , la proposicin es cierta

n
ii)Paso Inductivo: Si n m , aceptamos la validez que 0 x 1 ( )

m
m 1
iii) Debemos demostrar que para n m 1 , 0 x 1 ( )
Demostracin: Si : 0 x 1 (1) x0 (2)
De ( ), si: 0 x 1
m
0.x x m .x 1.x 0 x m 1 x (3)
De (1) y (3): 0 x m 1 1
35. Demostrar que x y es un factor de: x n y n , n N

Se dice que x y es un factor de x n y n , n N , siempre que:
Pn : x n y n = ( x y ).Qn1 ( x, y ) , Qn1 ( x, y ) es un polinomio de x e y.
i) Paso Bsico: si n 1 , es trivial que x y es un factor de x1 y1 , puesto que:

x1 y 1Q0 ( x, y ) ( x y ).1 x y , as P1 es cierta.
ii) Paso Inductivo: para n m , x y es un factor de x m y m , esto es, que:

x m y m = ( x y )Qm1 ( x, y ) , para algn polinomio Q ( x, y ) ( )
iii) Entonces, para n m 1 , debe cumplirse que: x m1 y m1 = ( x y )Qm ( x, y )
Demostracin:
Pm+1 : x m1 y m1 x m1 x m y x m y y m1 x m ( x y ) y( x m y m )
x m ( x y ) y ( x y )Qm1 ( x, y ) ( x y )( x m y.Qm1 ( x, y ))
Expresin ltima que tiene a ( x y ) como un factor. Por consiguiente, la veracidad de
Pm implica la veracidad de Pm1 . Por el Principio de Induccin Matemtica concluimos que,
Pn es cierto para todo n 1
36. Prubese que para cualquier nmero real p 1 y cualquier entero positivo n,
(1 p) n 1 np
Esta desigualdad se llama la desigualdad de Bernoulli.
30
Solucin: n , p 1 , (1 p)n 1 np
i) Paso Bsico: Si n = 1: (1 p)1 1 1. p , la proposicin es cierta.
ii) Paso Inductivo: si n = m , aceptamos que (1 p)m 1 mp , es vlida.
iii) Si Para n = m + 1, debemos demostrar que: (1 p)m 1 1 (m 1) p

Demostracin:
De ( ii ) , si: (1 p)m 1 mp (1 p)m (1 p) (1 mp)(1 p)
(1 p) m 1 1 mp p mp2 (1 p) m 1 1 (m 1) p mp2 ( 1 )
Si p 1 p 2 0 mp2 0 1 (m 1) p mp2 1 (m 1) p (2)
De ( 1 ) y ( 2 ): (1 p) m 1 1 (m 1) p
37. Dada la funcin : + estrictamente creciente, tal que f ( xy) f ( x) f ( y)
(Cauchy), demustrese utilizando el Principio de Induccin Matemtica que f ( x n ) nf ( x) ,
n N
Solucin: Si : + / f ( xy) f ( x) f ( y) (I)
S x 1 , f (1. y) f (1) f ( y) f (1) 0
S x y , f ( x.x) f ( x) f ( x) ( 2 ) = 2() (1)
Tambin, f ( x3 ) f ( x.x 2 ) f ( x) f ( x 2 )
f ( x ) 2 f ( x) f ( x 3 ) 3 f ( x ) (2)
f ( x 4 ) f ( x.x3 ) f ( x) f ( x3 )
f ( x ) 3 f ( x) f ( x 4 ) 4 f ( x) (3)
Entonces, cualquiera que sea n inducimos que: f ( x n ) nf ( x) , luego :

i) Paso Bsico: Si n 1 , f ( x1 ) 1. f ( x) , la proposicin es verdadera.
ii) Paso Inductivo: Si n m , aceptamos que, f ( x m ) mf ( x) ( )
iii) Entonces, para n m 1 , debe cumplirse que: f ( x m 1 ) (m 1) f ( x) ( )

Demostracin:
f ( x m 1 ) f ( x.x m ) f ( x) f ( x m )
De ( ) f ( x m 1 ) f ( x) mf ( x) f ( x m 1 ) (m 1) f ( x)
31
n n
Teorema: Para cualquier entero positivo n, cak c ak ; c es una constante.
k 1 k 1
n n
Demostracin: Sea S el conjunto de los enteros positivos n para los que: cak c ak
k 1 k 1
1 1
i) Paso Bsico: Si n 1 , cak ca1 c ak , luego 1 S . La proposicin es cierta.
k 1 k 1
ii) Paso Inductivo: Si m S , es decir, si n m , aceptamos la validez de:
m m
cak c ak ( )
k 1 k 1
m 1 m 1
iii) Entonces debemos demostrar que, si n m 1, cak c ak (
k 1 k 1
)
De ( ) :
m 1 m m m m 1
cak cak cam 1 c ak c am 1 c ak am 1 c ak
k 1 k 1 k 1 k 1 k 1
m 1 m 1
c ak c ak
k 1 k 1
As pues m S implica que (m 1) S , luego, por el Principio de Induccin Matemtica,
S es el conjunto de todos los enteros positivos.
n n n
Teorema: Para cualquier entero positivo n, ak bk ak bk
k 1 k 1 k 1
Solucin: Sea S el conjunto de todos los enteros positivos n para los que
n n n
ak bk ak bk
k 1 k 1 k 1
1 1 1
i) Paso Bsico: Para n=1, 1 S , puesto que ak bk a1 b1 ak bk
k 1 k 1 k 1
m m m
ii) Paso Inductivo: Si m S , es decir, ak bk ak bk ( )
k 1 k 1 k 1
m 1 m 1 m 1
iii) Debemos demostrar que s (m 1) S , (ak bk ) ak bk ,
k 1 k 1 k 1
m 1 m m m
Demostracin: (ak bk ) (ak bk ) am1 bm1 ak bk am1 bm1
k 1 k 1 k 1 k 1
32
m 1 m m
(ak bk ) ak am1 bk bm1
k 1 k 1 k 1
m 1 m 1 m 1
(ak bk ) ak bk
k 1 k 1 k 1
As pues, m S implica que (m 1) S , donde S , por el Principio de Induccin

Matemtica, es el conjunto de todos los enteros positivos.
El Teorema del Binomio
Antes de enunciar el teorema del binomio, proporcionaremos unas cuantas notaciones
estndares para cantidades que se presentan en el enunciado del teorema.
Factorial de n: n!
Definicin: El factorial de un nmero entero no negativo n, ledo Factorial de n y
denotado por n!, se define como sigue:
n! = 1. 2. 3, n , para n 1 , y 0! 1
Por analoga, con la notacin para sumas, podemos usar la notacin pi mayscula, que
llamaremos productoria, para presentar productos. Luego

n
n! k 1. 2. 3, n , n 1
k 1
Coeficiente Binomial
n
Definicin: El coeficiente binomial denotado por , ledo nmero combinatorio n de k ,
k
n n!
se define como: k , kn
(n k )!k !
Propiedades:
m m n n
1.- m 1 2.-

0 k n k
n n k n m m m 1
3.-
4.-
k
k 1 k 1 k
k k 1
Teorema del Binomio
Teorema: Si x e y son nmeros reales distintos de cero y n es un entero positivo, entonces
33
n
n
( x y) xnk y k
n
k 0 k
n
n nk k
Solucin: Sea S el conjunto de los enteros positivos, para los que ( x y )
n
k x y
k 0
i) Paso Bsico: 1 S ya que para n 1 ,
1
1 1 k k 1 0 1 0 1
( x y)
1
k x y 0 xy 1 x y 1. x.1 1.1. y x y
k 0
m
m mk k
ii) Paso Inductivo: Si n m S , aceptamos que ( x y ) x ( )
m
y
k 0 k
iii) Entonces, para n m 1 S , debe cumplirse que
m 1
m 1 m 1 k k
( x y) m 1
x y ( )
k 0 k
m
m
Demostracin: ( x y ) m 1
( x y ).( x y ) m
( x y ). k xm k y k
k 0
m
m mk k m
m
( x y ) m 1 = x x y y xmk y k
k 0 k k 0 k
m
m m 1 k k m m m k k 1
= k x y k x y
k 0 k 0
m
m m 1 k k m 1 m 1 m 1 k k 1
= k x y k x y
k 0 k 1
m
m m 1 k k m 1 m m 1 k k
= x y x y
k 0 k k 1 k 1
m m 1 m
m m
m m 1 k k m m 1
( x y ) m 1 = x x m 1 y k x y y
0 k 1 k k 1 k 1 m
m m 1 m m m m 1 k k m m 1
= x x y y

0 k 1
k k 1 m
m m 1 m m 1 m 1 k k m m 1
= x x y y

0 k 1 k m
m 1 m 1 m m 1 m 1 k k m 1 m 1
= x x y y
0 k 1 k m 1
m 1
m 1 m 1 k k
( x y )m 1 k x y
k 0
34
Aplicaciones Geomtricas
38. Para todo nmero natural n >1, calcular el nmero de rectas determinadas por n puntos
situados en un plano y tal que cada tres de ellos no estn alineados. Demustrese por
induccin dicha afirmacin.
Solucin: N de Puntos N de Rectas

2( 2 1)
2 puntos 1 recta 1
P1 L1 2
3(3 1)
P2 3 puntos 3 rectas 3
L1 2
P1 recta N de ptos
3 rectas = 1 2
anterior anteriores
P3
4( 4 1)
L2 4 puntos 6 rectas 6
2
L2
N rectas
6 rectas = 3 + 3 ( N de puntos anteriores)
anteriores
L1 5(5 1)
P2 5 puntos 10 rectas: 10
2
P3 L2
P1 N de
L4

10 rectas rectas
N de ptos
4
anteriores anteriores

L3
P4
L5
L6
Observamos segn la ley de formacin que con n puntos determinamos:
n( n 1) n(n 1) (n 1)n
rectas P(n) P(n 1)
2 2 2
Demostracin:
2(2 1)
i) Paso Bsico: Si n = 2: P(2) 1 , es decir, una recta, la proposicin es
2
verdadera
m( m 1)
ii) Paso Inductivo: Si n = m, aceptamos que: P(m) = es verdadera. ( 1 )
2
( m 1) m
iii) Si n = m + 1, debemos demostrar que: P(m 1) =
2
35
m(m 1) m(m 1) 2m m(m 1)

P(m 1) = P(m) m m
2 2 2
39. La suma de las medidas de los ngulos interiores de un polgono convexo de n lados (sin
hoyos ni abolladuras) es n 2 , demustrelo por induccin matemtica.
Solucin:
Sea S n la suma de las medidas de los ngulos interiores de un polgono convexo de n
lados, donde:
S n = 180(n - 2) ( I )
i) Paso Bsico: Si n = 3 S 3 = 180(3 - 2) = 180 , la proposicin es verdadera
ii) Paso Inductivo: Para n = m, aceptamos la validez de: S m = 180(m - 2) ( 1 )
iii) Para n m 1, debemos demostrar que: S m1 180(m 1) ( 2 )
Como: S 3 = 180 = 180 = 180 (3-3) + 180

S 4 = 360 = 180 + 180 = 180 (4-3) + 180
S 5 = 540 = 360 + 180 = 180 (5-3) + 180
S 6 = 720 = 540 + 180 = 180 (6-3) + 180
S 7 = 900 = 720 + 180 = 180 (7-3) + 180
Inducimos que , S m = 180 (m-3) + 180 = 180 (m-2)

Demostracin:
Sm1 Sm 180 = 180 m 2 180 = 180m 2 1 = 180m 1
S m1 180(m 1) S n 180 (n 2)
40. Demuestre, utilizando el principio de induccin matemtica, que el nmero de diagonales

n n 3
de un polgono convexo de n lados es:
2
Solucin: Sea d n el nmero de diagonales de un polgono de n lados, donde:

n ( n 3)
dn , n4
2
4( 4 3) 4 .1
i) Paso Bsico: Si n = 4 d 4 = =2
2 2
m(m 3)
ii) Paso Inductivo: Para n = m , aceptamos la validez de la frmula: d m ( 1 )
2
(m 1)( m 2)
iii) Para n = m + 1, debemos demostrar que: d m1
2
Observamos que para: n = 4 d 4 = 2 = 0 + (3-1)
36
n = 5 d 5 = 5 = 2 + (4-1)
n = 6 d 6 = 9 = 5 + (5-1)
n = 7 d 7 = 14 = 9 + (6-1)
n = 8 d 8 = 20 = 14 + (7-1)
Demostracin:
d m1 d m m 1
m( m 3) m(m 3) 2(m 1) m 2 3m 2m 2
= m 1 =
2 2 2
m 2 m 2 (m 1)( m 2)
d m1 =
2 2
37
Aplicaciones Trigonomtricas
sen n21 xsen n2 x
41. Demostrar que: senx sen2 x sen3x ... sennx , x 2k .
sen 2x
Solucin: Como:
n sen n21 xsen n2 x
senkx senx sen2 x sen3x ... sennx
sen 2x
, x 2k
k 1
1 senx sen 2x
i) Paso Bsico: Si n 1 , senkx senx
sen 2x
senx , es decir, la
k 1
proposicin es cierta.
m sen m21 x sen m2 x
ii) Paso Inductivo: Si n m , aceptamos que: senkx , x 2k ...(1)
k 1 sen 2x
m 1 sen m2 2 x sen m21 x

iii) Para n m 1 debemos demostrar que: senkx
sen 2x
...(2)
k 1
m 1 m
Demostracin: Como: senkx senkx sen(m 1) x , luego , de (1):
k 1 k 1
m 1 sen m21 x sen m2 x

senkx
sen 2x
sen(m 1) x
k 1
m 1 sen m21 x sen m2 x m 1 m 1

senkx =
sen 2x
2sen
2
x cos
2
x
k 1
m 1

sen m21 x sen m2 x 2sen 2x cos m21 x sen
2

x sen m2 x sen m2 2 x sen m2 x
sen 2x sen 2x
m 1 sen m21 x sen m2 2 x
senkx
sen 2x
k 1

n sen n21 x sen n2 x
senkx
sen 2x
, x 2k
k 1
42. Demostrar que para cualquier nmero entero positivo n es vlida la igualdad:
2 3 n n n 1
sen sen sen .... sen 2 sen sen
3 3 3 3 6 6
38
n
k 2 3 n n n 1
Solucin: Si: sen
K 1 3
= sen sen
3 3
sen
3
.... sen
3
2 sen
6
sen
6
( I )

i) Paso Bsico: Si n =1: sen 2sen cos 2sen sen , es decir la proposicin
3 6 6 6 3
es verdadera.
ii) Paso Inductivo: Si n = m:, aceptamos que:
2 m m m 1
sen sen .... sen 2 sen sen ( 1 )
3 3 3 6 6
iii) Si n m 1, debemos demostrar que:
m 1
k 2 (m 1) m2
sen
K 1 3
= sen sen
3 3
.... sen (m 1) 2sen
3 6
sen
6

m 1
k m
k
Demostracin: sen
K 1 3
= sen 3
sen(m 1)
3
K 1
m 1
k m (m 1)
De ( ): sen
K 1 3
2 sen
6
sen
6
sen (m 1)
3
m ( m 1)
= 2 sen sen 2 sen ( m 1) cos( m 1)
6 6 6 6
(m 1) m
= 2Sen
6 Senm 6 Cos(m 1) 6
(m 1) m
= 2Sen Sen 6 Sen 2 (m 1) 6
6
m 2 m
= 2Sen(m 1) Sen Sen
6 6 6
1

2
(m 1) (m 1)
= 2sen 2sen cos
6 6 6
(m 1) (m 1) (m 1) (m 2)
= 2sen sen 2sen sen
6 2 6 6 6

B) Mtodo II: Hagamos, ahora x en la expresin anterior, logrando la expresin:
3
( n 1)
n
k 2 3 n sen 2 3 sen n2 . 3
sen
3
sen sen
3 3
sen
3
... sen
3 sen 2/3
k 1
39
n
k 2 3 n n
sen
3
sen sen
3 3
sen ... sen 2sen(n 1) sen
3 3 6 6
k 1
n
sen(2nx)
43. Demuestre que para todo entero n 1 , si senx 0 , cos(2k 1) x
2senx
k 1
Solucin: Como:
n
sen(2nx)
cos(2k 1) x cos x cos3x cos5 x ... cos(2n 1) x
2senx
(I)
k 1
1
2senx cos x sen2 x
i) Paso Bsico: Si n 1 , cos(2k 1) x cos x
2senx

2senx
,
k 1
senx 0 es decir, la proposicin es cierta.

ii) Paso Inductivo, Si n m aceptamos que:
m
sen(2mx)
cos(2k 1) x
2senx
, x k , k Z (1)
k 1
iii) Entonces, para n m 1 debemos demostrar que:
m 1
sen2(m 1) x
cos(2k 1) x
2senx
(2)
k 1
m 1 m
Demostracin: Como cos(2k 1) x cos(2k 1) x cos(2(m 1) 1) x ,
k 1 K 1
luego , de (1):
m 1
sen(2mx) sen(2mx) 2senx cos(2m 1) x
cos(2k 1) x
2senx
cos(2m 1) x
2senx
k 1
sen(2mx) sen((2m 1) x x) sen((2m 1) x x)
=
2senx
sen(2mx) sen2(m 1) x sen(2mx) sen2(m 1) x
=
2senx 2senx
m 1
sen2(m 1) x
cos(2k 1) x 2senx , x k
k 1
44. Demostrar que:
senx sen( x h) sen( x 2h) ... sen( x nh)

sen x nh
2 n21 h
sen
, h 2k
sen h2
Solucin:
n 1
sen( x (k 1)h) senx sen( x h) sen( x 2h) ... sen( x (k 1)h)
k 1
40
... sen( x (n 1)h) sen( x nh)

sen x nh
2 n21 h
sen
, h 2k
sen h2
i) Paso Bsico; Si n 1 ,
2
h h
sen( x (k 1)h) senx sen( x h) 2sen x cos
2 2
k 1
h h h h
sen x .2sen cos sen x senh
2 2 2 2
h h
sen sen
2 2
luego, la proposicin es verdadera.
ii) Paso Inductivo: si n m , aceptamos que:
mh m 1
m 1 sen x sen h
2 2
sen( x (k 1)h) h
( )
k 1 sen
2
iii) Entonces, para n m 1 , debemos demostrar que:
(m 1)h m2
m 2 sen x sen h
2 2
sen( x (k 1)h) h
k 1 sen
2
Demostracin:
m 2 m 1
sen( x (k 1)h) sen( x (k 1)h) sen( x (m 1)h)
k 1 k 1
mh m 1
sen x sen h
De ( ): 2 2 sen( x (m 1)h)
h
sen
2
mh m 1 h
2sen x sen h 2sen( x (m 1) h) sen
2 2 2
h
2sen
2
mh m 1 mh m 1 h h
cos x h cos x h cos x (m 1)h cos x (m 1 h
2 2 2 2 2 2
h
2sen
2
41
h 2m 1 (2m 1) 2m 3
cos x cos x h cos x h cos x h
2 2 2 2
h
2sen
2
h 2m 3 m 1 m2
cos x cos x h 2 sen x h sen h
2 2 2 2

h h
2 sen 2 sen
2 2
m 1 m2
m 2
sen x h sen h
2 2
sen( x (k 1)h)
h
k 1 sen
2
45. Demuestre que n N , sen nx n sen x

Solucin: Si: sen nx n sen x (I)
i) Paso Bsico: si n 1 , senx 1. senx , la proposicin es verdadera
ii) Paso Inductivo: para n m , aceptamos que: sen mx m sen x ( )
iii) Debemos demostrar que para n m 1, sen(m 1) x (m 1) senx ( )
Demostracin: sen(m 1) x sen(mx x) sen mx cos x cos mxsenx
sen(m 1) x senmx cos x cos mxsenx ( )
x R y m N , cos x 1 y cos mx 1
senmx cos x senmx senmx cos x senmx (1)
y cos mx senx senx cos mxsenx senx (2)
(1) + (2): senmx cos x cos mxsenx senmx senx (3)
(3) en ( ): sen(m 1) x senmx senx ( )
De ( ) , si senmx m senx senmx senx m senx senx

senmx senx (m 1) senx ( )
De ( ) y ( ): sen(m 1) x (m 1) senx
42
46. Demuestre la frmula de MOIVRF
(cos i sen )n cos n isen n

Solucin:
i) Paso Bsico: La frmula es vlida para n =1, puesto que
(cos i sen )1 cos1. i sen1. cos i sen

ii) Paso Inductivo: Para n = m, supongamos que la frmula es cierta, o sea que
(cos i sen )m cosm isen m ... ( )

iii) Entonces, debemos demostrar que para n = m +1
(cos i sen )m1 cos m 1 isen m 1
Demostracin:
De ( ) , si: (cos i sen )m cosm isen m
(cos i sen )m .(cos isen ) (cos m isen m )(cos isen )

(cos i sen )m1 cosm cos i 2 sen m sen i cos m sen isenm cos
cos m cos senm sen i(senm cos cos m sen )
(cos i sen )m1 cos m i sen m
(cos i sen )m1 cos m 1 i sen m 1
43
Aplicaciones a Teora de Conjuntos
47. Sean A1 , A2 , A3 ,., An n subconjuntos cualesquiera de un conjunto U.

Demuestre por induccin, que:
n n
Ak AK
k 1 K 1
Solucin:
i) Paso Bsico: Si n = 2, el resultado es trivial, puesto que es una aplicacin de la ley de
Morgan.
2 2
AK A1 A2 A1 A2 Ak
K 1 k 1
i) Paso Inductivo: Supngase que P(m) es verdad para alguna m 1, sean
A1 , A2 , A3 ,..., An , An1 , n 1 conjuntos cualquiera de U. Es decir que:
m m
Ak AK ( I )
k 1 K 1
m 1 m 1
iii) Para n = m +1, debemos demostrar que: Ak AK
k 1 K 1
n 1
n
Demostracin: Como : AK = ( A1 A2 A3 A4 ... An ) An1 AK An 1
K 1 K 1
Por lo tanto, si B = A1 A2 A3 A4 ... An se tiene:
m 1 m m m 1
AK AK Am 1 = B Am 1 = B Am1 = Ak Am 1 Ak
K 1 K 1 k 1 k 1
m 1 m 1
Ak AK
k 1 K 1
48. Demuestre por induccin matemtica que s A1 , A2 , A3 ,., An son n subconjuntos

cualesquiera de un conjunto U, entonces:
n n
A
k 1
k = AK
K 1
n n
Solucin: Debemos demostrar que: Ak Ak , entonces:
k 1 k 1
2 2
i) Paso Bsico Si n = 2 Ak A1 A2 A1 A2 = A
k 1
k , es decir, la proposicin es
k 1
cierta.
44
m m
ii) Paso Inductivo: Si n = m aceptamos la validez de: Ak Ak
k 1 k 1
m 1 m 1
iii) Entonces, para n = m + 1, debemos demostrar que: Ak Ak
k 1 k 1
Demostracin:
De :
m 1 m m m m 1
AK AK Am 1 AK Am 1 = AK Am1 = A K
k 1 k 1
K ?1 K 1 K 1
49. Demuestre por induccin matemtica que si A1 , A2 , A3 ,...., An , y B son subconjuntos de un

conjunto U, entonces:
n n
Ak B Ak B
k 1 k 1
n
n
Solucin: Debemos demostrar que: Ak B Ak B
k 1 k 1
2 2
i) Paso Bsico: Si n = 2: Ak B = ( A1 A2 ) B = ( A1 B) ( A2 B) Ak B ,
k 1 k 1
la proposicin es cierta.
m

m
ii) Paso Inductivo: Para n = m aceptamos que: AK B AK B
K 1 K 1
m1 m 1
iii) Entonces, para n = m + 1, debemos demostrar que: AK B AK B
K 1 K 1
Demostracin:
m 1 m m

AK B AK Am 1 B = AK B Am1 B
K 1 K 1 K 1
m m 1
n n
= AK B Am1 B = AK B AK B ( AK B
K 1 K 1 K 1 K 1
50. Demuestre por induccin matemtica que si A1 , A2 , A3 ,...., An , yB son subconjuntos de un

conjunto , entonces:
n n
AK B AK B
K 1 K 1
n n
Solucin: Debemos demostrar que: AK B AK B
K 1 K 1
45
2
i) Paso Bsico: Si n = 2, AK B ( A1 A2 ) B ( A1 B2 ) ( A2 B) =
K 1
2
Ak B , la proposicin es cierta .
K 1
m m
ii) Paso Inductivo: Si n = m: aceptamos que: AK B AK B (
K 1 K 1
) iii) Para n = m + 1 debemos demostrar que:
m1 m 1
AK B AK B
K 1 K 1
m1 m m
Demostracin: AK B AK Am1 B = AK B Am1 B
k 1 K 1 K 1
m m 1
= AK B Am1 B =
K 1 K 1
AK B
m 1
m1 n
n
AK B ( AK B) AK B ( AK B)
K 1 K 1 K 1 K 1
46
Aplicaciones a Sucesiones Recursivas
Leonardo de Pisa [Fibonacci]8
Matemtico italiano que difundi en Occidente los

conocimientos cientficos del mundo rabe, los cuales recopil en
el Liber Abaci (Libro del baco). Populariz el uso de las cifras
rabes y expuso los principios de la trigonometra en su
obra Practica Geometriae (Prctica de la geometra).
Considerado como el primer algebrista de Europa

(cronolgicamente hablando) y como el introductor del sistema
numrico rabe, fue educado de nio en Argelia, donde su padre era funcionario de aduanas, y
donde aprendi "el baco, al uso de los indios". Despus tuvo manera, por razones de tipo
comercial, de conocer todo lo que de esta ciencia se enseaba en Egipto, en Siria, en Sicilia y
en Provenza. Al material as reunido le dio un orden, una unidad de mtodo y una claridad de
enseanza en el Liber Abaci (Libro del baco), que, como modelo de texto universitario,
sirvi tambin, por su caudal de ejemplos, para la compilacin de manuales de aritmtica para
uso de los comerciantes.
En l aparecen por primera vez en Occidente, las nueve cifras hindes y el signo del cero.
Leonardo de Pisa brinda en su obra reglas claras para realizar operaciones con estas cifras
tanto con nmeros enteros como con fracciones, pero tambin proporciona la regla de tres
simple y compuesta, normas para calcular la raz cuadrada de un nmero, as como
instrucciones para resolver ecuaciones de primer grado y algunas de segundo grado.
Pero Fibonacci es ms conocido entre los matemticos por una curiosa sucesin de
nmeros:
1; 1; 2; 3, 5; 8; 13; 21; 34; 55; 89....
que coloc en el margen de su Liber abaci junto al conocido "problema de los conejos" que
ms que un problema parece un acertijo de matemticas recreativas. El problema en lenguaje
actual dira:
"Una pareja de conejos tarda un mes en alcanzar la edad frtil, a partir de ese momento cada
vez engendra una pareja de conejos, que a su vez, tras ser frtiles engendrarn cada mes una
pareja de conejos. Cuntos conejos habr al cabo de un determinado nmero de meses?."
En este grfico vemos que el nmero de parejas a

lo largo de los meses coincide con los trminos de la
sucesin.
Veamos con detalle estos nmeros.
1; 1; 2; 3, 5; 8; 13; 21; 34; 55; 89, 144....
Es fcil ver que cada trmino es la suma de los dos

anteriores. Pero existe entre ellos otra relacin curiosa,
el cociente entre cada trmino y el anterior se va
47
acercando cada vez ms a un nmero muy especial, ya conocido por los griegos y aplicado en
sus esculturas y sus templos: el nmero ureo.
1 5
=1.618039....
2
Pero los nmeros de la sucesin de Fibonacci van a
sorprender a todos los bilogos.
Como muy bien nos ensea la filotaxia, las ramas y las

hojas de las plantas se distribuyen buscando siempre recibir
el mximo de luz para cada una de ellas. Por eso ninguna
hoja nace justo en la vertical de la anterior. La distribucin
de las hojas alrededor del tallo de las plantas se produce
siguiendo secuencias basadas exclusivamente en estos
nmeros.
El nmero de espirales en numerosas flores y frutos tambin se ajusta a parejas

consecutivas de trminos de esta sucesin: los girasoles tienen 55 espirales en un sentido y 89
en el otro, o bien 89 y 144.
Las margaritas presentan las semillas en forma de 21 y 34 espirales.
Y cualquier variedad de pia presenta siempre un nmero de espirales que coincide con
dos trminos de la sucesin de los conejos de Fibonacci, 8 y 13; o 5 y 8.
Parece que el mundo vegetal tenga programado en sus cdigos genticos del crecimiento
los trminos de la sucesin de Fibonacci.
Rectngulos de Fibonacci y espiral de Durero
Podemos construir una serie de rectngulos utilizando los

nmeros de esta sucesin.
Empezamos con un cuadrado de lado 1, los dos primeros

trminos de la sucesin.
Construimos otro igual sobre l. Tenemos ya un primer

rectngulo Fibonacci de dimensiones 2 x1.
Sobre el lado de dos unidades construimos un cuadrado y

tenemos un nuevo rectngulo de 3x2.
Sobre el lado mayor construimos otro cuadrado, tenemos

ahora un rectngulo 5x3, luego uno 5x8, 8x13, 13x21...
Podemos llegar a rectngulo de 34x55, de 55x89...

Cuanto ms avancemos en este proceso ms nos
aproximamos al rectngulo ureo.
48
Hemos construido as una sucesin de rectngulos, cuyas dimensiones partiendo del cuadrado
(1x1), pasan al rectngulo de dimensiones 2x1, al de 3x2, y avanzan de forma inexorable
hacia el rectngulo ureo.
Si unimos los vrtices de estos rectngulos se nos va formando una curva que ya nos resulta
familiar. Es la espiral de Durero.
Una espiral, que de forma bastante ajustada, est presente en el crecimiento de las conchas de
los moluscos, en los cuernos de los rumiantes... Es decir, la espiral del crecimiento y la forma
del reino animal.
Fibonacci sin pretenderlo haba hallado la llave del crecimiento en la Naturaleza.
La Sucesin de Fibonacci
Es la sucesin definida recursivamente por:

F1 1 , F 2 1 y F n F n 1 F n 2 I
Sucesin en la cual para calcular F n necesitamos encontrar los dos trminos precedentes
F n 1 y F n 2 , segn se observa en la relacin dada en (I). Puesto que ya conocemos los

valores de F1 y F 2 y F n F n 1 F n 2 , entonces , si:
a) n 3 : F 3 F 2 F1 1 1 2 F 3 2
b) n 4 : F 4 F3 F 2 2 1 3 F 4 3
c) n 5 : F5 F 4 F3 3 2 5 F5 5
d) n 6 : F6 F5 F 4 5 3 8 F6 8
e) n 7 : F 7 F 6 F 5 8 5 13 F 7 13
f) n 8 : F8 F 7 F 6 13 8 21 F8 21
Observamos los trminos obtenidos, deducimos que cada trmino es

simplemente la suma de los dos trminos que lo preceden, por lo que
con toda facilidad se pueden escribir tantos trminos como
queramos. He aqu los primeros 10 trminos:
1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 , 34 , 55 ,
Esta sucesin se denomina sucesin de Fibonacci, en honor del

matemtico italiano del siglo XIII que lo utiliz para resolver un
problema relacionado con la reproduccin de los conejos. La
La sucesin de Fibonacci en sucesin tambin se presenta en numerosas situaciones en la
el crecimiento de las ramas
de los rboles.
49
naturaleza, puesto que muchos fenmenos se compartan segn la sucesin de Fibonacci que
una revista matemtica, el Fibonacci Quarterly slo se dedica a las propiedades de esta
sucesin.
CONEJOS DE FIBONACCI: Fibonacci plante el siguiente problema: suponga que los

conejos viven por siempre y que cada mes cada pareja produce un nuevo par, por el cual ya es
productivo a los dos meses. Si se empieza con un par de conejos recin nacidos, Cuntos
pares de conejos habr en el n-simo mes? Demuestre que la respuesta es F n , donde es el n-
simo trmino de sucesin de Fibonacci.
51. Demuestre que para cualquier valor entero y positivo n , la cantidad

a n bn 1 5 1 5
Sn , a , b es un nmero entero y positivo.
5 2 2
1 1 5 1 5
n n
a n bn
Solucin: Sea: Sn (I)
5 5 2 2

i) Paso Bsico: Para n 1 ,
1 1 5 1 5 1
1 1
a1 b1
S1 . 5 1
5 5 2 2 5

ii) Paso Inductivo: Para n m , aceptamos que: Sm
1 m
5
a bm (
)
iii) Entonces, debemos demostrar que para n m 1,
Sm1
5
a
1 m1 m1
b (
)
1 5 1 5
Por dato, si a y b a b 1 y ab 1
2 2
De ( ), como Sm Sm .1 Sm .(a b)
1 m
5

a b m ( a b)
a m . a a m .b abm bm .b
=
5
1
5 Sm a m 1
b m 1

ab a m 1 bm 1
De (I):
m 1 m 1 m 1 m 1
a b a b
Sm Sm 1 Sm 1 Sm 1 Sm 1 Sm
5 5
50
Segn ( ), como los nmeros Sm 1 y S m son nmeros enteros y positivos, entonces,

tambin S m 1 y, por consiguiente Sm 2 , Sm 3 ,... , sern nmeros enteros y positivos;
adems como S1 1 , S 2 1 , S3 2 , por lo tanto, para n 2 todos los valores de S n
sern enteros positivos.
52. Sea S 0 0, S1 1 y S n 2 S n1 S n para n 0 (esta es la

sucesin de Fibonacci). Entonces, demuestre la frmula
recursiva, utilizando Induccin Matemtica.
1 1 5 1 5
n n
Sn
5 2 2

1 1 5 1 5
n n
Blaise Pascal7 (1623-1662) es
considerado como una de las Solucin: Si: Sn (I)
mentes ms verstiles de la 5 2 2
historia moderna. Fue escritor y
filsofo, as como matemtico
y fsico dotado. Entre las con- i) Paso Bsico: Si n = 1:
tribuciones que aparecen en
1 1 5 1 5
este libro se encuentran el trin-
gulo de Pascal y el principio de S1
5 2

2

1
5

5 1 S1 1
la induccin matemtica.
El padre de Pascal, tambin ii) Paso Inductivo: Si n = m, aceptamos que:
matemtico, pensaba que su
1 1 5 1 5
m m
hijo estudiara matemtica, has-
ta cuando tuviera 15 o 16 aos, Sm
2 ( 1 )
pero a los 12 aos, Blaise 5 2
insisti en estudiar geometra, y
demostr el mismo la mayor iii) Para n = m + 1, debemos demostrar que:
parte de los teoremas ele-
1 1 5
mentales. Cuando tena 19 aos m 1 m 1
1 5
invent la primera sumadora
S m1
mecnica. En 1647, despus de
5 2 2
escribir un tratado sobre las
secciones cnicas, abandono en
forma repentina sus estudios de Demostracin:
matemticas porque sinti que
su intensa dedicacin contri-
bua a su mala salud. Se dedic (La demostracin queda para el alumno).
entonces a actividades frvolas,
como el juego, pero esto solo
sirvi para que se despertara su
52. Para la sucesin de Fibonacci demuestre que para n 1 ,
inters en la probabilidad. En
1654 sobrevivi milagrosa- F 12 F 22 F 32 F n2 F n .F n 1
mente al accidente de un
Solucin: Sea P n la proposicin:

carruaje en el cual los caballos
cayeron de un puente. Tom
I
esto como una seal divina, as
que ingres a un monasterio, F 12 F 22 F 32 F 2n F n .F n 1
donde se entreg con afn a la
teologa y la filosofa, y escri- i) Paso Bsico: Si n 1,
bi sus famosos Penses. Tam-
bin prosigui con la invest-
gacin matemtica. Para l, la
P 1 : F 12 12 1.1 F1.F 2 , la proposicin es verdadera.
fe y la intuicin eran ms valio-
sas que la razn como fuente de ii) Paso Inductivo: Si n=m , aceptamos que es verdadera
la verdad, por lo que afirm
que el corazn tiene sus pro- la proposicin.
pias razones, qu razones, no lo
podemos saber.
51
P m : F 12 F 22 F 32 F 2m Fm .F m 1

iii) Entonces, para n m 1 , debemos demostrar que,
P m 1 : F 12 F 22 F 32 F 2m1 F m1.F m 2
Demostracin:
Fm 2
De : F 1 F 2 F 3 F 2m F 2m 1 Fm .F m 1 F m2 1 F m 1 ( F m Fm 1 ) 1
2 2 2
Pero, la serie de Fibonacci, para m 1: Fm2 Fm1 Fm 2

(2) en (1): F 12 F 22 F 32 F 2m1 F m1.F m 2
Entonces P m 1 se infiere de P m . Por lo tanto, segn el Principio de Induccin
Matemtica, P n se cumple para toda n.
53. El smbolo F n denota el n-simo trmino de la sucesin de Fibonacci. Aplique la

Induccin Matemtica para demostrar que F 3n es par n N .
Solucin: Sea P n la proposicin F 3n es par:
i) Paso Bsico: Si n=1 , P 1 : F 3.1 F 3 2 , la cual es par. La proposicin es par.

ii) Paso Inductivo: Si n m , supongamos que P m : F 3m es par
iii) Entonces, para n m 1 , debemos demostrar que P m 1 : F3 m 1 es par.
Demostracin: Utilizando la definicin de la sucesin de Fibonacci:
F 3 m1 F 3m3 F 3m 2 F 3m1
F 3 m1 F 3m F 3m1 F 3m1 F 3m 2F 3m1

De : F 3m es par y evidentemente 2 F 3m 1 tambin es par. Entonces, de ,
P m 1 se infiere de P m . Por lo tanto, segn el Principio de Induccin Matemtica,
P n se cumple para toda n natural.
n
54. Serie y sucesin de Fibonacci: Demuestre que, Fn 2 1 Fk , donde Fn es la
k 1
sucesin de Fibonacci.
52
n
Solucin: Sea la proposicin Pn : Fn 2 1 Fk / Fn es la sucesin de Fibonacci.
k 1
1
i) Paso Bsico: Si n 1 , P1 : F3 1 Fk F1 1 F3 1 1 F2 F1 ,
k 1
luego, la proposicin es verdadera.
ii) Paso Inductivo: Si n m , aceptamos que P m es verdadera:
m
Pm : Fm 2 1 Fk
k 1
iii) Entonces, para n m 1 debemos demostrar que:
m 1
Fm3 1 Fk
k 1
Demostracin: Como: Fm 3 Fm 2 Fm 1
De :
m m1 m 1
Fm3 1 Fm 2 1 Fm1 Fk Fm1 Fk Fm3 1 Fk , es
k 1 k 1 k 1
decir Pm 1 es verdadera. Por lo tanto , P n es verdadera n 1 .
55. Sea Fn el n-simo trmino de la sucesin de Fibonacci. Determine y demuestre una

desigualdad que relaciona n y Fn para los nmeros naturales n.
Solucin: Sea la proposicin P n : Fn n , n N I

i) F5 5 , la proposicin es verdadera.
Paso Bsico: Si n 5 , P 5 : F5 5
ii) Paso Inductivo: Si n m , supongamos que P m : Fm m

iii) Entonces, para n m 1 debemos demostrar que
P m 1 : Fm1 m 1
Demostracin: Por definicin de la sucesin de Fibonacci: Fm 1 Fm Fm 1 1
De , si Fm m , m 5 Fm Fm 1 m Fm 1 2
m 2 , Fm 1 1 m Fm 1 m 1 3
53
Fm1
De (2) y (3): Fm Fm 1 m 1 De (1): Fm 1 m 1. Entonces, P m 1 se

infiere de P m . Por lo tanto, segn el Principio de la Induccin Matemtica. P n se
cumple n 5 .
56. Encuentre una expresin para el n-simo trmino de la sucesin:

a0 1 y an n an 1 n! Fn , donde Fn es el trmino n 1 de la sucesin de
Fibonacci y luego, su resultado demustrelo utilizando el Principio de Induccin Matemtica.
Solucin: Sea la proposicin, P n : an n an 1 n! Fn y a0 1 ( I )
a) si n 1 , a1 1 a0 1! F1 1 1 1 F1 1 F1 1!(1 F1 )
b) si n 2 , a2 2a1 2! F2 2(a1 F2 ) 2(1 F1 F2 ) 2!(1 F1 F2 )
c) si n 3 , a3 3a1 3! F3 3 2!(1 F1 F2 ) 3! F3 3!(1 F1 F2 F3 )
d) si n 4 , a4 4a3 4!F4 4 3!(1 F1 F2 F3 ) 4!F4 4!(1 F1 F2 F3 F4 )

.....................................................................................................................................
.....................................................................................................................................
.....................................................................................................................................
Luego, inducimos que: an n!(1 F1 F2 F3 ... Fn ) (1)
n
Pero sabemos que: Fn 2 1 Fk (problema 54)
k 1
n
Fn 2 1 Fk 1 F1 F2 F3 ... Fn (2)
k 1
(2) en (1): an n! Fn 2 n 1
Prueba : De ( I ),
i) Paso Bsico: Si n 1 , a1 1 a0 1! F1 1 1 1 F1 1 F1 1!(1 F1 )
1!( F2 F1 ) 1! F3 , la proposicin es vlida.

ii) Paso Inductivo: Para n m , aceptamos la validez de la proposicin,
P m : am m am 1 m! Fm m! Fm 2 ( )
iii) Entonces, para n m 1, debemos demostrar que:

P m 1 : am 1 (m 1) am (m 1)! Fm 1 (m 1)! Fm 3 ( )
Demostracin: De :
54
Como: am 1 (m 1) am (m 1)! Fm 1 (m 1) m! Fm 2 (m 1)! Fm 1
(m 1)! ( Fm 2 Fm1) (m 1)! Fm3

Fm3
am 1 (m 1)! Fm 3
n
1 1 Fn 1 Fn
57. Demuestre que para todo n 2 ,

1 0 Fn Fn 1
n
1 1 Fn 1 Fn
Solucin: Sea P n la proposicin: F

1 0 n Fn 1
i) Paso Bsico: Si n 2 ,
2
1 1 1 1 1 1 2 1 F3 F2
P 2 : 1 0 1 0 1 1 F F la proposicin es verdadera.
1 0 2 1
ii) Paso Inductivo: Si n m , supongamos que P m es verdadera, es decir que:
m
1 1 Fm 1 Fm
1 0 F
m Fm 1
m 1
1 1 F F
1 0 m 2 m 1
Fm 1 Fm
Demostracin:
De :
m 1 m
1 1 1 1 1 1 Fm 1 Fm 1 1 Fm 1 Fm Fm 1

1 0 . Fm 1 1 0 Fm Fm 1 Fm
.
1 0 1 0 Fm
m 1
1 1 F Fm 1
m 2
1 0
Fm 1 Fm
Entonces, P m 1 se infiere de P m . Por lo tanto, segn el Principio de Induccin
Matemtica, P n se cumple n 2 .
En los ejercicios siguientes, establezca una regla explcita para el trmino n-simo de la
sucesin definida en forma recursiva. Luego utilice Induccin Matemtica para probar la
regla.
58. an an 1 5 , a1 3
Solucin: Si: an an 1 5 , a1 3 I
55
Si n 2 : a2 a1 5 3 5 3 1.5 3 2 1.5
Si n 3: a3 a2 5 3 5 5 3 2.5 3 3 1.5
Si n 4 : a4 a3 5 3 2.5 5 3 3.5 3 4 1.5
..................................................................................................
..................................................................................................
..................................................................................................
En general , an 3 n 1 5 an 5n 2 , n 1
i) Paso Bsico: Si n 1 , a1 5.1 2 3 , la proposicin es verdadera

ii) Paso Inductivo: Si n m , aceptamos que:
am 5m 2
am1 5 m 1 2 am1 5m 3
Demostracin:
De , si am 5m 2 am 5 5m 2 5 5 m 1 2
De (I): am1 5 m 1 2 am 1 5m 3
59. an 3an 1 , a1 2
Solucin: Si: an 3an 1 , a1 2 I

Entonces debemos demostrar que: am 1 3am II
Si n 2 : a2 3a1 3.2 2.32 1
Si n 3: a3 3a2 3. 3.2 2.331
Si n 4 : a4 3a3 3. 32.2 2.34 1
Luego, inducimos que: an 2.3n 1 , n 1 III
i) Paso Bsico: Si n 1 , a1 2.311 2.1 2 , luego, la proposicin es verdadera.
ii) Paso Inductivo: Si n m , aceptamos que: am 2.3m 1
iii) Entonces, para n=m+1 , debemos demonstrar que: am 1 2.3m
Demostracin:
56
De , si: am 2.3
m 1
3am 2.3m 1.3
De II : am 1 2.3m
n 1
60. Sean an 1 3an y a1 5 . Demuestre que an 5.3 para todos los nmeros
naturales n.
Solucin: Sea la proposicin P ( n) : an 5.3n 1 I

11
i) Paso Bsico: Si n=1 , a1 5.3 5.30 5.1 5 , la proposicin es verdadera.
ii) Paso Inductivo: Si n=m , aceptamos que P(m) : am 5.3m 1 ,

iii) Entonces, para n=m+1, debemos demostrar que P (m 1) : am 1 5.3m
Demostracin:
De , si am1 3am 3.5.3m1 P m 1 : am1 5.3m , luego P m 1 se
infiere de P m . Por lo tanto segn el Principio de la Induccin Matemtica, P n se
cumple para toda n.

n
7
61. Si S1 1, S 2 2, y S n S n1 S n2 para n = 3, 4, 5, , demostrar que S n
4
m
7
Solucin: Si S1 1 , S 2 2 , y S n S n1 S n2 , n = 3,4,5 S m ( I )
4
2
7
i) Paso Bsico: Si n=2; , S 2 2 , la proposicin es verdadera.
4
m
7
ii) Paso Inductivo: Para n = m aceptamos que, S m ( 1 )
4
m 1
7
iii) Para n = m + 1, debemos demostrar que S m1
4
Demostracin: Si S m S m1 S m2 , entonces:
m m 1 m 1
7 7 7 7
S m 1 S m S m 1 = 1
4 4 4 4
m 1 m 1 2 m 1
7 11 7 7 7
S m 1 = S m 1
4 4 4 4 4
57
Aplicaciones al Clculo Diferencial
ax
62. Halle la derivada n-sima de la funcin f, si f ( x) y el resultado obtenido
ax
demustrelo utilizando el Principio de Induccin Matemtica.
ax
Solucin: Si: y f ( x) (I)
ax
( a x ) 2 a 2a
y f ( x) 1 y f ( x) 2a( x a) 1 1 (II)
ax xa
y 2a ( x a ) (1) y 4a ( x a ) 3 y 12a( x a)4
2
y iv 48a( x a)5
y 2a(1)1.1!( x a) 11 , y 2a(1) 2 .2!( x a ) 2 1
y 2a(1)3.3!( x a) 31 , y iv 2a(1) 4 .4!( x a) 4 1 , entonces,
inducimos que:
y ( n ) 2a (1)n .n!( x a) n 1 (III)
Prueba:
i) Paso Bsico: Si n = 1, y 2a(1)1.1!( x a) 11 2a( x a) 2 . luego, de (1),
la proposicin es verdadera.
ii) Paso Inductivo: Si n = m, aceptamos que: y ( m) 2a(1) m .m!( x a) m 1 ( )
iii) Entonces, debemos demostrar que para n = m + 1
y ( m 1) 2a(1)m 1.(m 1)!( x a) ( m 1) 1 ( )

Demostracin:
De ( ) : Dx y ( m) Dx 2a(1)m .m!( x a)m1
y ( m 1) 2a(1)m .m!((m 1))( x a) m 11
= 2a (1) m ( 1).( m 1) m!( x a) m 2
y ( m 1) 2a(1) m 1.(m 1)!( x a) ( m 1) 1
1
63. Sea f ( x) . Encuentre una frmula para f ( n ) ( x ) donde n es cualquier entero
1 x
positivo.
1
Solucin: Si. f ( x) f ( x) (1 x) 1 ...(I)
1 x
f ( x) Dx (1 x)1 (1 x) 11.Dx (1 x) (1 x) 2 .(1)
f ( x) 1!(1 x) 2 (1)
58
f ( x) 2.1!(1 x) 2 1.(1) f ( x) 2!(1 x) 3

f ( x) 3.2 !(1 x) 4 .(1) f ( x) 3!(1 x) 4
Luego, inducimos que: f ( n ) ( x) n!(1 x) (n 1)
Prueba:
i) Paso Bsico: si n = 1, f ( x) 1!(1 x) 2 ; esta expresin es, segn (1), verdadera
ii) Paso Inductivo: Si n = m, aceptamos que: f ( m ) ( x) m!(1 x ) ( m 1) ( )
iii)Entonces, para n = m + 1, debemos demostrar que: f ( m 1) (m 1)!(1 x)( m 2) ( )
Demostracin:
De ( ) , Dx : Dx f ( m) ( x) Dx m!(1 x)( m1) (m 1). m!(1 x)( m1) 1(1)

f ( m 1) ( x) (m 1)!(1 x) ( m 2)
64. Halle la derivada n-sima de las siguientes funciones:

a) y = sen ax b) y = cos ax c) y = sen2x
Solucin:
1
a) Si y = sen ax y= a cos ax = asen ax
2
2 3
y = -a2 sen ax = a2 sen ax y = -a3 cos a x = a3 sen ax ,
2 2
n
Luego inducimos que: y ( n) a n sen(ax )
2

i) Paso Bsico: Si n = 1, y a1 sen(ax 1. ) a cos ax , la proposicin es verdadera
2
m
ii) Paso Inductivo: Para n = m, aceptamos que: y (m) a m sen(ax ) ( )
2
(m 1)
iii) Para n = m + 1, debemos demostrar que: y (m 1) a m1sen(ax )
2
Demostracin:
m m
De ( ) : Dx y Dx a m sen(ax
( m)
) = a m . a cos(ax )
2 2
(m 1)
Entonces, y (m1) a m1sen(ax )
2

b) Si y = cos ax y asen ax a cos(ax 1 )
2

y a 2 cos ax a 2 cos(a x 2 ) y a3sen ax a3 cos(a x 3 )
2 2
59
n
Luego, inducimos que: y ( n) a n cos(ax )
2

i) Paso Bsico: Si n = 1, y a1 cos(ax 1. ) asenax ,la proposicin es verdadera
2
m
ii) Paso Inductivo: Para n = m, aceptamos que: y (m) a m cos(ax ) ( )
2
(m 1)
iii) Para n = m + 1, debemos demostrar que: y (m 1) a m1 cos(ax )
2
Demostracin:
m m
De ( ) : Dx y
( m)
Dx a m cos(ax ) = a m . a sen(ax )
2 2
(m 1)
Entonces, y (m 1) a m1 cos(ax )
2
c) Si: y=sen2x y =2sen x cos x = sen 2x = 21-1 sen 2 x 0

2
1
y =2 cos 2x = 22-1 sen 2x y =-4 sen 2x = 23-1 sen

2x
2

2 2
3
y iv = - 8 cos 2x = 24-1 sen 2x
2
n1 n 1
Inducimos que : y(n) = 2 sen 2x
2
Demostracin:
(11)
i) Paso Bsico: Si n = 1, y
(1)
211 sen(2 x 2
) sen 2 x , luego la proposicin
es cierta.
m 1
sen 2 x ( )
m1
ii) Paso Inductivo: Si n = m, aceptamos que: y(m) = 2
2
m
iii) Para n = m + 1, debemos demostrar que: y(m+1) = 2msen 2 x
2
De: ( ): Dx y(m) = Dx 2m-1 sen 2 x

m 1

2

y(m+1) = 2m-1. 2cos 2 x
m 1 m 1
= 2 sen 2 x
m
2 2 2
m
y ( m1) 2m sen(2 x )
2
60
n
Teorema: Demuestre que: a) Dn sen = sen x
2
b) D2nsen = (-1)nsen.
Demostracin:
1.
a) Si y = senx y = cosx = sen x sen x ...(1)
2 2
2
y = -senx = sen (x+)= sen x ...(2)
2
3
y(3) = -cosx = sen x ...(3)
2
4
y(4) = senx = sen(x+2) = sen x ...(4)
2
....................................................................
....................................................................
....................................................................
n
Inducimos que : y ( n) sen( x ) (I)
2
1.
i) Paso Bsico: Si n = 1, y sen x cos x , la proposicin es verdadera.
2
m
ii) Paso Inductivo: Si n = m aceptamos que: y(m) = sen x ( )
2
y(m+1) = sen x
m 1
iii) Para n = m +1, debemos demostrar que:
2
Demostracin:
m m m
De ( ) , Dx y(m) = Dx sen x = cos( x ) = sen x
2 2 2 2
y(m+1) = sen x
m 1

2
b) Si y = senx y = -senx = (-1)2/2 senx
y(4) = senx = (-1)4/2 senx y(6) = - senx = (-1)6/3 senx , entonces inducimos que:
y(2n) = (-1)n senx. D 2 n sen x (1) n sen x

Se deja la demostracin para el estudiante.
61
n
Teorema: Demostrar que: a) D(n)cosx = cos x , b) D2ncos = (-1)ncos , n N
2

Demostracin: Si y = cosx y ' = - senx = cos x
2
2
y = - cosx = cos(x+) = cos x
2
3 4
y = senx = cos x y(4) = cosx = cos x
2 2
.......................................................................................
................ .
.....................................................................................
n
Entonces inducimos que: y(n) = cosx x y D2ny = (-1)n cos
2
1
i) Paso Bsico: Si n = 1 , y(1) = cosx x = -senx , luego la proposicin es
2
verdadera.
m
ii) Paso Inductivo: n = m , aceptamos que: y(m) = cos x ( )
2
iii) Entonces para n = m+1 , debemos demostrar que:
m 1
y(m+1) = cos x
2
Demostracin:
m m m
De ( ): Dx(Dmy) = D cos x sen x cos x
2 2 2 2
m 1 m 1
y(m+1 = cos x , D
m 1
cos x cosx
2 2
b)Apreciamos, de la parte (a ) que: y= -cosx =(-1)2/2cosx
y(4) = (-1)4/2 cosx, inducimos que:
D 2 n cos x (1) n cos x

Teorema: Si f y g son funciones continuas y diferenciables al menos n veces en un
intervalo I, entonces:
65. Dm(f + g) = Dmf + Dng sobre I
62
Demostracin: Para esta demostracin usaremos el Principio de Induccin

Matemtica.
Sea S = { nZ+ / Dn(f + g) = Dnf + Dng, sobre I}
i) Paso Bsico: Vemos que 1 S: D1(f+g) = D1f+D1g sobre I. ...(I)
ii) Paso Inductivo: Para n = m, mS: Dm(f + g) = Dmf + Dmg sobre I. ...()
iii) Para m + 1 S, debemos demostrar que, Dm+1(f + g) = Dm+1 f + Dm+1 g.
Como: Dm+1 (f + g) = D(Dm(f + g)
= D(Dmf + Dmg) ...(De ())
= D(Dm f) + D(Dm g)= Dm+1 f + Dm+1 g
Dm+1 (f + g) = Dm+1 f + Dm+1 g sobre I.
Teorema: (Regla de Leibniz para la n-sima derivada del producto de dos

funciones):
Si Dnf y Dng existen sobre un intervalo I, entonces Dn(fg) existe sobre I y
n
n nk
Dn(fg) = k
D f D g en I .
k 0 k
(UNI: Primera Prctica. Ciclo: 72.II. Lima, Octubre de 1972).
Demostracin: Por el Principio de Induccin Matemtica:
1 n
1 1
i) Paso Bsico: Si n = 1, D1 ( fg ) D n k f D k g D10 f D 0 g D11 f D1 g
k 0 k 0 1
donde: D1f = Df y D0f = f, D0g = g
D(fg) = Df.g + f Dg = f Dg + gDf , la proposicin es verdadera.
m
m
ii) Paso Inductivo: Si n = m S: D ( fg )
m
k D mk f Dk g ...(1)
k 0
D
m 1
Dm+1 (fg)= m 1
k
m+1-k
f dkg, que es lo que tenemos que demostrar.
k 0
m
Como: Dm+1(fg) = D(dm(fg)= D D
m
k
mk
f D k g
k 0
D D D
m m
mk
= m
k
m k
f Dkg = m
k f D (D k g) D k gD (D mk f )
k 0 k 0
mk D mk f D k 1g D k g D m1k f
m
=
k 0
63
D mk Dm-kf Dk+1g
m m
m m+1-k
= k f Dkg +
k 0 k 0

D D m1
D f D
m
= m
0
m10
f D g0 m
k
m1k
f D g +
k m
k
m-k
f Dk+1g+ m
m
m+1
g
k 1 k 0
Por propiedades de sumatorias y de nmeros combinatorios
= D
m1
0
m+1
f.g +
m 1
D
m
k 1
m-k
f Dk+1g +
m 1
D
m
k
m-k
f Dk+1g+ Df D
m 1
m 1
m+1
g
k 0 k 0
Agrupando:
= D
m1
0
m+1
f D0g + Dm-kf Dk+1g + mm11 D0f Dm+1g
m 1
m
k 1
m
k
k 0
m 1 m 1 m 1 m 1 m 1
= D f D0
g k 1 D m kf Dk 1g m 1 D0f D m 1g
0 k 0
m 1 m 1 m 1 m 1 m 1
= D f D0
g k D m 1 kf Dkg m 1 D0f D m 1g
0 k 1
n 1 m 1
m 1 k
= k
D f Dkg l.q.q.d.
k 0
m!
I mn ; Si n m
Teorema: Demustrese que: D I n m
m n !
0 Si n m
;
Demostracin: Por el Principio de Induccin Matemtica:
m!
a) Si n < m S = nZ / D I
n m
I m n , n Z
m n !
m! m m 1 ! m 1
i) Paso Bsico: Para n 1 , D1Im = I m 1 I mI m 1
m 1! m 1!
DIm = mIm-I 1 S
ii) Paso Inductivo: Para n k , aceptamos que:
m!
DkIm= I mk ...(1)
m k !
iii) Entonces, para n k 1, debemos demostrar que:
64
m!
D k 1I m I m( k 1) ...(2)
m k 1 !
k 1 m m!
Demostracin: De (1) D I D( D k I m ) D I mk
(m k )!
Dk 1I m m!
m k !

D I mk
m!
m k !
m k I mk 1
m! m k
I
m! m k 1
Dk 1I m I mk 1
m k m k 1 ! m k 1 !
m!
k 1 S , luego, Dn I m I mn , Si nm
(m n)!
b) Si n > m
Hagamos: n m r / r Z
m! m! 0
D n I m D(m+r) Im = Dr[DmIm] = Dr I mm D r
0! I
m m !
m!
D n I m D r 1 D r (m!) D r 1 ( Dm!) D r 1 (0) 0
1
Como: m! = Cte. D(m!) 0 D r 1 (0) 0
D n I m 0 , si n > m.
65
Ejercicios Propuestos
1. Demuestre, utilizando el Principio de Induccin Matemtica, el trmino n simo de la

siguiente sucesin cuyos primeros trminos se proporcionan:
a. -2, 4, -8, 16, -32, es an ( 1) n 2n

1 1 1 1 1
b. , , , , es an
2 4 8 16 2n
c. 5, -25, 125, -625, es an (1)n 1.5n
2. Encuentre una frmula para el n simo trmino de la sucesin dada, y su resultado
demustrelo que es correcto, utilizando el principio de induccin matemtica.
a. Si an es la sucesin 2, 2 2 , 2 2 2 , entonces an 2
b. 2, 2 2, 2 2 2, 2 2 2 2,
3. Utilice el Principio de Induccin Matemtica para demostrar que n .

a. 1 5 9 (4n 3) n(2n 1) i. 1 3 2 4 3 5 n(n 1)(2n 7)
n(n 2)
6
b. 2 4 8 2n 2(2n 1)
j. 1 2 22 2n 1 2n 1
c. 2 9 16 n(7n 3)
(7n 5)
2 k. 4+8+12++4n = 2n (n+1)
d. 3 7 11 (4n 1) n(2n 1) n 3n 1
l. 2+5+8++ (3n-1) =
2
e. 6 10 14 (4n 2) n(2n 4)
f. 8 10 12 m. 0+3+8++(n2 -1) = n n 1 2n 5
(2n 6) n 2 7n 6
g. 14 18 22 (4n 10) 2n(n 6) n. 3+6+20++ n.n! 2 (n 1)! 2n 1
h. 5 8 11 n(3n 7)
(3n 2)
2
4. Utilizando el principio de induccin matemtica, demuestre que n N ,
n
1
a. (5k 3) 2 7 12 ... (5n 3) 2 n(5n 1)
K 1
n
n(3n 1)
b. (3k 2) =
K 1
1 + 4 + 7 + 10 + +(3n 2) =
2
n
( 4 k 2) = 2 + 6 + 10 + 14 + + 4n 2 = 2n
2
c.
K 1
d. 2 6 18 ... 2.3n 1 3n 1
66
n(2n 1)(2n 1)
e. 12 32 52 ... (2n 1)2
3
(1)n 1
f. (1) (1) (1)
1 2 3
(1) n
2
3
g. 3 32 33 3n (3n 1)
2
n
h. (2k 1)3 13 33 53 ... (2n 1)3 n2 (2n2 1)
K 1
n
i. (2k )3 23 43 63 (2n)3 2n2 (n 1)2
K 1
n
1 1 1 1 1 1 n
j. (3k 2)(3k 1) 1 4 4 7 7 10 10 13
(3n 2)(3n 1) 3n 1
K 1
5. a. Demuestre que 7 1 es divisible entre 6 para todos los nmeros naturales n.

n
b. Demuestre que 2 es un factor de n 5n para todo entero positivo n.

2
c. Demuestre que 3 es un factor de n n 3 para todo entero positivo n.

3
d. Demuestre que 3 es un factor de 4 1 para todo entero positivo n.

n
e. Demuestre que 4 es un factor de 5 1 para todo entero positivo n.

n
n 1
f. Demuestre que 9 es un factor de 10 3.10n 5
g. Demuestre que 2 es un factor de n 2 2n para todo entero positivo n.
h. Demuestre que 6 es un factor de (n n) para todo entero positivo n.

3
i. Demuestre que 3 es un factor de 5 2 para todo entero positivo n.

n n
n 1
j. Demuestre que 5 es un factor de 6 4 para todo entero positivo n.
k. Demuestre que 6 es un factor de 9 1 para todo entero positivo n.
n
l. Si n es un nmero natural impar, entonces n(n 1) es divisible por 24.
ll. Demuestre que, n 2n es divisible por 3.

3
m. Demuestre que n(n 1)(n 2) es divisible por 3.
n. Si n es un nmero natural impar, entonces n(n 1) es divisible por 24
. n(2n 3n 1) se divide exactamente por 6.

2
o. n n se divide exactamente por 5.

5
67
p. 4 15n 1 se divide por 9.

n
q. n n se divide por 7.
7
r. 11n2 12 2n1 se divide por 133.

s. 8 n 3n es divisible entre 5.
t. 3 2 n 1 es divisible entre 8.
u. 3 2 n 1 2 n 2 es divisible por 7.
v. 9 n 8n 1 Para qu enteros n es divisible por 64?
Demuestre que su respuesta es correcta.
6. Demuestre que n N :
a. n 2n b. 3n 2n 1 c. 2n 2 n
1
d. 1 2n 3n e. 1 2 3 ... n (2n 1) 2
8
7. En los ejercicios siguientes encuntrese el menor entero positivo n para el que la
proposicin dada sea vlida, luego demustrese que la proposicin es vlida para todos los
enteros mayores que los valores mnimos:
a. n 12 n 2 b. n 2 18 n3 c. 2n 2 2n d. (n 1) 2 2n 2
e. 3 2 7n f. n 5 2n g. 3n 3n h. 2n 20 3n
n n
i. 4n 2n j. n!> n
2
k. log n n , sugerencia : k 1 10k
1
l. n 2 2n , sugerencia : k 2 2k 1 k (k 2 ) k (k k )
k
ll. 5 log 2 n n m. n log 2 n 20 n 2 n. n! 2

n 1
. 2 .n! n
n n
2n 1 (n 1)( 2n 1)
2n n n
n 1
o. (2n)! p. n! q. (n!)
2

2 2 6
8. Si n es un entero positivo, demustrese que los siguientes nmeros son enteros:
1 3 4n 1 1 n
a. ( n 2 n) b. c. (5 1)
3 3 4
9. Demuestre que: n N , n n es par.
3
1 1 1 1
10. Demostrar que: ...
9 25 (2n 1) 2
4
11. Aplicando el mtodo de Induccin Matemtica, demuestre que la desigualdad
68
1 1 1 1 13
... es justa para todos los n >1 naturales.
n 1 n 2 n 3 2n 14
12. a. Decida para qu valores positivos de n es verdadera la desigualdad: 3n n 1

2
b. Demuestre lo que se establece en (a).

c. Demuestre que n n 1 , n 2
2
d. Repita el ejercicio (11) para 4n n 7

2
13. La siguiente frmula es vlida para todos los enteros positivos n?

n
a. 8k (2n 1)2 1 (n 1)(n 2)(n 3)
k 1
n
1
b. (a kd ) an n(n 1)d
2
k 1
14. Para cualquier entero positivo n, prubese que:
n
a. C n C , C es una constante cualquiera
k 1
n
b. (a
k 1
k ak 1 ) an a0 Propiedad telescpica
n n
15. Prubese que ak bk (k 1, 2,3, , n) implica ak bk
k 1 k 1
n n
16. Prubese que n N , ak ak
k 1 k 1
17. Demustrese que:

a) (ab)n a nbn para todos los enteros positivos n
b) (a m )n a mn para todos los enteros positivos m y n

18. Demustrese que, n N :
a) a n b n es divisible por a b
b) a 2 n 1 b 2 n 1 es divisible por a b
c) a 2 n b 2 n es divisible por a b 0 con a, b .
19. Demustrese que:

1. (1)2 n 1 para todos los enteros positivos n.
2. (1)2 n1 1 para todos los enteros positivos n.
69
20. Demustrese que si f es una funcin peridica con periodo T , entonces
f (t nT ) f (t ) t Df nZ
21. Prubese que si 0 a b entonces 0 a n bn , n N
22. Demustrese que si a0 b y an can 1 n N , entonces an cb n n N .
23. Demuestre que la afirmacin es cierta n Z
a) sen( n ) (1) n sen c) cos( n ) (1) cos

n
b) sen(n ) 0 d) cos(n ) (1)n

24. Demuestre por Induccin Matemtica que:
2n 1
n
sen(n 1) x ( n 1)cos( x)
ksenkx senx 2sen2 x 3sen3x ... nsen nx 4sen2 x 2
k 1 2 2sen 2x
sen 2x 0
25. Demuestre el teorema de De Moivre
r (cos isen )n r n (cos n isenn ) , R r 0
26. Demuestre que el nmero de Fibonacci F4n es divisible entre 3 para todos los nmeros
naturales.
27. Sean an 1 3an 4 y a1 4 . Demuestre que an 2 3n 2 para todos los

nmeros naturales..
a2 a n
28. Sea a1 1 , para todo n 2 hagamos an a1 ... n1 . Demostrar que: a n
2 n 1 2
n 2, n N
3 7
29. Dados a1 1, a2 2, y 2an an1 an2 , para n = 3,4,5, Demostrar que an
2 4
para n = 3,4,5,
30. Sean a1 , a2 , a3 ,..., an ,... un conjunto de nmeros.
S a1 1 y an an1 1, prubese que an n

31. Demustrese que x x s x 1 y n Z
n
2 n 1
32. Prubese que: x 0 y n Z , entonces x 0

33. Prubese que: x 0 y n Z , entonces x 0
2n
70
34. Prubese que para cualquier nmero real p 0 y cualquier entero positivo n,
n(n 1) p 2
(1 p)n 1 np
2
35. Sea p(n) una proposicin que se sabe cierta para n n0 , donde n0 1, y supngase p(k)
p(k+1). Demostrar que p(n) es cierta para todo n n0 .
36. Sea {xn / n N } un conjunto de nmeros reales tales que:
x1 600 : xn1 xn 60 , 1 n N probar por induccin matemtica que xn 4
n N
(2 3 ) n (2 3 ) n
37. Probar que para todo entero n N , la expresin An es nmero
2
entero positivo.
38. Dado el conjunto {an / n N } de nmeros definidos de la siguiente manera recursiva:
an1 an2
a1 0, a1 1 an , 3 n N
2
2 2 (1) n
Demostrar por induccin matemtica que : a n , n = 1,2,3,
3 3 2 n 1
39. Una pila de bolas se arregla en forma de pirmide. Hallar una frmula para el nmero de
bolas de pirmide cuando la base es:
a) Un tringulo equiltero que tiene n bolas por lado
b) Un cuadrado que tiene n bolas por lado.
En los ejercicios siguientes demuestre o refute:
40. La suma de dos enteros pares es siempre par.
41. La suma de dos enteros impares es un entero impar.
42. La suma de dos primos nunca es primo.
43. La suma de dos enteros consecutivos es impar.
44. La suma de tres enteros consecutivos es divisible por 3.
45. La suma de cuatro enteros consecutivos es divisible por 4.
46. La suma de cinco enteros consecutivos es divisible por 5.
47. Demuestre que el producto de dos enteros pares en un entero par.
48. Demuestre que el producto de un entero par con un impar es par.
49. Buscar una expresin igual al producto,
71
1 1 1 1 n 1
(1 )(1 )(1 ) (1 2
) , n2
4 9 16 n 2n
Vlido para n 2 y demostrar por induccin matemtica que efectivamente son iguales
Utilizando el principio de induccin matemtica demuestre que:
50. 2a 4a 6a ... 2na n(n 1)a

1
51. 2 5 8 ... 3n 1 n(3n 1)
2
52. Si n N y n 4 : 2 n!
n
53. Demuestre que toda la suma de dinero mayor que 7 kopeks se puede cambiar utilizando
solo los modelos de tres kopeks y de 5 kopeks.
54. Si Fn denota el n-simo trmino de la sucesin de Fibonacci, aplique la induccin
matemtica para demostrar que:
a) F1 F3 F5 ... F2 n1 F2 n
b) Demuestre que el nmero de Fibonacci F4n es divisible entre 3 para todos los
nmeros naturales n.
i
55. Si z demuestre utilizando el Principio de Induccin Matemtica que
z n z n 2cos n , n N
Bibliografa
1. Jack Britton. Matemticas Universitarias Volumen I Editorial Continental.
2. M. Hasser J. La Salle J. Sullivan. Anlisis Matemtico Volumen I Editorial
Trillas.
3. Mervin L. Keedy, Marvin L. Bittinger. Algebra y Trigonometra Versin en espaol
por Vctor M. Garca Muiz Fondo Educativo Interamericano.
4. Walter Fleming, Dale Varberg. Algebra y Trigonometra con Geometra Analtica
Prentice-Hall-Hispanoamrica, S.A. Tercera Edicin.
5. Jack Britton, Ignacio Bello. Algebra y Trigonometra Contemporneas Editorial
Harla - Mxico.
6. Demana, Waits, Foley, Kennedy. Preclculo Sptima Edicin Pearson Educacin
7. James Stewart. Lothar Redlin. Saleem Watson. Preclculo, Matemticas para el
clculo Quinta Edicin Editorial Thomson
8. http://www.ite.educacion.es/formacion/enred/web_espiral/naturaleza/vegetal/fibonacci
/fibonacci.htm
72

Induccion Libro Final

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Induccion Libro Final

Cargado por

Copyright:

Formatos disponibles

Induccin Matemtica Ing.

Carlos Armbulo Ostos

TTULO : INDUCCIN MATEMTICA

Edicin original en lengua castellana publicado por Editorial Tachita S.A.C.

La presentacin, disposicin y diseo de esta obra, son de propiedad del

Derechos reservados en espaol: 2014

Primera Impresin: Enero del 2014

Diseo de Cubierta: Sra. Liliana Fajardo Heredia.

Autorizacin legal de la Editorial TACHITA SAC. - Ley 13714 -

Impreso en Lima Per

Ing. Armbulo Ostos Carlos Eduardo

Profesor de la Universidad Nacional

Revisin Tcnica: Mg. Jimmy Rosales Huamani.

Esta obra va dedicada a mi adorable, querido y

Quiero mostrar mi gratitud a todos mis colegas,

Especialmente quiero dar las gracias al maestro

As mismo a mis colegas Mg. Jimmy Rosales

Mi experiencia en la docencia universitaria, en las distintas Universidades del pas,

Mi propsito ha sido dar una introduccin elemental pero sistemtica de la materia,

Trato de mostrar una buena organizacin, la resolucin de los ejercicios lo presento

Ing. Carlos Armbulo Ostos

El principio de Induccin Matemtica es un mtodo de demostracin que se usa

En esta interesante publicacin el profesor Carlos Armbulo en base a la gran experiencia

Jos Obregn Sotelo

En matemticas es muy frecuente distinguir dos mtodos diferentes de prueba en las

Frecuentemente en Matemtica nos enfrentamos con la tarea de querer establecer que

Por ejemplo, dadas las siguientes proposiciones:

Principio del Buen Orden

Principio de Induccin Matemtica

Para aplicar este principio, observe que hay dos pasos:

Ejemplos: A continuacin daremos algunos ejercicios aplicables a diversos campos de la

1. Demuestre por Induccin Matemtica que el producto de dos enteros consecutivos

2. Demuestre que el producto de tres enteros consecutivos positivos es mltiplo de 6, es

a) m(m 2)(m 3) 6 ( hiptesis bsica)

3. Demuestre que el producto de cuatro enteros consecutivos positivos es mltiplo de 24, es

4. Demuestre, por induccin, que s n N , entonces n3 11 n 6 ( I )

i) Paso Bsico: Para n 1 : n3 11 n 13 11.1 12 6

5. Pruebe que Pn : 2n n + 20 es cierto para cada entero n 5

En los ejercicios del 7 al 10 utilice el principio de Induccin Matemtica para probar

iii) Entonces, debemos demostrar que, si n m 1 , se cumplir que:

lo cual es cierto, puesto que d ( 1 ) :

iii) Entonces, para n m 1 , debemos demostrar que

i) Paso Bsico: Para n 1 : k 1 1 1 (cierto).

ii) Paso Inductivo: Para n m :

ii) Paso Inductivo: Aceptamos la validez de la frmula, para n m , o sea que:

iii) Entonces debemos verificar para n m 1 que:

Solucin: La igualdad dada podemos expresarla como:

(a b 1)n 1 1 (a b 1)2 12 = (a b 2)( a b) ab2

es decir, la igualdad es vlida para n 1 1 S

iii) Entonces, debemos demostrar que para n m 1 :

es la expresin que se debe demostrar luego:

1. Demostremos que para n N : n4 6 n3 11 n2 6 n 24 (I)

El lector podr verificar rpidamente que: n(n 1)( n 2)( n 3) n 6n 11n 6n

n4 6 n3 11n2 6 n 14 6.13 11.12 6.1 24 24

= m 4 4m 3 6m 2 4m 1 6(m 3 3m 2 3m 1) 11(m 2 2m 1) 6(m 1)

S m1 ( m 4 6m 3 11m 2 6m) 24( m 2 1) 4( m 3 11m)

2. Demostrar que si n es un entero positivo, entonces 32 n 7 es mltiplo de 8.

Sea: Sm 1 32( m 1) 1 40(m 1) 67 3( 2 m1)2 40m 40 67

9.32m1 9.40m 9.67 (8.67 40) - 8.40m

4. Si n es un entero positivo mayor que 1 entonces 2 2 n 3n 1 es divisible por 9.

2 2( m1) 3(m 1) 1 es divisible por 9.

Solucin: Sean n , n 1 y n 2 tres enteros consecutivos y sea P ( n ) la proposicin

Demostracin: Como: (m 3)3 m3 3m(3)(m 3) 33 , luego:

m3 (m 1)3 (m 2)3 9m(m 3) 9.3