Captulo 2

Sumatoria, Progresiones y
Teorema del Binomio
2.1. Smbolo Sumatorio
Es un smbolo muy til y conveniente que permite escribir sumas en forma abreviada. Este
smbolo se representa mediante la letra griega sigma

que representa la letra o ( de suma ). Por

ejemplo, la suma
o = 1
2
+ 2
2
+ 3
2
+ . . . + :
2
se puede abreviar
o =
n

k=1
/
2
que se lee "suma de /
2
desde 1 hasta : ". Los nmeros que aparecen encima y debajo de la letra
sigma indican el recorrido de los valores de /. La letra / se conoce como ndice de sumacin. Es
claro que no es necesario utilizar precisamente la letra /, sino que se puede tomar en su lugar otra
letra cualquiera. Por ejemplo, en vez de
n

k=1
/
2
podemos escribir
n

i=1
i
2

j=1
,
2
todas representando la misma suma. Las letras i , ,, / se llaman ndices. Ms general, cuando se
desea formar la suma de ciertos nmeros reales a
1
, a
2
, . . . , a
n
digamos
o = a
1
+ a
2
+ . . . + a
n
utilizando el smbolo sumatorio, se escribe
o =
n

k=1
a
k
48
Por ejemplo,
3

k=1
a
k
= a
1
+ a
2
+ a
3
5

k=1
,
k
= ,
1
+ ,
2
+ ,
3
+ ,
4
+ ,
5
Algunas veces es conveniente empezar la sumacin por el 0 o por algn valor del ndice diferente
de 1. Por ejemplo
4

l=0
c
l
= c
0
+ c
1
+ c
2
+ c
3
+ c
4
Existen otras formas de usar el smbolo sumatorio, como por ejemplo
4

i=0
c
i+1
= c + c
2
+ c
3
+ c
4
+ c
5
4

m=1
5
m1
= 1 + 5 + 25 + 125
De lo anterior se deduce la siguiente denicin:
Denicin 2.1 Sea j un nmero entero no negativo, entonces se dene:
(1

)
p

k=p
a
k
= a
p
(2

)
n+1

k=p
a
k
=
n

k=p
a
k
+ a
n+1
, con : nmero entero tal que : _ j
Observacin 2.1
1. De la denicin se desprende que:
n+1

k=p
a
k
=
p

k=p
a
k
+ a
p+1
+ a
p+2
+ + a
n
+ a
n+1
= a
p
+ a
p+1
+ a
p+2
+ + a
n
+ a
n+1
2. Dada
n

k=p
a
k
, con 0 _ j _ :, j N' 0. El nmero de trminos siempre es igual a : j + 1.
Para el caso particular de j = 1, dicho nmero es :.
Teorema 2.1
1. Propiedad Aditiva
n

k=1
(a
k
+ /
k
) =
n

k=1
a
k
+
n

k=1
/
k
49
2. Propiedad Homognea
n

k=1
(ca
k
) = c
n

k=1
a
k
, \c R
3.
n

k=1
c = c
n

k=1
1 = c :, \c R
4. Propiedad Telescpica
n

k=p
(a
k
a
k1
) = a
n
a
p1
, 0 _ j _ :
o tambin
n

k=p
(a
k1
a
k
) = a
p1
a
n
, 0 _ j _ :
5.
a)
n

k=p
a
k
=
nq

k=pq
a
k+q
, con j _ 0 y 0 _ j _ :
b)
n

k=p
a
k
=
n+q

k=p+q
a
kq
, con j + _ 0 y 0 _ j _ :
6. Sea j _ :, entonces
n

k=p
a
k
=
n

k=1
a
k

p1

k=1
a
k
Teorema 2.2 (Sumatorias Notables)
1.
n

k=1
/ =
1
2
:(: + 1)
Demostracin: Sea
o =
n

