Anexo ao Artigo de Somatrios Prof.

Filipe Rodrigues Instituto Tecnolgico de Aeronutica (ITA) (2004)

Resoluo do Desafio proposto pelo artigo de Somatrios

Vamos calcular o somatrio

1 . 2 k =1

Primeiramente calcularemos uma expresso para sen(nx) . Visto que sen(nx) =

cis ( nx) cis ( nx) 1 n n = cis ( x) ) ( cis ( x) ) = ( 2i 2i

cis ( nx) cis ( nx) , vem: 2i

sen( nx) =

n 1 n n n k = cos ( x).i k sen k ( x) cos n k ( x)(1)k i k sen k ( x) = 2i k =0 k k 1 n n n k = cos ( x).sen k ( x) i k (i ) k = 2i k =0 k

k cos
k =0

nk

( x).sen k ( x).i k 1 (1) k .

Veja que nesse ltimo resultado, se k par, o termo correspondente do somatrio zero, caso seja mpar o resultado fica expresso por:

2i.

1 n n n (2 k +1) ( x).sen 2 k +1 ( x).(1) k = 2k + 1 cos 2i k =0

2k + 1 cos
k =0

n (2 k +1)

( x).sen 2 k +1 ( x).(1) k .

Dessa forma a expresso que gera sen(nx) dada por:

n n n (2 k +1) sen(nx) = ( x).sen 2 k +1 ( x).(1)k . Vamos usar esse mesmo resultado para calcular cos k = 0 2k + 1

sen((2n+1)x). Substituindo n por 2n+1 vem:

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

Dividindo ambos os lados da igualdade por sen 2 n +1 ( x) - veja que esse fator no depende de k logo uma constante no somatrio , chega-se ::

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

n 2n + 1 n 2 n + 1 cos (2 n 2 k ) ( x ) 2 nk k = .(1) k = (cot ( x)) .(1) , logo: (2 n 2 k ) ( x) k = 0 2 k + 1 sen k = 0 2 k + 1

sen((2n + 1) x) = sen 2 n +1 ( x) escrito como, sen((2n + 1) x) = sen 2 n +1 ( x)

2k + 1 (cot
k =0

2n + 1

( x))n k .(1)k . Vamos atribuir y = cot 2 ( x) . Dessa forma o somatrio fica

2k + 1 y
k =0

2n + 1

nk

2n + 1 n 2n + 1 n 1 n 1 2n + 1 .(1) k = y y + ... + (1) y + 1 , que no 1 3 2n 1

passa de um polinmio, em y, do (n)-simo grau. Como se trata de uma igualdade, se tem que as razes do polinmio, so as mesmas que zeram o numerador da parte esquerda da igualdade, ou seja, as razes saem da equao sen((2n + 1) x ) = 0 , que so: (2n + 1) x = k x = k , k = 1, 2,3,..., n . Com essa concluso, o somatrio (2n + 1)

cot
k =1

k , a 2n + 1

soma das razes do polinmio em y, correspondente parte direita da igualdade. Essa soma das razes pode ser obtida usando as relaes de Girard. Veja!! 2n + 1 (2n + 1)(2n)(2n 1) 2 k 3 (2n 1)n 3.2.1 . = cot 2n + 1 = 2n + 1 = (2n + 1) 3 k =1 1
n

Pela conseqncia da relao Fundamental da Trigonometria se tem que: cos sec 2 ( x) = 1 + cot 2 ( x) , dessa (2n 1)n 2n 2 + 2n 2 k = forma, cos sec . = n + 3 3 2n + 1 k =1
n

Partindo da desigualdade sen( x) x tg( x) cos sec( x)

n 2 2

1 1 cot( x) cos sec 2 ( x) cot 2 ( x) , x x

n 2n 2 + 2n n (2n + 1) 2 2n 2 n k n 2 n + 1 2 k logo: cos sec 2 2 cot k 3 3 2n + 1 k =1 k 2n + 1 k =1 k =1 k =1

2 2 n (2n 2 + 2n). 2 1 (2n n). 2 . Aplicando o limite quando n tende ao infinito , em todas as partes 3.(2n + 1)2 3.(2n + 1) 2 k =1 k
n (2n 2 + 2n). 2 (2n 2 n). 2 1 lim 2 lim da desigualdade vem: lim n 3.(2n + 1) 2 n n 3.(2n + 1) 2 k =1 k 2 1 = k2 6 . k =1 2 1 , que pelo 6 k =1 k 2 6

Teorema do Confronto: