9 FUNCIONES GENERATRICES

En este captulo y el siguiente continuaremos nuestro estudio de la enumeracin con el importante

concepto de la funcin generatriz.
El problema de hacer selecciones, con repeticiones permitidas, fue estudiado en el captulo 1. Ah
tratamos de obtener, por ejemplo, el nmero de soluciones enteras de la ecuacin c 1 + c2 + c3 + c4=
25 donde ci 0 para todo 1 i 4. En el captulo 8, con e1 principio de inclusin y exclusin,
fuimos capaces de resolver una versin ms restringida del problema, como c1 + c2 + c3 + c4= 25
con 0 ci 10 para todo 1 i 4. Si, adems, quisiramos que c2 fuera par y c3 un mltiplo de 3,
podramos aplicar los resultados de los captulos 1 y 8 en varios subcasos.
La fuerza de la funcin generatriz descansa en que no slo permite resolver los tipos de problemas
ya analizados anteriormente sino que tambin ayuda en situaciones nuevas donde pueden aparecer
ms restricciones

9.1 Ejemplos introductorios

En lugar de definir en este punto una funcin generatriz, examinaremos algunos ejemplos para
derivar la idea a partir de ellos. Veremos que ya hemos tratado este concepto en situaciones
anteriores

Ejemplo 9.1
En sus compras del sbado, Mnica compr 12 naranjas para sus hijos, Graciela, Mara y Francisco.
De cuntas formas puede ella distribuir las naranjas de tal forma que Graciela obtenga al menos
cuatro y Mara y Francisco obtengan al menos dos, sin que Francisco no obtenga ms de cinco? La
tabla 9.1 enumera todas las distribuciones posibles. Vemos que tenemos todas las soluciones enteras
de la ecuacin c1 + c2 + c3 = 12 tal que 4 c1 , 2 c2 y 2 c3 5.
Al considerar los primeros dos casos en esta tabla, encontramos las soluciones 4 + 3 + 5 = 12 y 4 +
4 + 4=12. Sucedi algo as en nuestras experiencias algebraicas anteriores? Al multiplicar
polinomios aadimos las potencias de la variable, y aqu, al multiplicar los tres polinomios,

(x4 + x5+ x6 + x7 + x 8)(x 2 + x3 + x4 + x5 + x6)(x2 + x3 + x4 + x5),

dos de los caminos para obtener xn son como sigue:

Tabla 9.1
G M F G M F

4 3 5 5 5 2

4 4 4 6 2 4

4 5 3 6 3 3
 CAPTULO 9 Funciones Generatrices

4 6 2 6 4 2

5 2 5 7 2 3

5 3 4 7 3 2

5 4 3 8 2 2

1)Del producto x4 x3x5, donde x4 se toma de (x4 + x5 +. + x8), x3 de (x2 + x3 + x6) y x5 de (x2 +
x3 +. + x5)
2)Del producto x4 x4 x4, donde el primer x4 se encuentra en el primer polinomio, el segundo x4 en el
segundo polinomio y el tercer x4 en el tercer polinomio.

Al examinar el producto

(x4 + x5 + x6 + x7 + x8)(x2 + x3 + x4 + x5 + x6)(x2 + x3 + x4 + x5)

con ms cuidado, nos damos cuenta de que obtenemos el producto x i x j xk para toda terna (i, j, k)
que aparece en la tabla 9.1. En consecuencia, el coeficiente de x12 en
f(x) = (x4 + x5 + + x8)(x2 + x3 + + x6)(x2 + x3 + + x5)

cuenta el nmero buscado de distribuciones, 14. La funcin f(x) es la funcin generatriz para las
distribuciones.
Pero, de dnde salieron los factores en este producto?
Por ejemplo, el factor x4 + x3 + x6 + x7 + x8, indica que podemos dar a Graciela 4 o 5 6 o 7 u 8
naranjas. Una vez ms hicimos uso de la interaccin entre la o exclusiva y la suma ordinaria. El
coeficiente de cada potencia de x es 1 ya que, considerando las naranjas como objetos idnticos,
slo hay una forma de darle a Graciela cuatro naranjas, una forma de darle cinco naranjas y as
sucesivamente. Como Mara y Francisco deben recibir cada uno al menos dos naranjas, los otros
trminos (x2 + x3 +. + x6) y (x2 +x3 + +x5) comienzan con x2 y, en el caso de Francisco, nos
detenemos en x5 para que no reciba ms de cinco naranjas. (Por qu detenemos en x 6 el trmino de
Mara?)
La mayora de nosotros nos hemos convencido razonablemente de que el coeficiente de x 12 en f(x)
nos da la respuesta. Sin embargo, algunos sern un poco escpticos acerca de esta nueva idea.
Parece que sera ms rpido enumerar los casos de la tabla 9.1 que multiplicar los tres factores de
f(x) o calcular el coeficiente de x12 en f(x). Por ahora esto podra ser verdad, pero al pasar a
problemas con ms incgnitas y mayores cantidades que distribuir, la funcin generatriz ser de
gran utilidad. (El lector puede darse cuenta de que los polinomios torre del captulo 8 son un
ejemplo de funciones generatrices.) Por ahora examinemos dos ejemplos ms
 CAPTULO 9 Funciones Generatrices

Ejemplo 9.2 Si existe un nmero ilimitado (o al menos 24 de cada color) de dulces de jalea de
color rojo, verde, blanco y negro, de cuntas formas puede seleccionar un nio 24 de estos dulces
de tal manera que tenga un nmero par de dulces blancos y al menos seis dulces negros?
Los polinomios asociados con los colores de los dulces de jalea son los siguientes:

rojo (verde): 1 + x+ x2 +x24, donde el 1 restante es por 1x0 ya que una posibilidad es
que ninguno de los colores rojo (y verde) sea seleccionado.
blanco: (1 + x 2 + x 4 + x6 +. + x24)
negro: (x6 + x7 + x8 + .. + x24)

As, la respuesta es el coeficiente de x24 en la funcin generatriz

f(x) = (1 + x + x2 + .+ x24)2(1 + x2 +x4 + . + x24)(x6 + x7 + .+ x24).

Una de tales selecciones est formada por cinco dulces de jalea rojos, tres verdes, ocho blancos y
ocho negros; esta seleccin surge de x5 en el primer factor, x3 en el segundo factor y x8 en los
ltimos dos factores.

Un ejemplo ms antes de cerrar esta seccin!

Ejemplo 9.3 Cuntas soluciones enteras tiene la ecuacin c1 + c2 + c3 + c4= 25 si 0 ci, para todo
1 i 4?
Otra alternativa es preguntar de cuntas formas se pueden distribuir 25 monedas de un centavo
(idnticas) entre cuatro nios?
Podemos describir las posibilidades para cada nio mediante el polinomio 1 + x + x2 + x3 + x25.
Entonces la respuesta a este problema es el coeficiente de x25 en la funcin generatriz

f(x) = (1 + x + x2 +.+ x25)4 .

Tambin podemos obtener la respuesta mediante el coeficiente x25 en la funcin generatriz

g (x) = ( 1 + x + x2 + x3 +.. + x25 + x26 +.)4.

si expresamos la pregunta en trminos de una distribucin de 25 monedas entre cuatro nios,

tomadas de un nmero grande (o ilimitado) de monedas de un centavo. [Mientras que f(x) es un
polinomio, g(x) es una serie de potencias en x. ] Observe que nunca se usan los trminos xk, para
toda k 26. Entonces por qu nos preocupamos por ellos? Porque habr veces que ser ms fcil
calcular con una serie de potencias que con un polinomio.

EJERCICIOS 9.1
1. Para los siguientes ejercicios, determine una funcin generatriz e indique el coeficiente de la
funcin necesaria para resolver el problema. (Proporcione las formas polinomial y de serie
de potencias de la funcin generatriz, cuando sea apropiado.)
Encuentre el nmero de soluciones enteras para las siguientes ecuaciones:
a) c1 + c2 + c3 + c4= 20, 0 ci 7 para todo 1 i 4.
b) c1 + c2 + c3 + c4= 20, 0 ci , para todo 1 i 4, con c2 y c3, pares
c) c1 + c2 + c3 + c4 +c5 = 30, 2 ci 4, y 3 ci 8 para todo 2 i 5
d) c1 + c2 + c3 + c4 +c5 = 30, 0 ci para todo 1 i 5 , con c2 par y c3 impar.
 CAPTULO 9 Funciones Generatrices

