Captulo 1

Inducci on matem atica

El objetivo de este captulo es presentar dos conceptos que son de considerable importan-
cia en el estudio del C alculo, la demostraci on por inducci on y el operador de sumatoria para
la suma.
Los principios de inducci on proporcionan m etodos de demostraci on de ciertas proposicio-
nes que se verican para todos los n umeros enteros mayores o iguales que un cierto n umero
entero. El operador de sumatoria se presenta en este momento no solamente para dar ejem-
plos del uso de la inducci on matem atica sino tambi en para que el alumno se familiarice con
esta importante notaci on. El captulo termina con el estudio y algunas aplicaciones del teore-
ma del binomio de Newton.
1.1. Principio de inducci on matem atica
Para estudiar el principio de inducci on matem atica consideraremos al conjunto de los enteros
no menores que el entero n, al cual representaremos con la siguiente notaci on
Z
[n]
= {n, n + 1, n + 2, . . .} .
Por ejemplo,
N = Z
+
0
= Z
[0]
Z
+
= Z
[1]
Los conjuntos Z
[n]
poseen la siguiente propiedad, llamada principio del buen orden en Z
[n]
.
Axioma. Todo subconjunto no vaco de Z
[n]
tiene un elemento mnimo.
Por ejemplo, el mnimo n umero natural en el conjunto de todos los enteros positivos pares
es dos, y el mnimo natural en el conjunto de los enteros positivos pares m ultiplos de cinco es
diez.
Teorema (Principio de inducci on matem atica). Sea A Z
[n
0
]
para el que se verican las siguien-
tes propiedades
(i) n
0
A, y
(ii) n A implica n + 1 A,
entonces A = Z
[n
0
]
.
2 Juan Montealegre Scott
Demostraci on. Sea B = Z
[n
0
]
A, demostraremos queA = Z
[n
0
]
porque B = . En efecto,
supongamos B = . Como B Z
[n
0
]
, por el principio del buen orden en Z
[n
0
]
,
m
0
B : m
0
es el elemento mnimo de B. (1)
Como m
0
Z
[n
0
]
y A B = , entonces n
0
m
0
y m
0
= n
0
. Por lo tanto
n
0
< m
0
n
0
1 < m
0
1 n
0
< m
0
1.
As (m
0
1) Z
[n
0
]
y (m
0
1) B pues m
0
1 < m
0
, entonces
(m
0
1) A,
que por (ii) implica
m
0
= (m
0
1) + 1 A
lo que contradice (1). En consecuencia, B = .
Deniciones inductivas o recursivas
M etodo. Para denir por inducci on el elemento a
n
para todo entero n n
0
se procede del siguiente
modo:
(i) Se dene el elemento a
n
0
.
(ii) Se supone que para n n
0
ha sido denido el elemento a
n
, entonces se dene el elemento a
n+1
.
Ejemplo (Potencia de exponente natural). Cualquiera a C {0}, denimos la potencia de
base a y exponente natural n por
_
a
0
= 1
a
n+1
= a
n
a, n 0
Ejemplo (Factorial de un n umero natural). Denimos el factorial del n umero natural n, de-
notado n!, por
_
0! = 1
(n + 1)! = (n + 1) n!, n 0
Demostraciones por inducci on
M etodo. Sea A(n) una armaci on acerca del n umero entero n.
Si demostramos que
(i) A(n
0
) es verdadera, y
(ii) si A(h) es verdadera cuando h n
0
es cualquiera implica que A(h + 1) es verdadera.
Entonces A(n) es verdadera para todo n Z
n
0
.
En una demostraci on por inducci on las etapas (i) y (ii) son conocidas como etapa ba-
se y etapa inductiva, respectivamente. En la etapa inductiva se debe reconocer la hip otesis
inductiva y la tesis inductiva.
Ejemplo. Usando inducci on matem atica pruebe que si x, y R
+
, entonces
n Z
+
: x
n
y
n
=

x y.
Inducci on matem atica 3
Soluci on.
I. Etapa base. Tenemos (si n = 1),
x
1
y
1
= x y =

x y.
Por lo tanto, la igualdad se cumple cuando n = 1.
II. Etapa inductiva.
Hip otesis inductiva. Para un k 1 se cumple
x
k
y
k
=

x y.
Tesis inductiva. Se cumple la igualdad (para k + 1)
x
k+1
y
k+1
=

x y.
En efecto,
x
k+1
y
k+1
=
_
x
k
x x
k
y
_
+
_
x
k
y y
k
y
_
= x
k
(x y)
. .

xy
+
_
x
k
y
k
_
. .

xy por H.I.
y
As, x
k+1
y
k+1
=

x y, obteniendo la tesis.
Teorema (Segundo principio de inducci on matem atica). Sea A Z
n
0
para el que se verican las
siguientes propiedades
(i) n
0
A, y
(ii) si k A para todo n
0
k h implica que h + 1 A,
entonces A = Z
n
0
.
Algunas veces para demostrar la proposici on
n Z
n
0
: A(n) es verdadera
se utiliza el siguiente m etodo, derivado del segundo principio de inducci on matem atica.
M etodo. Sea A(n) una armaci on acerca del n umero entero n.
Si demostramos que
(i) A(n
0
) es verdadera, y
(ii) si A(k) es verdadera para todo k Z con n
0
k h implica que A(h + 1) es verdadera.
Entonces
n Z
n
0
: A(n) es verdadera.
Ejemplo. Si los n umeros reales a
n
, n Z
+
, se denen inductivamente por
_
a
1
= 2 a
2
= 3
a
n+2
= 3a
n+1
2a
n
, n 1.
Demuestre que a
n
= 2
n1
+ 1 para cualquier n 1.
4 Juan Montealegre Scott
Soluci on.
Etapa base. Tenemos
a
1
= 2 = 2
11
+ 1.
a
2
= 3 = 2
21
+ 1.
Etapa inductiva.
Hip otesis inductiva. Si para un k 2,
h Z
+
con 1 h k : a
h
= 2
h1
+ 1.
Tesis inductiva. Se cumple la igualdad a
k+1
= 2
k
+ 1
En efecto,
a
k+1
= 3a
k
2a
k1
= 3
_
2
k1
+ 1
_
2
_
2
k2
+ 1
_
= 3 2
k1
2
k1
+ 1 = 2 2
k1
+ 1 = 2
k
+ 1,
obteniendo la tesis.
Problemas Resueltos 1.1
Problema 1. Usando inducci on matem atica pruebe que para cualquier n entero positivo par x
n
y
n
es divisible por x + y, x, y R
+
.
Soluci on. Se debe demostrar que
k Z
+
: x
2k
y
2k
=

x + y
Etapa base. Si k = 1, tenemos
x
2
y
2
= (x + y) (x y) =

x + y.
As, la armaci on es verdadera cuando k = 1.
Etapa inductiva.
Hip otesis inductiva. Suponemos que la armaci on es verdadera, es decir,
x
2k
y
2k
=

x + y, para un k 1
Tesis inductiva. La propiedad es verdadera para k + 1, es decir,
x
2(k+1)
y
2(k+1)
=

x + y.
En efecto,
x
2(k+1)
y
2(k+1)
=
_
x
2k
x
2
x
2k
y
2
_
+
_
x
2k
y
2
y
2k
y
2
_
= x
2k
(x + y)
. .

x+y
(x y) +
_
x
2k
y
2k
_
. .

x+y por H.I.

y
2
=

x + y
obteniendo la tesis.
Inducci on matem atica 5
Problema 2. Usando inducci on matem atica demuestre que
n 3 : 2
n
2n + 2.
Soluci on.
Etapa base. Si n = 3, obtenemos
2
3
= 8 = 2 (3) + 2,
as, la desigualdad es v alida cuando n = 3.
Etapa inductiva.
Hip otesis inductiva. Para un k 3,
2
k
2k + 2.
Tesis inductiva. Para k se cumple
2
k+1
2 (k + 1) + 2.
En efecto,
2
k+1
= 2 2
k
2 (2k + 2) = 4k + 2 + 2 2k + 2 + 2 = 2 (k + 1) + 2.
Problema 3. Usando inducci on matem atica pruebe que para cualquier n entero positivo 11
n+1
+
12
2n1
es divisible por 133.
Soluci on.
I. Etapa base. Tenemos
11
1+1
+ 12
2(1)1
= 121 + 12 = 133 =

133.
II. Etapa inductiva.
Hip otesis inductiva. Si h 1, entonces 11
h+1
+ 12
2h1
=

133.
Tesis inductiva. Se cumple que
11
h+2
+ 12
2h+1
=

133.
En efecto,
11
h+2
+ 12
2h+1
= 11 11
h+1
+ 12
2
12
2h1
= 11 11
h+1
+ 11 12
2h1
+ 12
2
12
2h1
11 12
2h1
= 11
_
11
h+1
+ 12
2h1
_
. .

133 por H.I.

+
_
12
2
11
_
. .
133
12
2h1
=

133
con lo que se prueba la tesis inductiva.
Problema 4. Usando inducci on, demuestre que si n Z
+
es impar, 7
n
+ 1 es divisible 8.
6 Juan Montealegre Scott
Soluci on.
Notar que el cambio de variables n = 2k 1 implica que la proposici on es equivalente a
k Z
+
: 7
2k1
+ 1 es m ultiplo de 8.
I. Etapa base. Tenemos
7
2(1)1
+ 1 = 7
1
+ 1 = 8 =

8.
II. Etapa inductiva.
Hip otesis inductiva. Si h 1, entonces 7
2h1
+ 1 =

8.
Tesis inductiva. Se cumple que
7
2h+1
+ 1 =

8.
En efecto,
7
2h+1
+ 1 = 7
2h+1
+ 1 = 7
2
7
2h1
+ 1 = 7
2
_
7
2h1
+ 1 1
_
+ 1
= 7
2
_
7
2h1
+ 1
_
. .

8 por H.I.
7
2
+ 1 =

8 48
=

8.
As queda probada la armaci on.
Problema 5. Demostrar que para todo n N, n 2, se cumple
1
1 2
+
1
2 3
+ +
1
n (n + 1)
. .
n sumandos
=
n
n + 1
.
Soluci on.
Etapa base. Para n = 2, tenemos
1
1 2
+
1
2 3
=
2
3
=
2
2 + 1
.
Etapa inductiva.
Hip otesis inductiva. Para n > 2 se cumple
1
1 2
+
1
2 3
+ +
1
n (n + 1)
=
n
n + 1
.
Tesis inductiva. Se cumple
1
1 2
+
1
2 3
+ +
1
n (n + 1)
+
1
(n + 1) (n + 2)
=
n + 1
(n + 1) + 1
.
En efecto,
1
1 2
+
1
2 3
+ +
1
n (n + 1)
+
1
(n + 1) (n + 2)
=
n
n + 1
+
1
(n + 1) (n + 2)
=
1
n + 1
_
n +
1
n + 2
_
=
1
n + 1
_
n
2
+ 2n + 1
n + 2
_
=
n + 1
n + 2
.
Esto termina la demostraci on.
Inducci on matem atica 7
Problema 6. Demostrar que para todo n N se cumple que 3
2n+2
2
n+1
tiene como factor al
n umero 7.
Soluci on.
Etapa base. Si n = 0, obtenemos
3
2(0)+2
2
(0)+1
= 3
2
2
1
= 7 =

7.
Etapa inductiva.
Hip otesis inductiva. Para un n umero natural h 0 se cumple
3
2h+2
2
h+1
=

7.
Tesis inductiva. La propiedad es verdadera para h + 1, es decir
3
2(h+1)+2
2
(h+1)+1
=

7.
En efecto,
3
2(h+1)+2
2
(h+1)+1
= 3
2h+2
3
2
2
h+1
2
= 3
2h+2
(7 + 2) 2
h+1
2
= 3
2h+2
7 +
_
3
2h+2
2
h+1
_
2
=

7 +
_
3
2h+2
2
h+1
_
2
Como 3
2h+2
2
h+1
=

7 por la hip otesis inductiva, se concluye que
3
2(h+1)+2
2
(h+1)+1
=

7 +

7 =

7.
Problema 7. Si n es un entero positivo, demuestre que
n (n + 1)
2
es un entero.
Soluci on.
Etapa base. Si n = 1, tenemos
1 (1 + 1)
2
= 1 Z.
As, la armaci on es verdadera cuando n = 1.
Etapa inductiva.
Hip otesis inductiva. Suponemos que la armaci on es verdadera para un n 1, es decir,
n (n + 1)
2
Z, si n Z
+
Tesis inductiva. La propiedad es verdadera para n + 1, es decir,
(n + 1) [(n + 1) + 1]
2
Z.
En efecto, tenemos
(n + 1) [(n + 1) + 1]
2
=
n (n + 1)
2
+
n
2
+
(n + 1)
2
+
1
2
=
n (n + 1)
2
. .
Z H.I.
+ (n + 1)
. .
Z
Z
obteniendo la tesis.
8 Juan Montealegre Scott
Problema 8. Cualquiera sea el n umero positivo x, usando inducci on, demuestre que para todo entero
positivo n 3 se cumple
(1 + x)
n
> 1 + nx + nx
2
.
Soluci on.
Etapa base. Si n = 3, obtenemos
(1 + x)
3
= 1 + 3x + 3x
2
+ x
3
> 1 + 3x + 3x
2
porque x > 0 implica que x
3
> 0.
Etapa inductiva.
Hip otesis inductiva. Para un entero h 3 se cumple
(1 + x)
h
> 1 + hx + hx
2
.
Tesis inductiva. Se cumple la desigualdad
(1 + x)
h+1
> 1 + (h + 1) x + (h + 1) x
2
.
En efecto, por denici on de potencia de exponente natural y la hip otesis inductiva,
(1 + x)
h+1
= (1 + x)
h
(1 + x)
>
_
1 + hx + hx
2
_
(1 + x)
=
_
1 + hx + hx
2
_
+
_
x + hx
2
+ hx
3
_
= 1 + (h + 1) x + (2h + hx) x
2
.
Como
h 3 : 2h + hx > 2h h + 3 > h + 2,
se concluye que (2h + hx) x
2
> (h + 2) x
2
, obteniendo la tesis.
Problema 9. Pruebe que para cualquier p R
+
0
y cualquier n Z
+
se cumple
(1 + p)
n
1 + np +
n (n 1) p
2
2
.
Soluci on.
Etapa base. Si n = 1, tenemos
(1 + p)
1
1 + (1) p +
1 (1 1) p
2
2
. .
=0
= 1 + p
As, la desigualdad es v alida cuando n = 1.
Etapa inductiva.
Hip otesis inductiva. Si n 1 se cumple (1 + p)
n
1 + np +
n(n1)p
2
2
.
Tesis inductiva. La propiedad es verdadera para n + 1, es decir,
(1 + p)
n+1
1 + (n + 1) p +
(n + 1) p
2
2
.
Inducci on matem atica 9
En efecto, tenemos
(1 + p)
n+1
= (1 + p)
n
(1 + p)

_
1 + np +
n (n 1) p
2
2
_
(1 + p)
= 1 + np +
n (n 1) p
2
2
+ p + np
2
+
n (n 1) p
3
2
= 1 + (n + 1) p +
n (n 1) + 2n
2
p
2
+
n (n 1) p
3
2
= 1 + (n + 1) p +
n
2
+ n
2
p
2
+
n (n 1) p
3
2
. .
0
1 + (n + 1) p +
(n + 1) p
2
2
,
lo que prueba la tesis inductiva.
Problema 10. Pruebe que 3
n
n
3
para todo n Z
+
.
Soluci on.
Etapa base. Si n = 1 tenemos
3
1
1
3
.
y si n = 2 y n = 3 tenemos
3
2
= 9 8 = 2
3
y 3
3
= 3
3
.
Etapa inductiva.
Hip otesis inductiva. Si h 3 es cualquiera, entonces
3
h
h
3
.
Tesis inductiva. Se cumple que
3
h+1
(h + 1)
3
.
En efecto,
3
h+1
= 3 3
h
3h
3
(1)
Probaremos que (conjetura!)
h 3 : 3h
3
(h + 1)
3
(2)
lo que es equivalente a probar
h 3 : 2h
3
3h
2
+ 3h + 1.
En efecto,
h 3 = h
3
3h
2
(3)
Adem as, por inducci on
h 3 : h
3
3h + 1 (ejercicio) (4)
Sumando m.a.m. (3) y (4) obtenemos (2). Entonces en (1) tenemos
h 3 : 3
h+1
3h
3
(h + 1)
3
.
10 Juan Montealegre Scott
Problema 11. Denimos los n umeros reales a
n
por
_
a
1
=
3

