ALGORITMO DE GOSPER E APLICAES

Humberto Silva Naves

Nvel Avanado

Continuando com as idias do artigo Integrais discretas (de Eduardo Poo na Eureka
nmero 27), vamos tentar descobrir frmulas fechadas para alguns somatrios da forma:
n 1

(*) zk
k =0

Algumas consideraes devem ser feitas antes de continuarmos:

1- Vamos assumir que zk uma seqncia hipergeomtrica, isto , a razo r (k ) zk +1 / zk
uma funo racional de k.
2- Por frmula fechada, entendemos que existe uma seqncia hipergeomtrica sn tal que

sn = nk =10 zk (essa definio no to restritiva assim, pois veremos que a classe das

seqncias hipergeomtricas bastante ampla).

Por exemplo, vamos tentar achar uma frmula fechada para:
2

2k

n 1
k
sn = zk , onde zk = 2 k
(k + 1)4
k =0
Claramente zk hipergeomtrica, uma vez que r (k ) = zk +1 / zk =

(2k + 1) 2
4(k + 1)(k + 2)

uma funo

racional de k. Por (*), vale:

zn = sn +1 sn

zn sn +1
=
1
sn
sn

A nossa frmula fechada sn hipergeomtrica, logo n +1 1

sn

portanto:

uma funo racional y(n),

sn = y (n) zn y ( n + 1) zn +1 y (n) zn = zn

r (n) y ( n + 1) y (n) = 1
onde: r (n) =

(2n + 1) 2
4( n + 1)(n + 2)

Como y(n) racional, existem polinmios P(n), Q(n) com mdc{P( n), Q(n)} = 1 tais que
P ( n)
e substituindo na equao anterior, vale:
y ( n) =
Q ( n)
(2n + 1) 2 P (n + 1)Q (n) 4(n + 1)( n + 2)Q (n + 1) P (n) =

= 4(n + 1)(n + 2)Q( n + 1)Q(n), n 0

Disto conclu-se que:

1- Q(n) | 4(n + 1)(n + 2)Q(n + 1)
2- Q (n + 1) (2n + 1) 2 Q( n) Q( n) (2n 1) 2 Q (n 1)
(Observao: todas as relaes de divisibilidade e os mdcs referencem-se aos polinmios em si e
no aos seus valores em um dado ponto)
Por (1), temos que se uma raiz de Q ento: = 1 ou = 2 ou + 1 raiz de Q. E por (2) se
raiz de Q ento: = 1 ou 1 tambm raiz de Q. Portanto, como Q no pode ter infinitas
2
razes, Q no possui raiz alguma, isto , Q(n) constante (sem perda de generalidade, Q(n) = 1).
Disto conclu-se que:

(2n + 1) 2 P (n + 1) 4( n + 1)(n + 2) P (n) = 4( n + 1)(n + 2)

Logo: (n + 1)(n + 2) P ( n + 1) n(n + 1) P ( n) , da P( n) = n( n + 1) P( n) , ento vale:

(2n + 1) 2 P( n + 1) 4n(n + 1) P(n) = 4, onde P( n) um polinmio

Seja d = deg P, P (n) = ad n d + ... + a0 ; substituindo na equao anterior, vale (para o caso d > 0):
(4n 2 + 4n + 1)(ad (n + 1)d + ... + a0 ) (4n 2 + 4n)(ad n d + ... + a0 ) = 4
(4n 2 + 4n + 1)( ad n d + ( ad 1 + dad )n d 1 + ...)
(4n 2 + 4n)(ad n d + ad 1n d 1 + ...) = 4
4dad n d +1 + ... = 4
Mas, se d > 0, 4dad n d +1 + ... = 4 um polinmio de grau d + 1. Portanto d = 0 P(n) = 4 (que de
fato soluo da equao anterior), donde conclumos que: y (n) = 4n( n + 1), logo:
2

2k
2n
2n
n


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

2k
(n + 1)42 n
42 n 1
k = 0 ( k + 1)4

( fcil ver que a frmula vale para n = 0 e n = 1, e, pela identidade que provamos, vale sempre).
Vamos agora generalizar essa idia para qualquer seqncia hipergeomtrica zk . O leitor atento
deve ter notado que na concluso de que Q(n) = 1, implicitamente usamos o fato que: mdc{A(n),
B(n + h)} = 1, para qualquer inteiro h 0 , onde A( n) = (2n + 1) 2 , e B( n) = 4(n + 1)( n + 2) , so o
numerador e o denominador de r(n) respectivamente.
Mas nem sempre possvel escrever r (n) =

zn +1

zn

como a razo de dois polinmios satisfazendo as

condies:

mdc{ A(n), B(n + h)} = 1, h

O leitor pergunta: Ento essa tcnica no se aplica para todos os casos?!?!?.

O autor responde: No se desesperem!, uma vez que possvel escrever r(n) da seguinte forma:

(**) r (n) =

A( n) C ( n + 1)
B ( n) C ( n)

onde A(n), B(n), C(n) so polinmios tais que: mdc{ A(n), B (n + h)} = 1, h