2) Determine la funcin generatriz para el nmero de formas de distribuir 35 monedas de un

centavo (que se obtienen de un fondo ilimitado) entre cinco nios, si (a) no hay
restricciones; (b) cada nio obtiene al menos un centavo; (c) cada nio obtiene al menos dos
centavos; (d) el nio ms grande obtiene al menos 10 centavos; y, (e) los dos nios ms
pequeos deben obtener al menos 10 centavos.
3) a) Encuentre la funcin generatriz para el nmero de formas de seleccionar 10 barras de
dulce de un suministro grande de seis diferentes tipos,
b) Encuentre la funcin generatriz para el nmero de formas de seleccionar r objetos de una
coleccin de n objetos distintos, si se permite la repeticin.
4) a) Explique por qu la funcin generatriz para el nmero de formas de tener n centavos en
monedas de uno y cinco centavos es (1 + x + x2 + x3 + )(1 + x5 +x10 +
b) Encuentre la funcin generatriz para el nmero de formas de tener n centavos en monedas
de uno, cinco y diez centavos.
5) Encuentre la funcin generatriz para el nmero de soluciones enteras para la ecuacin c1 +
c2 + c3 + c4= 20 donde -3 c1 -3 c2, -5 c3 5 y 0 c4.
6) Para S= {a, b, c}, considere la funcin f(x) = (1 + ax)(l + bx)( 1 +cx) = 1 + ax + bx + cx +
abx2 + acx2 + bcx2 + abex3. En este caso, en f(x),
El coeficiente de x es 1, para el subconjunto de S.

El coeficiente de X1 es a + b + c, para los subconjuntos {a}, {b} y {c} de 5.

El coeficiente de x2 es ab + ac + bc, para los subconjuntos {a,b}, {a,c} y {b,c} de S.

El coeficiente de x3 es abc, para el subconjunto {a, b, c} = S.

En consecuencia, f(x) es la funcin generatriz para los subconjuntos de S, ya que cuando

calculamos f( 1), obtenemos una suma en que cada uno de los ocho sumandos corresponde a un
subconjunto de S; el sumando 1 corresponde al . [Si vamos un paso ms all y establecemos a

= b = c = 1 en f(x), entonces f(l) = 8, el nmero de subconjuntos de S.]

a) D la funcin generatriz para los subconjuntos de S = {a, b, c, . . ., r, s, t}.
b) Responda la parte (a) para el caso de las selecciones en que cada uno de los elementos puede ser
rechazado o seleccionado hasta tres veces.

9.2
Definiciones y ejemplos: Tcnicas de clculo

En esta seccin examinaremos varias frmulas y ejemplos relacionados con las series de potencias
que usaremos para obtener los coeficientes de trminos particulares en una funcin generatriz.
Comenzaremos con el siguiente concepto.

Definicin 9.1 Sea a0, a1, a2,.... una sucesin de nmeros reales. La funcin
 CAPTULO 9 Funciones Generatrices

f ( x) a 0 a1 x a 2 x 2 ... ai x i
i 0

es la funcin generatriz de la sucesin dada.

De donde viene esta idea?

Ejemplo 9.4 Para cualquier n Z+

1 x n
n n n n n
x x 2 x 3 .... x n
0 1 2 3 n

De modo que (1 + x)n es la funcin generatriz de la sucesin

n n n n n
; ; ; ; , ; 0; 0; 0
0 1 2 3 n
Ejemplo 9.5

a) Para n Z+
1 x 1 x 1 x x
n 1 2
x 3 ... x n
As . y es la funcin generatriz para la sucesin 1,1,1,1,
n 1 n1
1- x 1- x
1 x x 2 x 3 .x n
1- x 1- x
.,0,0,0,. Donde los primeros n+1 trminos son 1.

b) Si extendemos la idea de la parte (a), encontramos que

1 = (1x) (1+x+x2+x3+x4+.),

as es la funcin generatriz para la sucesin 1,1,1,1,... es vlida

1 1
1 - x 1 x x x
2 3
1- x
para todos los reales x tales que | x | < 1; en este rango de valores, la serie geomtrica
1 + x + x2 + . converge. Sin embargo, en nuestro trabajo con funciones generatrices nos
ocuparemos ms de los coeficientes de las potencias de x que de la convergencia. Esto no quiere
decir que el concepto de convergencia no sea importante, sino que no lo necesitamos para el
material que estudiaremos en este captulo.]

c) Con tomando la derivada de cada lado obtenemos:

1 / 1 x 1 x x x x ... x
2 3 4 i

i 0
 CAPTULO 9 Funciones Generatrices

d 1 d 1
1 x 11 x 1
1 2

dx 1 x dx 1 x 2
d
dx

1 x x 2 x 3 ... 1 2 x 3x 2 4 x 3 ...
En consecuencia es la funcin generatriz para la sucesin 1,2,3,4,., mientras que
1
(1 - x) 2
es la funcin generatriz para la sucesin 0,1,2,3,4,.
x
0 1x 2x 3x 4x .
2 3 4

(1 - x) 2

d) A partir de (c), o Por

d x d x 1
[0 x 2x 2 ], 1 2 x 3 x 4 x .
2 2 2 2 3

dx (1 - x) 2 dx (1 - x) 3
lo tanto, genera l2, 22, 32,.. , y genera 02, l2, 22, 32,. . .
x 1 x x 1
(1 - x) 3 (1 - x) 3

Ejemplo 9.6 a) De la parte (b) del ejemplo 9.5 sabemos que la funcin generatriz para la sucesin
1,1,1,1..es f(x) = 1/(1 - x). Por lo tanto, la funcin

g(x) =f(x) x2 =
1
x2
1 x

es la funcin generatriz para la sucesin 1, 1, O, 1, 1, 1,..., mientras que la funcin

h(x) =f(x) + 2x3 =
1
2x3
1 x

genera la sucesin 1. 1, 1,3, 1, 1,...

b) Podemos usar los resultados del ejemplo 9.5 para encontrar una funcin generatriz de la
sucesin 0, 2, 6, 12, 20, 30, 42 ?
Aqu observamos que
a 0 = 0 = 02 + 0
 CAPTULO 9 Funciones Generatrices

a1 = 2 = 12+1
a 2 = 6 = 22 + 2
a3 = 12 = 32 + 3
a4 = 20 = 42 + 4

En general, tenemos an = n2 + n, para todo n 0.

Usando los resultados de las partes (c) y (d) del ejemplo 9.5 vemos

x x 1 x x x 1 x1 x 2x

1 x 1 x
3 2
1 x 3
1 x 3

es la funcin generatriz de la sucesin dada. (Aqu la solucin depende de nuestra habilidad para
reconocer cada an como la suma de n2 y n. Si no vemos esto, no podremos responder la pregunta
dada. En consecuencia, en el ejemplo 10.5 del siguiente captulo analizaremos otra tcnica que nos
ayude a reconocer la frmula para an.)

Para todo n Z+. el teorema del binomio seala que

1 x n
n n n n
x x 2 ... x n
0 1 2 n
Queremos extender esta idea a los casos en que (a) n < 0 y (b) n no es necesariamente un
entero.
Si n,r Z+ y n r > 0, tenemos

n n! n n 1 n 2 ... n r 1

r r!. n r ! r!

Si n R, usamos como la definicin de .

n(n - 1)(n - 2).(n - r 1) n

r! r
Entonces, por ejemplo, si n Z+, tenemos

n n n 1 n 2 ... n (r 1) r n r 1 ... n 2 n 1n
1
r r! r!
n
1 r
n r 1... n 2 n 1n. n 1! 1 r n r 1
r!. n 1! r
r
Finalmente para cualquier nmero real n, definimos
n
1
0

Ejemplo 9.7 Para n Z+. el desarrollo en serie de Maclaurin para (1 + x)-n est dado por

 CAPTULO 9 Funciones Generatrices

(1 + x)-n = 1 + (-n)x + (-n)(-n -1)x2/2! + (-n)(-n - 1 )(-n - 2)x3/3! + .

1

n n 1 n 2 n r 1 xr
r1 r!
r n r 1

1 1 x r
r 1 r
-n
Por lo tanto (1 + x) =
n n n 2
n r
x x x
0 0 0 r 0 r
Esto generaliza el teorema del binomio del captulo 1 y muestra que es (1 + x)n la funcin
generatriz de la sucesin
n n n n
; ; ; ;
0 1 2 3