60
a
n+1
=
3

a
n
+ 60, n 1.
Demostrar que a
n
< 4 para todo n Z
+
.
Soluci on.
Etapa base. Para n = 1, tenemos
a
1
=
3

60 <
3

64 = 4.
Etapa inductiva.
Hip otesis inductiva. Si h 1 se cumple que a
h
< 4.
Tesis inductiva. Si h 1, a
h+1
< 4.
En efecto,
a
h+1
=
3

a
h
+ 60 <
3

4 + 60 = 4.
Esto termina la demostraci on.
Problema 12. Si

0,

2
_
y los n umeros reales a
n
, n Z
+
, se denen inductivamente por
_
_
_
a
1
= cos ,
a
2
= cos 2
a
n
= 2 cos a
n1
a
n2
, si n 3,
demuestre que
n 1 : a
n
= cos n.
Soluci on.
I. Etapa base. Tenemos
a
1
= cos = cos (1) .
a
2
= cos 2.
II. Etapa inductiva.
Hip otesis inductiva. Si h 2, entonces si 1 k h
a
k
= cos k.
Tesis inductiva. Se cumple que
a
h+1
= cos (h + 1) .
En efecto,
a
h+1
= 2 cos a
h
a
h1
= 2 cos cos h cos (h 1)
= 2 cos cos h (cos h cos + sen h sen ) = cos cos h sen h sen
= cos (h + ) = cos (h + 1) ,
obteniendo la tesis.
Inducci on matem atica 11
Problema 13. La sucesi on de Fibonacci es denida por
_
a
1
= 1, a
2
= 1
a
n+2
= a
n+1
+ a
n
, n 1
Demuestre que para todo entero n 1
a
n
=
w
n
(1 w)
n

5
donde w =
1 +

5
2
es una de las races de la ecuaci on x
2
x 1 = 0.
Soluci on.
Etapa base. Tenemos
a
1
= 1 =
1+

5
2

_
1
1+

5
2
_

5
=
w
1
(1 w)
1

5
.
a
2
= 1 =
_
1+

5
2
_
2

_
1
1+

5
2
_
2

5
=
w
2
(1 w)
2

5
.
Etapa inductiva.
Hip otesis inductiva. Si para un k 2,
h Z
+
con 1 h k : a
h
=
w
h
(1 w)
h

5
.
Tesis inductiva. Se cumple la igualdad
a
k+1
=
w
k+1
(1 w)
k+1

5
.
En efecto, por la hip otesis inductiva
a
k+1
= a
k
+ a
k1
=
w
k1
(w + 1) (1 w)
k1
(1 w + 1)

5
.
Como w + 1 = w
2
y w 1 =
1
w
, entonces
a
k+1
=
w
k1
w
2
(1 w)
k1
(w 1)
2

5
=
w
k+1
(1 w)
k+1

5
obteniendo la tesis.
Problema 14. Usando inducci on pruebe que n Z
[7]
: 2
n
> n
2
+ 4n + 5.
Soluci on.
Etapa base. Si n = 7, obtenemos
2
7
= 128 > 82 = 7
2
+ 4 7 + 5.
Etapa inductiva.
12 Juan Montealegre Scott
Hip otesis inductiva. Para un entero h 7 se cumple
2
h
> h
2
+ 4h + 5.
Tesis inductiva. Se cumple la desigualdad
2
h+1
> (h + 1)
2
+ 4 (h + 1) + 5.
En efecto,
2
h+1
> 2h
2
+ 8h + 10 = (h + 1)
2
+ 4 (h + 1) + 5 +
_
h
2
+ 2h
_
.
Como h
2
+ 2h > 0 para todo h 7, se concluye que
(h + 1)
2
+ 4 (h + 1) + 5 +
_
h
2
+ 2h
_
> (h + 1)
2
+ 4 (h + 1) + 5
obteniendo la tesis.
Problema 15. Demuestre que cualquiera sea x R,
n Z
+
: |sen (nx)| n |sen (x)| .
Soluci on.
Etapa base. Si n = 1 tenemos
|sen (1 x)| = 1 |sen (x)| .
Etapa inductiva.
Hip otesis inductiva. Si h 1 es cualquiera, entonces
|sen (hx)| h |sen (x)| .
Tesis inductiva. Se cumple la desigualdad
|sen (h + 1) x| (h + 1) |sen (x)| .
En efecto,
|sen (h + 1) x| = |sen (hx + x)| |sen (hx)| |cos (x)| +|cos (hx)| |sen (x)| .
Por la hip otesis inductiva y las desigualdades |cos (x)| 1 y |cos (hx)| 1,
|sen (hx)| |cos (x)| |sen (hx)| h |sen (x)| ,
del mismo modo |cos (hx)| |sen (x)| |sen (x)|. Entonces
|sen (h + 1) x| h |sen (x)| +|sen (x)| = (h + 1) |sen (x)| .
1.2. Operador de sumatoria
Denici on 1. Sean l
i
, l
s
Z tales que l
i
l
s
y a
l
i
, a
l
i
+1
, . . . , a
l
s
1
, a
l
s
R, denimos el operador
l
s

k=l
i
a
k
por
_

_
l
i

k=l
i
a
k
= a
l
i
l
s
+1

k=l
i
a
k
=
l
s

k=l
i
a
k
+ a
l
s
+1
Inducci on matem atica 13
Se usan los siguientes nombres,
l
i
: lmite inferior,
l
s
: lmite superior,
a
k
: k- esimo sumando.
Proposici on 1 (Propiedades del operador de sumatoria).
1. Si es una constante,
l
s

k=l
i
= (l
s
l
i
+ 1) .
2. Si y son constantes,
l
s

k=l
i
(a
k
+ b
k
) =
l
s

k=l
i
a
k
+
l
s

k=l
i
b
k
.
3. Propiedades telesc opicas.
l
s

k=l
i
(a
k+1
a
k
) = a
l
s
+1
a
l
i
l
s

k=l
i
(a
k
a
k+1
) = a
l
i
a
l
s
+1
.
Demostraci on. Solamente probaremos la primera propiedad telesc opica.
Etapa base. Si l
i
= l
s
se tiene
l
i

k=l
i
(a
k+1
a
k
) = a
l
i
+1
a
l
i
Etapa inductiva.
Hip otesis inductiva. La igualdad se cumple para un h l
i
, es decir
h

k=l
i
(a
k+1
a
k
) = a
h+1
a
l
i
Tesis inductiva. Se cumple que
h+1

k=l
i
(a
k+1
a
k
) = a
(h+1)+1
a
l
i
.
En efecto,
h+1

k=l
i
(a
k+1
a
k
) =
h

k=l
i
(a
k+1
a
k
) +
_
a
(h+1)+1
a
h+1
_
=
_
a
h+1
a
l
i
_
+
_
a
(h+1)+1
a
h+1
_
= a
(h+1)+1
a
l
i
.
Esto termina la demostraci on.
14 Juan Montealegre Scott
Ejemplo. Calcular en t erminos de n el valor de
n

k=1
k.
Soluci on. Por la propiedad telesc opica
n

k=1
_
(k + 1)
2
k
2
_
= (n + 1)
2
1. (1)
Por otro lado,
n

k=1
_
(k + 1)
2
k
2
_
=
n

k=1
(2k + 1) = 2
n

k=1
k +
n

k=1
1 = 2
n

k=1
k + n. (2)
De (1) y (2) resulta:
2
n

k=1
k + n = 2n + 1
de donde, despejando
n