k=1
/ = 1 + 2 + 3 + (: 1) + : (A)
Notar que esta suma tambin se puede escribir como:
o = : + (: 1) + (: 2) + + 3 + 2 + 1 (B)
Luego, si sumamos trmino a trmino las ecuaciones (A) y (B) se tiene que:
2o = (1 + :) + (2 + (: 1)) + (3 + (: 2)) + + ((: 1) + 2) + (: + 1)
= (: + 1) + (: + 1) + (: + 1) + + (: + 1) + (: + 1)
= :(: + 1) (Por qu?)
50
Por tanto,
n

k=1
/ = o =
1
2
:(: + 1)
2.
n

k=1
/
2
=
1
6
:(: + 1) (2: + 1)
Demostracin: Ejercicio (Usar: /
3
(/ 1)
3
= 3/
2
3/ + 1)
3.
n

k=p
r
k
=
r
p
_
r
np+1
1
_
r 1
, con r ,= 1 y 0 _ j _ :
Demostracin: Sea
o =
n

k=p
r
k
= r
p
+ r
p+1
+ + r
n1
+ r
n
(A)
Si mltiplicamos la ecuacin (A) por r, se tiene que:
ro = r
p+1
+ r
p+2
+ + r
n
+ r
n+1
(B)
Luego, si diferenciamos las ecuaciones (B) y (A) obtenemos:
ro o = r
p
+ r
n+1
(r 1) o = r
p
_
r
np+1
1
_
Por tanto,
n

k=p
r
k
= o =
r
p
_
r
np+1
1
_
r 1
Ejercicio 2.3
1. Hallar los valores de las siguientes sumatorias :
a)
5

k=2
2
k2
b)
3

j=0
2
2j+1
c)
4

k=1
2
/(/ + 1)
2. Desarrollar las siguientes sumatorias e indicar el nmero de trminos
51
a)
8

k=4
/ (2/ 1)
b)
n1

k=0
(1)
k+1
2
k
+ 1
/ + 2
3. Escribir, usando el smbolo

, las siguientes sumas:

a) 1
2
+ 3
2
+ 5
2
+ (hasta : + 1 trminos)
b) 2 7 + 5 9 + 8 11 + + 422 287
c)
8
3 5

12
5 7
+
16
7 9
(hasta j trminos)
4. Sea a
1
= 3, . . . , a
n
= 6: 3. Calcular:
6

k=3
a
k1
a
k+1
5. Calcular las siguientes sumatorias
a)
20

k=1
_
1
/ + 2

1
/ + 1
_
b)
n+1

k=p
_
1
2/ 1

1
2/ + 1
_
c)
n

k=1
1
/(/ + 1)
6. Usar las propiedades de sumatorias para deducir las siguientes frmulas:
a)
n

k=1
(2/ 1) = :
2
b)
n

k=1
/
3
=
_
1
2
:(: + 1)
_
2
(Indicacin: /
4
(/ 1)
4
= 4/
3
6/
2
+ 4/ 1)
2.2. Progresiones
Denicin 2.2 Una funcin
a : N R
: a (:) = a
n
se llama una sucesin en R.
Observacin 2.2
1. El elemento a
n
R se llama : simo trmino de la sucesin.
52
2. Una sucesin se denota por: a
n

n2N
= a
1
, a
2
, . . . , a
n
, . . ..
Ejemplo 2.1
1. Son sucesiones reales:
a)
_
2: 1
:
2
+ 1
_
n2N
=
_
1
2
,
3
5
,
5
10
, . . .
_
b) cos (:)
n2N
= 1, 1, 1, . . .
2. Dada la sucesin
_
1,
1
2
,
1
3
,
1
4
, . . .
_
a) Determine su trmino : simo
b) Pruebe que a
k
a
k+1
=
1
/ (/ + 1)
c) Calcular a
1
a
n+1
Solucin
a) El : simo trmino de la sucesin es: a
n
=
1
:
b) a
k
a
k+1
=
1
/

1
/ + 1
=
/ + 1 /
/ (/ + 1)
=
1
/ (/ + 1)
c) a
1
a
n+1
= 1
1
: + 1
=
: + 1 1
: + 1
=
:
: + 1
2.2.1. Progresin Aritmtica
Denicin 2.3 Decimos que una sucesin de nmeros reales a
n

