UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO

DEPARTAMENTO DE MATEMTICA

Mestrado Profissional em Matemtica - PROFMAT

Somas Telescpicas

Hugo Leonardo Coutinho Dantas

Dissertao de Mestrado

RECIFE/PE
Agosto 2013
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO
DEPARTAMENTO DE MATEMTICA

Hugo Leonardo Coutinho Dantas

Somas Telescpicas

Trabalho apresentado ao Programa de Mestrado Profissi-

onal em Matemtica - PROFMAT do DEPARTAMENTO
DE MATEMTICA da UNIVERSIDADE FEDERAL RU-
RAL DE PERNAMBUCO como requisito parcial para ob-
teno do grau de Mestre em Matemtica.

Orientador: Rodrigo Jos Gondim Neves

RECIFE/PE
Agosto 2013
 iii

Comisso Julgadora

Prof. Dr. Rodrigo Jos Gondim Neves - DM UFRPE

Presidente (orientador)

Prof. Dr. Thiago Dias Oliveira Silva - DM UFRPE

Membro

Prof. Dr. Airton Temstocles Gonalves de Castro - DMat UFPE

Membro

Prof. Dra. Anete Soares Cavalcanti - DM UFRPE

Membro
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO
DEPARTAMENTO DE MATEMTICA

Hugo Leonardo Coutinho Dantas

Somas Telescpicas

Trabalho apresentado ao Programa de Mestrado Profissi-

onal em Matemtica - PROFMAT do DEPARTAMENTO
DE MATEMTICA da UNIVERSIDADE FEDERAL RU-
RAL DE PERNAMBUCO como requisito parcial para ob-
teno do grau de Mestre em Matemtica.

Orientador: Rodrigo Jos Gondim Neves

RECIFE/PE
Agosto 2013
Aos meus pais, meu amor, familiares, amigos e professores.
A mim.
 Agradecimentos

Agradeo aos meus pais, Fernando e Izete. Por uma vida de investimentos na minha educao,
pelo apoio e respeito as minhas escolhas.

Obrigado Karla por estar sempre me pressionando e incentivando, mais que todos, para que eu
lougrasse xito neste curso.

Obrigado a todos os amigos feitos nesses dois anos, principalmente os que formavam o grupo
de estudos do IPSEP, sem vocs eu no teria conseguido chegar aqui. Em particular, obrigado
a Bruno Eloi e Pedro Pessoa, sempre juntos nesta jornada.

Agradeo aos professores da UFRPE, onde fiz graduao e ps, entre eles, Rodrigo Gondim,
meu orientador e referncia.

Obrigado titia Dbora pela correo do abstract.

Agradeo a Deus, a Nossa Senhora e ao meu anjo da guarda pela realizao deste sonho.

vi
Brincar condio fundamental para ser srio.
ARQUIMEDES
 Resumo

Grande parte dos problemas que envolvem somatrios so resolvidos com uso da propriedade
telescpica que consiste em observar que os termos da sequncia a ser somada podem ser es-
critos como diferenas entre termos consecutivos de uma outra sequncia. Este trabalho traz
aplicaes desta propriedade em somas dos tipos: aritmticas, trigonomtricas, binomiais, com
potncias fatoriais negativas e polinomiais.

comum, por exemplo, realizar o clculo de somas polinomais de modo recursivo. Neste
trabalho mostrado uma alternativa, atravs de nmeros binomiais e da soma de uma coluna
do tringulo de Tartaglia-Pascal (com uso da propriedade telescpica), que torna o processo
mais eficaz.

Palavras-chave: somas telescpicas, somas polinomiais, nmeros binomiais, potncias fato-

riais negativas

viii
 Abstract

A big part of the problems involving summation are solved with the use of telescopic property,
which consists of observing that the terms of the sequence to be calculated could be be written
as differences between consecutive terms of another sequence. This work brings applications
of this property in figures of the following types: arithmetic, trigonometric, binomial, with ne-
gative factorial power and polynomial.

It is common to perform the calculation of polynomial sums on a recursively way. In this work,
it is shown an alternative, through binomial-coefficients and the sum of a column of Tartaglia-
Pascals triangle (using the telescopic property), which makes the process more effective.

Keywords: telescopic sums, polynomial sums, binomial-coefficients, negative factorial powers

ix
 Sumrio

1 Somas telescpicas 3
1.1 Somatrios 3
1.2 Soma telescpica 5
1.3 Utilizando "truques", exemplos em somas trigonomtricas 9
1.4 Somas com potncias fatoriais 11
2 Somas binomiais e aplicaes 15
2.1 Os nmeros binomiais 15
2.2 Somas polinomiais 20
3 Somas infinitas 28
3.1 Convergncia das somas infinitas telescpicas 35
4 Proposta Pedaggica 37
5 Problemas Propostos 39
5.16 Gabarito 43

x
 Lista de Figuras

3.1 soma dos retngulos verticais. 33

3.2 soma dos retngulos horizontais. 33
3.3 Nmeros triangulares. 35

xi
 Introduo

O clculo de somas acompanha os estudos desde a educao bsica. Partindo da idia inicial
da operao aditiva e vai sendo aprofundada: adio de vrias parcelas, as propriedades comu-
tativa e associativa,

i) A adio comutativa: a + b = b + a;

ii) A adio associativa: a + (b + c) = (a + b) + c.

at chegar nos somatrios.

Conta a "histria", que Carl Friedrich Gauss1 entrou para a escola aos 7 anos e que, em certa
aula, um de seus professores pediu aos alunos que somassem os nmeros inteiros de 1 a 100,
e, rapidamente, o pequeno Gauss colocou sua soluo sobre a mesa, com o resultado do pro-
blema. A sua resposta, 5050. Especula-se que Gauss teria agrupado os pares dos nmeros
equidistantes aos extremos, ou seja

1 + 2 + 3 + ... + 98 + 99 + 100 = (1 + 100) + (2 + 99) + (3 + 98) + ... + (50 + 51)

Tem-se ento 50 parcelas de 101, logo 50 101 = 5050.

Em jornadas olmpicas comum encontrar problemas que envolvem somatrios. Este trabalho
tem como objetivo mostrar meios que possam facilitar o contato dos alunos com os diversos
tipos de somas: aritmticas, com nmeros binomiais, trigonomtricas, polinomiais, com potn-
cias fatoriais negativos e somas infinitas. Utilizando, principalmente, a propriedade telescpica.

At somas infinitas, que requer do aluno um estudo mais profundo do assunto, visto na edu-
cao fundamental j nos primeiros anos, vide, por exemplo, as dzimas peridicas,
3 3 3
ora 1, 333... = 1 + 0, 3 + 0, 03 + 0, 003 + ... = 1 + + + + ....
10 100 1000
No ensino mdio, tem-se as progresses geomtricas infinitas. Sendo necessrio a anlise da
convergncia na soma dos termos destes tipos de progresses.
1 Johann Carl Friedrich Gauss (1777-1855) foi um matemtico, astrnomo e fsico alemo que contribuiu muito

em diversas reas da cincia, dentre elas a teoria dos nmeros e anlise matemtica.

1
 INTRODUO 2

A propriedade telescpica das somas,

n
(ak+1 ak ) = an+1 a1
k=1

tratada no primeiro captulo, com aplicaes diversificadas, inclusive de somas trigonomtri-

cas e somas com potncias fatoriais negativas.

No segundo captulo, tem-se ateno os nmeros binomiais. Algumas propriedades do trin-

gulo de Tartaglia-Pascal2 e outras identidades famosas, como a de Euller, so explanadas com
o auxlio das propriedades de somatrios.

O captulo tem continuidade com as somas polinomiais. Existem vrios mtodos para somar
polinmios, porm alguns bem trabalhosos. Atravs de produtos notveis do tipo (n 1)k ; com
auxlio dos nmeros de Bernoulli3 (Bk ); com uso dos nmeros Eulerianos4 (nmeros definidos
por uma recorrncia); entre outros. Neste captulo mostrado uma maneira prtica para calcu-
lar somas polinomiais com uso dos nmeros binomiais, de maneira direta, tornando-se assim,
mais acessvel a sala de aula do ensino mdio.

O captulo trs direcionado as somas infinitas e conceitos de convergncias, inclusive, no uso

da propriedade telescpica.

Por fim, tem-se no quarto captulo a proposta pedaggica para desenvolvimento dos assuntos
abordados em sala de aula e a uma lista de problemas propostos.

O trabalho conta com vrias aplicaes tentando diversificar o uso e a compreenso do leitor
nas temticas de cada captulo. intuito do autor que este trabalho sirva como um apoio e
estmulo no estudo dos somatrios e no uso da propriedade telescpica.

2 Niccol Fontana Tartaglia (1499-1557), matemtico e engenheiro italiano. E Blaise Pascal (1623-1662), ma-

temtico, fsico e filsofo francs. A dupla d nome ao tringulo aritmtico formado pelos nmeros binomiais. A
autoria do tringulo no da dupla, mas escreveram obras com vasta contribuio das caractersticas do tringulo,
como a General Tratado di numeri et misure de Tartaglia.
3 Jakob Bernoulli (1654-1705) matemtico suo.
4 Leonhard Euler (1707-1783) matemtico e fsico suo. Os nmeros de Bernoulli e os nmeros Eulerianos