k=1
k, se obtiene
n

k=1
k =
1
2
_
(n + 1)
2
1 n
_
=
(n + 1)
2
[(n + 1) 1]
. .
1
2
n(2n+1)
.
Por lo tanto,
n

k=1
k =
n (n + 1)
2
.
Proposici on 2 (Sumas importantes). Para todo n Z
+
se cumplen
n

k=1
k =
n (n + 1)
2
, (1.1)
n

k=1
k
2
=
n (n + 1) (2n + 1)
6
, (1.2)
n

k=1
k
3
=
n
2
(n + 1)
2
4
(1.3)
y si x C{1}, entonces
n

k=1
x
k1
=
1 x
n
1 x
. (1.4)
Demostraci on. Solamente probaremos (1.3).
Etapa base. Para n = 1 tenemos
1

k=1
k
3
= 1 =
1
2
(1 + 1)
2
4
.
Etapa inductiva.
Hip otesis inductiva. Para un h 1 se cumple la igualdad
h

k=1
k
3
=
h
2
(h + 1)
2
4
.
Inducci on matem atica 15
Tesis inductiva. Se cumple que
h+1

k=1
k
3
=
(h + 1)
2
(h + 2)
2
4
.
En efecto,
h+1

k=1
k
3
=
h

k=1
k
3
+ (h + 1)
3
=
h
2
(h + 1)
2
4
+ (h + 1)
3
= (h + 1)
2
_
h
2
4
+ h + 1
_
= (h + 1)
2
(h + 2)
2
4
.
Esto termina la demostraci on.
Problemas Resueltos 1.2
Problema 1. Con el mismo procedimiento del ejemplo 1.2, calcule el valor de
n

k=1
k
2
.
Soluci on. Por la propiedad telesc opica
n

k=1
_
(k + 1)
3
k
3
_
= (n + 1)
3
1. (1)
Por otro lado,
n

k=1
_
(k + 1)
3
k
3
_
=
n

k=1
_
3k
2
+ 3k + 1
_
= 3
n

k=1
k
2
+3
n

k=1
k +
n

k=1
1 = 3
n

k=1
k
2
+
3n (n + 1)
2
+ n.
(2)
De (1) y (2) resulta:
3
n

k=1
k
2
+
3n (n + 1)
2
+ n = (n + 1)
3
1
de donde,
n

k=1
k
2
=
1
3
_
(n + 1)
3

3n (n + 1)
2
(n + 1)
_
=
(n + 1)
3
_
(n + 1)
2

3n
2
1
_
. .
1
2
n(2n+1)
.
Por lo tanto,
n

k=1
k
2
=
n (n + 1) (2n + 1)
6
.
Problema 2. Demuestre por inducci on matem atica la siguiente f ormula
n

k=1
(n + 1 k)
3
=
n
2
(n + 1)
2
4
.
Soluci on.
I. Etapa base.Tenemos
1

k=1
(1 + 1 k)
3
= (1 + 1 1)
3
= 1 =
1
2
(1 + 1)
2
4
.
16 Juan Montealegre Scott
II. Etapa inductiva.
Hip otesis inductiva. Si h 1, entonces
h

k=1
(h + 1 k)
3
=
h
2
(h + 1)
2
4
.
Tesis inductiva. Se cumple que
h+1

k=1
(h + 2 k)
3
=
(h + 1)
2
(h + 2)
2
4
.
En efecto,
h+1

k=1
(h + 2 k)
3
=
h+1

k=1
(h + 1 + 1 k)
3
=
h

j=0
(h + 1 j)
3
= (h + 1)
3
+
h

j=1
(h + 1 j)
3
. .
H.I.
= (h + 1)
3
+
h
2
(h + 1)
2
4
= (h + 1)
2
_
(h + 1) +
h
2
4
_
=
1
4
(h + 1)
2
(h + 2)
2
.
Esto prueba la tesis inductiva.
Problema 3. Demuestre que para todo n > 1 se cumple la igualdad
n

k=1
k cos kx =
(n + 1) cos nx n cos (n + 1) x 1
4 sen
2
x
2
.
Soluci on.
Etapa base. Tenemos
1

k=1
k cos kx = cos x =
cos x (1 cos x)
2 sen
2
x
2
=
cos x cos
2
x
2 sen
2
x
2
=
2 cos x cos 2x 1
4 sen
2
x
2
.
Etapa inductiva.
Hip otesis inductiva. Si h 1,
h

k=1
k cos kx =
(h + 1) cos hx h cos (h + 1) x 1
4 sen
2
x
2
.
Tesis inductiva. Se cumple que
h+1

k=1
k cos kx =
(h + 2) cos (h + 1) x (h + 1) cos (h + 2) x 1
4 sen
2
x
2
En efecto, por denici on y la hip otesis inductiva se tiene
h+1

k=1
k cos kx =
h

k=1
k cos kx + (h + 1) cos (h + 1) x
=
(h + 1) cos hx h cos (h + 1) x 1
4 sen
2
x
2
+ (h + 1) cos (h + 1) x
=
S
4 sen
2
x
2
.
Inducci on matem atica 17
Simplicando,
S = (h + 1) cos hx h cos (h + 1) x 1 + 4 (h + 1) cos (h + 1) xsen
2
x
2
(1)
= (h + 1) cos hx h cos (h + 1) x 1 + 2 (h + 1) (1 cos x) cos (h + 1) x
= (h + 1) cos hx h cos (h + 1) x
(2)
1
+2 (h + 1) cos (h + 1) x
(2)
2 (h + 1) cos (h + 1) x cos x
(3)
= (h + 1) cos hx
(4)
+ (h + 2) cos (h + 1) x 1
(h + 1) cos (h + 2) x (h + 1) cos hx
(4)
= (h + 2) cos (h + 1) x (h + 1) cos (h + 2) x 1.
(1) : seno del angulo mitad,
(2) y (4) : reduciendo t erminos semejantes,
(3) : transformando producto en suma.
Teorema (descomposici on en facciones parciales). Sean a
1
, a
2
, b
1
, b
2
R y P (x) un polinomio
con coecientes reales de grado < 2. Existen n umeros reales A y B tales que
P (x)
(a
1
x + b
1
) (a
2
x + b
2
)
=
A
a
1
x + b
1
+
B
a
2
x + b
2
.
Ejemplo. Descomponer en fracciones parciales a la fracci on propia
1
(2x + 1) (2x 1)
.
Soluci on. Seg un el teorema, existen A, B R tales que
1
(2x + 1) (2x 1)
=
A
2x + 1
+
B
2x 1
=
A(2x 1) + B (2x + 1)
(2x + 1) (2x 1)
,
entonces
A = 1/2 y B = 1/2
por lo tanto,
1
(2x + 1) (2x 1)
=
1/2
2x + 1
+
1/2
2x 1
.
Problema 4. Calcule en t erminos de n el valor de
n

k=1
8
(4k + 7) (4k 1)
.
Soluci on. Para todo k = 1, . . . , n,
8
(4k + 7) (4k 1)
=
1
4k 1

1
4k + 7
=
_
1
4 (k 1) + 3

1
4k + 3
_
+
_
1
4k + 3

1
4 (k + 1) + 3
_
,
entonces
n

k=1
8
(4k + 7) (4k 1)
=
n

k=1
_
1
4 (k 1) + 3

1
4k + 3
_
+
n

k=1
_
1
4k + 3

1
4 (k + 1) + 3
_
.
18 Juan Montealegre Scott
Usando la propiedad telesc opica
n

k=1
8
(4k + 7) (4k 1)
=
_
1
4 (1 1) + 3

1
4n + 3
_
+
_
1
4 (1) + 3

1
4 (n + 1) + 3
_
=
21
7

1
4n + 3

1
4n + 7
.
Problema 5. Si x es un n umero positivo cualquiera, calcule en t erminos de n el valor de
n

k=1
k
x
k1
.
Soluci on. Tenemos por la propiedad telesc opica que
n

k=1
_
k
x
k

k 1
x
k1
_
=
n
x
n
(1)
Por otro lado,
n

k=1
_
k
x
k

k 1
x
k1
_
=
n