n2N
es una Progresin Arit-
mtica (P.A.) si y solo si se puede expresar por
a
n
= a
1
+ (: 1)d
a
1
y d son nmeros reales.
Observacin 2.3 De la denicin anterior se desprende que:
a
1
= a
1
a
2
= a
1
+ d
a
3
= a
1
+ 2d
.
.
.
a
n
= a
1
+ (: 1)d
.
.
.
Donde a
1
se llama primer trmino de la progresin aritmtica, a
n
se llama trmino ensimo
de la progresin aritmtica y d se llama diferencia.
53
Teorema 2.4 Una sucesin de nmeros reales a
n

n2N
es una P.A. si y solo si
a
n+1
a
n
= d, \: N
Demostracin: a
n

n2N
es una P.A. ssi
a
n+1
a
n
= (a
1
+ :d) (a
1
+ (: 1)d)
= d
Ejemplo 2.2
1. La sucesin 4: + 7
n2N
es una P.A. porque se puede expresar como
a
n
= 11
..
a1
+ (: 1) 4
..
d
2. Dada la progresin aritmtica a
1
= 0, a
2
= 3, a
3
= 6 . . . determinar su trmino ensimo.
Solucin El trmino ensimo para esta sucesin viene dado por
a
n
= 3(: 1)
donde su primer trmino es 0 y su diferencia es 3.
3. En una progresin aritmtica su quinto trmino es 13 y el octavo es 22. Encontrar el ensimo
trmino.
Solucin Para ello basta encontrar a y d. En efecto,
a
5
= a + 4d = 13 (2.1)
a
8
= a + 7d = 22
Luego, a
8
a
5
= 7d 4d = 3d = 9. De 2.1 se tiene que el primer trmino es igual a: a = 13 4d =
13 4(3) = 1. Por tanto, la sucesin aritmtica pedida es:
a
n
= 1 + 3(: 1) = 3: 2
3. Encontrar el dcimo quinto trmino de la progresin aritmtica cuyos tres primeros trminos
son
1
2
, 2,
7
2
, . . .
54
Solucin Tenemos que:
a
1
= a =
1
2
a
2
= a + d = 2
a
3
= a + 2d =
7
2
.
Entonces el trmino pedido es:
a
15
=
1
2
+ (14)
3
2
=
1
2
+ 21 =
43
2
Teorema 2.5 La suma de los : primeros trminos de la P.A. a
n

n2N
, cuyo primer trmino es a
1
y diferencia d, viene dada por
o
n
=
:
2
[2a
1
+ (: 1)d]
=
:
2
(a
1
+ a
n
)
Demostracin: Sea
o
n
=
n

k=1
a
k
=
n

k=1
(a
1
+ (/ 1) d)
=
n

k=1
a
1
+
n

k=1
(/ 1) d
= :a
1
+ d
_
n

k=1
/
n