tem lugar destaque no clculo de diferenas.

 C APTULO 1

Somas telescpicas

1.1 Somatrios

Seja A um conjunto com duas operaes (+, ) satisfazendo as leis bsicas da aritmtica, por
exemplo em um dos conjuntos Z, Q, R e C.

Definio 1.1.1. Se (an ) uma sequncia em A, define-se o somatrio dos seus n primeiros
termos como sendo
n
ak = a1 + a2 + a3 + ... + an
k=1

Sejam (ak ) e (bk ) duas sequncias em A. Ento

n n n
i) (ak bk ) = ak bk ;
k=1 k=1 k=1

n n
ii) Seja c A, c ak = c ak ;
k=1 k=1

n
iii) Seja c A, c = nc;
k=1

n m n
iv) ak = ak + ak com 1 < m < n;
k=1 k=1 k=m+1

n m+n
v) ak = akm ;
k=1 k=1+m

m p m p
vi) ak bi = ak bi.
k=1 i=n k=1 i=n

!
n m m+n i
vii) Produto de Cauchy: aixi bixi = a j bi j xi com ai = 0 se i > n e bi = 0 se
i=0 i=0 i=0 j=0
i > m.

3
 1.1 SOMATRIOS 4

Prova:
n
i) (ak + bk ) = (a1 + b1) + (a2 + b2) + ... + (an + bn) =
k=1

= a1 + b1 + a2 + b2 + ... + an + bn = (a1 + a2 + ... + +an ) + (b1 + b2 + ... + bn ) =

n n n n n
= ak + bk . Anlogo para (ak bk ) = ak bk .
k=1 i=1 k=1 k=1 k=1

n n
ii) c ak = c a1 + c a2 + ... + c an = c (a1 + a2 + ... + an) = c ak .
k=1 k=1

iii) um caso particular do item ii) quando ak = 1.

n m n
iv) ak = a1 + a2 + ... + am + am+1 + am+2 + ... + an, pois 1 < m < n, ento ak + ak .
k=1 k=1 k=m+1

n m+n
v) ak = a1 + a2 + ... + an = a1+mm + a2+mm + ... + an+mm = akm .
k=1 k=1+m

m p p p p
vi) ak bi = a1bi + a2bi + ... + ambi =
k=1 i=n i=n i=n i=n

Aplicando a propriedade nmero ii) fica-se com:

! ! !
p p p p m p
a1 bi + a2 bi + ... + am bi = (a1 + a2 + ...a + m) bi = ak bi .
i=n i=n i=n i=n k=1 i=n

!
n m m+n i
vii) aixi bixi = a j bi j xi
i=0 i=0 i=0 j=0
n m
aixi bixi = (a0 + a1x1 + a2x2 + ... + anxn)(b0 + b1x1 + b2x2 + ... + bmxm) =
i=0 i=0
= a0 (b0 + b1 x1 + b2 x2 + ... + bm xm ) + a1 x1 (b0 + b1 x1 + b2 x2 + ... + bm xm ) + a2 x2 (b0 + b1 x1 +
b2 x2 + ... + bm xm ) + ... + an xn (b0 + b1 x1 + b2 x2 + ... + bm xm ) =
 1.2 SOMA TELESCPICA 5

= a0 b0 +a0 b1 x1 +a0 b2 x2 +...+a0 bm xm +a1 b0 x1 +a1 b1 x2 +a1 b2 x3 +...+a1 bm xm+1 +a2 b0 x2 +

a2 b1 x3 + b2 x4 + ... + bm xm+2 + ... + an b0 xn + an b1 xn+1 + an b2 xn+2 + ... + an bm xn+m =

= a0 b0 +(a0 b1 +a1 b0 )x1 +(a0 b2 +a1 b1 +a2 b0 )x2 +(a0 b3 +a1 b2 +...+a3 b0 )x3 +...+(a0 bm +
a1 bm1 + ... + am b0 )xm + (a0 bm+1 + a1 bm + ... + am+1 b0 )xm+1 + ... + (a0 bn + a1 bn1 + ... +
an b0 )xn +(a0 bn+1 +a1 bn +...+an+1 b0 )xn+1 +...+(a0 bn+m +a1 bn+m1 +...+an+m b0 )xn+m =

n+m
= [a0 b0 + (a0 b1 + a1 b0 ) + (a0 b2 + a1 b1 + a2 b0 ) + (a0 b3 + a1 b2 + ... + a3 b0 ) + ... + (a0 bm +
i=0
a1 bm1 + ... + am b0 ) + (a0 bm+1 + a1 bm + ... + am+1 b0 ) + ... + (a0 bn + a1 bn1 + ... + an b0 ) +
(a0 bn+1 + a1 bn + ... + an+1 b0 ) + ... + (a0 bn+m + a1 bn+m1 + ... + an+m b0 )]xi =

!
n+m i
Logo, = a j bi j xi com ai = 0 se i > n e bi = 0 se i > m.
i=0 j=0

n n
Exemplo 1.1.2. Calcule (i + j).
i=1 j=1

n n n
Soluo: (i + j) = [(i + 1) + (i + 2) + (i + 3) + ...(i + n)] =
i=1 j=1 i=1

n n n
n(n + 1)
= [ni + (1 + 2 + 3 + ... + n)] = ni + =
i=1 i=1 i=1 2

n
n(n + 1) n n2 (n + 1) n2 (n + 1)
= n i+ 1 = + = n2 (n + 1).
i=1 2 i=1 2 2

1.2 Soma telescpica

"A ideia por trs do nome a seguinte: assim como olhando num telescpio encurtamos a
imensa distncia de um corpo celeste a nossos olhos, a propriedade telescpica encurta o cami-
nho entre a soma inicial de muitas parcelas e o clculo do resultado da mesma."(CAMINHA)

Teorema 1.2.1. Dada uma sequncia (Xn ), com n N tem-se que Xk = Xk+1 Xk . Aplicando
somatrios a todos os termos desta equao fica-se com:
 1.2 SOMA TELESCPICA 6

n
Xk = Xn+1 X1.
k=1

n
A soma Xk chamada soma telescpica.
k=1

Prova: Tem-se

X1 = X2 X1
X2 = X3 X2
X3 = X4 X3
...
Xn1 = Xn Xn1
Xn = Xn+1 Xn

Somando todas as equaes membro a membro

X1 + X2 + ... + Xn = X2 X1 + X3 X2 + ... + Xn Xn1 + Xn+1 Xn

Efetuando os devidos cancelamentos resulta que

X1 + X2 + ... + Xn = Xn+1 X1
n
Xk = Xn+1 X1
k=1

Exemplo 1.2.2. (IEZZI, 1997) Chama-se progresso aritmtica (PA) de 1 ordem uma sequen-
cia dada pela seguinte frmula de recorrncia: A1 = a e An = An1 + r, n N, n 2 com a,
r R.

Vamos ento, calcular o termo geral das progresses aritmticas de 1 ordem de razo r e
A1 = a.

Soluo: Para calcular deve-se observar o comportamento termo a termo da progresso

A2 = A1 + r
A3 = A2 + r
...
An1 = An2 + r
An = An1 + r
 1.2 SOMA TELESCPICA 7

Observa-se que ao adiconar membro a membro todas as equaes alguns termos sero cance-
lados e obtem-se a equao do termo geral

An = A1 + (n 1)r

Pode-se chegar a esta equao mais rapidamente fazendo uso da equao da soma telescpica
(1) com Xi = Ai e Xn = r:
n1
An A1 = r
k=1
n1
An A1 = r 1
k=1
An A1 = (n 1)r
An = A1 + (n 1)r

Exemplo 1.2.3. Diz-se que uma sequncia (An ) uma progresso aritmtica de 2 ordem se as
diferenas entre os termos consecutivos formam uma P.A. de 1 ordem com razo r e primeiro
termo B1 = b, ou seja:

An+1 An = Bn , onde Bn = B1 + (n 1)r.

Vamos calcular o termo geral das progresses aritmticas de 2 ordem.

Soluo:
Pela equao da soma telescpica, com Xk = Bk :
n1
An A1 = Bk
k=1
n1 n1
(B1 + Bn1 )(n 1)
Mas, Bk a soma de uma P.A. de 1 ordem, ento Bk = 2
.
k=1 k=1
Logo, o termo geral de uma P.A. de 2 ordem :

(B1 + Bn1 )(n 1)

An A1 =
2
B1 B1 + (n 2)r
An = A1 + (n 1) + (n 1)
2 2
 1.2 SOMA TELESCPICA 8

r
An = A1 + B1 (n 1) + (n 1)(n 2)
2

n
1
Exemplo 1.2.4. Calcular Ak Ak+1 onde os Ak s so elementos no nulos de uma progresso
k=1
aritmtica de 1 ordem com razo r.
Soluo: Quando r = 0 tem-se uma P.A. de termos constante (Ak = A1 para todo k =
n
1 1
1, 2, ..., n) ento sua soma seria 2 = n 2
k=1 A1 A1

Vamos calcular para r 6= 0, tem-se

1 1 A2 A1 1
= = r
A1 A2 A1 A2 A1 A2
1 1 1
= r
A2 A3 A2 A3
1 1 1
= r
A3 A4 A3 A4
...
1 1 1
= r
An1 An An1 An
1 1 1
= r
An An+1 An An+1