k=1
_
1
x

k
x
k1

k
x
k1
+
1
x
k1
_
=
n

k=1
_
1
x
1
_
k
x
k1
+
n

k=1
1
x
k1
.
Simplicando
n

k=1
_
k
x
k

k 1
x
k1
_
=
_
1 x
x
_
n

k=1
k
x
k1
+
1 x
n
(1 x) x
n1
. (2)
De (1) y (2) obtenemos
_
1 x
x
_
n

k=1
k
x
k1
+
1 x
n
(1 x) x
n1
=
n
x
n
de donde
n

k=1
k
x
k1
=
_
n
x
n

1 x
n
(1 x) x
n1
_
x
1 x
.
Problema 6. Calcule en t erminos de n el valor de
n

k=1
5
2k+1
k.
Soluci on (Idea). Tenemos
n

k=1
5
2k+1
k = 5
n

k=1
25
k
k = 125
n

k=1
25
k1
k
. .
S
. (1)
Entonces calcular S como en el ejercicio anterior, considerando x =
1
25
.
Problema 7. Encontrar el valor de
n

k=1
k2
k1
.
Soluci on. Tenemos
n

k=1
_
k2
k
(k 1) 2
k1
_
= n2
n
(1 1) 2
11
= n2
n
. (1)
Inducci on matem atica 19
Por otro lado,
n

k=1
_
k2
k
(k 1) 2
k1
_
=
n

k=1
_
2k2
k1
k2
k1
+ 2
k1
_
=
n

k=1
k2
k1
+
n

k=1
2
k1
(2)
De (1) y (2) obtenemos
n

k=1
k2
k1
= n2
n

k=1
2
k1
= n2
n

2
n
1
2 1
= (n 1) 2
n
+ 1.
Problema 8.
n

k=1
sen (2k 1) x =
1 cos (2nx)
2 sen x
, n 1.
Soluci on.
Etapa base. Tenemos
1

k=1
sen (2k 1) x = sen x =
2 sen
2
x
2 sen x
=
1 cos (2x)
2 sen x
.
Etapa inductiva.
Hip otesis inductiva. Si h 1,
h

k=1
sen (2k 1) x =
1 cos (2hx)
2 sen x
.
Tesis inductiva. Se cumple que
h+1

k=1
sen (2k 1) x =
1 cos 2 (h + 1) x
2 sen x
.
En efecto,
h+1

k=1
sen (2k 1) x =
1 cos (2hx)
2 sen x
+ sen (2h + 1) x
=
1 cos (2hx) + sen (2x) sen2hx + (1 cos (2x)) cos 2hx
2 sen x
=
1 + sen (2x) sen2hx cos (2x) cos 2hx
2 sen x
=
1 cos 2 (h + 1) x
2 sen x
.
Problema 9. Usando inducci on matem atica pruebe que
n

k=1
(k 1) k =
(n 1) n (n + 1)
3
, n 1.
Soluci on.
I. Etapa base.Tenemos
1

k=1
(k 1) k = (1 1) 1 = 0 =
(1 1) (1) (1 + 1)
3
.
II. Etapa inductiva.
20 Juan Montealegre Scott
Hip otesis inductiva. Si h 1, entonces
h

k=1
(k 1) k =
(h 1) h (h + 1)
3
.
Tesis inductiva. Se cumple que
h+1

k=1
(k 1) k =
h (h + 1) (h + 2)
3
.
En efecto,
h+1

k=1
(k 1) k =
h

k=1
(k 1) k + h (h + 1) =
(h 1) h (h + 1)
3
+ h (h + 1)
=
(h 1) h (h + 1) + 3h (h + 1)
3
=
(h + 2) h (h + 1)
3
.
Problema 10. Calcule en t erminos de n el valor de
n

k=1
1
(5k 1) (5k + 4)
.
Soluci on. Para cada k = 1, . . . , n, descomponiendo en fracciones parciales
1
(5k 1) (5k + 4)
=
1
5 (5k 1)

1
5 (5k + 4)
.
Entonces
n

k=1
1
(5k 1) (5k + 4)
=
1
5
n

k=1
_
1
5k 1

1
5k + 4
_
=
1
5
_
1
5 (1) 1

1
5n + 4
_
=
n
20n + 16
.
Problema 11. Calcule en t erminos de n el valor de
n

k=1
1
4k
2
1
.
Soluci on. Para todo k = 1, . . . , n,
1
4k
2
1
=
1
(2k 1) (2k + 1)
=
1
2
2k 1

1
2
2 (k + 1) 1
,
entonces
n

k=1
1
4k
2
1
=
1
2
n

k=1
_
1
2k 1

1
2 (k + 1) 1
_
=
1
2
_
1
2 (1) 1

1
2 (n + 1) 1
_
.
Simplicando
n

k=1
1
4k
2
1
=
1
2
_
1
1
2n + 1
_
=
n
2n + 1
.
Problema 12. Calcule el valor de
n

k=1
1
k (k + 1) (k + 3)
.
Inducci on matem atica 21
Soluci on. Descomponiendo en fracciones parciales, obtenemos para k = 1, . . . , n
1
k (k + 1) (k + 3)
=
1
6
_
1
k + 3

3
k + 1
+
2
k
_
=
1
6
_
1
k + 3

1
k + 1
_
+
1
3
_
1
k

1
k + 1
_
.
Luego
n

k=1
1
k (k + 1) (k + 3)
=
1
6
n

k=1
_
1
k + 3

1
k + 1
_
+
1
3
n

k=1
_
1
k

1
k + 1
_
=
1
6
_
1
n + 3

1
1 + 1
_
+
1
3
_
1
1

1
n + 1
_
=
1
6 (n + 3)

1
3 (n + 1)
+
1
4
.
Problema 13. Demostrar que para todo n Z
+
se cumple
n

k=1
cos (2k 1) x =
sen2nx
2 sen x
.
Soluci on.
Etapa base. Para n
0
= 1, tenemos
1

k=1
cos (2k 1) x = cos x =
2 sen x cos x
2 sen x
=
sen2 (1) x
2 sen x
.
Etapa inductiva.
Hip otesis inductiva. Si n 1 se cumple
n

k=1
cos (2k 1) x =
sen2nx
2 sen x
.
Tesis inductiva. Se cumple que
n+1

k=1
cos (2k 1) x =
sen2 (n + 1) x
2 sen x
.
En efecto,
n+1

k=1
cos (2k 1) x =
n

k=1
cos (2k 1) x + cos [2 (n + 1) 1] x
=
sen2nx
2 sen x
+ cos (2n + 1) x
=
sen2nx + 2 sen x cos (2n + 1) x
2 sen x
=
sen2nx + 2 sen x [cos 2nx cos x sen2nx sen x]
2 sen x
=
sen2nx + sen2x cos 2nx 2 sen
2
x sen2nx
2 sen x
=
sen2nx
cos 2x
..
_
1 2 sen
2
x
_
+sen2x cos 2nx
2 sen x
=
sen2 (n + 1) x
2 sen x
.
Esto termina la demostraci on.
22 Juan Montealegre Scott
Problema 14. Usando inducci on matem atica pruebe que
n

k=1
sen (kx) =
sen
(n + 1) x
2
sen
nx
2
sen
x
2
,
para cualquier n Z
+
.
Soluci on.
Etapa base. Si n = 1, se tiene
1

k=1
sen (kx) = sen (x) =
sen
(1 + 1) x
2
sen
(1) x
2
sen
x
2
.
Etapa inductiva.
Hip otesis inductiva. Para un entero h 1 se cumple
h

k=1
sen (kx) =
sen
(h + 1) x
2
sen
hx
2
sen
x
2
.
Tesis inductiva. Se cumple la desigualdad
h+1

k=1
sen (kx) =
sen
(h + 2) x
2
sen
(h + 1) x
2
sen
x
2
. (1.5)
En efecto,
h+1

k=1
sen (kx) =
h