k=1
1
_
= :a
1
+ d
_
1
2
:(: + 1) :
_
=
:
2
[2a
1
+ (: 1)d]
=
:
2
(a
1
+ a
n
)
Ejemplo 2.3
1. Los nmeros enteros pares estn en progresin aritmtica. Encontrar la suma de los nmeros
pares del 2 al 100.
Solucin El problema se reduce a encontrar la suma de los cincuenta primeros trminos 2, 4, . . . , 2:;
esto es : = 50.
o
50
=
50
2
[2 + 100] = 50 51 = 2550
55
2. Se dispone de 280 palos y se quiere ordenarlos en forma de pirmide de manera que en la primera
la se coloquen 25 palos, en la segunda la se coloquen 24, en la tercera la se coloquen 23 y
as sucesivamente. Se desea saber el nmero de las y el nmero de palos de la ltima la.
Solucin La disposicin de los palos estn en progresin aritmtica. La progresin aritmtica del
ejemplo es la siguiente:
a
1
= 25, a
2
= 24, a
3
= 23 j d = 1
Luego, a
n
= 25 + (: 1)(1) y
o
n
=
:
2
[50 + 1 :] = 280 == :(51 :) = 560
:
2
51: + 560 = 0 == : = 35 . : = 16
As,
a
35
= 25 + 34(1) = 9
a
16
= 25 + 15(1) = 10
De acuerdo a los resultados anteriores a
35
no puede ser un trmino de esta progresin aritmtica.
Luego, el nmero de las es 16 y la ltima la tiene 10 palos.
3. Encontrar la suma de todos los nmeros entre 100 y 1000, que sean divisible por 14.
Solucin El primer nmero, despus de 100, divisible por 14 es 112, luego a
1
= 112 y d = 14
(Por qu?), entonces
a
n
= 112 + 14 (: 1)
Notar que
a
n
< 1000 == 112 + 14 (: 1) < 1000
== : <
1000 112
14
+ 1 = 64. 429
Luego, : = 64 con lo que
o
64
=
64
2
(a
1
+ a
64
)
= 32 (112 + 994)
= 35 392
En muchas ocasiones necesitamos obtener el promedio entre dos cantidades. Lo que realmente
estamos haciendo es calcular un trmino de una progresin aritmtica.
Denicin 2.4 Sean a y / dos nmeros reales. Diremos que es el medio aritmtico entre a y
/ si a, , / forman una P.A..
56
Teorema 2.6 es el medio aritmtico entre a y / si y slo si =
a + /
2
Demostracin: es el medio aritmtico entre a y / si y slo si los nmeros a, , / forman
una P.A.. Es decir
a = /
2 = a + /
=
a + /
2
Observacin 2.4 La proposicin anterior se puede generalizar de la siguiente manera: si a
2
, a
3
, . . . , a
k+1
son nmeros reales tales que a, a
2
, a
3
, . . . , a
k+1
, / forman una progresin aritmtica, entonces
a
2
, a
3
, . . . , a
k+1
son llamados los / medios aritmticos o promedios aritmticos entre los
nmeros a y /. Este problema se conoce tambin como:"Interpolar / medios aritmticos entre
a y /". Para tal efecto, sean
a
1
= a y a
k+2
= /
Luego,
a
k+2
= a + (/ + 1) d = / == d =
/ a
/ + 1
De donde se tiene que:
a
n
= a + (: 1)
/ a
/ + 1
, con : = 1, 2, . . . , / + 2
Ejemplo 2.4 Interpolar tres promedios o medios aritmticos entre 3 y 5.
Solucin Sean a = 3, / = 5 y / = 3, entonces
a
n
= 3 + (: 1)
8
4
, con : = 1, 2, 3, 4, 5
= 3 2 (: 1)
Por tanto, los medios interpolados son:
a
2
= 1, a
3
= 1 y a
4
= 3
2.2.2. Progresin Geomtrica
Denicin 2.5 Decimos que una sucesin de nmeros reales a
n

n2N
es una Progresin Ge-
omtrica (P.G.) si y solo si se puede expresar por
a
n
= a
1
r
n1
donde a
1
y r son nmeros reales dados.
57
Observacin 2.5 De la denicin anterior se desprende que:
a
1
= a
1
a
2
= a
1
r
a
3
= a
1
r
2
.
.
.
a
n
= a
1
r
n1
.
.
.
Donde a
1
se llama primer trmino de la progresin geomtrica y r se llama razn.
Teorema 2.7 Una sucesin de nmeros reales a
n

n2N
es una P.G. si y solo si
a
n+1
a
n
= r, \: N
Demostracin: a
n