Telescopicando resulta que

n
1 1 1
=r
A1 An+1 k=1 Ak Ak+1
n    
1 1 1 1 1 An+1 A1
= =
k=1 Ak Ak+1 r A1 An+1 r A1 An+1
n  
1 1 A1 + nr A1 n
Ak Ak+1 = r A1An+1 = A1An+1
k=1

Em particular, quando r = 1 e A1 = 1 tem-se:

1 1 1 1 1 n
+ + + ... + = 1 =
12 23 34 n (n + 1) n+1 n+1
 1.3 UTILIZANDO "TRUQUES", EXEMPLOS EM SOMAS TRIGONOMTRICAS 9

Veja agora o exemplo a seguir. Inicialmente obersava-se o comportamento de Xk .

n
Exemplo 1.2.5. k2k = 1 21 + 2 22 + 3 23 + ... + n 2n.
k=1
Observe que

k2k = (k + 1)2k+1 k2k = (2k + 2 k)2k = k2k + 2k+1 (**)

Ora, note que

n
k2k = (n + 1)2n+1 2 (Propriedade telescpica)
k=1
E que
n
2k+1 a soma dos n termos de uma progresso geomtrica1 de razo 2 com a1 = 4.
k=1

n
2n 1
Ento 2k+1 = 4 21
= 2n+2 4
k=1
Logo, voltando para a equao (**) e aplicando somatrio a todos os termos:
n n n
k2k = k2k + 2k+1
k=1 k=1 k=1

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

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

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

1.3 Utilizando "truques", exemplos em somas trigonomtricas

Algumas vezes so necessrios "truques"para chegar as somas telescpicas. Como, por exem-
plo, utilizar expresses trigonomtricas:

1 (IEZZI,
1977) Chama-se progresso geomtrica (PG) uma sequncia dada pela seguinte frmula de recorrn-
cia: a1 = a e an = an1 q, n N, n 2 e q R. A demonstrao da soma da PG finita e infinita encontram-se
na pgina 28.
 1.3 UTILIZANDO "TRUQUES", EXEMPLOS EM SOMAS TRIGONOMTRICAS 10

Exemplo 1.3.1. Prove que:

sen(x) sen(2x) sen(3x) sen(nx) cos((n + 1)x) k

+ 2
+ 3
+ ... + n
= cotg(x) n
, x 6= ,kZ
cos(x) cos (x) cos (x) cos (x) sen(x) cos (x) 2
Soluo:
n
sen(x) sen(2x) sen(3x) sen(nx) sen(kx)
+ 2
+ 3
+ ... + n
=
cos(x) cos (x) cos (x) cos (x) k=1 cosk (x)

A prncipio no temos com utilizar a propriedade telescpica, mas realizando alguns "tru-
ques"conseguimos chegar a tal.

sen(x)
Primeiro multiplicando por :
sen(x)

n
sen(kx) sen(x) n sen(kx) n
sen(x)sen(kx)
= =
cosk (x) sen(x) cosk (x) sen(x) cosk (x)
k=1 k=1 k=1

Agora, adicionando e retirando a parcela cos(kx) cos(x) ao numerador, desenvolvendo as ex-

presses trigonomtricas e simplificando as fraes:
n n
sen(kx) cos(kx) cos(x) + sen(kx)sen(x) cos(kx) cos(x)
cosk (x) = =
k=1 k=1 sen(x) cosk (x)

n  
cos(kx) cos(x) cos(kx) cos(x) sen(kx)sen(x)
= =
k=1 sen(x) cosk (x) sen(x) cosk (x)

n   n  
cos(kx) cos(kx + x) cos(kx) cos((k + 1)x)
= =
k=1 sen(x) cosk1 (x) sen(x) cosk (x) k=1 sen(x) cos
k1 (x) sen(x) cosk (x)

Tem-se ento uma soma telescpica. Logo

n
sen(kx) cos(x) cos((n + 1)x) cos((n + 1)x)
cosk (x) = sen(x) sen(x) cosn(x) = cotg(x) sen(x) cosn(x) .
k=1

tg(1) tg(2) tg(4) tg(2n )

Exemplo 1.3.2. Calcule + + + ... + .
cos(2) cos(4) cos(8) cos(2n+1 )
Soluo:
 1.4 SOMAS COM POTNCIAS FATORIAIS 11

n
tg(1) tg(2) tg(4) tg(2n ) tg(2k )
+ + + ... + = cos(2k+1)
cos(2) cos(4) cos(8) cos(2n+1 ) k=0

n n
tg(2k ) sen(2k )
k+1 )
= k k+1 )
=
k=0 cos(2 k=0 cos(2 ) cos(2

Escrevendo 2k como 2k+1 2k no numerador, tem-se

n n
sen(2k+1 2k ) sen(2k+1 ) cos(2k ) sen(2k ) cos(2k+1 )
= k k+1 )
= =
k=0 cos(2 ) cos(2 k=0 cos(2k ) cos(2k+1 )

n n h
sen(2k+1 ) sen(2k )
  i
k+1 k
= = tg(2 ) tg(2 )
k=0 cos(2k+1 ) cos(2k ) k=0

Ora, uma soma telescpica, ento

n
tg(2k )
cos(2k+1) = tg(2n+1) tg(1).
k=0

1.4 Somas com potncias fatoriais

Tambm nas somas de potncias fatoriais encontra-se uso da propriedade telescpica. Shchepin
E. possui um arquivo2 sobre somas telescpicas onde denota as potncias fatoriais da seguinte
maneira:
1
k p = k(k 1)(k 2)(k 3)...(k p + 1) e kp = com k R e
k(k + 1)(k + 2)...(k + p 1)
p N e nenhum fator nulo.

O primeiro tipo, k p , origina um polinmio de grau igual a p. No prximo captulo, somas

polinomais tero uma ateno mais detalhada. J o segundo tipo das potncias fatoriais, kp ,
ganha as atenes agora.

Proposio 1.4.1. Seja k p = (k + 1) p k p ento k p = pk p1 .

Prova:
k p = (k + 1) p k p =

(k + 1) p tem p fatores e k p tambm. Ento

2 Telescopic Sums (5 p.)- http://libgen.info/view.php?id=139620 ou http://mechmath.org/books/40969

 1.4 SOMAS COM POTNCIAS FATORIAIS 12

k p = (k + 1)k(k 1)(k 2)...(k p + 2) k(k 1)(k 2)...(k p + 1) =

= k(k 1)(k 2)...(k p + 2)[(k + 1) (k p + 1)] = p k(k 1)(k 2)...(k p + 2)

Mas k(k 1)(k 2)...(k p + 2) tem p 1 fatores, logo

k p = pk p1 .

Analogamente tem-se que kp = pkp1 .

n
1 1
Proposio 1.4.2. k(k + 1)(k + 2)...(k + p 1) = p + 1 ((n + 1)p+1 1p+1).
k=1

Prova:
1
k(k + 1)(k + 2)...(k + p 1) = kp

1
Pela proposio 1.4.1: kp = kp+1
p + 1

1 1 1
Ento, kp = kp+1 = kp+1 = ((k + 1)p+1 kp+1 )
p + 1 p + 1 p + 1

Pela propriedade telescpica, somando de k = 1 at n

n
1 1
= ((k + 1)p+1 kp+1 ) = ((n + 1)p+1 1p+1 ).
p + 1 k=1 p + 1

n
1
Exemplo 1.4.3. (SVSU 2011 Math Olympics - Adaptada) k(k + 1)(k + 2) =?
k=1
Soluo: Escrevendo esta soma como
n n
1 3 1 n
=
k(k + 1)(k + 2) k =
2 k2
k=1 k=1 k=1
Ento,
n  
3 1 1 1 1 1 1
k = ((n + 1)2 12 ) = = .
k=1 2 2 (n + 1)(n + 2) 1 2 4 2(n + 1)(n + 2)
 1.4 SOMAS COM POTNCIAS FATORIAIS 13

n
1
Exemplo 1.4.4. Calcular k(k + 1)(k + 3) .
k=1
n n
1 k+2
Soluo: k(k + 1)(k + 3) k(k + 1)(k + 2)(k + 3) =
=
k=1 k=1

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

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

n n
1 n 2 n
= (k + 1)3 + 2 k4 =
2 k=1
(k + 1)2
k3 =
3 k=1
k=1 k=1

1 2
= ((n + 2)2 22 ) ((n + 1)3 13 ) =
2 3
   
1 1 1 2 1 1
= =
2 (n + 2)(n + 3) 2 3 3 (n + 1)(n + 2)(n + 3) 1 2 3

1 1 2 1
= + + =
2(n + 2)(n + 3) 12 3(n + 1)(n + 2)(n + 3) 9

7 3n + 7
= .
36 6(n + 1)(n + 2)(n + 3)

n
Definio 1.4.5. Seja a Q. Escreve-se f (a + i) = f (a + 1) + f (a + 2) + ... + f (a + n).
i=1

n
1
Exemplo 1.4.6. Calcular a soma (5k 2)(5k + 3) .
k=1
Soluo: Primeiramente divide-se o numerador e o denominador por 25:
1
n n
1 25
(5k 2)(5k + 3) = 2 3
k=1 k=1 (k )(k + )
5  5 
n
1 n 2 2 1 n 2 1
 
1 1

25 k=1 2 2
= k 5 = 25 k 5 =
25 k=1
(k )(k + 1) k=1
5 5
 1.4 SOMAS COM POTNCIAS FATORIAIS 14
" 1  1 # "  1 #
5n + 3 1

1 2 3 1 3
= n +1 = =
25 5 5 25 5 5
 
1 5 5 1 5 1 5 1 1
= = = .
25 5n + 3 3 25 3 25 5n + 3 15 5(5n + 3)
 C APTULO 2

Somas binomiais e aplicaes

2.1 Os nmeros binomiais

 
n
Definio 2.1.1. Os nmeros binomiais, denotados por com p = 0, 1, 2, ..., n (n, p N),
p
1 n
so
 os coeficientes
    do desenvolvimento do binmio de Newton (1 + x) =
 dos monmios
n n n 2 n n
+ x+ x + ... + x
0 1 2 n
np
   
n n! n
= = se n p ou = 0 quando n < p.
p p!(n p)! p! p
 
n
i) = 1.
n
       
n n n n
ii) e so nmeros binomiais complementares (ou simtricos) e = .
p n p p n p
   