k=1
sen (kx) + sen (h + 1) x
=
sen
(h + 1) x
2
sen
hx
2
sen
x
2
+ sen (h + 1) x
=
sen
(h + 1) x
2
sen
hx
2
+ sen (h + 1) x sen
x
2
sen
x
2
=
sen
(h + 1) x
2
_
sen
hx
2
+ 2 sen
x
2
cos
(h + 1) x
2
_
sen
x
2
(1.6)
pero
sen
hx
2
+ 2 sen
x
2
cos
(h + 1) x
2
= sen
hx
2
+ sen
_
x
2
+
(h + 1) x
2
_
+ sen
_
x
2

(h + 1) x
2
_
= sen
hx
2
+ sen
(h + 2) x
2
+ sen
_

hx
2
_
= sen
(h + 2) x
2
.
Sustituyendo en (1.6) se obtiene (1.5).
Inducci on matem atica 23
Problema 15. Si los n umeros reales a
n
, n Z
+
, se denen recursivamente por
_
a
1
=
a
n
= ra
n1
, si n 2,
donde r ]1, +[ pruebe que
n Z
+
: a
n
= r
n1
y
n

k=1
a
k
=
a (r
n
1)
r 1
.
Soluci on.
Etapa base. Si n = 1, tenemos
a
1
= = r
0
= r
11
y
1

k=1
a
k
= a
1
= =
(r 1)
r 1
=

_
r
1
1
_
r 1
.
As, las igualdades son v alidas cuando n = 1.
Etapa inductiva.
Hip otesis inductiva. Si n 1 se cumplen
a
n
= r
n1
y
n

k=1
a
k
=
(r
n
1)
r 1
.
Tesis inductiva. Las igualdades son verdaderas para n + 1, es decir,
a
n+1
= r
n
y
n+1

k=1
a
k
=

_
r
n+1
1
_
r 1
.
En efecto,
a
n+1
= ra
n
= rr
n1
= r
n
,
lo que prueba la primera igualdad. Ahora,
n+1

k=1
a
k
=
n

k=1
a
k
+ a
n+1
=
(r
n
1)
r 1
. .
H.I.
+ r
n
..
Probado
=
(r
n
1)
r 1
+ r
n
=

_
r
n+1
1
_
r 1
.
Problema 16. Calcule el valor de
n

k=0
sen
2
(k + 1) + cos (2k)
2
k
.
Soluci on. Como cos (2k) = 1 2 sen
2
(k) tenemos
n

k=0
sen
2
(k + 1) + cos (2k)
2
k
=
n

k=0
sen
2
(k + 1) + 1 2 sen
2
(k)
2
k
=
n

k=0
_
_
_
_
sen
2
(k + 1)
2
k
. .
a
k+1

sen
2
(k)
2
k1
. .
a
k
_
_
_
_
+
n

k=0
1
2
k
=
_
_
_
_
sen
2
(n + 1)
2
n

sen
2
(0)
2
1
. .
a
k
_
_
_
_
+
1
_
1
2
_
n+1
1
1
2
=
sen
2
(n + 1)
2
n

1
2
n
+ 2.
24 Juan Montealegre Scott
Problema 17. Sea a > 1 un n umero real, pruebe usando inducci on matem atica sobre n que
n Z
+
:
n

k=1
1
(a + 1)
k
=
(a + 1)
n
1
a (a + 1)
n
.
Soluci on.
Etapa base. Si n = 1, se tiene
1

k=1
1
(a + 1)
k
=
1
(a + 1)
1
=
(a + 1)
1
1
a (a + 1)
1
.
As, la armaci on es verdadera cuando n = 1.
Etapa inductiva.
Hip otesis inductiva. Suponemos que la armaci on es verdadera para un h 1, es decir,
h

k=1
1
(a + 1)
k
=
(a + 1)
h
1
a (a + 1)
h
, para un h 1.
Tesis inductiva. La propiedad es verdadera para h + 1, es decir,
h+1

k=1
1
(a + 1)
k
=
(a + 1)
h+1
1
a (a + 1)
h+1
.
En efecto,
h+1

k=1
1
(a + 1)
k
=
h

k=1
1
(a + 1)
k
+
1
(a + 1)
h+1
=
(a + 1)
h
1
a (a + 1)
h
+
1
(a + 1)
h+1
=
_
(a + 1)
h
1
_
(a + 1) + a
a (a + 1)
h+1
=
(a + 1)
h+1
(a + 1) + a
a (a + 1)
h+1
.
Simplicando se obtiene la tesis inductiva.
Problema 18. Usando inducci on matem atica, demuestre que para todo n Z
+
se cumple
n

k=1
k (k + 2) =
n (n + 1) (2n + 7)
6
.
Soluci on.
Etapa base. Si n = 1, tenemos
1

k=1
k (k + 2) = (1) (1 + 2) = 3 =
(1) (1 + 1) [2 (1) + 7]
6
.
As, la armaci on es verdadera cuando n = 1.
Etapa inductiva.
Hip otesis inductiva. Suponemos que la armaci on es verdadera para un h 1, es decir,
h

k=1
k (k + 2) =
h (h + 1) (2h + 7)
6
, para un h 1.
Inducci on matem atica 25
Tesis inductiva. La propiedad es verdadera para h + 1, es decir,
h+1

k=1
k (k + 2) =
(h + 1) (h + 2) (2h + 9)
6
.
En efecto,
h+1

k=1
k (k + 2) =
h

k=1
k (k + 2) + (h + 1) (h + 3)
=
h (h + 1) (2h + 7)
6
+ (h + 1) (h + 3)
= (h + 1)
_
h (2h + 7)
6
+ (h + 3)
_
= (h + 1)
_
2h
2
+ 13h + 18
6
_
=
(h + 1) (h + 2) (2h + 9)
6
,
obteniendo la tesis.
Problema 19. Usando inducci on pruebe que
n

k=1
sen
k
3
= 2 sen
_
n
6
_
sen
(n + 1)
6
, n 1.
Soluci on.
Etapa base. Para n = 1 tenemos
1

k=1
sen
k
3
= sen
_

3
_
= 2 sen
_

6
_
sen
2
6
.
Etapa inductiva.
Hip otesis inductiva. Si n 1 se cumple
n

k=1
sen
k
3
= 2 sen
_
n
6
_
sen
(n + 1)
6
.
Tesis inductiva. Se cumple que
n+1

k=1
sen
k
3
= 2 sen
(n + 1)
6
sen
(n + 2)
6
26 Juan Montealegre Scott
En efecto,
n+1

k=1
sen
k
3
=
n

k=1
sen
k
3
+ sen
(n + 1)
3
= 2 sen
_
n
6
_
sen
(n + 1)
6
+ sen2
_
(n + 1)
6
_
= 2 sen
_
n
6
_
sen
(n + 1)
6
+ 2 sen
(n + 1)
6
cos
(n + 1)
6
= 2 sen
(n + 1)
6
_
sen
_
n
6
_
+ cos
(n + 1)
6
_
= 2 sen
(n + 1)
6
_
sen
n
6
+ cos
n
6
cos

6
sen
n
6
sen

6
_
= 2 sen
(n + 1)
6
_
1
2
sen
n
6
+

3
2
cos
n
6
_
= 2 sen
(n + 1)
6
_
cos
2
6
sen
n
6
+ sen
2
6
cos
n
6
_
= 2 sen
(n + 1)
6
sen
(n + 2)
6
,
como queramos probar.
Problema 20. Calcular en t erminos de n el valor de
n

k=3
k
2
k
.
Soluci on. Tenemos
n

k=3
_
k
2
k

k 1
2
k1
_
=
n
2
n

3 1
2
31
=
n
2
n

1
2
. (1)
Por otro lado,
n

k=3
_
k
2
k

k 1
2
k1
_
=
n

k=3
k
2
k + 1
2
k1
=
n

k=3
1
k
2
2
k1
=
n

k=3
_
1
2
_
k1

k=3
k
2
k
(2)
De (1) y (2) obtenemos
n

k=3
k
2
k
=
n

k=3
_
1
2
_
k1

n
2
n
+
1
2
=
1
_
1
2
_
n
1
1
2

n
2
n
1 = 1
1
2
n1

n
2
n
.
Problema 21. Deuestre que para todo n Z
+
se cumple que
n

k=1
1
n + k
=
2n

k=1
(1)
k+1
k
.
Soluci on.
Etapa base. Si n = 1 tenemos
1

k=1
1
1 + k
=
1
1 + 1
=
1
2
y
2

k=1
(1)
k+1
k
=
(1)
1+1
1
+
(1)
2+1
2
= 1
1
2
=
1
2
.
Inducci on matem atica 27
Etapa inductiva.
Hip otesis inductiva. Si h 1 es cualquiera, entonces
h

k=1
1
h + k
=
2h

k=1
(1)
k+1
k
.
Tesis inductiva. Se cumple que
h+1

k=1
1
h + 1 + k
=
2h+2

k=1
(1)
k+1
k
.
En efecto, haciendo j = 1 + k tenemos
h+1

k=1
1
h + 1 + k
=
h+2

k=2
1
h + j
=
h

k=1
1
h + j

1
h + 1
+
1
2h + 1
+
1
2h + 2
=
2h

k=1
(1)
k+1
k
+
1
2h + 1
+
_
1
2h + 2

1
h + 1
_
. .
=
1
2h+2
=
2h

k=1
(1)
k+1
k
+
1
2h + 1

1
2h + 2
=
2h+2

k=1
(1)
k+1
k
.
Problema 22. Sean n Z
+
y x
1
, . . . , x
n
R. Demuestre que
n

k=1
|sen (x
k
)| +

cos
_
n

k=1
x
k
_

1.
Soluci on.
Etapa base. Si n = 1 se debe demostrar que
1

k=1
|sen (x
k
)| +

cos
_
1

k=1
x
k
_

1.
En efecto,
1

k=1
|sen (x
k
)| +

cos
_
1

k=1
x
k
_

= |sen (x
k
)| +|cos (x
k
)| . (1)
Pero
|sen (x
k
)| 1 |sen (x
k
)| |sen (x
k
)| |sen (x
k
)| sen
2
(x
k
) |sen (x
k
)|
y del mismo modo
cos
2
(x
k
) |cos (x
k
)| ,
luego, en (1) se obtiene
1

k=1
|sen (x
k
)| +

cos
_
1

k=1
x
k
_

= |sen (x
k
)| +|cos (x
k
)| sen
2
(x
k
) + cos
2
(x
k
) = 1.
Etapa inductiva.
28 Juan Montealegre Scott
Hip otesis inductiva. Si h 1 es cualquiera, entonces
h

k=1
|sen (x
k
)| +

cos
_
h

k=1
x
k
_

1.
Tesis inductiva. Se cumple que
h+1

k=1
|sen (x
k
)| +

cos
_
h+1

k=1
x
k
_

1.
En efecto, se tiene
h+1

k=1
|sen (x
k
)| +

cos
_
h+1

k=1
x
k
_

=
h

k=1
|sen (x
k
)| +|sen (x
h+1
)| +

cos
_
h+1

k=1
x
k
_

. (1)
Se demostrar a que
|sen (x
h+1
)| +

cos
_
h+1

k=1
x
k
_

cos
_
h

k=1
x
k
_

.
En efecto, se tiene que
cos
_
h

k=1
x
k
_
= cos
_
h+1

k=1
x
k
x
h+1
_
= cos
_
h+1

k=1
x
k
_
cos (x
h+1
) + sen
_
h+1

k=1
x
k
_
sen (x
h+1
)
entonces

cos
_
h

k=1
x
k
_

cos
_
h+1

k=1
x
k
_
cos (x
h+1
) + sen
_
h+1

k=1
x
k
_
sen (x
h+1
)

cos
_
h+1

k=1
x
k
_

|cos (x
h+1
)| +

sen
_
h+1

k=1
x
k
_

|sen (x
h+1
)| ,
como

cos
_
h+1

k=1
x
k
_

|cos (x
h+1
)|

cos
_
h+1

k=1
x
k
_

sen
_
h+1

k=1
x
k
_

|sen (x
h+1
)| |sen (x
h+1
)|
obtenemos

cos
_
h

k=1
x
k
_

cos
_
h+1

k=1
x
k
_

+|sen (x
h+1
)| (2)
Comparando (1) y (2), por la hip otesis inductiva se obtiene
h+1

k=1
|sen (x
k
)| +

cos
_
h+1

k=1
x
k
_

=
h

k=1
|sen (x
k
)| +
_
|sen (x
h+1
)| +

cos
_
h+1

k=1
x
k
_

k=1
|sen (x
k
)| +

cos
_
h

k=1
x
k
_

1
por la hip otesis inductiva.
Inducci on matem atica 29
Problema 23. Calcule en t erminos de n Z
+
el valor de la sumatoria
n

k=2
k + 2
k (k
2
1)
.
Soluci on. Descomponiendo en fracciones parciales, cambiando la variable y completando t ermi-
nos en las sumatorias reasultantes se tiene
n

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

k=2
1
k 1
. .
j=k1
+
1
2
n

k=2
1
k + 1
. .
j=k+1
2
n

k=2
1
k
=
3
2
n1

j=1
1
j
+
1
2
n+1

j=3
1
j
2
n

j=2
1
j
=
3
2
_
n

j=1
1
j

1
n
_
+
1
2
_
n

j=1
1
j
1
1
2
+
1
n + 1
_
2
_
n

j=2
1
j
1
_
=
1
2n + 2

3
2n
+
5
4
.
Simplicando
n

k=2
k + 2
k (k
2
1)
=
5n
2
+ n 6
4n (n + 1)
.
1.3. Teorema del binomio de Newton
Denici on 2. Sean m, n Ntales que m n. El n umero combinatorio de numerador m y denomi-
nador n, representado por
_
m
n
_
, se dene como
_
m
n
_
=
m!
n! (mn)!
.
Proposici on 3. 1.
_
m
0
_
=
_
m
m
_
= 1
2.
_
m
n
_
=
_
m
mn
_
para 0 n m.
3.
_
m
n
_
+
_
m
n + 1
_
=
_
m + 1
n + 1
_
para 0 n m.
Teorema (del binomio de Newton). Si a, b R y n N
+
, se cumple
(a + b)
n
=
n

k=0
_
n
k
_
a
nk
b
k
.
Demostraci on. Haremos la prueba por inducci on.
Etapa base. Si n = 1, se tiene
(a + b)
1
= a + b =
_
1
0
_
a +
_
1
1
_
b.
Etapa inductiva.
30 Juan Montealegre Scott
Hip otesis inductiva. Supongamos que para h 1 se cumple que
(a + b)
h
=
h

k=0
_
h
k
_
a
hk
b
k
.
Tesis inductiva. La propiedad es verdadera para h + 1, es decir,
(a + b)
h+1
=
h+1

k=0
_
h + 1
k
_
a
h+1k
b
k
.
En efecto,
(a + b)
h+1
= (a + b)
h
(a + b) =
_
h

k=0
_
h
k
_
a
hk
b
k
_
(a + b)
=
h

k=0
_
h
k
_
a
h+1k
b
k
+
h

k=0
_
h
k
_
a
hk
b
k+1
=
_
h
0
_
a
h+1
b
0
+
h

k=1
_
h
k
_
a
h+1k
b
k
+
h1

k=0
_
h
k
_
a
hk
b
k+1
+
_
h
h
_
a
0
b
h+1
Pero
h

k=1
_
h
k
_
a
h+1k
b
k
=
h1

k=0
_
h
k + 1
_
a
hk
b
k+1
.
As
(a + b)
h+1
=
_
h
0
_
a
h+1
b
0
+
h1

k=0
__
h
k + 1
_
+
_
h
k
__
a
hk
b
k+1
+
_
h
h
_
a
0
b
h+1
=
_
h
0
_
a
h+1
b
0
+
h1

k=0
_
h + 1
k + 1
_
a
hk
b
k+1
+
_
h
h
_
a
0
b
h+1
=
_
h + 1
0
_
a
h+1
b
0
+
h

k=1
_
h + 1
k
_
a
h+1k
b
k
+
_
h + 1
h + 1
_
a
0
b
h+1
=
h+1

k=0
_
h + 1
k
_
a
h+1k
b
k
y se cumple la f ormula para h + 1.
Observaci on 1.
1.
n

k=0
_
n
k
_
= 2
n
.
2.
n

k=0
(1)
k
_
n
k
_
= 0.
Problemas Resueltos 1.3
Problema 1. Hallar el valor de la siguiente suma,
n

k=1
k
_
n
k
_
_
n
k 1
_.
Inducci on matem atica 31
Soluci on. El k- esimo sumando es
k
_
n
k
_
_
n
k 1
_ =
k
n!
k! (n k)!
n!
(k 1)! (n k + 1)!
=
n!
(k 1)! (n k)!
n!
(k 1)! (n k)! (n k + 1)
=
1
1
1
(n k + 1)
= n k + 1.
Entonces
n

k=1
k
_
n
k
_
_
n
k 1
_ =
n

k=1
(n k + 1) =
n

k=1
(n + 1)
n

k=1
k = n (n + 1)
n (n + 1)
2
Por lo tanto,
n

k=1
k
_
n
k
_
_
n
k 1
_ =
n (n + 1)
2
.
Problema 2. Calcular el coeciente del termino que contine x
12
y
2
en el desarrollo de
_
x
2
y
1
y
2
_
8
.
Soluci on. Por el teorema del binomio,
_
x
2
y
1
y
2
_
8
=
8

k=0
_
8
k
_
_
x
2
y
_
8k
_

1
y
2
_
k
=
8

k=0
(1)
k
_
8
k
_
x
162k
y
83k
.
Se debe cumplir simult aneamente que
16 2k = 12 y 8 3k = 2 k = 2.
Por lo tanto, el coeciente solicitado es (para k = 2)
(1)
2
_
8
2
_
=
8!
6!2!
=
8 7
2
= 28.
Problema 3. Calcule en t erminos de n el valor de
n

k=0
1
(k + 1) (k + 2) (k + 3)
_
n
k
_
.
Soluci on. Para cada k = 1, . . . , n tenemos
1
(k + 1) (k + 2) (k + 3)
_
n
k
_
=
1
(k + 1) (k + 2) (k + 3)

n!
k! (n k)!
=
n!
(k + 3)! [((n + 3) (k + 3))]!
=
1
(n + 1) (n + 2) (n + 3)

(n + 3)!
(k + 3)! [((n + 3) (k + 3))]!
=
_
n + 3
k + 3
_
.
32 Juan Montealegre Scott
Luego,
n

k=0
1
(k + 1) (k + 2) (k + 3)
_
n
k
_
=
n

k=0
_
n + 3
k + 3
. .
j
_
=
n+3

j=3
_
n + 3
j
_
=
n+3

j=0
_
n + 3
j
_

_
n + 3
0
_

_
n + 3
1
_

_
n + 3
2
_
= 2
n+3
1 (n + 3)
(n + 3) (n + 2)
2
.
Simplicando
n

k=0
1
(k + 1) (k + 2) (k + 3)
_
n
k
_
=
2
n+4
n
2
7n 14
2
.
Problema 4.
a) Si n y k son n umeros enteros tales que n k 2, pruebe que
k
2
_
n
k
_
= n (n 1)
_
n 2
k 2
_
+ n
_
n 1
k 1
_
.
b) Halle el valor de la siguiente suma
n