n2N
es una P.A. ssi
a
n+1
a
n
=
a
1
r
n
a
1
r
n1
= r
Ejemplo 2.5
1. La sucesin
__
1
2
_
n
_
n2N
es una P.G. porque se puede expresar como
a
n
=
1
2
..
a1
_
_
_
_
1
2
..
r
_
_
_
_
n1
2.
1
4
,
1
2
, 1, 2, . . . es una progresin geomtrica de razn r = 2.
3. 1,
_
3, 3,
_
27, . . . es una progresin geomtrica de razn r =
_
3.
4. 3
x
, 3
x+1
, 3
x+2
, . . . es una progresin geomtrica de razn r = 3.
5. Encontrar el quinto trmino de una sucesin geomtrica cuyo primer trmino es 3 y la razn
r =
1
2
.
Solucin Si a
1
= 3 y r =
1
2
, entonces a
5
= 3(
1
2
)
4
=
3
16
58
6. Dado el tercer trmino a
3
= 5, de una progresin geomtrica y el octavo trmino a
8
= 160,
determinar el sexto trmino.
Solucin
a
3
= a
1
r
2
= 5, a
8
= a
1
r
7
= 160 == r
5
= 32 == r = 2
Si a
1
r
2
= 5 entonces a
1
=
5
4
. Luego a
6
=
5
4
(2)
5
= 40.
Teorema 2.8 La suma de los : primeros trminos de la P.G. a
n

n2N
, cuyo primer trmino es a
1
y razn r, viene dada por
o
n
=
a
1
(r
n
1)
r 1
, r ,= 1
Demostracin: Sea
o
n
=
n

k=1
a
k
=
n

k=1
a
1
r
k1
=
a
1
r
n

k=1
r
k
=
a
1
r
_
r (r
n
1)
r 1
_
, (sumatoria notable 3.)
=
a
1
(r
n
1)
r 1
, r ,= 1
Ejemplo 2.6
1. Dada la progresin geomtrica 5, 0,5, 0,05, 0,005, . . . encontrar la suma de los 10 primeros
trminos.
Solucin La progresin est dada por a
1
= 5, a
2
= 0,5, a
3
= 0,05, . . . donde r = 0,1, luego
o
10
= 5
((0,1)
10
1)
((0,1) 1)
= 4.54
2. Una persona desea ahorrar dinero depositando $100 el primer dia, $200 el segundo dia, $400 el
tercer dia y as sucesivamente, doblando la cantidad cada da. Si esto contina, Cunto debe
aportar el dcimo quinto da ? Qu cantidad ahorra en 30 dias ?.
Solucin La progresin geomtrica est dada por: a
1
= 100, a
2
= 200, a
3
= 400. Luego r = 2. El
dcimoquinto da el aporte asciende a a
15
= 100 2
14
= 1638400. La cantidad ahorrada en 30 dias
es la suma de los treinta primeros trminos de la progresin geomtrica:
o
30
= 100
(2
30
1)
(2 1)
= 107374182300
59
3. La suma de los 6 primeros trminos de una P.G. es 9 veces la suma de los tres primeros
trminos, determine su razn.
Solucin Se sabe que
o
6
= 9o
3
a
1
(r
6
1)
r 1
= 9
a
1
(r
3
1)
r 1
r
6
1 = 9(r
3
1)
(r
3
+ 1)(r
3
1) = 9(r
3
1)
r
3
+ 1 = 9
r
3
= 8
r = 2
4. Calcular la suma
o = 2 +
a + /
a/
+
a
2
+ /
2
a
2
/
2
+ +
a
n
+ /
n
a
n
/
n
Solucin Notamos que
o =
_
1 +
1
a
+
1
a
2
+ +
1
a
n
_
+
_
1 +
1
/
+
1
/
2
+ +
1
/
n
_
El primer parntesis contiene sumandos de los : primeros trminos de la P.G.
_
1
a
n
_
n2N
_
donde a
1
=
1
a
y r =
1
a
_
y
el segundo contiene sumandos de los : primeros trminos de la P.G.
_
1
/
n
_
n2N
_
donde /
1
=
1
/
y r =
1
/
_
,
luego
o =
_

_
1 +
1
a
__
1
a
_
n
1
_
1
a
1
_

_
+
_

_
1 +
1
/
__
1
/
_
n
1
_
1
/
1
_

_
=
_

_
_
1
a
1
_
+
_
1
a
_
n+1

1
a
1
a
1
_

_
+
_

_
_
1
/
1
_
+
_
1
/
_
n+1

1
/
1
/
1
_