n n n1
iii) = .
p p p1
   
n n p n
iv) Relao de Fermat2 = .
p+1 p+1 p
     
n n n+1
v) Relao de Stifel3 + = .
p p+1 p+1
Prova:
 
n n! n! n!
i) = = = = 1.
n n!(n n)! n!0! n!

1 Sir Isaac Newton PRS MP (1642-1727), fsico e matemtico ingls dos mais influentes na histria.
2 Pierre de Fermat (1601-1665) advogado francs do Parlamento de Toulouse e amante da matemtica. A ele
atribuido grandes desenvolvimentos no clculo infinitesimal.
3 Michael Stifel (1487-1567), monge e matemtico alemo.

15
 2.1 OS NMEROS BINOMIAIS 16
   
n n! n! n! n
ii) = = = = .
p p!(n p)! (n p)!p! (n p)!(n (n p)! n p
   
n n! n(n 1)! n (n 1)! n n1
iii) = = = = .
p p!(n p)! p(p 1)!(n p)! p (p 1)![(n 1) (p 1))]! p p 1
 
n n! n p n!
iv) = = =
p+1 (p + 1)!(n p 1)! n p (p + 1)p!(n p 1)!
 
n p n! n p n! n p n
= = = .
p + 1 p!(n p)(n p 1)! p + 1 p!(n p)! p + 1 p
          
n n n n p n n n p
v) + = + = 1+ =
p p+1 p p+1 p p p+1
     
n p+1+n p n n+1 n+1
= ( )= = .
p p+1 p p+1 p+1
   
n n n n1
Teorema 2.1.2. (Teorema binomial de Tartaglia-Pascal) (a + b)n = a + a b+
0 1
      n  
n n2 2 n n1 n n n nk k
a b + ... + ab + b = a b.
2 n1 n k=0 k

Prova:          
n n n n1 n n2 2 n n1 n n
Se a = 0, (0 + b)n= 0 + 0 b+ 0 b + ... + 0b + b = bn .
0 1 2 n1 n
b
Se a 6= 0, desenvolve-se o binmio de Newton (1 + x)n , tomando x = fica-se com:
a
 n n    k       2   n
b n b n n b n b n b
1+ = = + + 2
+ ... +
a k=1 k a 0 1 a 2 a n an

Multiplicando ambos os membros da igualdade por an :

b n n
        2   n
n n b n b n b
1+ a = + + 2
+ ... + an
a 0 1 a 2 a n an
 n       2   n
b n n n b n n b n n b
1a+ a = a + a + 2
a + ... + an
a 0 1 a 2 a n an
        n  
n n n n1 n n2 2 n n n nk k
(a + b)n = a + a b+ a b + ... + b = a b.
0 1 2 n k=1 k
 2.1 OS NMEROS BINOMIAIS 17

Definio 2.1.3. (IEZZI, 1977) O tringulo de Tartaglia-Pascal

 uma tabela onde pode-se
n
dispor ordenadamente os coeficientes binomiais .
  p
0
Linha 0:
0
  
1 1
Linha 1:
0 1
   
2 2 2
Linha 2:
0 1 2
    
3 3 3 3
Linha 3:
0 1 2 3
...

      
k k k k k
Linha k: ...
0 1 2 3 k
...

Exemplo 2.1.4. Mostre que a soma dos termos de uma linha do tringulo de Tartaglia-Pascal
n 
n
dada por = 2n .
k=0 k

Soluo:
Basta tomar x = 1 no desenvolvimento do binmio de Newton:
       
n n n n 2 n n
(1 + 1) = + 1+ 1 + ... + 1
0 1 2 n
       
n n n n
2n = + + + ... + .
0 1 2 n

Exemplo 2.1.5.  Calcule

  asoma dos
 termosde ordem
 par de uma linha do tringulo de Tartaglia-
n n n n
Pascal, isto , + + + ... + , para n mpar.
0 2 4 n1
       
n n n n
Calcule tambm a soma dos termos de ordem mpar, + + + ... + .
1 3 5 n
 2.1 OS NMEROS BINOMIAIS 18

Soluo:         n  
n n n n n
J conhecido, pelo exemplo anterior, que + + + ... + = = 2n
0 1 2 n k=0 k
Ento,
n 
n
(1 + 1)n = = 2n (*)
k=0 k

n  
n k
(1 1)n = (1) = 0 (**)
k=0 k

Somando membro a membro as equaes (*) e (**), fica-se com:

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

n  
n
[1 + (1) ] k = 2n
k
k=0

n
  n  
n n n
Quando k par, tem-se 2 = 2 , ento, = 2n1 para k par.
k=0 k k=0 k

Por outro lado, subtraindo membro a membro as equaes (*) e (**), tem-se:
n   n  
n k n
k (1) k = 2n 0
k=0 k=0

n  
n
[1 (1) ] k = 2n
k
k=0   n n  
n n n
Quando k mpar, tem-se 2 = 2 , ento, = 2n1 para k mpar.
k=0 k k=0 k

Exemplo 2.1.6. Demonstrar, para todos n, m, k N, a identidade de Vandermonde4 -Euler:

k     
m n m+n
= .
i=0 i ki k
4 Alexandre-ThophileVandermonde (1735-1796) foi um msico, matemtico e qumico francs que tem tra-
balhos ao lado de Bzout e Lavoisier.
 2.1 OS NMEROS BINOMIAIS 19

Soluo: Pelo binmio de Newton tem-se

m   n  
m m i n n j
(1 + x) = x e (1 + x) = x
i=0 i j=0 j

Considere ento
m+n  m  
m i n n j
  
m+n k m+n m n
k x = (1 + x) = (1 + x) (1 + x) = i x j x
k=0 i=0 j=0

Realizando uma mudana de variavis, j = k i:

" #
m+n  m  
m i n m+n k  
  
m+n k n ki m n
x = x x = xk
k=0 k i=0 i k=i k i k=0 i=0 i ki
Logo, cancelando os somatrios externos,
k     
m n m+n
=
i=0 i ki k

Em particular, quando n = m = k est deduzida a identidade de Lagrange5 :

n    n    n  2  
n n n n n 2n
i ni = i i = i = n
i=0 i=0 i=0

Exemplo 2.1.7. Relao de Stifel generalizada (Soma de uma coluna).

n    
k n+1
= com n > p
k=p p p+1

Soluo: Pela relao de Stifel

       
n n+1 n n
= =
p p+1 p+1 p+1

Ento, aplicando somatrios,

5 Joseph-Louis Lagrange (Giuseppe Luigi Lagrancia) (1736-1813) foi um matemtico e astrnomo italiano.
 2.2 SOMAS POLINOMIAIS 20

n  n      
n n n+1 p
= =
k=p p k=p p+1 p+1 p+1

 
p
Como pela definio 2.1.1 = 0, temos:
p+1

n    
n n+1
=
k=p p p+1

n
       
1 k 1 p 1 p+1 1 n
Exemplo 2.1.8. Mostre que = + + ... + .
k=p k p p p p + 1 p n p
Soluo:
n   n  
1 k 1 k k1
p = k p p1
k=p k k=p

n   n  
1 k 1 k1
p = p p1
k=p k k=p

n
1 n k1
   
1 k
k p = p p1
k=p k=p

n    
1 k 1 n
p =p p .
k=p k

2.2 Somas polinomiais

O uso dos nmeros binomiais uma ferramenta no clculo das somas polinomiais. comum
calcular somas de quadrados ou cubos partindo do desenvolvimento dos binmios de Newton.
n
Para calcular 12 + 22 + 32 + ... + n2 = k2, observa-se os desenvolvimentos a seguir
k=1
(1 1) = 1 3 12 1 + 3 1 12 13
3 3

(2 1)3 = 23 3 22 1 + 3 2 12 13
(3 1)3 = 33 3 32 1 + 3 3 12 13
...
(n 1)3 = n3 3 n2 1 + 3 n 12 13
 2.2 SOMAS POLINOMIAIS 21

