www.aprender.blog.br P.A.

DE ORDEM SUPERIOR, OPERADOR DIFERENC A, SOMATORIOS

LUCIANO MONTEIRO DE CASTRO

Este pequeno artigo foi escrito como complemento ` a palestra sobre Progress oes ministrada no IMPA durante o PAPMEM em julho de 2010. A palestra encontra-se dispon vel em v deo no site de v deos do IMPA: http://video.impa.br.

A dedu c ao mais comum para a f ormula que calcula a soma Sn dos n primeiros termos de uma P.G. {ak }, de raz ao q = 1, baseia-se no fato de que se pode passar de um termo para o seguinte mediante uma opera c ao muito simples: multiplica c ao por uma constante. Assim, partindo da igualdade ak+1 = q ak e somando de k = 1 at e k = n, podemos colocar q em evid encia no lado direito e obter q Sn . Do lado esquerdo obtemos quaseSn , faltando apenas a1 e sobrando an+1 . Utilizando a nota c ao de somat orio, essas contas cam assim:
n n

ak+1 =
k=1 k=1

q ak Sn a1 + an+1 = q Sn Sn =

a1 (qn 1) an+1 a1 = . q1 q1

Ap os realizar esta dedu c ao, poder amos ponderar sobre a ec acia de empregar a mesma ideia para o c alculo da soma Sn dos n primeiros termos de uma P.A. {ak } de raz ao r, j a que tamb em se pode passar de um termo para o seguinte mediante uma opera c ao simples: adi c ao de uma constante. Assim, partimos agora da igualdade ak+1 = ak + r e somamos tamb em de k = 1 at e k = n, obtendo
n n

ak+1 =
k=1 k=1

(ak + r) Sn a1 + an+1 = Sn + n r an+1 = a1 + n r.

Frustrante, j a que Sn aparece nos dois lados com o mesmo coeciente, cancelando-se. Mas, apesar de n ao funcionar para o c alculo de Sn , a conta que zemos n ao foi completamente in util,
1

LUCIANO MONTEIRO DE CASTRO

n ao e? Ela nos permitiu calcular a express ao para an+1 em fun c ao de a1 , n e r, normalmente conhecida como termo geral da P.A. Isto n ao e por acaso. A igualdade ak+1 = ak + r pode ser reescrita como ak+1 ak = r, ou seja, a diferen ca entre dois termos consecutivos da P.A. e igual ` a constante r. O c alculo anterior sugere que se conhecemos a diferen ca entre dois termos consecutivos de uma sequ encia, podemos reduzir o c alculo de seu termo geral a um somat orio. Este conceito e t ao importante que e conhecido como

Teorema Fundamental da Soma c ao

Dada uma sequ encia {ak }, denindo ak = ak+1 ak , temos
n

ak = an+1 a1 .
k=1

Por transformar sequ encias (fun c oes) em outras sequ encias (fun c oes), e chamado de operador. Mais especicamente, e conhecido como o operador diferen ca. Al em de ter ou-

tras propriedades interessantes que n ao mencionaremos aqui, e um operador linear, ou seja (an + bn ) = an + bn , para quaisquer constantes e . No caso da P.A., o termo geral e um polin omio do primeiro grau em n, e a diferen ca e constante (polin omio de grau zero). Observando a f ormula (j a deduzida durante a palestra) para Sn , a soma dos n primeiros termos da P.A., observamos que Sn e um polin omio do segundo grau em n. Podemos chegar ` a mesma conclus ao observando que k2 = (k + 1)2 k2 = 2k + 1. Utilizando o teorema fundamental da soma c ao, obtemos
n n n n

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

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

k+
k=1

1 = n2 + 2n

2
k=1

k + n = n2 + 2n
k=1

k=

n(n + 1) . 2

 P.A. DE ORDEM SUPERIOR, OPERADOR DIFERENC A, SOMATORIOS

Esta u ltima igualdade nos fornece outra maneira de deduzir a f ormula para Sn , j a que ak e um polin omio do primeiro grau em k (deixamos os detalhes ao leitor).

P.A. de Ordem Superior Sequ encias como {Sn }, cujo termo geral e um polin omio do segundo grau, s ao chamadas de P.A. de segunda ordem, e tamb em podem ser caracterizadas pela propriedade de que as diferen cas entre termos consecutivos formam uma P.A. (de primeira ordem). Generalizando, podemos denir indutivamente P.A. de ordem m + 1 como uma sequ encia cujas diferen cas consecutivas formam uma P.A. de ordem m. Uma importante consequ encia desta deni c ao e a seguinte: A sequ encia das somas dos n primeiros termos de uma P.A. de ordem m, para n = 1, 2, 3, . . ., e uma P.A. de ordem m + 1. Para provar isso, basta observar que an = (a1 + a2 + + an ) (a1 + a2 + + an1 ) (uma esp ecie de rec proco do teorema fundamental da soma c ao). J a sabemos que P.A.s s ao fun c oes do primeiro grau, e P.G.s s ao fun c oes do tipo exponencial. Agora, e natural fazer a pergunta: Que tipo de fun c oes s ao as P.A.s de ordem superior?. A resposta e dada pelo seguinte teorema.

Teorema: A sequ encia {an } e uma P.A. de ordem m se, e somente se, an e um polin omio n=1
de grau m na vari avel n. Demonstra c ao : Provaremos inicialmente dois lemas:

Lema 1: Para todo inteiro positivo m, nm e um polin omio em n de grau m 1 (aqui,

consideramos nm como uma sequ encia na vari avel n). Demonstra c ao : nm = (n + 1)m nm = polin omio de grau m 1).
m m k=0 k

nk nm =

m1 m k=0 k

nk (que e um

LUCIANO MONTEIRO DE CASTRO

Lema 2: Para todo inteiro positivo m, se an e um polin omio de grau m na vari avel n, ent ao
Sn =
n k=1

ak e um polin omio de grau m + 1 em n.

Demonstra c ao : Procedemos por indu c ao em m. O resultado e verdadeiro para polin omios de grau zero. Supondo o resultado v alido para polin omios de grau menor que m, seja an um polin omio de grau m, e escreva an = anm + p(n), onde p(n) e um polin omio de grau m 1. Logo Sn =
n k=1

ak =

n k=1

akm +

n k=1 n k=1

p(k). Pela hip otese de indu c ao,

n k=1

p( k ) e um

polin omio de grau m. Para ver que

akm e um polin omio de grau m + 1, observe que a

demonstra c ao do Lema 1 prova que km+1 = (m + 1)km + q(k), onde q(k) e um polin omio de grau m 1, logo akm =
a m+1 m+1 k

a m+1 q(k),

e agora basta usar o teorema fundamental

da soma c ao e outra vez a hip otese de indu c ao (novamente sugerimos que o leitor complete os detalhes). Demonstra c ao do Teorema : Procedemos por indu c ao em m. O teorema e v alido para m = 1, pois as P.A.s s ao exatamente as sequ encias que s ao fun c oes de primeiro grau. Supondo o teorema v alido para P.A.s de ordem menor que m, se an e polin omio de grau m, an e polin omio de grau m 1 (Lema 1), logo e P.A. de ordem m 1 (hip otese de indu c ao). Reciprocamente, se an e P.A. de ordem m, ent ao an e P.A. de ordem m 1, e ,por hip otese de indu c ao, polin omio de grau m 1. O teorema fundamental da soma c ao e o Lema 2 garantem, ent ao, que an e polin omio de grau m.

Se voc e tem alguma pergunta ou algo a acrescentar, seu coment ario e muito bem vindo em http://www.aprender.blog.br