Ejemplo 9.8 Encuentre el coeficiente de x5 en (1 2x)7

Con y = 2x, usamos el resultado del ejemplo 9.7 para escribir (1 2x)7 = (1 + y)-7 =
En consecuencia, el coeficiente de x5 es =

7 7
2 x 2
r 5

r 0 r 5
5 7 5 1 11
1 32 32 14 784
5 5

Ejemplo 9.9 Para cualquier nmero real n, el desarrollo en serie de Maclaurin para (1 + x)n es
1 + nx + n(n 1)x2/2! + (n)(n 1)(n 2)x3/3! + ..

1

n n 1 n 2 n r 1 xr
r 1 r!
Por lo tanto
(1 + 3x)-1/3
1 4 7 3r 2

1 3 3 3 3
3x r
r 1 r!

1

1 4 7 3r 2 x r
r 1 r!

y (1 + 3x)-1/3 genera la sucesin:

1; l; (1)( 4)/2!; (l)( 4)( 7)/3!; (l)( 4)( 7)( 3r+2)/r!

Ejemplo 9.10 Determine el coeficiente de x15 en f(x) = (x2 + x3 + x4 +)4.

 CAPTULO 9 Funciones Generatrices

. Como (x2 + x3 + x4+ ) =x2( 1 + x + x2 + .) = x2 /(l -x), el coeficiente de x15 en

f(x) es el coeficiente de xl5 en (x2/(l -x))4 = x8/( 1 -x)4. Por lo tanto, el coeficiente buscado es el de x7
en (1 -x)-4, es decir, (-l)7 = (-1)7 (-1)7 = = 120.
4 4 7 1 10

7 7 7
+ n
En general, para n Z . el coeficiente de x en f(x) es 0, si 0 n 7. Para todo n 8, el

coeficiente de xn en f(x) es el coeficiente de xn-8 en (1 x) 4, que es
4 n 5
1
n 8

n 8 n 8

Antes de continuar reuniremos las identidades que se muestran en la tabla 9.2 para referencias
posteriores.

Tabla 9.2

Para cada m,n Z+; a R,

1.
1 x n
n n n n
x x 2 x n .
0 1 2 n
2.
n n n n
1 ax n ax a 2 x 2 a n x n .
0 1 2 n
3.
n n m n 2m n
1 x m n
x x x n m .
0 1 2 0
4.
1 x 1 x x
n 1
2
xn.
1 x
5.

1
1 x x2 xn xk.
1 x k 0

6.
1 n n n 2 n 3
n k
k n k 1
x x x . x 1 x k
1 x n 0 1 2 3 k 0 k k 0 k
7.
1 n n n n
n
x x 2
x 3
. x k
1 x 0 1
n
2 3 k 0 k

=
k n k 1 n k 1 k

1 x k
x
k 0 k k 0 k
 CAPTULO 9 Funciones Generatrices

Si

f(x) ai x i g(x) bi x i h(x) f(x).g(x)
i 0 i 0
Entonces
donde para cada k positivo

h(x) c i x i
i0

c k a 0 b k a 1b k 1 a 2 b k 2 a k 1b1 a k b 0
Ejemplo 9.11De cuntas formas se pueden seleccionar r objetos de n distintos objetos si se permite la
repeticin?
Para cada uno de los n distintos objetos, la serie geomtrica 1 + x + x2 + x3 + x4
representa las posibles elecciones de ese objeto (es decir ninguno, uno, dos,...).
Considerando todos los n distintos objetos, la funcin generatriz es

f(x) = (1 + x + x2 + x3 +.)n,

y la respuesta requerida es el coeficiente de xr en f(x). Ahora bien, por la identidad 7

de la tabla 9.2 obtenemos

(1 + x + x2 + x3+)n =
n
1 1
n k 1 k

1 x

1 x k 0 k
n
x

de modo que el coeficiente de xr es

n r 1

r

el resultado que encontramos en el captulo 1

Ejemplo 9.12 De cuntas formas puede un capitn de polica distribuir 24 cargas de rifle a cuatro
oficiales de forma que cada oficial reciba al menos tres cargas, pero no ms de ocho?
Las opciones para el nmero de cargas que recibe cada oficial estn dadas por x 3 + x4 + . + x8
Hay cuatro oficiales, as que la funcin generatriz resultante es f(x) = (x3 + x4 + + x8)4.
Buscamos el coeficiente de x24 en f(x). Con (x3 + x4 + . + x8)4 = x12( 1 + x + x2 + + x5)4 =
x12(( 1 x6)/( 1 x))4, la respuesta es el coeficiente de x12 en
(1 x6)4(1 x)4=
4 6 4 12 4 18 4 4 4
1 x x x x
24
x x 2
1 2 3 0 1 2
 CAPTULO 9 Funciones Generatrices

Que es
4 4 4 4 4 15 4 9 4
1 12 1 6 125
12 1 6 2 0 12 1 6 2

Ejemplo 9.13 Verificaremos que para todo n Z+

2
2n
n

n i0 i
Como (1 + x)2n = [(1 + x)n]2, al comparar los coeficientes (de potencias similares de x), el
coeficiente de xn en (1 + x)2n, que es debe ser igual al coeficiente de. xn en
2n

n
y esto es
2
n n n 2 n n
x x x
0 1 2 n
. como , para todo
n n n n n n n n n n

0 n 1 n 1 2 n 2 n 0 r n r
0 r n, obtenemos el resultado.

Ejemplo 9.14 Determine el coeficiente de x8 en l/(x - 3)(x - 2)2.

Como l/(x-a) = (-l/a)(l/l - (x/a))) = (-l/a)[l + (x/a) + (x/a)2 + ] para cualquier a 0, podemos
resolver este problema encontrando el coeficiente de x8 en l/(x - 3)(x - 2)2 expresado como
(-1/3)[1 + (x/3) + (x/3)2+ ](l/4). .
2 2 2
x / 2 x / 2 2
0 1 2
Una tcnica alternativa usa la descomposicin en fracciones simples.

1 A B C

x 3 x 2 x 3 x 2 x 2 2

Esta descomposicin implica que:

1= A(x-2)2 +B(x-2)(x-3)+ C(x-3)
O tambin
0x2 +0x+1=1=(A+B)x2+(-4A 5B +C) x +(4A +6B -3C) 2 2
 CAPTULO 9 Funciones Generatrices

Si comparamos los coeficientes (de x2, x y 1, respectivamente), vemos que A + B = 0, -4A + 5B + C

= 0 y 4A + 6B-3C=l. Al resolver estas ecuaciones obtenemos A = 1 ,B = 1 y C = 1. Por lo tanto,

1 1 1 1

x 3 x 2 x 3 x 2 x 2 2

1 1 1 1 1 1

3 1 x / 3 2 1 x / 2 4 1 x / 2
2

1
x
k
1
x
k
1 2 2 x 2 x 2


3 k 0 3 2 k 0 2 4 0 1 2 2 2

El coeficiente de x 8
es (1/3)(l/3)8+ (l/2)(l/2)8 + (1/4) (l/2)8 = [(1/3)9 +
2

8
7(1/2)']

Ejemplo 9.15
Usaremos las funciones generatrices para determinar la cantidad de subconjuntos de S = {1, 2,3,..
15} de cuatro elementos que no contienen enteros consecutivos.
a) Consideremos uno de tales subconjuntos, por ejemplo, (1,3,7, 10} y escribamos
1<1<3<7<1015. Vemos que este conjunto de desigualdades determina las diferencias 1-
1=0,3-1 = 2,7-3 = 4, 10-7 = 3 y 15 - 10 = 5, y estas diferencias suman 14. Si consideramos
otro de estos subconjuntos {2, 5, 11, 15}, escribimos 1 2<5<11<1515; estas
desigualdades producen las diferencias 1, 3,6, 4 y 0, que tambin suman 14.
Veamos las cosas al revs: los enteros no negativos 0, 2, 3, 2 y 7 suman 14 y son las
diferencias que surgen de las desigualdades 11<3<6<815 (para el subconjunto {1, 3, 6,
8}).
Estos ejemplos indican que hay una correspondencia uno a uno entre los subconjuntos de
cuatro elementos que queremos contar y las soluciones enteras de c1 + c2+c3+c4 = 14, donde
0 c1, c5, y 2 c2, c3, c4. (Nota: las desigualdades c2, c3, c4 2 garantizan que no hay enteros
consecutivos en el subconjunto.) La respuesta es el coeficiente de x14 en:

f(x) = (1 + x + x2 + x3 + -)(x2 + x3 + x4 +)3 (1 + x + x2 + x3 +.) = x6(l x)-5

ste es entonces el coeficiente de x8 en (l x)5, que es igual a (-l)8 =
5

8
 CAPTULO 9 Funciones Generatrices

=
5 8 1 12
495
8 8

b) Otra forma de analizar el problema es la siguiente.

Para el subconjunto {1, 3, 7, 10} analizamos las desigualdades estrictas 0 < 1 < 3 < 7 < 10 < 16
y nos fijamos en el nmero de enteros que se encuentran estrictamente entre los pares sucesivos
de estos nmeros. Obtenemos 0,1, 3, 2 y 5; el 0 se debe a que no hay enteros entre 0 y 1, el 1 se
debe al entero 2 entre 1 y 3; 3 para los enteros 4, 5,6 entre 3 y 7, etctera. Estos cinco enteros
suman 11. Cuando hacemos lo mismo para el subconjunto (2, 5, 11, 15}, las desigualdades
estrictas 0 < 2 < 5 <11<15<16 producen los resultados 1, 2, 5, 3 y 0, que tambin suman 11.

Por otro lado, vemos que los enteros no negativos 0, 1, 2, I y 7 suman 11 y aparecen como los
nmeros de enteros distintos entre los enteros que aparecen en las desigualdades estrictas
sucesivas 0<1<3<6<8<16, que corresponden al subconjunto {1, 3, 6, 8}.
Estos resultados indican que hay una correspondencia uno a uno entre los subconjuntos
deseados y las soluciones enteras de b1 + b2 + b3 + b4 + b5 =11, donde 0 b1, b5 , y 1 b2, b3, b4
(Nota: en este caso, b1 b2 b3 1 garantizan que no hay enteros consecutivos en el subconjunto.)
El nmero de soluciones es el coeficiente de x11 en

g(x) = (1 + x + x2 + )(x +x2 + x3 + .)3(1 +x+x2+) = x3(l-x)-5.

La respuesta es (-1)8 = 495, como antes. (El lector debera revisar el ejercicio
5

8
complementario 17 del captulo 3.)

En nuestro siguiente ejemplo utilizaremos la ltima identidad de la tabla 9.2. (Esta identidad se
us en los ejemplos 9.12 y 9.13, aunque de manera implcita.)

Ejemplo 9.16 Sea f(x) = x/(l -x)2. sta es la funcin generatriz de la sucesin a1, a2, a3,..., donde ak
=k para todo k N. La funcin g(x) = x(x + 1)/(1 - x)3 genera la sucesin b0, b1,b2 tal

que bk = k2, k N

La funcin h(x) =f(x)g(x) da, en consecuencia a0b0 + (a0b1 + a1b0)x + (a0b2 + a1b1+ a2b0)x2 +, de
modo que h(x) es la funcin generatriz de la sucesin c0, c1, c2,.. . tal que para cada k N,

ck = a0bk + a1bk-1 + a2 bk.2 +.+ ak-2 b2 + ak-1b1 + ak b0.

Por ejemplo, tenemos que

 CAPTULO 9 Funciones Generatrices

c 0 = 0 02 = 0 .
c 1 = 0 l 2 + 1 02 = 0
c2 = 0 22 + 1 l2 + 2 02 =1
c 3 = 0 32 + 1 2 2 + 2 l 2 + 3 02 = 6
c4 = 0 42 + 1 32 + 2 22 + 3 l2 + 4 02 = 20
y en general, ck = . (Simplificaremos esta frmula en los ejercicios de la
k

i k i
i 0
2

seccin.)
Cuando una sucesin c0, c1, c2, . . . se obtiene de dos funciones generatrices f(x) [para a0, a1, a2,...] y
g(x) [para b0, b1, b2,...], como en este ejemplo, la sucesin c 0, c1, c2,... es la convolucin de las
sucesiones a0, a1, a2,.. . y b0, b1 b2, .. .

Nuestro ltimo ejemplo presenta dos situaciones particulares de la convolucin de sucesiones

Ejemplo 9.17 a) Si f(x) =1/(1-x) = 1 +x + xl + x2 + x3+. y g(x) = 1/(1 + x) = 1-x+x2-x3+,

Tenemos que

f(x)g(x) = l/(l-x)(l + x) = l/(l-x2) = l+x2 + x4 + x6+..

En consecuencia, la sucesin 1,0,1,0,1,0,... es la convolucin de las sucesiones 1, 1, 1, 1, 1, 1,. ..y

1,-1, 1,-1, 1,-1,...
b) Sea h(x) = 1 + x + x2 + x3 es decir, h(x) es la funcin generatriz de la sucesin 1,1,1, 1, 0, 0,
0..Sea k(x) = 1/(1 - 3x) = 1 + 3x + (3x)2 + (3x)3 + , la funcin generatriz de la sucesin
1, 3,32, 33,entonces h(x)k(x) = es la funcin generatriz de la convolucin de

c x
i 0
i
i

estas dos sucesiones y

c0 = 1, c1 = 1 + 3 = 4, c2 = 1 + 3 + 9 = 13 y
cn = 3n-3 + 3n-2 + 3n-1+ 3n, n 3
EJERCICIOS 9.2
1) Encuentre las funciones generatrices para las siguientes sucesiones. [Por ejemplo, en el caso de la sucesin 0, 1,
3,9,27,..., la respuesta pedida es x/(l - 3.r), no o simplemente 0 + x+ 3x2 + 9x3 + ..]

3 x
i0
i i 1

a) b)
8 8 8 8 8 8 8 8
, , , , , 2 , 3 , 8 ,
0 1 2 8 0 1 2 8

c) 1,-1,1,-1,1,-1__ d) 0,0,0,1,1,1,1,1,1,...
 CAPTULO 9 Funciones Generatrices

e) 0,0,0,6,-6,6, -6,6,... f) 1,0,1,0,1,0,1,...

g) 1,2,4,8,16,...___ h) 0,0,1 ,a,a2,a3,. a 0

2) Determine la sucesin generada por cada una de las siguientes funciones generatrices.
a) f(x) = (2x - 3)3 b) f(x) = x4/ (1-x)
3 2
c) f(x) = x /(1 x ) d) f(x) = 1/(1+3x)
e) f(x) = l/(3-x) f) 1/(1-x)+ 3x7-11.

3) En cada uno de los siguientes ejercicios,/(x) es la funcin generatriz de la sucesin a 0 a1 a2,, mientras que la
sucesin b0 b1 b2.. es generada por la funcin g(x). Exprese en trminos de f(x).
a) b3 = 3 b) b3=3

bn=an, n N n3 b7=7

bn= an n N, n3,7

c)b1=1 d) b1=1

b2=3 b3=3

bn=2 an, n N n1,3 b7=7

bn=2an +5 n N n 1,3,7

4) Determine la constante (es decir, el coeficiente de x0 ) en (3x2 - (2/X))15.

5) a) Encuentre el coeficiente de x7 en (1 + x + x2 + . )15.
b) Encuentre el coeficiente de x7 en (1 + x + x2 + )n para , n Z+.

6)Encuentre el coeficiente de x50 en (x7, x8+x9+.)6

7) Encuentre el coeficiente de x20 en (x2 + x3 + x4 + x5 + x6)5

8)Para n Z+. encuentre en (1 + x + x2)(l + x)n el coeficiente de (a) x7; (b) x8 y, (c) xr para 0 r n + 2, r Z.

9) Encuentre el coeficiente de x'5 en los siguientes ejercicios. 2 2
a) x3(1 2x)10 b) (x35x)/(l x)3 c) (1+x)4/(l x)4

10)De cuntas formas se pueden asignar dos docenas de robots idnticos a cuatro lneas de en- samble de modo que
(a) al menos tres robots se asignen a cada lnea? (b) al menos tres, pero no

ms de nueve robots se asignen a cada lnea?

11). De cuntas formas pueden separarse 3000 sobres idnticos, en paquetes de 25, entre cuatro grupos de estudiantes,
de modo que cada grupo tenga al menos 150, pero no ms de 1000 sobres?