Ento, mais uma vez, somando todas as equaes membro a membro e efetuando os devidos
cancelamentos fica-se com

0 = n3 3 (12 + 22 + 32 + ... + n2 ) + 3 (1 + 2 + 3 + ... + n) n

n
3 k2 = n3 + 3 (1 + 2 + 3 + ... + n) n
k=1

Ou seja, aparece uma dependncia. Para que seja calculada a soma dos n primeiros quadrados
precisa-se, inicialmente, saber calcular a soma dos n primeiros naturais.

Para isso desenvolve-se os produtos notveis

(1 1)2 = 12 2 1 1 + 12
(2 1)2 = 22 2 2 1 + 12
(3 1)2 = 32 2 3 1 + 12
...
(n 1)2 = n2 2 n 1 + 12

Somando todas as equaes membro a membro e efetuando os devidos cancelamentos resulta

que

0 = n2 2 (1 + 2 + 3 + ... + n) + n
n
2 k = n2 + n
k=1
n
n2 + n
k= 2
k=1

Voltando a soma dos quadrados

n
n2 + n
3 k 2 = n3 + 3 n
k=1 2
n
2n3 + 3n2 + 3n 2n n(2n2 + 3n + 1)
k2 = 6
=
3!
k=1
n
n(n + 1)(2n + 1)
k2 = 3!
k=1
 2.2 SOMAS POLINOMIAIS 22

Pode-se escrev-la como uma soma de nmeros binomiais

n
(n + 1)n (n + 1)n(n 1)
k2 = 2!
+2
3!
k=1
n    
2 n+1 n+1
k = 2 +2 3
k=1

Ora, para calcular a soma dos n primeiros cubos ser necessrio, previamente, saber a soma dos
n primeiros quadrados! Que por sua vez necessrio conhecer a soma dos n primeiros naturais!
Imaginem ento para calcular a soma de um polinmio de grau 8? Tem-se que conhecer cada
uma das somas dos polinmios de graus menores que 8. Tem-se, ento, um impeclio.

No se desesperem! Para nossa sorte, existe uma boa soluo!

Lema 2.2.1. possvel escrever um monmio de grau d na varivel n como um produto de d

fatores do 1 grau em n mais um polinmio residual que tem grau menor ou igual a d 1

nd = nd + P0 (n)

Prova:
P0 (n) = nd n(n 1)(n 2)...(n d + 1) =

= nd nd + ad1 nd1 + ad1 nd1 + ... + a1 n + a0 = ad1 nd1 + ad1 nd1 + ... + a1 n + a0 .

Teorema 2.2.2. Todo polinmio f de grau menor ou igual a d, na varivel n, pode ser escrito,
de uma nica forma, como combinao linear dos seguintes polinmios
 
n
P0 (n) = = 1;
0
 
n
P1 (n) = = n;
1
 
n n(n 1)
P2 (n) = = ;
2 2
...
 2.2 SOMAS POLINOMIAIS 23
 
n n(n 1)(n 2)...(n d + 1) 1
Pd (n) = = = nd
d d! d!

Ou seja, f (n) = a0 P0 (n) + a1 P1 (n) + a2 P2 (n) + ... + ad Pd (n).

Prova:
A demonstrao est dividida em duas partes.

Existncia:

A demonstrao seguir por induo em d

Para d = 1 tem-se
   
n n
f (n) = a0 + a1 n = 0 1 + 1 n = 0 + 1 com a0 = 0 e a1 = 1
0 1

Hiptese indutiva: todo polinmio

   degrau
 menor  ou igual a d pode ser escrito como combina-
n n n n
o linear dos binomiais , , , ..., .
0 1 2 d

Seja agora f (n) um polinmio de grau d + 1

f (n) = a0 + a1 n + a2 n2 + ... + ad nd + ad+1 nd+1

Pelo lema 2.2.1 escreve-se

f (n) = a0 + a1 n + a2 n2 + ... + ad nd + ad+1 n(n 1)(n 2)...(n d) + P0 (n)

P0 (n) tem grau menor ou igual a d e ainda, a0 + a1 n + a2 n2 + ... + ad nd = P(n). Ora, P(n) +
P0 (n) tem grau menor ou igual a d, denote essa soma de Q(n). Ento escreve-se

 
(d + 1)! n
f (n) = Q(n) + ad+1 n(n 1)(n 2)...(n d) = Q(n) + d+1
(d + 1)! d +1
       
n n n n
Pela hiptese indutiva Q(n) = 0 + 1 + 2 + ... + d , ento
0 1 2 d
         
n n n n n ad+1
f (n) = 0 + 1 + 2 + ... + d + d+1 , com d+1 = .
0 1 2 d d +1 (d + 1)!
 2.2 SOMAS POLINOMIAIS 24

Unicidade:

Considere agora que existem i s e i s tais que

               
n n n n n n n n
0 + 1 + 2 + ... + d = 0 + 1 + 2 + ... + d
0 1 2 d 0 1 2 d

Tem-se que 0 = 0 (monmios de grau 0 ou 0 = 0 = 0).

     
n n n
Hiptese de induo: Se 1 + 2 + ... + d tem grau menor ou igual a d e
     1 2 d
n n n
1 + 2 + ... + d tem grau menor ou igual a d ento i = i .
1 2 d
Considere agora
           
n n n 0 n n n
f (n) = 1 + 2 + ... + d+1 e f (n) = 1 + 2 + ... + d+1
1 2 d +1 1 2 d +1
polinmios de grau d + 1.
           
n n n n n n
Ento 1 + 2 + ... + d+1 = 1 + 2 + ... + d+1
1 2 d +1 1 2 d +1

Aplicando a propriedade iii) dos nmeros binomais,

         
n n1 n n1 n n1 n n1 n n1
1 +2 +...+d+1 = 1 +...+d+1
1 0 2 1 d +1 d 1 0 d +1 d
           
1 n 1 2 n 1 d+1 n 1 1 n 1 2 n 1 d+1 n 1
+ +...+ = + +...+
1 0 2 1 d +1 d 1 0 2 1 d +1 d

Realizando uma troca de variveis n 1 = m. Fica-se com

           
1 m 2 m d+1 m 1 m 2 m d+1 m
+ + ... + = + + ... + = g(m)
1 0 2 1 d +1 d 1 0 2 1 d +1 d

Mas, pela hiptese indutiva g(m) tem grau menor ou igual a d. Logo,

i i
= i = i .
i i
 2.2 SOMAS POLINOMIAIS 25

Exemplo 2.2.3. Calcular a soma dos n primeiros quadrados utilizando o teorema 2.2.2
Soluo:
Pode-se escrever o polinmio k2 como
     
2 k k k
k = 0 + 1 + 2
0 1 2

Resulta que

k(k 1) 2 2 (21 2 ) 2
k2 = 0 + 1 k + 2 = 0 + 1 k + k2 k = 0 + k + k2
2 2 2 2 2
Segue que

0 = 0, 1 = 1 e 2 = 2.

Ento
   
2 k k
k =1 +2
1 2

Aplicando somatrios a cada termo

n   nn  
2 k k
k = 1 +2 2
k=1 k=1 k=1

Por fim, utilizando o teorema das colunas

n    
2 n+1 n+1
n = 2 +2 3
k=1

No ento necessrio calcular a soma dos n primeiros naturais para descobrir a soma dos
n primeiros quadrados. Mas fato que para calcular um polinmio de grau 8, por exemplo,
gasta-se um bom tempo at encontrar os 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 e 8 .
O que fazer ento? No se preocupem descrito a seguir uma grande jogada para otimizar esta
etapa.
 
n
A princpio lembre que por definio = 0 quando n < p.
p
Utilizando ainda a soma dos n primeiros quadrados
     
2 k k k
k = 0 + 1 + 2
0 1 2
 2.2 SOMAS POLINOMIAIS 26

Para calcular 0 impe-se k = 0

     
2 0 0 0
0 = 0 + 1 + 2 0 = 0
0 1 2
Para calcular 1 impe-se k = 1 e j tem-se que 0 = 0
     
2 1 1 1
1 = 0 + 1 + 2 1 = 1
0 1 2
Para calcular 2 impe-se k = 2 e j tem-se que 0 = 0 e 1 = 1
     
2 2 2 2
2 = 0 + 1 + 2 4 = 2 + 2 2 = 2
0 1 2
E "de graa"ganha-se os coeficientes i0 s que so necessrios.

Exemplo 2.2.4. Calcular a soma dos n primeiros cubos.

Soluo:        
k k k k
Pelo teorema 2.2.2 tem-se k3 = 0 + 1 + 2 + 3
0 1 2 3
k = 0 0 = 0.

k = 1 1 = 1.

k = 2 2 = 8 2 = 6.

k = 3 3 = 27 3 18 = 6.
     
3 k k k
Ento k = 1 +6 +6
1 2 3

Aplicando somatrios em todas as parcelas fica-se com:

n n
  n   n  
3 k k k
k = 1 +6 2 +6 3 =
k=1 k=1 k=1 k=1
     
n+1 n+1 n+1 (n + 1)(n) (n + 1)n(n 1) (n + 1)n(n 1)(n 2)
= +6 +6 = +6 +6 =
2 3 4 2 3! 4!
   