_
=
_
1
a
_
n+1
1
1
a
1
+
_
1
/
_
n+1
1
1
/
1
=
1 a
n+1
a
n
(1 a)
+
1 /
n+1
/
n
(1 /)
Denicin 2.6 Sean a y / dos nmeros reales. Diremos que el nmero real G es el medio ge-
omtrico entre a y / si a, G, / forman una P.G..
60
Teorema 2.9 El nmero real G es el medio geomtrico entre a y / si y slo si G =
_
a /
Demostracin: G es el medio geomtrico entre a y / si y slo si a, G, / forman una P.G.. Es
decir,
G
a
=
/
G
G
2
= a /
G =
_
a /
Observacin 2.6 La proposicin anterior se puede generalizar de la siguiente manera: si a
2
, a
3
, . . . , a
k+1
son nmeros reales tales que a, a
2
, a
3
, . . . , a
k+1
, / forman una progresin geomtrica, entonces
a
2
, a
3
, . . . , a
k+1
son llamados los / medios geomtricos entre los nmeros a y /. Este problema se
conoce tambin como:"Interpolar / medios geomtricos entre a y /". Para tal efecto, sean
a
1
= a y a
k+2
= /
Luego,
a
k+2
= a r
k+1
= / == r =
k+1
_
/
a
De donde se tiene que:
a
n
= a
_
k+1
_
/
a
_
n1
, con : = 1, 2, . . . , / + 2
Ejemplo 2.7 Interpolar tres medios geomtricos entre
9
4
y
4
9
.
Solucin Sean a =
9
4
, / =
4
9
y / = 3, entonces
a
n
=
9
4
_
4
_
16
81
_
n1
, con : = 1, 2, 3, 4, 5
=
9
4
_
2
3
_
n1
Por tanto, los medios interpolados son:
a
2
=
3
2
, a
3
= 1 y a
4
=
2
3
61
2.2.3. Progresin Armnica
Denicin 2.7 Decimos que una sucesin de nmeros reales a
n

n2N
es una Progresin Ar-
mnica (P.H.) si y solo si la sucesin
_
1
a
n
_
n2N
es una P.A..
Ejemplo 2.8 La sucesin
1
2
,
1
4
,
1
6
, . . . es una progresin armnica ya que 2, 4, 6, . . . es una progre-
sin aritmtica.
En muchas situaciones, principalmente geomtricas, se presenta la necesidad de calcular el medio
armnico que se dene en la misma forma que el medio aritmtico y geomtrico.
Denicin 2.8 Sean a y / nmeros reales no nulos. Diremos que H es el medio armnico entre
a y / si a, H, / es una progresin armnica.
Teorema 2.10 H es el medio armnico entre a y / si y slo si H =
2a/
a + /
.
Demostracin: Ejercicio
Ejemplo 2.9
1. Determinar el medio armnico entre 5 y 11
Solucin Sean a = 5 y / = 11,entonces el medio armnico es
H =
2 (5) (11)
5 + 11
=
55
8
2. Interpolar 2 medios armnicos entre 5 y 11
Solucin 5, a
2
, a
3
, 11 es una P.H. ssi
1
5
,
1
a
2
,
1
a
3
,
1
11
es una P.A.. Luego,
1
a
2

1
5
=
1
a
3

1
a
2
=
1
11

1
a
3
De aqu,
1
a
2

1
5
=
1
a
3

1
a
2
y
1
a
3

1
a
2
=
1
11

1
a
3
Luego, si
1
a
2

1
5
=
1
a
3

1
a
2
== 5a
3
a
2
a
3
= 5a
2
5a
3
== a
2
(a
3
+ 5) = 10a
3
== a
2
=
10a
3
a
3
+ 5
62
y
1
a
3

1
a
2
=
1
11

1
a
3
1
a
3

1
10a
3
a
3
+ 5
=
1
11

1
a
3
1
a
3

a
3
+ 5
10a
3
=
1
11