12). Se distribuyen dos cajas de refresco, con 24 botellas de un tipo y 24 de otro, entre cinco inspectores que realizan
pruebas de calidad. De cuntas formas pueden distribuirse las 48 botellas de modo que cada inspector reciba (a) al
menos dos botellas de cada tipo? (b) al menos dos botellas de un tipo particular y al menos tres de la otra?

13) Si se tira un dado 12 veces, cul es la probabilidad de que la suma de las tiradas sea 30?
14) Carolina rene el dinero de sus primos para hacer una fiesta en honor de su ta. Si ocho
 CAPTULO 9 Funciones Generatrices

primos prometen darle $2, $3, $4 o $5 cada uno y otros dos le dan $5 o $10, cul es la probabilidad de que Carolina
rena exactamente $40?
15. De cuntas formas puede Tobas seleccionar canicas de una coleccin grande de canicas azules, rojas y amarillas
(todas de! mismo tamao) si la seleccin debe incluir un nmero par de canicas azules?
16) Cmo puede repartir Mara 12 hamburguesas y 16 hotdogs entre sus hijos Ricardo, Pedro, Cristbal y Jaime, de
modo que Jaime reciba al menos una hamburguesa y tres hotdogs, y que cada uno de sus hermanos reciba al menos dos
hamburguesas pero a lo ms cinco hotdogs?

17) Verifique que (1 x x2 x3 x4 x5 x6)1 es la funcin generatriz del nmero de formas

en que podemos obtener la suma n, con n N, cuando tiramos un dado un nmero
arbitrario de veces.
18) Muestre que (1 - 4x)-1/2 genera la sucesin .
2n
nN
n

19) Considere la parte (a) del ejemplo 9.15.

a) Determine las diferencias en las desigualdades que se obtienen del subconjunto {3, 6, 8,
15} de 5 y verifique que esas diferencias se suman correctamente.
b) Encuentre el subconjunto de S que determina las diferencias 2, 2, 3, 7 y 0.
c) Encuentre el subconjunto de S que determina las diferencias a, b, c, d y e, donde 0 a, e
y 2 b, c, d.

20) De cuntas formas podemos seleccionar siete enteros no consecutivos de {1, 2, 3,... , 50}?
21) Use las siguientes frmulas para sumas (que aparecen en el material y ejercicios de la
seccin 4.1) para simplificar la expresin de ck en el ejemplo 9.16:

k k
k k 1 k k
k k 1 2k 1
i i
k 0 k 1 2
i
k 0
2
i2
k 1 6

k 2 k 1
k k 2

i
k 0 k 1
i
3 3

22) a) Encuentre los primeros cuatro trminos c0, cu c2 y c3 de las convoluciones de los
siguientes
pares de sucesiones.
an = 1, bn = 1, para todo n N.
an = 1, bn = 2n, para todo n N.
a0 = a1 = a2 = a3 = 1; an = 0, n
N., n 0, 1, 2, 3; bn = 1, para todo n N

b) Encuentre una frmula general para c en cada uno de los resultados de la parte (a).
 CAPTULO 9 Funciones Generatrices

23) Encuentre una frmula para la convolucin de cada par de sucesiones:

i. an = 1, 0 n 4, an = 0, para todo n 5; bn = n, para todo n N

ii. an = (-1)n bn = (-1)n, para todo n N
iii. an = 1, 0 n 3, an = 0, para todo n 4; b0 = 0, b1 = 1, b2 = 2, b3 = 3, bn = 0, para todo
n 4.

9.3
Particiones de enteros

En el estudio de la teora de nmeros nos enfrentamos al problema de descomponer un

entero positivo n en sumandos positivos y buscar el nmero de estas descomposiciones, sin
tener en cuenta el orden. Este nmero se denota con p(n). Por ejemplo,
P(1)= 1: 1
P(2) = 2: 2=1+1
P( 3) = 3: 3=2+1=1+1+1
P( 4) = 5: 4=3+1=2+2=2+1+1=1+1+1+1
P( 5) = 7: 5 = 4 + 1 = 3 + 2 = 3 + 1 + 1 = 2 + 2 + 1
=2+1+1+1=1+1+1+1+1
Quisiramos obtener p(n) para un n dado sin tener que enumerar todas las particiones.
Necesitamos una herramienta para llevar un registro de los nmeros 1,2,...,n que se usan
como sumandos de n.

Si n Z+, el nmero de unos que podemos usar es 0 o 1 o 2 o... La serie de potencias 1 + x + x2

+ x3+x4 + lleva un registro de ello. De manera similar, 1 + x2 + x4 + x6 + lleva el registro del
nmero de doses que hay en la particin de n, mientras que 1 + x3 + x5 + x9 + lleva el registro del
nmero de treses. Por lo tanto, para determinar p( 10), por ejemplo, queremos obtener el
coeficiente de x' en f(x) = (1 + x + x2 + x3+x4)(1+ x2 + x4 + x6.)(1 + x3 + x6+ x9+)(1+x10 +
x20+.) o en g(x)= (1 + x + x2 + x3+x4x10)(1+ x2 + x4 + x6.+ x10)( 1 + x3 + x6+ x9) (1+x10)

Preferimos trabajar con f(x), puesto que se puede escribir en la forma ms compacta

f(x) = .. =

Si extendemos este producto ms all de i = 10, obtenemos P(x) = , que

genera la sucesin p(0),p(l), p(2), p(3),..., donde definimos p(0) = 1.

 CAPTULO 9 Funciones Generatrices

Por desgracia, es imposible calcular realmente el nmero infinito de trminos en el producto

P(x). Si solamente consideramos , para un r fijo, entonces el coeficiente de

xn es el nmero de particiones de n en sumandos que no son superiores a r.

A pesar de la dificultad en el clculo de p(n) a partir de P(x) para valores grandes de n, la idea de la
funcin generatriz es til para el estudio de ciertas descomposiciones particular.

Ejemplo 9.18 Encuentre la funcin generatriz del nmero de formas en que un agente de
publicidad puede adquirir n minutos (n Z+), de tiempo en la radio si los espacios de tiempo
para los comerciales se venden en bloques de 30, 60 o 120 segundos.
Sea 30 segundos una unidad de tiempo. Entonces la respuesta es el nmero de soluciones enteras
de la ecuacin a + 2b + 4c = 2n, con 0 a, b, c.
La funcin generatriz asociada es

F(x) =(1+ x +x2 +)(1+x2+x4+..)(1+x4 +x8)

=

y el coeficiente de x2n es el nmero de descomposiciones de 2n en unos, doses y cuatros, la

respuesta del problema

Ejemplo 9.19 Encuentre la funcin generatriz de pi(n), el nmero de descomposiciones de un

entero positivo n en sumandos distintos.
Antes de comenzar, consideremos las 11 descomposiciones de 6
1)1+1+1+1+1+1 2) 1+1+1+1+2
3) 1+1+1+3 4) 1+1+4
5) 1+1+2+2 6) 1+5
i
7) 1+2+3 8) 2+2+2
9) 2+4 10)3+3
11)6
Las descomposiciones (6), (7), (9) y (11) tienen sumando distintos por lo que pd(6)=4

Al calcular pd(n), para cualquier k Z+, existen dos opciones: O bien k no se usa como uno de
los sumandos de n, o s se usa. Esto se puede contar mediante el polinomio 1 + xk y, en
consecuencia, la funcin generatriz de estas descomposiciones es

Pd(x) = (1+x)(1+x2)(1+x3).=
i
).

Para cualquier n Z+, pd (n) es el coeficiente de xn en (1 + x)(l + x2)+.(1 + xn). [Definimos pd

(0) = 1.] Cuando n = 6, el coeficiente de x6 en (1 + x)(l + x2)---(l + xn) es 4
 CAPTULO 9 Funciones Generatrices

Ejemplo 9.20 Si consideramos las disposiciones del ejemplo 9.19 veremos que hay cuatro
descomposiciones de 6 con sumandos impares: (1), (3), (6) y (10). Tambin tenemos pd (6) = 4. Es
una coincidencia?
Sea p0(n) el nmero de descomposiciones de n en sumandos impares, cuando n 1. Definimos p0(0)
= 1. La funcin generatriz de la sucesin p0(0), p0( 1), p0(2),... est dada por

Ejemplo 9.21 De nuevo, solamente permitiremos el uso de sumandos impares pero en este ejemplo
cada uno de dichos sumandos (impares) debe aparecer una cantidad impar de veces, o no aparecer
en la suma. Por ejemplo existe una de tales descomposiciones del entero 1 (a saber 1 ) pero no
existe una descomposicin: 3 y 1+1+1. Cuando analizamos las posibilidades del entero 4,
encontraremos la descomposicin 3+1
La funcin generatriz de las descomposiciones descritas es