k=2
k
2
_
n
k
_
.
Soluci on.
a) Para n k 2 tenemos,
k
2
_
n
k
_
= [k (k 1) + k]
_
n
k
_
= k (k 1)
_
n
k
_
+ k
_
n
k
_
= k (k 1)
n!
k! (n k)!
+ k
n!
k! (n k)!
=
n!
(k 2)! (n k)!
+
n!
(k 1)! (n k)!
= n (n 1)
(n 2)!
(k 2)! [(n 2) (k 2)]!
+ n
(n 1)!
(k 1)! [(n 1) (k 1)]!
= n (n 1)
_
n 2
k 2
_
+ n
_
n 1
k 1
_
.
b) Usando la parte anterior
n

k=2
k
2
_
n
k
_
= n (n 1)
n

k=2
_
n 2
k 2
_
+ n
n

k=2
_
n 1
k 1
_
(1)
Adem as, j = k 2 implica
n

k=2
_
n 2
k 2
_
=
n2

j=0
_
n 2
j
_
= 2
n2
Inducci on matem atica 33
y j = k 1 implica
n

k=2
_
n 1
k 1
_
=
n1

j=1
_
n 1
j
_
=
n1

j=0
_
n 1
j
_

_
n 1
0
_
= 2
n1
1.
Sustituyendo en (1),
n