(n + 1)n (n 1) (n 1)(n 2) (n + 1)(n) (n 1) (n 1)(n 2)
= 1+6 +6 = 1+4 + =
2 3 43 2 2 2
 2.2 SOMAS POLINOMIAIS 27

(n + 1)n 2 (4n 4) (n2 3n + 2) (n + 1)(n) (n2 + n) (n + 1)(n) 2

   
= + + = = .
2 2 2 2 2 2 2

n
Exemplo 2.2.5. Mostre que 13 + 33 + 53 + ... + (2n 1)3 = (2k 1)3.
k=1
n n
Soluo: (2k 1)3 = (8k3 12k2 + 6k 1)
k=1 k=1

n n n n n
(2k 1)3 = 8 k3 12 k2 + 6 k 1 =
k=1 k=1 k=1 k=1 k=1
           
n+1 n+1 n+1 n+1 n+1 n+1
=8 +6 +6 12 +2 +6 n =
2 3 4 2 3 2
           
n+1 n+1 n+1 n+1 n+1 n+1
=8 + 48 + 48 12 24 +6 n =
2 3 4 2 3 2
     
n+1 n+1 n+1
=2 + 24 + 48 n =
2 3 4

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

=2 + 24 + 48 n =
2 3! 4!

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

= n2 + n + 4n3 4n + 2n4 4n3 2n2 + 4n n = 2n4 n2 = n2 (2n2 1).

 C APTULO 3

Somas infinitas

"Aquiles nunca pode alcanar a tartaruga; porque na altura em que atinge o ponto donde a tar-
taruga partiu, ela ter-se- deslocado para outro ponto; na altura em que alcana esse segundo
ponto, ela ter-se- deslocado de novo; e assim sucessivamente, ad infinitum."(KIRK E RAVEN,
1979)

A sitao acima refere-se a um dos paradoxos de Zeno de Elia1 , Aquiles e a tartaruga: Aqui-
les e uma tartaruga disputam uma corrida. Ao iniciar a prova, Aquiles d um espao X de
vantagem ao animal, que se move com metade da velocidade do heri. Deste modo, quando
X
Aquiles percorrer o espao X, a tartaruga ter percorrido . Quando o heri tiver percorrido o
2
X X
novo espao , a sua rival ter percorrido mais e, desta maneira, segundo Zeno, por mais
2 4
rpido que Aquiles tente correr, nunca vencer a corrida.
X X X X
Aquiles teria ento que percorrer as distncias X, , , , , ... para tentar alcanar a
2 4 8 16
tartaruga. Pode-se escrever o espao total percorrido por Aquiles:

X X X X X 1
X+ + + + + + ... + n + ... = X n
2 4 8 16 2 k=0 2

Tem-se ento uma "soma infinita".

No Conceitos fundamentais da matemtica, Caraa (1951), simula um dilogo entre leitor e

autor indagando as caractersticas de somas com uma quantidade infinita de parcelas (adap-
tado):
1 1 1
"Podemos chamar soma entidade 1 + + 2 + ... + n + ...? No verdade que a adio
2 2 2
uma operao que envolve um nmero finito de parcelas? Que acontecer ento se esta enti-
dade, apesar de revestir a aparncia duma soma, no possuir as suas propriedades? No ser
perigoso continuar a chamar-lhe soma? quilo a que chamaste soma duma infinidade de par-
celas, vamos dar, desde j, outro nome; vamos passar a chamar-lhe uma srie."

1 Zeno de Elia (490 a.C. - 430 a.C.) foi um filosfo italiano pr-Socrates e membro da Eleatic School.

28
 CAPTULO 3 SOMAS INFINITAS 29

Ento mostra nas pginas seguintes, conceitos de convergncia e divergncia, resultados essen-
ciais das propriedades associativas e comutativas, sries de termos positivos e, um tipo espe-
cfico de sries que gozam das mesmas propriedades da soma, ou seja, vale a comutatividade,
a associatividade. Essas sries so chamadas sries convergentes absolutas ou absolutamente
convergentes e vislumbrado algumas destas neste trabalho.

Seja a srie a1 + a2 + ... + an + .... Denota-se suas somas parciais:

S1 = a1

S2 = a1 + a2

S3 = a1 + a2 + a3

...

Sn = a1 + a2 + a3 + ... + an

Toma-se a sequncia S1 , S2 , S3 , ..., Sn , ... como sequncia que define a srie.

Definio 3.0.6. Se existe S tal que S = lim Sn , ento a srie a1 + a2 + a3 + ... + an + ... dita
n
convergente. E,

a1 + a2 + a3 + ... + an + ... = ak = S.
k=1

Definio 3.0.7. Uma srie ak chamada absolutamente convergente ou de convergncia
k=1

absoluta se a srie de valores absolutos |ak | for convergente.
k=1
Alguns critrios para testar a convergncia de uma srie:

i) Critrio do termo geral: Se a srie a1 + a2 + a3 + ... + an + ... converge, ento lim |an | = 0.
n
Prova:
Pelas somas parciais tem-se que Sn = Sn1 + an .

Chamando lim Sn = S e aplicando limite a todos os termos,

n

Tem-se lim Sn = lim Sn1 + lim an

n n n

Logo, lim an = lim Sn lim Sn1 = S S = 0.

n n n
 CAPTULO 3 SOMAS INFINITAS 30

Corolrio 3.0.8. Se lim an 6= 0 ento a srie divergente.

n

Exemplo 3.0.9. Analise a convergncia ou divergncia da soma dos termos de uma progresso
geomtrica infinita.

Soluo:
Seja (a1 , a2 , a3 , a4 , ..., an , an+1 , ...) termos de uma progresso geomtrica infinita de razo q e
ai s 6= 0.

O termo geral de uma progresso geomtrica dado por, an = an1 q = a1 qn1 .

Seja a1 + a2 + ... + an + an+1 + ... = a1qk .
k=1
Considere a soma parcial Sn = a1 + a2 + ... + an . Multiplicando Sn por q fica-se com a soma

qSn = qa1 + qa2 + ... + qan = a2 + a3 + ... + an+1 .

Subtraindo estas duas somas,

Sn qSn = (a1 + a2 + ... + an ) (a2 + a3 + ... + an+1 ) = a1 + (a2 a2 ) + ... + (an an ) an+1

1 qn
(1 q)Sn = a1 an+1 ) = a1 a1 qn = a1 (1 qn ) Sn = a1 , para q 6= 1.
1q

10 a1
Se |q| < 1, quando n , ento qn 0, logo Sn a1 = .
1q 1q

E se |q| 1, lim qn 6= 0, logo pelo corolrio 3.0.8, a srie diverge.

n

ii) (Guidorizzi, 1991) Critrio da comparao: Sejam as sries de termos positivos a1 + a2 +

a3 + ... + an + ... e b1 + b2 + b3 + ... + bn + ... com an bn :

* Se ak = , ento bk = , ou seja, divergem;
k=1 k=1

* Se bk converge, ento ak tambm converge.
k=1 k=1
 CAPTULO 3 SOMAS INFINITAS 31

1
Exemplo 3.0.10. Mostre que a srie harmnica n divergente. E que a srie dos quadrados
k=1

1
dos nmeros harmnicos 2 convergente.
k=1 n
Soluo:    
1 1 1 1
Inicialmente, = 1, , , ..., , ...
n 2 3 n
 
1 1 1 1 1 1 1 1
Considere a sequncia (bn ) = , , , , , , , ... note que cada termo satisfaz bn < .
2 4 4 8 8 8 8 n
E ainda a srie
   
1 1 1 1 1 1 1 1 1 1 1 1 1 1
+ + + + + + + ... = + + + + + + + ... =
2 4 4 8 8 8 8 2 4 4 8 8 8 8

1 1
= 2k1 k
= diverge!
k=1 2 k=1 2
1 1 1 1 1
Logo, pelo critrio da comparao 1 + + + + + ... + + ... tambm diverge.
2 3 4 5 n
Agora tome
( 1 1
, se n > 1
(cn ) = n1 n
1, se n = 1

Ento
 
1 1 1
cn = 1 + = 1 + 1 lim = 2, srie convergente!
k=1 k=2 n1 n n n

n
1 1 1
Mas cn = 2
> 2
, logo, pelo critrio da comparao, 2
tambm converge.
n n n k=1 n
!

1
De maneira geral, as p-sries p converge, se e somente se, p > 1:
k=1 k

1 1
* p > 1, ento p
< e a srie converge.
n n

1 1
* 0 < p < 1, ento p
> e a srie diverge.
n n
 
 an+1 
iii) Critrio da razo: Seja a srie a1 + a2 + a3 + ... + an + ... se existe lim   = L, ento,
n an 
 CAPTULO 3 SOMAS INFINITAS 32

quando:

L < 1 convergncia absoluta,

L > 1 no convergncia,
L = 1 no diz nada.  
 an+1 
Prova: Inicialmente suponha que lim 
  = L < 1.
n an 

Uma sequncia (an ) tem o limite L, se para todo > 0, existe um nmero N > 0, tal que
|an L| < para todo inteiro n > N e escreve-se lim an = L.
n
 
 an+1 
Escolha M tal que L < M < 1. Existe N > 0 tal que    < M para todo n > N. Ento,
an 
pode-se escrever as seguintes desigualdades