F(x) =(1+x3+x5+) ( 1+x3+x9+x15) (1+x5+ x15 +x25+.)=

La funcin generatriz no est dada por

(*) (x+x3+ x5 + ) (x3+ x9+x15 + ) (x5 + x15 + x25 + )

ya que si as fuera, el producto no podra tener trminos donde X apareciera con una potencia finita.
La situacin dada en !a ecuacin (*) ocurrira si pensramos que TODO entero positivo impar
debera aparecer como sumando al menos una vez. En tal "descomposicin", el nmero de
sumandos y la propia suma seran infinitos. En consecuencia, aunque no se enuncie en forma
explcita, debemos observar que cada sumando impar podra no aparecer, situacin tenida en cuenta
por el (primer) sumando 1, que aparece en cada factor de/(,t). De hecho, ste es el caso salvo
cuando se trata de un nmero finito de sumandos impares. Por supuesto, cuando un sumando impar
aparece en una descomposicin, lo hace una cantidad impar de veces.
 CAPTULO 9 Funciones Generatrices

Cerraremos esta seccin con la idea llamada grafo de Ferrer. Este grafo usa filas de puntos para
representar la descomposicin de un entero donde el nmero de puntos por fila no aumenta al pasar
de cualquier fila a la inferior.
En la figura 9.1 vemos los grafos de Ferrer de dos descomposiciones de 14: (a) 4 + 3 + 3 + 2+ l +
ly(b) 6 + 4 + 3 + 1. El grafo de la parte (b) es una trasposicin del grafo de la parte (a), y viceversa,
pues podemos obtener un grafo a partir del otro mediante un intercambio de filas y columnas.




(b)

(a)

A menudo estos grafos indican algunos resultados acerca de descomposiciones. Aqu vemos una
descomposicin de 14 en sumandos tales que 4 es el mayor y una segunda descomposicin en
exactamente cuatro sumandos. Existe una correspondencia uno a uno entre el grafo de Ferrer y su
trasposicin, por lo que este ejemplo es un caso particular del resultado general: el nmero de
descomposiciones de un entero n en m sumandos es igual al nmero de descomposiciones de n en
sumandos tales que m es el sumando ms grande.

EJERCICIOS 9.3 1.
1) Encuentre todas las descomposiciones de 7.
2) Determine la funcin generatriz de la sucesin a0,a1, a2, .... donde an es el nmero de
descomposiciones del entero n en (a) sumandos pares; (b) sumandos pares distintos; y (c) sumandos
impares distintos.
3) En f(x) [1/(1-x)] [1/(1-x2)] [ 1/(1-x3 ), el coeficiente de x6 es 7. Interprete este resultado en
trminos de las descomposiciones de 6.

4) Encuentre la funcin generatriz del nmero de soluciones enteras de

a)2w + 3x + 5y + 7z = n, 0 w,x,y,z
b)2w + 3x + 5y +7z = n, 0 w, 4 x,y, 5 z
c)2w + 3x + 5y + 7z = n, 2 W 4 X 7 y 10 z

5) Encuentre la funcin generatriz del nmero de descomposiciones del entero n no negativo

en sumandos tales que (a) cada sumando debe aparecer una cantidad par de veces; y (b)
cada sumando debe ser par.
6) Cul es la funcin generatriz del nmero de descomposiciones de n G N en sumandos tales
que (a) no pueden aparecer ms de cinco veces; y (b) no pueden ser mayores que 12 ni
aparecer ms de cinco veces?
7) Muestre que el nmero de descomposiciones de un entero positivo n tales que ningn
sumando aparece ms de dos veces es igual al nmero de descomposiciones den donde
ningn sumando es divisible entre 3.
 CAPTULO 9 Funciones Generatrices

8) Muestre que el nmero de descomposiciones den G Z+ tales que ningn sumando es

divisible entre 4 es igual al nmero de descomposiciones de n donde ningn sumando par se
repite (aunque los sumandos impares podran repetirse).
9) Use un grafo de Ferrer para mostrar que el nmero de descomposiciones de un entero n en
sumandos que no sean mayores que m es igual al nmero de descomposiciones de n en
cuando mucho m sumandos.
10) Por medio de un grafo de Ferrer, muestre que el nmero de descomposiciones de n es igual
al nmero de descomposiciones de 2n en n sumandos.

9.4
La funcin generatriz Exponencial

El tipo de funcin generatriz con el que hemos trabajado se conoce como la funcin generatriz
ordinaria de una sucesin dada. Esta funcin surgi en los problemas de seleccin, donde el orden
no era importante. Sin embargo, ahora que pasamos a los problemas de disposiciones donde el
orden es crucial, buscamos una herramienta semejante. Para encontrarla, regresaremos al teorema
del binomio.
Para cualquier n Z+, (1 + x)n= + + 2
+ . xn por lo que

(1 + x)nes la funcin generatriz (ordinaria) de la sucesin ,

Al analizar esta idea en el captulo 1, tambin escribimos = C(n, r) cuando quisimos

enfatizar que representaba el nmero de combinaciones de n objetos tomados de r en r, con

0 r n. En consecuencia, (1 + x)n genera la sucesin C(n, 0), C(n, 1), C(n, 2),..., C(n, n),
0,0,...
Para cada 0 r n,

C(n,r) = = P(n,r)

donde P(n, r) es el nmero de permutaciones de n objetos tomados de r en r. As,

(1+x)n = C(n, 0) +C ( n,1)x +C( n,2)x2+ C(n,3)x3+.+ C(n,n) xn
=
P(n,0) + P(n,1)x+ P(n,2) + P(n,3) +.+ P(n,n)

Por lo tanto, si nos fijamos en el coeficiente de xVr! que aparece en (1 + x)", con 0 < r < n,
obtenemos P(n, r). Con base en esta observacin, tenemos la siguiente definicin.

Definicin 9.2 Para una sucesin de nmeros reales a0, a1,a2, a3,
 CAPTULO 9 Funciones Generatrices

f(x) = a0 + a1x + a2 + a3 +..= i

es la funcin generatriz exponencial de la sucesin dada

Ejemplo 9.22 Si analizamos el desarrollo en serie de Maclaurin para ex, tenemos que:

ex =1 + x + + +

de modo que et es la funcin generatriz exponencial de la sucesin 1, 1, 1, ... (et es la funcin

generatriz ordinaria de la sucesin 1,1, 1/2!, 1/3!, 1/4!,...)

Nuestro siguiente ejemplo muestra que esta idea nos puede servir para contar ciertos tipos de
ordenaciones

Ejemplo 3.23

De cuntas formas podemos ordenar cuatro letras de ENGINE?

EENN 4!(2!2!) EGNN 4!/2!

EEGN (4!/2!) EINN 4!/2!
EEIN 4!/2! GINN 4!/ 2!
EEGI 4!/2! EIGN 4!

En la tabla 9.3 enumeramos las selecciones posibles de tamao 4 de las letras E, N, G, I, N, E, junto
con el nmero de ordenaciones que determinan estas cuatro letras.
Obtenemos entonces la respuesta por medio de una funcin generatriz exponencial. Para la letra E
utilizamos [1+ x + x2/2!)] ya que hay que ordenar 0, 1 o 2 letras E. Observe que el coeficiente de
x2/2\ es 1, el nmero de formas distintas de ordenar (solamente) dos E. De manera similar, tenemos
[1 + x + (x2/2!)] para la disposicin de 0,1 o 2 letras N. Las ordenaciones de las letras G e I se
representan mediante (1 + x).
En consecuencia, encontramos que la funcin generatriz exponencial es f(x) = [1 + x + (x2/2!)]2(1
+ x)2; afirmamos que la respuesta pedida es el coeficiente de x4! enflx).
Para dar sentido a nuestra afirmacin, consideremos dos de las ocho formas en que aparece el
trmino j^/4! en el desarrollo de

