Escolar Documentos
Profissional Documentos
Cultura Documentos
DEPARTAMENTO DE MATEMTICA
Somas Telescpicas
Dissertao de Mestrado
RECIFE/PE
Agosto 2013
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO
DEPARTAMENTO DE MATEMTICA
Somas Telescpicas
RECIFE/PE
Agosto 2013
iii
Comisso Julgadora
Somas Telescpicas
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.
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.
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.
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
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;
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
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
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.
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
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
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
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
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
! ! !
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 +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
"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
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.
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:
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 :
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
n
Exemplo 1.2.5. k2k = 1 21 + 2 22 + 3 23 + ... + n 2n.
k=1
Observe que
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 2)2n+1 + 2 = (n 1)2n+1 + 2.
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
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
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)
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
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
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.
Prova:
k p = (k + 1) p k p =
k p = pk p1 .
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
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
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
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
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
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
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
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
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
" #
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
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
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
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.
(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
0 = n2 2 (1 + 2 + 3 + ... + n) + n
n
2 k = n2 + n
k=1
n
n2 + n
k= 2
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.
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!
Prova:
A demonstrao est dividida em duas partes.
Existncia:
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
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:
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
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
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
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
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
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
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
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.
S1 = a1
S2 = a1 + a2
S3 = a1 + a2 + a3
...
Sn = a1 + a2 + a3 + ... + an
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 .
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.
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
* 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:
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
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,
!
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
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:
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
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
1 1 1 1 1
S = 1 + + + + + + ..."
3 6 8 10 15
Adiante, Janos, explica como Leibniz4 fez o clculo desta soma:
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
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.
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
I. Se = 0, ento a0 = 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
39
CAPTULO 5 PROBLEMAS PROPOSTOS 40
a) 2008
b) 1004
c) 502
d) 2009
e) 251
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
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
b) 0,1
c) 1
d) 2
e) 10
999
1
Problema 5.12. (OBM) Calcular a soma (3k + 1)(3k + 4) .
k=0
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.
[7] Faddeev, D.; Sominsky, I. Problems in Higher Algebra, Moscou: Ed. MIR, 1968.
[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.
[14] Shklarsky, D.O., Chentzov, N.N., Yaglom, I.M. The USSR Olympiad Problem Book, New
York, Dover Publications, Inc., 1994.
44
REFERNCIAS 45
[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.