1
a
3
110 11a
3
55 = 10a
3
110
21a
3
= 165
a
3
=
165
21
=
55
7
As,
a
2
=
10
_
55
7
_
55
7
+ 5
=
55
9
Teorema 2.11
1. Sean , G, H el medio aritmtico, geomtrico y rmonico, de a y /, respectivamente, entonces
H _ G _ .
2. Sean a, / R
+
. Sean , G, H los medios artimtico, geomtrico y armnico de a y /, respec-
tivamente. Demostrar que G
2
= H.
Demostracin: Sabemos que =
a + /
2
, G =
_
a/ y H =
2a/
a + /
. Entonces
H =
a + /
2
2a/
a + /
= a/ = G
2
Luego tenemos que G
2
= H
2.3. Teorema del Binomio
2.3.1. Nmero Factorial
Denicin 2.9 La sucesin denida por recurrencia por
_

_
) : N
0
N
)(0) = 1
)(:) = : )(: 1) , \: _ 1
se denomina factorial y la imagen )(:) se llama : factorial y se denota : )(:) = :!.
63
Observacin 2.7 De la denicin se desprede que:
0! = 1
1! = 1
2! = 2 1! = 2 1 = 2
3! = 3 2! = 3 2 1 = 6
4! = 4 3! = 4 3 2 1 = 24
.
.
.
:! = : (: 1)! = : (: 1) (: 2) 4 3 2 1
Ejemplo 2.10 Calcular
1. 5! = 5 4 3 2 1 = 120
2.
10!
7!
=
10 9 8 7!
7!
= 10 9 8 = 720
3. : (: 1) =
:!
(: 2)!
2.3.2. Nmeros Combinatorios
Denicin 2.10 Los nmeros denotados por
_
:
/
_
se llaman nmeros combinatorios y se
denen por:
_
:
/
_
=
:!
/!(: /)!
donde : N y / N
0
, con / _ :.
Ejemplo 2.11
1.
_
7
3
_
=
7!
3!(7 3)!
=
7 6 5 4!
3!4!
=
7 6 5
3 2 1
= 7 5 = 35
2. Calcular el valor de :, si
_
:
: 2
_
= 10
Solucin
_
:
: 2
_
=
:!
(: 2)!2!
=
: (: 1) (: 2)!
(: 2)!2 1
=
: (: 1)
2
64
Luego,
: (: 1)
2
= 10
: (: 1) = 20
:
2
: 20 = 0
as,
: =
1
_
1 + 80
2
=
_
: = 5
: = 4 , N
== : = 5
Teorema 2.12 Dados :, / N
0
, : _ / entonce se cumple:
1.
_
:
0
_
=
_
:
:
_
= 1
2.
_
:
1
_
= :
3.
_
:
/
_
=
_
:
: /
_
4.
_
: + 1
/
_
=
: + 1
: (/ 1)

_
:
/
_
5.
_
: + 1
/ + 1
_
=
: + 1
/ + 1

_
:
/
_
6.
_
:
/ + 1
_
=
: 2
/ + 1
_
:
/
_
7.
_
:
/ 1
_
+
_
:
/
_
=
_
: + 1
/
_
\ : N, / N : _ / (Stieel)
Demostracin: Ejercicio del 1. al 6.
65
7.
_
:
/ 1
_
+
_
:
/
_
=
:!
(: (/ 1))!(/ 1)!
+
:!
(: /)!/!
= :!
/ + (: / + 1)
(: (/ 1))!/!
= :!
: + 1
(: (/ 1))!/!
=
:! (: + 1)
(: (/ 1))!/!
=
(: + 1)!
(: (/ 1))!/!
=
_
: + 1
/
_
Ejercicio 2.13 Vericar la siguiente igualdad:
_
:
/ 2
_
+ 2
_
:
/ 1
_
+
_
:
/
_
=
_
: + 2
/
_
En efecto:
_
:
/ 2
_
+ 2
_
:
/ 1
_
+
_
:
/
_
=
_
:
/ 2
_
+
_
:
/ 1
_
+
_
:
/ 1
_
+
_
:
/
_
=
..
se usa Stieel dos veces
_
: + 1
/ 1
_
+
_
: + 1
/
_
=
..
se usa Stieel ua vez
_
: + 2
/
_
2.3.3. Teorema del Binomio
Teorema 2.14 Si : N y a, / R, entonces
(a + /)
n
=
n