f(x)=[ 1+x + (x2//2!)][1 +x + x2//2!) ](1+x)(1+x)

1) El trmino aparece a partir del producto (x 2/2!)(x2/2!)(l)(l), donde (x2/!) se toma de cada uno
de los dos primeros factores (a saber, [1 + x + (x2/2!)]) y 1 se toma de cada uno de los dos
ltimos factores [a saber, (1 + x)]. Entonces, (x2/2!)(x2/2!)(1)(1) = x4/(2!2!) = (4!/(2!2!))(x4/
4!) y el coeficiente de x4 /4! es 4!/(2!2!), el nmero de formas en que podemos ordenar las
cuatro letras E. E, N, N.
 CAPTULO 9 Funciones Generatrices

2) El trmino tambin aparece a partir del producto (x 2/2!)(l)(x)(x), donde (x2/2!) se toma del
primer factor (a saber, [1+ x + (x2/2!)]), 1 se toma del segundo factor (de nuevo, [1 + x +
(x2/2!)]), y x se toma de cada uno de los dos ltimos factores [a saber, (1 + x)]. En este caso,
(x2/2!)(l)(x)(x),)= x4/2! = (4!/2!)(x4/4!), de modo que el coeficiente de (x4/4!) es 4!/2!, el
nmero de formas en que podemos ordenar las cuatro letras E,E,G,I

En el desarrollo completo de f(x) el termino relativo a x4 /4! es:

( + + +x4)

= [( + + (

y el coeficiente de x4/4! es la respuesta (102 disposiciones) producidas por los ocho resultados
de la tabla.

Ejemplo 9.24 Consideremos los desarrollos en serie de Maclaurin de e x y e-x

ex = 1 + x + e-x = 1 x +
2 3 4
x x x x2 x3 x4
... ...
2! 3! 4! 2! 3! 4!
Si sumamos estas series, obtenemos

e x + e-x = 2 ( 1 + + +)

Si restamos e- x de e x obtenemos

=x+ + +..

Ejemplo 9.25

Un barco lleva 48 banderas, 12 de cada uno de los colores rojo, blanco, azul y negro. Se colocan
doce de estas banderas en un mstil para comunicar una seal a otros barcos.
a) Cuntas de estas seales utilizan un nmero par de banderas azules y un nmero impar de
banderas negras?

La funcin generatriz exponencial

 CAPTULO 9 Funciones Generatrices

f(x)= (1+x + + +..)2 (1+ + +.) (x + + +..)

tiene en cuenta todas las seales de este tipo formadas por n banderas, n 1. Los ltimos dos
factores de f(x) restringen las seales a un nmero par de banderas azules y un nmero impar de
banderas negras, respectivamente.
Como

f(x) = ( e x)2 ( ) ( =(1/4) (e2x)

(e2x-e-2x) = (e4x -1)

=1/4( -1) =(1/4)

el coeficiente de x12/12! en f(x) produce (l/4)(412) = 4n seales formadas por 12 banderas con un
nmero par de banderas azules y un nmero impar de banderas negras.
b) Cuntas de las seales tienen al menos tres banderas blancas o no tienen ninguna? En este caso,
usamos la funcin generatriz exponencial

g(x) = (1+x+ + +.) (1+ + +)(1+x+ + + .)2

= e x(e x x - ) (e x)2

= e 3x (e x x - ) = e4x xe3x (1/2) x2e3x

-x -
=
(x2/2) ( )

Aqu, el factor (l + + ) =e x x - de g(x) restringe las seales a aquellas que

tienen tres o ms de las 12 banderas blancas o ninguna de ellas. La respuesta para el nmero de
seales buscadas es el coeficiente de x12/12! en g(x). Si nos fijamos en cada sumando (con una
suma infinita), tenemos que:

;
i) en este caso tenemos el termino = 412 (

= de modo que el coeficiente de x12/12! es 412

 CAPTULO 9 Funciones Generatrices

, ahora
ii) vemos que para obtener x12/12! Debemos fijarnos en el trmino

x[(3x)11/11!] = 311(x12/11!) 0 (12) (311) x12/12! Y el coeficiente de x12/12! Es (12) (311); y

;
iii) (x2/2!) para ste ultimo sumando, observando que (x2/2) [(3x)10

(x2/10!)=(1/2)(12)(11)(310)(x12/12!) y esta vez el coeficiente de x12/12! es (1/2)(12)(11)

(310)

En consecuencia, el nmero de seales con 12 banderas y al menos tres banderas blancas o ninguna
de ellas, es
412- 12(3") - (1/2)(12)(11)(310) = 10,754,218.

Nuestro ltimo ejemplo nos recuerda algunos resultados pasados.

Ejemplo 9.26 Una empresa contrata a 11 nuevos empleados, cada uno de los cuales es asignado a
una de cuatro subdivisiones. Cada subdivisin recibe al menos a uno de ellos. De cuntas formas
se pueden hacer las asignaciones?
Si llamamos a las subdivisiones A, B, C y D, podemos contar, en forma equivalente, el nmero de
sucesiones de 11 letras en las que al menos aparece una vez cada una de las letras A, B, C y D. La
funcin generatriz exponencial de estas disposiciones es

F(x) = (x + )4 = (ex -1)4 = e 4x -4e3x +6e2x -4ex +1

2 3 4
x x x
...
2! 3! 4!

La respuesta es entonces el coeficiente de x11 / 11! en f(x):

4n - 4(311) + 6(211) - 4(111) =

1 i 4 i 11
4 4

i0 i

La forma de esta respuesta nos debe recordar algunos de los problemas de conteo del captulo 5. Si
dejamos de lado el vocabulario, estamos contando el nmero de funciones sobreyectivas g: XY
donde |x| =11, |y| =4

EJERCICIOS 9.4

1) . Encuentre la funcin generatriz exponencial de cada una de las sucesiones siguientes.

a) 1,-1,1,-1,1,-1,... b) 1,2,22,23,24, ...
 CAPTULO 9 Funciones Generatrices

c) 1,-a,-a2, -a3 , a4 , a R d) l,a2,a4,a6 a R

e) a,a,3a 5,a 7..., a R f) 0,1,2(2), 3(22),4(25),...

2) Determine la sucesin generada por cada una de las siguientes funciones generatrices exponenciales.
a) f(x) = 3e3x b) f(x) = 6e5x - 3e2x
x 2
c) f(x) = e + x d) f(x) = e2x- 3x3 + 5x2 + 7x
e) f(x) = 1/(1 - x) f) f(x) = 3/(1 - 2x) + e3
3) En los siguientes ejercicios, la funcin f{x) es la funcin generatriz exponencial de la sucesin a0. a1 a2
mientras que la funcin g(x) es la funcin generatriz exponencial de la sucesin b0, b1, b2,... Exprese g(x)
en trminos def(x) si:
a) b3=3 b) an =5n, n N
bn=an , n N b3=-1
bn=an, n N , n3
c) b1=2 d) b1=2
b2=4 b2=4
bn=2an b3=8
bn=2an +3 n N , n1,2,3
4) a) Para el barco del ejemplo 9.25, cuntas seales usan al menos una bandera de cada color?
(Resuelva esto mediante una funcin generatriz exponencial.)

b)Enuncie la parte (a) en una forma alternativa que use el concepto de funcin sobreyectiva.
C) Cuntas seales hay en el ejemplo 9.25, si el total de banderas azules y negras es par?

5) Encuentre la funcin generatriz exponencial del nmero de formas en que podemos ordenar n letras,
n 0, seleccionadas de cada una de las siguientes palabras.
a) HAWAII b) MISSISSIPPI c) ISOMORPHISM

6) Para la parte (b) del ejercicio 5, cul es la funcin generatriz exponencial si la disposicin debe
contener al menos dos letras I?

7) Supongamos que la empresa del ejemplo 9.26 contrata a 25 empleados. D la funcin generatriz
exponencial para el nmero de formas de asignar estas personas a las cuatro subdivisiones, de modo
que cada subdivisin reciba al menos 3 personas, pero no ms de 10
.
8) Dadas las sucesiones a1 a2 y b0, b1, b2,..., con funciones generatrices exponenciales f(x) y g(x)
respectivamente, muestre que si h(x) =f(x)g(x), entonces h{x) es la funcin generatriz exponencial de
la sucesin c0, c1 c2, . . . , donde cn = ai bn para cada n 0.

9) Si generamos una sucesin ternaria (0, 1, 2) de 20 dgitos en forma aleatoria, cul es la probabilidad
de que (a) tenga un nmero par de unos? (b) tenga un nmero par de unos y un nmero par de
doses? (c) tenga un nmero impar de ceros? (d) el total de ceros y unos sea impar? (e) el nmero
total de ceros y unos sea par?