|aN+1 | < |aN |M

|aN+2 | < |aN+1 |M < |aN |M 2

|aN+3 | < |aN+2 |M < |aN+1 |M 2 < |aN |M 3

...

Note que os termos do lado direito de cada desigualdade esto em progresso geomtrica.

A soma da progresso geomtrica |aN |Mk = |aN |M + |aN |M2 + |aN |M3 + ... + |aN |Mn + ...
k=1
converge j que M < 1. Ento, pelo critrio da comparao,

|aN+k | = |aN+1| + |aN+2| + |aN+3| + ... + |aN+n| + ... tambm converge.

k=1

Logo, |an| tambm convergente, j que retirar um nmero finito de termos (n = N 1)
k=1
no afeta a convergncia.
 
 an+1 
De modo anlogo verifica-se que quando lim 
  = L > 1 a srie diverge.
n an 
1
E quando L = 1 nada pode-se dizer, vide o exemplo anterior das p-sries que em diverge e
n
1
em 2 converge, e em ambos os casos, pelo critrio da comparao,
n
 1  1
   
 
   2 
 n+1   n + 2n + 1 
lim   = lim  =1
n  1  n  1 
n2
   
n
 CAPTULO 3 SOMAS INFINITAS 33

!

k
Na obra Vrias Faces da Matemtica, vila (2007), relata a srie de Suiseth2 k :
k=1 2
"Suiseth achou o valor 2 para a soma por meio de um longo e complicado argumento verbal.
Mais tarde Oresme3 deu uma explicao geomtrica bastante interessante para a soma da srie.
Observe que essa soma igual rea da figura formada com uma infinidade de retngulos
verticais, como ilustra a Figura 3.1. O raciocnio de Suiseth, combinado com a interpretao
geomtrica de Oresme, se traduz simplesmente no seguinte: a soma das reas desses retngulos
verticais igual soma das reas dos retngulos horizontais da Figura 3.2. [...] A soma das
reas dos retngulos da Figura 3.2 agora dado pela soma da srie geomtrica

Figura 3.1 soma dos retngulos verticais.

Figura 3.2 soma dos retngulos horizontais.

2 Richard Swineshead (ou Suiseth) foi um matemtico ingls que fazia parte do grupo Oxford Calculators of
Merton College entre 1344 e 1355. Este grupo voltou a ter destaque nos estudos das sries infinitas 1700 anos
depois de Arquimedes e a quadratura da parabla.
3 Nicole Oresme (1320-1382) filosfo francs e bispo de Lisieux. Mantinha contato com o grupo de pesquisa-

dores de Oxford e contribuiu na investigao de vrias das sries surgidas e estudadas na poca.
 CAPTULO 3 SOMAS INFINITAS 34

1 1 1 1
S = 1 + + + + ... = n
2 4 8 n=0 2

Isso permite obter a soma da srie original, pois sabe-se somar os termos de uma srie geom-
1 1
trica pela frmula S = (neste caso r = ) que d pra essa ltima srie o valor 2."
1r 2

1 2 3 n
Exemplo 3.0.11. Somando a srie de Suiseth + + + ... + n + ...
2 4 8 2
Soluo:
Inicialmente nota-se que uma srie de convergncia absoluta:

Pelo critrio da razo,

 n+1 
 
 n + 1 2n 
   
 n+1 
2 n + 1 1
lim   = lim  n+1  = lim   = < 1.

n  n 
  
n 2 n n 2n  2
 2n 
Ento,
n
k
S = lim 2k
n
k=1

n
k+11
S = lim
n
k=1 2k

n  
1 k1
S = lim + k
n
k=1 2k 2
Estes limites existem, e como o limite da soma a soma dos limites, fica-se com

n n
1 k1
S = lim k
+ lim k
k=1 2 k=1 2
n n

n n
1 1 k1 1
S = lim 2k + 2 n
lim k1
= 1+ S
n
k=1 k=1 2 2

S S
S = 1+ S = 1 S = 2.
2 2
 3.1 CONVERGNCIA DAS SOMAS INFINITAS TELESCPICAS 35

3.1 Convergncia das somas infinitas telescpicas

No Matemtica e Natureza, Janos (2010), mostra um exemplo do uso das somas telescpicas
atravs dos nmeros triangulares:

"Nmeros triangulares (Figura 3.3) so aqueles que correspondem s linhas de objetos coloca-
k(k + 1)
dos como em um jogo de boliche, isto , na forma . A srie triangular a soma dos
2
inversos destes nmeros

Figura 3.3 Nmeros triangulares.

1 1 1 1 1
S = 1 + + + + + + ..."
3 6 8 10 15
Adiante, Janos, explica como Leibniz4 fez o clculo desta soma:

"Leibniz, primeiro, dividiu todos os termos por 2

S 1 1 1 1
= + + + + ...
2 2 6 20 30

Depois, genialmente, ele notou o seguinte padro,

4 Gottfried Wilhelm von Leibniz (1646-1716) foi um categrico matemtico, fsico e filsofo alemo.
 3.1 CONVERGNCIA DAS SOMAS INFINITAS TELESCPICAS 36

1 1
1 termo = = 1
2 2

1 1 1
2 termo = =
6 2 3

1 1 1
3 termo = =
12 3 4

1 1 1
4 termo = =
20 4 5
...

Portanto
       
S 1 1 1 1 1 1 1
= 1 + + + + ...
2 2 2 3 3 4 4 5
S 1 1 1 1 1 1
= 1 + + + ... = 1
2 2 2 3 3 4 4
S = 2.

Nota-se ento que Leibniz, utiliza a propriedade telescpica dos somatrios para realizar o cl-
culo. percebido que a srie dos nmeros triangulares de convergncia absoluta. Mas, como
se deve proceder na anlise da convergncia de uma srie telescpica?
n
Bem, considerando a soma telescpica, ento (ak ak+1) = a1 an+1
k=1

Na srie telescpica tem-se,

n
(ak ak+1) = lim
n
(ak ak+1) = n
lim a1 lim an+1 = a1 lim an .
n n
k=1 k=1

Logo, na srie triangular,

2 A B A(k + 1) + Bk (A + B)k + A
= + = = A = 2 e B = 2.
k(k + 1) k k + 1 k(k + 1) k(k + 1)

2 2 2 2
Ento, = . Logo, an = e resulta que
k(k + 1) k k + 1 n

 
2 2 2 2 2
k(k + 1) = k k + 1 = 1 n
lim = 2 0 = 2.
n
k=1 k=1
 C APTULO 4

Proposta Pedaggica

O objetivo deste trabalho mostrar meios que possam facilitar o contato dos alunos com diver-
sos tipos de somas, tais como telescpicas, com nmeros binomiais, polinomiais, com potn-
cias fatoriais negativas e somas infinitas. Em particular, as somas polinomiais, que calculada
hoje em dia, quando vista no contedo do ensino mdio, de modo recursivo, atravs dos bin-
mios de Newton (x 1)n .

Este trabalho traz uma alternativa para que o aluno possa, com alguns conhecimentos prvios,
calcular de maneira mais rpida e direta somas polinomais.

recomendvel que a aplicao desta prtica seja realizada em turmas do 2 ano do ensino
mdio j familiarizadas com os contedos: progresses aritmtica e geomtrica, sequncias
numricas, binmio de Newton e o tringulo de Tartaglia-Pascal (relao de Stifel).

O uso de recurso visual, como slides ou projetor, estimulante, principalmente que pode-se
mostrar o compartamento de algumas sequncia com softwares especficos. Porm, os bons e
velhos pincel e quadro; lpis e papel satisfazem um bom rendimento didtico.

Previsto o uso de uma semana, com 5 aulas, para detalhamento e realizao de exerccios pro-
postos e avaliativos.

Antes de iniciar a sequncia didtica, fundamental que o professor sonde os conhecimentos

prvios necessrios do aluno, para que, tendo certeza do domnio destes, o aproveitamento seja
o melhor possvel. Caso seja notada dificuldades prvias necessrio uma reciclagem dos con-
ceitos de progresses, sequncias e binmios, e neste caso, s a partir da contabilizar o tempo
previsto.

O processo inicia com a definio de somatrios () e suas propriedades, dando nfase a pro-
priedade telescpica e aplicaes. Tempo previsto de duas aulas.

Em seguida, utiliza-se a propriedade telescpica na soma dos elementos de uma coluna do tri-
ngulo de Tartaglia-Pascal e aps, inicia-se o processo para calcular somas polinomais.

Neste momento, vale mostrar o mtodo recursivo, afim de fazer com que o aluno analise e
compare as duas alternativas. A soma de polinmios do primeiro grau pode ser interpretado
como a soma dos termos de uma progresso aritmtica e no merece, neste momento, dema-

37
 CAPTULO 4 PROPOSTA PEDAGGICA 38

siada ateno. Comea-se ento pela soma de polinmios do segundo grau. Como exemplo
introdutrio, a soma dos quadrados de 1 a n, com n N.