k=0
_
:
/
_
a
nk
/
k
66
Corolario 2.1 Sean : N y a, / R
(a /)
n
=
n

k=0
(1)
k
_
:
/
_
a
nk
/
k
Observacin 2.8
1. En el desarrollo de un binomio los nmeros
_
:
/
_
se llaman coecientes binomiales.
2. El trmino / + 1 del desarrollo de (a + /)
n
es
t
k+1
=
_
:
/
_
a
nk
/
k
, con / = 0, . . . , :
Ejemplo 2.12 En el desarrollo del Binomio (
3
_
a
1
2a
2
)
14
, encuentre, si existen:
1. El sptimo trmino.
2. El trmino independiente de a (que equivale a a
0
).
3. El ( los) trmino central (es).
Solucin
1. Para : = 14 y / + 1 = 7 == / = 6, se tiene:
t
7
=
_
14
6
_
(
3
_
a)
146
(
1
2a
2
)
6
=
_
14
6
_
a
8
3
(1)
6

1
2
6
a
12
=
14!
8!6!
a
8
3
12

1
2
6
=
14 13 12 11 10 9
6 5 4 3 2 1
a

28
3

1
64
=
21 13 11
64
a

28
3
=
3003
64
a

28
3
2. Para determinar, si existe, trmino independiente de a, primero debemos notar que:
67
_
3
_
a
_
14k

_
1
2a
2
_
k
= a
14k
3

1
2
k
a
2k
=
1
2
k
a
147k
3
luego,
a
147k
3
= a
0
==
14 7/
3
= 0 == / = 2
Por lo tanto
t
3
=
_
14
2
_
(
3
_
a)
142

1
2a
2
_
2
=
_
14
2
_

1
4
a
4
a
4
=
14!
(14 2)!2!

1
4
=
14 13
2

1
4
=
7 13
4
=
91
4
3. Como (a + /)
n
=
n

k=0
_
:
/
_
a
nk
/
k
, es la suma de : + 1 trminos, en el caso del ejemplo,
: = 14 entonces el binomio dado tiene en su desarrollo 15 trminos, en consecuencia existe un
nico trmino central equidistante del 1
o
y el 15
o
trmino, es decir, t
8
, es el trmino central.
68
t
7+1
= t
8
=
_
14
7
_
(
3
_
a)
147

1
2a
2
_
7
=
_
14
7
_
a
7
3

1
2
7

_
1
a
2
_
7
=
1
2
7
_
14
7
_
a
7
3
_
1
a
2
_
7
=
1
2
7
_
14
7
_
a
7
3
a
14
=
1
2
7
_
14
7
_
a

35
3
=
1
128
_
14
7
_
a

35
3
= 135 135 a

35
3
Ejemplo 2.13 Encontrar el coeciente de r
n
, en
_
1 r + r
2
_
(1 + r)
2n+1
Solucin Notar que
_
1 r + r
2
_
(1 + r)
2n+1
= (1 + r)
2n+1
r(1 + r)
2n+1
+ r
2
(1 + r)
2n+1
=
2n+1

k=0
_
2: + 1
/
_
r
k
r
2n+1

k=0
_
2: + 1
/
_
r
k
+ r
2
2n+1

k=0
_
2: + 1
/
_
r
k
Luego, debemos buscar los coecientes de: r
n
, r
n1
y r
n2
en (1 + r)
2n+1
. As, el coeciente de
r
n
en (1 + r)
2n+1
es
_
2: + 1
:
_
,
r
n1
en (1 + r)
2n+1
es
_
2: + 1
: 1
_
y
r
n2
en (1 + r)
2n+1
es
_
2: + 1
: 2
_
Por tanto, el coeciente de r
n
es
_
2: + 1
:
_

_
2: + 1
: 1
_
+
_
2: + 1
: 2
_
69