Exemplo 5.

13

Encontrar a funo geradora para
2
r
3r 2r a + = .

Soluo

Como vimos, a funo geradora para r) (a
r
=

2
x) (1
x

e para ) r (a
2
r
= a funo geradora

3
x) (1
x) x(1

+
.

Pelo teorema 5.1,

3 2
x) (1
x) x(1
3
x) (1
x
2

+
+

.


Vimos que o nmero de solues em inteiros no-negativos para a equao

p x ... x x
n 2 1
= + + +

igual a
p
1 p n
C
+
. A funo geradora para esse problema

n
n 4 3 2
) x (1
1
...) x x x x (1

= + + + + + .

O teorema que segue nos permite identificar que o coeficiente de
p
x nessa
funo
p
1 p n
C
+
.







Teorema 5.2

... x
! r
1) r )...(u 1 u(u
... x
! 3
) 2 )(u 1 u(u
x
! 2
) 1 u(u
ux 1 x) (1
r 3 2 u
+
+
+ +

+

+ + = +

e, se denotarmos por

=
>
+
=
|
|

\
|
0 r , 1
0 r ,
! r
1) r )...(u 1 u(u
r
u


teremos


r
0 r
u
x
r
u
x) (1

=
|
|

\
|
= + , (5.4)

para 1 | x | < .



Observaes


i -
|
|

\
|
r
u
coeficiente binomial generalizado


ii
*
Z n n, u
+
= ,
|
|

\
|
r
u
coeficiente binomial usual


iii u um nmero real arbitrrio



Teorema 5.3

O coeficiente de
p
x na expanso de

n 4 3 2
...) x x x x (1 + + + + +

igual a

p
1 p n
C
+
.

Demonstrao

Sabemos que

n
n
n 4 3 2
) x (1
x 1
1
...) x x x x (1

=
|

\
|

= + + + + + .

Substituindo em (5.4), vem que


r r
0 r
r
0 r
n
x ) 1 (
r
n
x) (
r
n
x) (1
|
|

\
|

=
|
|

\
|

=


=

.


Utilizando a definio de coeficiente binomial ( x x , n u ),


p!
1) 1)( p n 2)...( n 1)( n n)( (
) 1 (
r
n
p
p
+
=
|
|

\
|

p!
1) 1)( p 2)...(n 1)(n (n)(n 1) (
p p
+ + +
=



p!
1) p 2)...(n 1)(n (n)(n + + +
=



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

+ + +
=



1)! (n p!
1)! p (n

+
=
|
|

\
|
+
=
p
1 p n
.

Exemplo 5.14

Mostrar que a funo geradora ordinria para a seqncia


|
|

\
|
|
|

\
|
|
|

\
|
|
|

\
|
|
|

\
|
r
2r
,...,
3
6
,
2
4
,
1
2
,
0
0




2 / 1
4x) (1

.

Soluo

De (5.4) ( 4x x , 1/2 u ), temos

=
2 / 1
) x 4 1 (

|
|
|

\
|

0 r
r
x) 4 (
r
2
1

+
+ =
1 r
r r r
x 4 1) (
r!
1) r 1/2 2)...( 1/2 1)( 1/2 1/2)( (
1

+ =
1 r
r
r
x
r!
1)/2) 2r (5/2)...(( (1/2)(3/2) 4
1

=

+ =
1 r
r
r
r
x
r! 2
1) (2r ... 5 3 1
4 1

=

+ =
1 r
r r
x
r! r!
1)r! (2r ... 5 3 1
2 1

=

+ =
1 r
r
x
r! r!
r) 2 ... 6 4 1))(2 (2r ... 5 3 (1
1

=
+ =
1 r
r
x
r! r!
r)! 2 (
1

=
|
|

\
|
+ =
1 r
r
x
r
2r
1