Atravs do teorema 2.2.2 o professor mostra que todo polinmio f de grau menor ou igual a
d, em n pode ser escrito, de forma nica, como a soma de binomiais em n. E desta maneira,
aplicando a soma dos elementos de uma coluna do tringulo de Tartaglia-Pascal chegar a uma
n
frmula fechada para kd . Com a aplicao de problemas propostos, previstos duas aulas.
k=1
Na ltima aula prevista, faz-se necessria a realizao de uma avaliao afim de diagnosticar
do aluno: conhecimento e domnio do conceito e das propriedades dos somatrios; reconhecer
quando pode utilizar a propriedade telescpica na resoluo dos somatrios e saber aplic-la;
uso do teorema 2.2.2 no clculo de somas poliomiais.
 C APTULO 5

Problemas Propostos

Problema 5.1. (ITA) Suponha que a equao algbrica:

10
x11 + anxn + a0 = 0
n=1
tenha coeficientes reais a0 , a1 , ..., a10 tais que as suas onze razes sejam todas simples e da forma
+ in , em que , n R, e os n , n = 1, 2, ..., 11, formam uma progresso aritmtica de razo
real 6= 0. Considere as trs afirmaes abaixo e responda se cada uma delas , respectiva-
mente, verdadeira ou falsa, justificando sua resposta:

I. Se = 0, ento a0 = 0.

II. Se a10 = 0, ento = 0.

III. Se = 0, ento a1 = 0.

52 n 53 n 5n+1 n
       
n
Problema 5.2. (Peru/2004) O valor da soma 5 + + + ... +
0 2 1 3 2 n+1 n
igual a:

5n+1 1
a)
n+1
6 n+1 +1
b)
n+1
6 n1 1
c)
n+1
6 n+1 1
d)
n+2
5n+1 1
e)
n+2

Problema 5.3. (EUA/2001) Sabendo que

3 4 5 2001 1
+ + + ... + +
1! + 2! + 3! 2! + 3! + 4! 3! + 4! + 5! 1999! + 2000! + 2001! 2001!

39
 CAPTULO 5 PROBLEMAS PROPOSTOS 40

vale k. Ento o valor de 2008k igual a:

a) 2008

b) 1004

c) 502

d) 2009

e) 251

Problema 5.4. (URSS) Calcule o valor das somas:

       
n n n n
a) cos(x) + cos(2x) + cos(3x) + ... + cos((n + 1)x)
0 1 2 n
       
n n n n
b) sen(x) + sen(2x) + sen(3x) + ... + sen((n + 1)x)
0 1 2 n

Problema 5.5. (URSS) Mostre que

       
2 4 6 2n 1
cos + cos + cos + ... + cos = .
2n + 1 2n + 1 2n + 1 2n + 1 2

n  
k
Problema 5.6. (ITA/73) A soluo da equao (com n natural): logu x = 1,
k=1 2(k + 1)!
1
com u = , :
(n + 2)!
2
a)
(n + 1)! 1
2
b)
n(n + 1)! 1
2
c)
(n + 2)! (n + 2)
(n + 1)! 1
d)
2n
e) NDA

1 2 3 k1
Problema 5.7. (Escola Naval) O valor da soma: S = + + + ... + igual a:
2! 3! 4! k!
 CAPTULO 5 PROBLEMAS PROPOSTOS 41

1
a) 1 -
k!
1
b) 1 +
k!
c) k! - 1

d) k! + 1

e) 1

Problema 5.8. (Peru/2005) Seja:

a1 = 2
1
a2 = 2 +
2
5 1
a3 = +
2 6
8 1
a4 = +
3 24
...
100
1
O valor de a100 :
n=2 n!
a) 5

b) 7

c) 2

d) 8

e) 10

Problema 5.9. (ITA) Sejam a1 , a2 , a3 , ..., an nmeros reais. A expresso (a1 + a2 + a3 + ... +
an )2 igual a:
n n
a) a2i + 4 a j
i=1 j=1
!
n n n
b) a2i + aia j
i=1 i=1 j=1
 CAPTULO 5 PROBLEMAS PROPOSTOS 42

n   n
n
c) a2i + aj
i=1 2 j=1
!
n n
d) aia j
i=1 j=1

e) NDA

100
1
Problema 5.10. (SVSU 2012 Math Olympics) Encontre o valor da soma k(k + 1) .
k=1
99
a)
100
1
b)
10100
100
c)
101
194
d)
100
e) NDA

Problema 5.11. (Olmpiadas Colombianas de Matemtica/1998) Qual o valor da expresso

1 1 1 1
+ + + ... + ?
log2 100! log3 100! log4 100! log100 100!
a) 0,01

b) 0,1

c) 1

d) 2

e) 10

999
1
Problema 5.12. (OBM) Calcular a soma (3k + 1)(3k + 4) .
k=0

Problema 5.13. (Olmpiada Iberoamericana de Matemtica - Venezuela/1992) Para cada in-

teiro positivo n, an o ltimo dgito do nmero 1 + 2 + 3 + ... + n. Calcular a1 + a2 + a3 + ... +
a1992 .
 5.16 GABARITO 43

Problema 5.14. (Singapura/1998) Calcule:

1 1 1 1
+ + + ... +
2 1+1 2 3 2+2 3 4 3+3 4 100 99 + 99 100

Problema 5.15. (EUA/1992) Mostre que:

1 1 1 1 1
+ + + ... + = .
cos 0 cos 1 cos 1 cos 2 cos 2 cos 3 cos 88 cos 89 sen2 1

5.16 Gabarito

5.1 V V F

5.2 c

5.3 b
n+2 n+2
5.4 a) 2n cosn cos b) 2n cosn sen
2 2 2 2
5.6 c

5.7 a

5.8 c

5.9 d

5.10 c

5.11 c
1000
5.12
3001
5.13 6984

100
5.14 1
100
 Referncias

[1] Antar Neto, Aref. Combinatria, Matrizes e Determinantes: 2 Grau - Noes de Matem-
tica. Vol. 4, Fortaleza, VestSeller, 2009.

[2] vila, Geraldo. Vrias Faces da Matemtica. Tpicos para licenciatura e leitura geral. 2
Ed, Ed. Diucher, 2007.

[3] Caminha, Antnio. Tpicos de Matemtica Elementar - Vol. 1. Nmeros Reais, SBM,
2011.

[4] Caraa, Bento de Jesus. Conceitos Fundamentais da Matemtica. Cincia Aberta. Lisboa,
1951.

[5] Carvalho, Paulo Cezar; Wagner, Eduardo; Morgado, Augusto Cesar. A matemtica no en-
sino mdio. Vol. 2, SBM, 2011.

[6] Engel, Arthur. Problem-solving strategies. Springer, 1998.

[7] Faddeev, D.; Sominsky, I. Problems in Higher Algebra, Moscou: Ed. MIR, 1968.

[8] Hefez, Abramo. Matemtica Discreta. PROFMAT, SBM, 2012.

[9] Janos, Michel. Matemtica e Natureza. 1 Ed. Livraria da Fsica, 2010.

[10] Larson, Loren C. Problem-solving through problems. New York: Springer, 1983.

[11] Lehoczky, Sandor, and Richard Rusczyk. The Art of Problem Solving. Greater Testing
Concepts, 1993.

[12] Lidski, V. B.; Ovsianikov, L. V.; Tulaikov, A. N.; Shabunin M. I. Problemas de Matemati-
cas Elementales, Moscou: Ed. MIR, 1972.

[13] Miranda, Marclio. Problemas selecionados de matemtica. Vol. 1, VestSeller, 2010.

[14] Shklarsky, D.O., Chentzov, N.N., Yaglom, I.M. The USSR Olympiad Problem Book, New
York, Dover Publications, Inc., 1994.

44
 REFERNCIAS 45

[15] Guidorizzi, Hamilton Luiz. Matemtica Universitria. N 13, 1991.

http://matematicauniversitaria.ime.usp.br/Conteudo/n13/n13_Artigo06.pdf em 18/07/2013.

[16] Massago, Sadao. Sequncias e sries.

http://www.dm.ufscar.br/ sadao/download/?file=student/sequencias-e-series.pdf em 18/07/2013.

[17] Matemtica Discreta. Unidade 4 - Somatrios e Binmio de Newton. PROFMAT, 2011.

http://www.dme.ufcg.edu.br/PROFmat/Arquivos/MaterialSemana2011-04-11-17/MA12%20U4.pdf
em 18/07/2013.

[18] Matos, Ana. Sries Numricas. 2000.

http://ltodi.est.ips.pt/amatII/documentos/SERIESN/sn18100.pdf em 18/07/2013.

[19] Possi Jr, Rogrio. Somas trigonomtricas: de Prostafrese frmula de Euler. Eureka!
33. SBM.
http://www.obm.org.br/export/sites/default/revista_eureka/docs/Eureka33.doc em 18/07/2013.

[20] Renji. Dados de Deus - Apostilas de somatrios.

http://dadosdedeus.blogspot.com.br/2011/06/apostilas-completas-de-somatorios.html?m=1 em
18/07/2013.

[21] Shchepin E. Telescopic Sums. http://libgen.info/view.php?id=139620 em 18/07/2013.

[22] Schneider, Eduardo. Notas em teoria elementar de nmeros.

http://minerva.ufpel.edu.br/ eduardo.schneider/ufpel/aritmetica/aritmetica_parte1.pdf em 18/07/2013.
Este volume foi tipografado em LATEX na classe UFPEThesis (www.cin.ufpe.br/~paguso/ufpethesis).