10) Cuntas sucesiones cuaternarias (0, 1, 2, 3) de 20 dgitos hay cuando (a) se tiene al menos un 2 y un
nmero impar de ceros? (b) ningn smbolo aparece exactamente dos veces? (c) ningn smbolo
aparece exactamente tres veces? (d) hay exactamente dos treses o ninguno?
 CAPTULO 9 Funciones Generatrices

11) Se van a distribuir 25 contratos (para 25 componentes diferentes del transbordador espacial) entre
cinco compaas: c1, c2, . . . , c5. Encuentre la funcin generatriz exponencial para el nmero de
formas en que es posible otorgar estos contratos de modo que (a) la compaa c 1 obtenga al menos
cinco contratos y las dems al menos dos; (b) cada compaa obtenga al menos un contrato, la
compaa c2obtenga ms contratos que lac, y que la compaa c 2 obtenga a lo ms cinco contratos.
9.5
El operador de suma

Esta ltima seccin presentar una tcnica que nos ayudar a pasar de la funcin generatriz
(ordinaria) para la sucesin a0, a1 a2,... a la funcin generatriz de la sucesin a0, a0+a1 a0 + a1 + a2.
Para f(x) = a0 a 1 ,x + a2 x2 + a3 x3 + consideremos la funcin(x)/( 1 - x),

f(x)/(l -x) = [a0 + a1 ,x + a2x2 + a3 x3 + ][1 + x + x2 + x3 +] = a0 + (a0 + a1)x + (a0

+ a1, + a2)x2 + (a0 + a1 + a2 + a3)x3+.
de modo quef(x)/( 1-x) genera la sucesin de sumas a0, a0 + a1a0 + a1 +a2, a0 + a1+a2
+ a3,... sta es la convolucin de la sucesin a0, a1 a2,... y la sucesin
b0. b1,b2,... donde bn = 1 para todo n N.
Esta tcnica ser til en el ejemplo siguiente.

Ejemplo 9.27

Encuentre una frmula para O2 + l2 + 22 + + n2 como funcin de n.

Como en la seccin 9.2, comenzamos con g(x) = l/( 1 - x) = 1 + x + x2 + .. Entonces

(-1) (1-x)-2 (-1) = = =

1+2x+ 3x3 +..,

De modo que x(1-x) 2 es la funcin generatriz para 0,1,2,3,4. Si repetimos esta tcnica tenemos
que

=
x [x( )]= x+22x2 + 32x3+, ..

por lo que x(1+x)/(1-x)3 genera O2 , O2 + l2 , O2 + l2+ 22, ..por lo tanto el coeficiente de x n en

(x(1+x)/(1-x)4 es Pero el coeficiente de xn en x(1+x)/(1-x)4 tambien puede calcularse

como sigue:
 CAPTULO 9 Funciones Generatrices

(-1)n-1 + (-1)n-2 = (-1)n-1

(-1)n-1

+ (-1)n-2 (-1)n-2

= + = +

= 1/6 [(n+2)(n+1)(n)+(n+1)(n)(n-1)]
= 1/6 (n) (n+1)(n+2)+(n-1)]=(n)(n+1)(2n+1)/6

Ejercicios 9.5

1) Contine el desarrollo de las ideas planteadas en el ejemplo 9.27 y obtenga la frmula

= [n(n + l)/2]2.

2) a) Encuentre la funcin generatriz de la sucesin de productos 0 ( - 1), 1 0, 2 1,3-2, 4-3,.... i-

(i-l),...
b) Use el resultado de la parte (a) y obtenga una frmula para

Sea f (x) la funcin generatriz de la sucesin do, a0 a1 a2,. De qu sucesin es funcin

generatriz (1 -x)f(x)?
n
2) Si f(x) = n x funcin generatriz de la sucesin a0, a0 + a1 a0 + a1 + a2 a0, a1 + a2 +

a3,...? Cul es la funcin generatriz de la sucesin a0, a0 + a1 a0 + a1 +a2, a1, +a2 + a3, a2 + +a3
+ a4,.. .?
3) Si f(x) = n xn muestre que

i ) xn = x f(x)/ (1-x)
 CAPTULO 9 Funciones Generatrices

4) Sea f (x) = i xi l con f(1) = i = 2, un nmero finito. Verifique que el

cociente [f(x) - f(1 )]/(x - 1) es la funcin generatriz de la sucesin s0 , s1 s2 donde sn, =

i

5) Encuentre la funcin generatriz de la sucesin a0 a1, a2 a3 donde an =

9.6
Resumen y repaso histrico
Aprincipios del siglo XIII, el matemtico italiano Leonardo de Pisa (c. 1175-1250), en su
Lber Abaci, present al mundo europeo la notacin arbiga de los numerales y los algoritmos para
la aritmtica. En este texto tambin surgi el estudio de la sucesin 0,1,1, 2, 3, 5, 8, 13, 21, . . . , la
cual puede definirse en forma recursiva como F 0 = 0, F1 = 1 y Fn+2 = Fn+1 + Fn , n 0. Como
Leonardo era hijo de Bonaccio, la sucesin recibi el nombre de nmeros de Fibonacci. (Filius
Bonacci es la forma en latn de "hijo de Bonaccio".) Si consideramos la frmula

1 1 5
n n
1 5
Fn n0
5 2 2

vemos que F0 = 0, F1, = 1, F2 = 1, F3, = 2, F4, = 3,. . . Es decir, esta frmula determina cada nmero
de Fibonacci en funcin de n. ( Tenemos entonces la solucin general para la relacin recursiva de
Fibonacci. Veremos ms detalles de esto en el siguiente captulo.) Sin embargo, esta frmula no fue
obtenida hasta 1718, cuandoAbraham DeMoivre ( 1667-1754) obtuvo el resultado a partir de la
funcin generatriz.

x 1 1 1
F ( x)
1 x x 5
2
1 1 5 x 1 1 5 x
2 2

Leonhard Euler (1707-1783) extendi las tcnicas de la funcin generatriz y avanz en el estudio
de las descomposiciones de enteros en su obra de dos volmenes Introductio in Analysin
Infinitorum (1748). Con:

x x x x
p ( x)
1 x 1 x 1 x
2 3
...
i 1 1 x
i
 CAPTULO 9 Funciones Generatrices

tenemos la funcin generatriz de p(0),p(l),p(2),..., donde p(n) es el nmero de descomposiciones de

n en sumandos positivos y se define p(0) = 1

En la ltima parte del siglo XVIII surgieron ms desarrollos acerca de las funciones generatrices
junto con las ideas de teora de la probabilidad, especialmente con lo que ahora se llama "funcin
generatriz de momentos". Estos conceptos relacionados entre s fueron presentados en forma
completa y por primera vez por el gran estudioso Pierre- Simon de Laplace (1749-1827) en su obra
de 1812 Thorie Analytique des Probabilits.
Por ltimo, mencionamos a Norman Macleod Ferrers (1829-1903), en cuyo honor reciben su
nombre los grafos de Ferrer.
Desde nuestro punto de vista, el estudio de las funciones generatrices ordinaria y exponencial
proporciona una tcnica poderosa que unifica las ideas de los captulos 1, 5 y 8. Al extender nuestra
experiencia anterior con los polinomios al caso de las series de potencias y al extender el teorema
del binomio a (1 + x)n a los casos en que n no tiene que ser positivo ni entero, encontramos las
herramientas necesarias para calcular los coeficientes de estas funciones generatrices. Esto vali la
pena, pues los clculos algebraicos que realizamos han tenido en cuenta todos los procesos de
seleccin que intentbamos analizar. Tambin observamos que ya habamos estudiado las funciones
generatrices en un captulo anterior y cmo surgieron en el estudio de las descomposiciones.
El concepto de descomposicin de un entero positivo nos permite ahora completar los resmenes de
nuestros anlisis anteriores acerca de las distribuciones, dados en las tablas 1.8 y 5.13. Ahora
podemos trabajar con las distribuciones de m objetos en n( m) recipientes para los casos en que ni
los objetos ni los recipientes son distintos. Estos casos son analizados en las entradas de las filas
segunda y cuarta de la tabla 9.4. La notacin p(m, n), que aparece en la ltima columna de esta
tabla, se usa para designar el nmero de descomposiciones del entero positivo m en exactamente n
sumandos (positivos). (Esta idea ser analizada con ms detalle en el ejercicio complementario 3
del siguiente captulo.) Los