k=2
k
2
_
n
k
_
= n (n 1) 2
n2
+ n
_
2
n1
1
_
.
Problema 5. Use el Teorema del Binomio para probar que cualquiera sea n Z
+
se cumple que
_
1 +
1
n
_
n
2.
Soluci on. Por el Teorema del Binomio se tiene
_
1 +
1
n
_
n
=
n

k=0
_
n
k
_
1
n
k
=
_
n
0
_
1
n
0
+
_
n
1
_
1
n
1
+
n

k=0
_
n
k
_
1
n
k
= 1 + 1 +
n

k=0
_
n
k
_
1
n
k
. .
>0
,
de donde
_
1 +
1
n
_
n
2.
Problema 6. Calcule en t erminos de n Z
+
el valor de
n

k=1
1
k + 1
_
n
k
_
.
Soluci on. Tenemos
1
k + 1
_
n
k
_
=
1
k + 1
n!
k! (n k)!
=
n! (n + 1)
(k + 1)! ((n + 1) (k + 1))! (n + 1)
=
1
n + 1

(n + 1)!
(k + 1)! ((n + 1) (k + 1))!
=
1
n + 1
_
n + 1
k + 1
_
.
Entonces
n

k=1
1
k + 1
_
n
k
_
=
1
n + 1
n

k=1
_
n + 1
k + 1
_
=
1
n + 1
n+1

j=2
_
n + 1
j
_
=
1
n + 1
_
n+1

j=0
_
n + 1
j
_

_
n + 1
0
_

_
n + 1
1
_
_
.
Simplicando
n

k=1
1
k + 1
_
n
k
_
=
2
n+1
n 2
n + 1
.
Problema 7. Calcule en t erminos de n el valor de
n

k=0
1
(k + 1) (k + 2)
_
n
k
_
.
Soluci on. Para cada k = 1, . . . , n, tenemos (ejercicio)
1
(k + 1) (k + 2)
_
n
k
_
=
1
(n + 1) (n + 2)
_
n + 2
k + 2
_
.
34 Juan Montealegre Scott
Luego, si S =
n

k=0
1
(k + 1) (k + 2)
_
n
k
_
, entonces
S =
1
(n + 1) (n + 2)
n

k=0
_
n + 2
k + 2
_
=
1
(n + 1) (n + 2)
__
n + 2
2
_
+
_
n + 2
3
_
+ +
_
n + 2
n + 2
__
=
1
(n + 1) (n + 2)
_

_
_
n + 2
0
_
+
_
n + 2
1
_
+
_
n + 2
2
_
+ +
_
n + 2
n + 2
_
. .
=2
n+1

_
n + 1
0
_
. .
=1

_
n + 2
1
_
. .
=n+2
_

_
=
2
n+1
n 3
(n + 1) (n + 2)
.
Problema 8. Halle el valor de
n

j=1
_
j+1

i=1
_
j
i 1
__

1
2
_
i
_
.
Soluci on. Para cada j = 1, . . . , n se hace k = i 1, entonces
j+1

i=1
_
j
i 1
__

1
2
_
i
=
j

k=0
_
j
k
__

1
2
_
k+1
=
1
2
j

k=0
_
j
k
_
1
jk
_

1
2
_
k
=
1
2
_
1
1
2
_
j
=
1
2
_
1
2
_
j
Luego,
n

j=1
_
j+1

i=1
_
j
i 1
__

1
2
_
i
_
=
n

j=1
_

1
2
_
1
2
_
j
_
=
1
4
n

j=1
_
1
2
_
j1
=
1
4
_
1
1
2
n
1
1
2
_
=
1
2
n+1

1
2
.