No vamos demonstrar esse fato aqui (pois um dos exerccios deste artigo), mas vamos exibir um
(n + 4)(n + 3)
exemplo bem ilustrativo! Como escrever r (n) =
da forma (**)?
n 2 (n + 1)
Note que:

r ( n) =

1 n + 4 n + 3 1 n + 4 n + 3 n + 2 n + 1 n + 3 n + 2 A(n) C (n + 1)

=
,
n n n + 1 n n + 3 n + 2 n + 1 n n + 2 n + 1 B ( n) C ( n)

onde A(n) = 1, B(n) = n e C (n) = n(n + 1) 2 (n + 2) 2 (n + 3).

De forma geral se uma raiz do denominador de r(n) e h uma raiz do numerador de r(n),
onde h + , ento vale:

n ( h)
n + h n + h 1
n + 1 T (n + 1)
=

=
n
n + h 1 n + h 2
n
T ( n)
Onde T ( n) = ( n + h 1)(n + h 2)

(n )

Vamos tentar usar a frmula (**) em

r(n) y(n + 1) y(n) = 1

y (n + 1)

A(n) C (n + 1)

y ( n) = 1
B ( n) C ( n)

Como y(n) racional em n, podemos fazer a substituio y (n) =

B(n 1)
y (n), portanto:
C ( n)

A( n) y (n + 1) B(n 1) y ( n) = C (n) (***)

Agora o milagre acontece! Se y (n) uma funo racional que satisfaz (***), ento y (n) um
polinmio! Se y (n) =

P ( n)
, com mdc{P (n), Q(n)} = 1, ento:
Q ( n)

A( n) P (n + 1)Q (n) B (n 1) P (n)Q(n + 1) = C (n)Q(n)Q(n + 1)

Logo:
1- Q(n) B(n 1)Q(n + 1)
2- Q(n + 1) A( n)Q(n) Q(n) A( n 1)Q( n + 1)
Logo se raiz de Q , ento:
1- raiz de B(n 1) ou raiz de Q (n + 1)

2- raiz de A(n 1) ou raiz de Q( n 1)

Como mdc{ A(n), B( n + h)} = 1, h

, Q(n) = 1.

Vamos agora resolver a seguinte equao polinomial:

A(n) y ( n + 1) B (n 1) y (n) = C (n), onde y (n) = ad n d + ... + a0
Temos casos a considerar
1- deg A deg B
2- deg A = deg B e A B ( A o coeficiente lder de A):
Nesses casos, pela equao (***), vale:
deg C = deg y + max{deg a,deg b}
d = deg C max{deg A,deg B}.
3- deg A = deg B = m e A = B = k
Se d > 0, ento:
(kn m + an m 1 + ...)(ad (n + 1) d + + a0 )
( kn m + bn m 1 + ...)(ad n d + + a0 ) = C (n)
(kn m + an m 1 + ...)( ad n d + (ad 1 + dad ) n d 1 + )
(kn m + bn m 1 + ...)( ad n d + ad 1n d 1 + ) = C (n)
[(a ad + k ( ad 1 + dad )) (b ad + kad 1 )]n m + d 1 + = C ( n)
ba
, mas se
Se (a b) ad + kdad = 0 d =
k
(a b) ad + kdad 0 deg C = m + d 1 d = deg C deg A + 1
Em todos os casos, possvel calcular o valor de d e uma vez calculado o valor de d, a equao
polinomial se transforma em um sistema linear com d variveis que pode ser resolvido (quando
possvel) usando tcnicas bsicas de lgebra linear.

Exerccios:
1)

Calcule os seguintes somatrios

1
a) nk =10 2
k + 5k 1
k 4 4k
b) nk =10
2k

k
c)

n 1
k =0

k 2ak

A( n)C (n + 1)
com
B( n)C (n)
mdc{ A(n), B (n + h)} = 1, h + e mdc{ A( n), C (n)} = mdc{B( n), C ( n + 1)} = 1 (o leitor atento
novamente notar que adicionamos duas novas restries).
2) Prove que qualquer funo racional r(n), pode ser escrita como: r (n) =

3) Prove que a menos de multiplicaes por constantes, A(n), B(n) e C(n) so nicos no exerccio
anterior (a forma acima chama-se forma cannica).
4) Dizemos que duas seqncias hipergeomtricas so similares, quando a razo dos duas uma
funo racional e neste caso, escrevemos sn tn . Prove:
a) Se sn no constante, ento sn sn , onde sn = sn +1 sn .

b) Se sn e tn so hipergeomtricas, e sn + tn 0 ento sn + tn hipergeomtrica se e somente se

sn tn . (Esse resultado pode levar o leitor a indagar sobre a nossa suposio inicial do que seria
uma frmula fechada ser algo bem restritivo).
c) Se tn(1) , tn(2) ,..., tn( m ) so hipergeomtricas e vale

1 i < j m.
d) Se vale

n 1
k =0

n 1
k =0

m (i )
i =1 n

= 0, ento tn( i ) tn( j ) para algum i, j com

zk = tn(1) +tn(2) + ... + tn( m ) , onde tn(1) , tn(2) ,..., tn( m ) e zn so hipergeomtricas, ento

zk hipergeomtrica! (Ufa! De fato nossa definio de frmula fechada no to restritiva

assim).