SOMAS TRIGONOMTRICAS: DE PROSTAFRESE FRMULA DE EULER

Rogrio Possi Junior

Nvel Intermedirio

INTRODUO

So apresentados fundamentos bsicos da matemtica elementar, cujos conceitos somados

podem auxiliar na resoluo de problemas mais elaborados, como os que podem aparecer quando se
depara com o incio do estudo das Variveis Complexas e o uso dos teoremas de De Moivre.

Seja atravs das frmulas de Transformao de Soma em Produto, conhecidas como Frmulas de
Prostafrese, ou atravs da Relao de Euler, so calculados alguns exemplos de somas de funes
trigonomtricas aparentemente complexas.

AS FRMULAS DE TRANSFORMAO TRIGONOMTRICAS.

Admitamos conhecidas as frmulas da soma e diferena de arcos para as funes seno e

cosseno, isto

sen(a b) sen a cos b sen b cos a (a)

sen(a b) sen a cos b sen b cos a (b)
cos(a b) cos a cos b sen a sen b (c)
cos(a b) cos a cos b sen a sen b (d)

Somando-se (a) e (b) tem-se

sen(a b) sen(a b) 2 sen a cos b (e)

Subtraindo-se (a) de (b) tem-se

sen(a b) sen(a b) 2 sen b cos a (f)

Somando-se (c) e (d) teremos

cos(a b) cos(a b) 2 cos a cos b (g)

E por fim, subtraindo-se (c) de (d)

cos(a b) cos(a b) 2 sen a sen b (h)

Fazendo a b e a b teremos que a e b , cujos valores substitudos
2 2
nas relaes (e), (f), (g) e (h) fornecero as seguintes relaes

sen sen 2 sen cos
2 2

sen sen 2 sen cos
2 2

cos cos 2 cos cos
2 2

cos cos 2 sen sen , que so as conhecidas Frmulas de
2 2
Transformao de soma em produto ou Frmulas de Prostafrese.

A FRMULA DE EULER

Segundo GUIDORIZZI (1987), seja f (x) uma funo derivvel at a ordem n em um intervalo
aberto I e seja x0 I . Define-se o polinmio P(x) a seguir como o polinmio de Taylor, de
ordem n , de f (x) em torno do ponto x0 , isto
x x0 x x0
n k
n
P x f x0 f x0 x x0 f n
x0 f k
x0 (i)
n! k 1 k!

que, se fixado em torno de x0 0, tambm pode ser chamado de polinmio de Mac-Laurin.

Tomando-se (i) f x e x e x0 0, pode-se demonstrar que

x 2 x3 xn x 2 x3
e lim 1 x 1 x
x
(j)
n
2 3! n! 2 3!
A expresso da direita pode ser usada para definir e x para x para x complexo.
Analogamente demonstra-se que
x3 x5
n 1
xn x3 x5
sen x lim x (1) 2 x
(k)
n 3! 5! n! 3! 5!

e que
x2 x4 x 2n x2 x4
cos x lim 1 (1) n 1 (l)
n
2 4! (2n)! 2! 4!

Para x Z iY , Y R e observando-se (j), (k) e (l) teremos que

Y2 Y4 Y3 Y5
e iY 1 i Y cos Y i sen Y (m)
2 4! 3! 5!

que a conhecida frmula de Euler.

No obstante, tambm se demonstra que se e Z e X iY , onde X 0 , ento
e Z e X cos Y i sen Y (n)
Z
Se, alternativamente, adotssemos a expresso de (n) como definio de e , no difcil mostrar
que eZ W eZ eW ,Z ,W de fato, se Z1 X1 iY1 e
Z2 X 2 iY2 , eZ1 Z2 e x1 x2 cos Y1 Y2 isen Y1 Y2 ex1 x2

cosY cosY
1 2 senY1senY2 i senY1cosY2 senY2 cosY1
 e x1 cosY1 isenY1 e x2 cosY2 isenY2 eZ1 eZ2 .

PROBLEMAS DE APLICAO

PROBLEMA 1: Comearemos com um exemplo de problema anlogo ao proposto em um exame de

admisso ao Instituto Militar de Engenharia (IME). O problema pede que se calcule as somas a
seguir.

S1 sen x sen 2 x sen 3x sen nx (1)

S2 cos x cos 2 x ... cos nx (2)

Utilizaremos a transformao de somas de funes trigonomtricas em produto, conhecidas como

Frmulas de Prostafrese. Observamos que

3x x x
sen sen 2 sen cos x
2 2 2
5x 3x x
sen sen 2 sen cos 2 x
2 2 2
7x 5x x
sen sen 2 sen cos 3x (3)
2 2 2

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

Somando-se as linhas acima encontraremos uma Soma Telescpica, cujo valor ser dado por
(2n 1) x x x n
sen sen 2 sen cos jx
2 2 2 j 1
nx (n 1) x
n sen cos
S 2 cos jx 2 2 (4)
j 1
x
sen
2
Analogamente, para a soma das funes seno S1 pode-se escrever que:
3x x x
cos cos 2 sen sen x
2 2 2
5x 3x x
cos cos 2 sen sen 2 x
2 2 2
7x 5x x
cos cos 2 sen sen 3x (5)
2 2 2

(2n 1) x (2n 3) x x
cos cos 2 sen sen(n 1) x
2 2 2
(2n 1) x (2n 1) x x
cos cos 2 sen sen nx
2 2 2
Somando-se as linhas acima encontraremos outra Soma Telescpica, cujo valor
(2n 1) x x x n
cos cos 2 sen sen jx
2 2 2 j 1
nx (n 1) x
n sen sen
S1 sen jx 2 2 (6), que a soma
j 1
x
sen
2
procurada.
No obstante, este problema tambm pode ser resolvido utilizando-se a conhecida Relao de Euler.
ix
x x
Seja e C cos
2
i sen , onde i 2 1 ; assim tem-se que
2 2
2
x x
C 2 cos i sen cos x i sen x
2 2
4
x x
C cos i sen cos 2 x i sen 2 x
4

2 2 (7)

2n
x x
C 2n
cos i sen cos nx i sen nx
2 2
C 2 (C 2 n 1) C n C n C n n

cos jx i sen jx
C C C
2 4 2n

(C 2 1)
C
C C 1
j 1

nx
sen
n
x nx
cos jx i sen jx cos i sen cos i sen
x nx 2 S iS
2 1
j 1 2 2 2 2 sen
x
2
(n 1) x nx (n 1) x nx
cos sen sen sen
S 2 iS1 2 2 i 2 2 (8)
x x
sen sen
2 2
de onde tiramos os valores de interesse S1 e S 2 igualando-se as partes reais e imaginrias da
igualdade acima respectivamente.
n
PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por S1 sen 2 jx e
j 1
n
1 1
S 2 cos 2 jx . Para tal, observa-se inicialmente, da Trigonometria que sen 2 x cos 2 x e
j 1 2 2
1 1
cos 2 x cos 2 x , assim pode-se reescrever S1 e S 2 como sendo
2 2
n
1 1 1 1
S1 sen 2 jx cos 2 x cos 4 x cos 2nx (9)
j 1 2 2 "n" 2 2
onde S cos 2 x cos 4 x cos 2nx .

Com o auxlio da Relao de Euler, seja C cos x i sen x , assim

C n C n C n n
cos 2 jx i sen 2 jx
C 2 C 4 C 2 n C.

C C 1
j 1
n
cos(n 1) x. sen nx sen(n 1) x. sen nx
cos 2 jx i sen 2 jx i SiS (10)
j 1 sen x sen x
n
n 1
onde S sen 2 jx . Sendo S1 S
j 1 2 2
1 cos(n 1) x. sen nx
S1 n (11)
2 sen x

Outra soluo para o clculo da soma S consiste em transform-la segundo as frmulas de

Prostafrese. Para este caso tem-se que,

sen 3x sen x 2 sen x cos 2 x

sen 5 x sen 3x 2 sen x cos 4 x
(12)
sen(2n 1) x sen(2n 3) x 2 sen x cos(2n 2) x
sen(2n 1) x sen(2n 1) x 2 sen x cos 2nx

Somando-se todas as linhas acima tem-se que sen(2n 1) x sen x 2 sen x S

sen nx. cos(n 1) x

S , que exatamente o valor encontrado da parte real do somatrio dado
sen x
por (10).
1 1
Observando-se (9) e que cos 2 x cos 2 x
2 2
n
1 cos(n 1) x. sen nx
S 2 cos 2 jx n S n
1
(13)
j 1 2 2 sen x

que resolve o problema do clculo de S 2 .

n
PROBLEMA 3: Considere a seguir o problema do clculo das somas dadas por S1 sen 3 kx e
k 1
n
S 2 cos 3 kx .
k 1

Seja C cosx isenx. Sendo C K cos kx i sen kx pode-se escrever que

 C k C k
cos kx (14)
2
C C k
k
sen kx (15)
2i
Elevando-se a relao (15) ao cubo tem-se que

sen 3 kx
C k C k
3

C 3 k C 3 k 3 C k C k
2i 8i
3 sen kx sen 3kx
sen 3 kx (16)
4
n
1 n n

S1 sen 3 kx 3 sen kx sen 3kx (17)
k 1 4 k 1 k 1
nx (n 1) x
n sen sen
Por (6) tem-se que k 1
sen kx 2
x
2 e observando-se que se
sen
2
D cos 3x i sen 3x teremos que:

D 2 cos 6 x i sen 6 x
D 3 cos 9 x i sen 9 x

D n cos 3nx i sen 3nx

1 n
n n

D 2 .D 2 D 2 D 2
S D D D 2 D3 D n
2 1 1

D D 2


(3n 1) x (3n 1) x
cos i sen
SD
2 2 3nx
sen (18)
3x 2
sen
2
Tomando-se a parte imaginria da relao (18) tem-se que

(3n 1) x 3nx
sen sen
2
n

sen 3kx 2
3x (19)
k 1 sen
2
Logo, por (6) e (19) teremos que
 nx (n 1) x (3n 1) x 3nx
3 sen sen sen sen
n
1 2
S1 sen 3 kx 2 2 2
(20)
4 x 3x
k 1
sen sen
2 2
n
Vale lembrar que a soma S sen 3kx
k 1
tambm poder ser calculada observando-se as

igualdades a seguir, isto

9x 3x 3x
cos cos 2 sen sen 3x
2 2 2
15 x 9x 3x
cos cos 2 sen sen 6 x
2 2 2

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

cuja soma resultar em

3(2n 1) x 3x 3x n
cos cos 2 sen sen 3kx .
2 2 2 k 1
3nx 3(n 1) x
n sen sen
sen 3kx 2 2 , que exatamente a expresso (19).
k 1
3 x
sen
2
n
Para o clculo de S 2 cos
k 1
3
kx elevando-se a expresso (14) ao cubo teremos que

cos kx
3 C k C k
3

C 3 k C 3 k 3 C k C k
2 8
3 cos kx cos 3kx
cos 3 kx (21)
4
n
1 n n

S 2 cos 3 kx 3 cos kx cos 3kx (22)
k 1 4 k 1 k 1
Utilizando-se a relao (4) e a parte real da relao (18) e substituindo-as em (22) tem-se que
nx (n 1) x (3n 1) x 3nx
3 sen cos cos sen
n
1 2
S 2 cos kx
3 2 2 2
(23)
4 x 3x
k 1
sen sen
2 2
n
Ressaltamos que a soma cos 3kx
k 1
tambm pode ser calculada atravs das frmulas de

Prostafrese, ou seja, fazendo

 9x 3x 3x
sen sen 2 sen cos 3x
2 2 2
15 x 9x 3x
sen sen 2 sen cos 6 x
2 2 2

3(2n 1) x 3(2n 3) x 3x
sen sen 2 sen cos(3n 1) x
2 2 2
3(2n 1) x 3(2n 1) x 3x
sen sen 2 sen cos 3nx
2 2 2
e somando-se as linhas teremos uma Soma Telescpica, cujo valor ser
3(2n 1) x 3x 3x n
sen sen 2 sen cos 3kx
2 2 2 k 1
3nx 3(n 1) x
n sen cos
cos 3kx 2 2 , que exatamente a parte real da expresso (18).
k 1
3 x
sen
2

PROBLEMA 4 (IMO-62): Aqui proposto resolvermos a equao a seguir (observamos que o segundo
problema resolvido trata desta questo de forma generalizada).

cos 2 x cos 2 2 x cos 2 3x 1 (A)

1 1
Notando que cos 2 x cos 2 x segue que
2 2
cos 2 x cos 2 2 x cos 2 3x cos 2 x cos 4 x cos 6 x
3 1
2 2
Sendo Z cos x i sen x
Z 2 cos 2 x i sen 2 x
Z 4 cos 4 x i sen 4 x
Z 6 cos 6 x i sen 6 x
Z 2 ( Z 6 1)
cos 4 x i sen 4 x
sen 3x
Z2 Z4 Z6 (B)
( Z 1)
2
sen x
Tomando-se a parte real de (B) tem-se que
cos 2 x cos 4 x cos 6 x cos 4 x sen 3x (C)
sen x
1
Como (sen 7 x sen x) sen 3x. cos 4 x , ento teremos que a equao (A) reduz-se a
2
sen 7 x sen x 0 .

2 sen 4 x. cos 3x 0

sen 4 x 0 cos 3x 0
Logo, a soluo da equao proposta ser dada pelo conjunto

k ( 2k 1 ) ( 2k 1 )
S x x x x ,k
2 4 6

PROBLEMA 5: Determinaremos agora o valor das somas

a) cos x 2 cos 2 x 3 cos 3x n cos nx e

b) senx 2sen2x 3sen3x nsennx
Sejam S1 cos x 2 cos 2 x 3 cos 3x n cos nx e
S2 senx 2sen2 x 3sen3x nsennx
S1 iS2 cosx isenx 2 cos2 x isen2 x n cosnx isennx
Sendo Z cosx isenx S1 iS 2 Z 2Z 3Z 3 nZ n . Multiplicando-se ambos os
2

termos por (1 Z ) teremos

2 n 1
Z Z 2 Z 3 Z n nZ n 1 nZ 2
( Z n 1)
S1 iS 2
(1 Z ) 1

1 1

1
(Z 2 Z 2 ) (Z 2 Z 2 )2
2n 1 2n 1
n cos x isen x
2 2 cosnx isennx 1
S1 iS2 (1)
x 2 2 x
2isen 4i sen
2 2
Observando-se que a parte real de (1) nos dar o valor de S1 e que a parte imaginria nos dar o
valor de S 2 tem-se, aps alguma manipulao algbrica que
n
n 1 cosnx ncos n 1 x 1
S1 jcosjx ,e
j 1
x2
4sen
2
n

n 1 sennx n sen n 1 x
S2 jsenjx
j 1
x
4sen 2
2
PROBLEMAS PROPOSTOS:

1) (URSS) Calcule o valor das somas

a) cos x Cn1 cos 2 x Cnn cos(n 1) x
b) senx Cn1sen2 x Cnnsen n 1 x
n
Obs: Cnk denota o binomial n escolhe k.
k
2 4 6 2n 1
2) (URSS) Mostre que cos cos cos cos .
2n 1 2n 1 2n 1 2n 1 2

3) (URSS) Prove que

 n 1 sen n
sen
a) sen sen sen 2 sen n
2 2

sen
2
n 1 cos n
sen
b) cos cos cos 2 cos n
2 2

sen
2
2 n
cos cos cos
4) Calcule o valor da soma S 4 4 4 .
2 22 2n

5) Mostre que
a k 2 cos k a k 1 cos(k 1) a cos 1
a) 1 a cos a cos 2 a cos k
2 k

a 2 2a cos 1
sen asen h a k sen kh
b) a k 2sen kh a k 1sen k 1 h asen h sen

a 2 2acos h 1
0
6) Mostre que 72 o menor ngulo positivo que satisfaz simultaneamente s equaes:
1 cosx cos2 x cos3x cos4 x 0

senx sen2 x sen3x sen4 x 0

sen
2n 1 x
1 2
7) (IME-92) Mostre que cosx cos2 x cosnx .
2 x
2sen
2

REFERNCIAS

[1] FADDEEV, D.; SOMINSKY, I. Problems in Higher Algebra, Moscou: Ed. MIR, 1968.
[2] GREITZER, S.L. International Mathematical Olympiads 1959-1977, Fifth Printing, Washington D.C.:
The Mathematical Association of America, 1978.
[3] GUIDORIZZI, H.L. Um curso de clculo Vol. 1, 2a Edio, So Paulo: Ed. Livros Tcnicos e
Cientficos, 1987.
[4] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 3 (Trigonometria), 6a Edio, So Paulo: Editora
Moderna, 1985.
[5] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 6 (Complexos Polinmios - Equaes), 4a
Edio, So Paulo: Editora Moderna, 1983.
[6] LIDSKI, V. B.; OVSIANIKOV, L. V.; TULAIKOV, A. N.; SHABUNIN M. I. Problemas de Matematicas
Elementales, Moscou: Ed. MIR, 1972.
[7] MORGADO, A. C; WAGNER, E.; DO CARMO, M. P., Trigonometria e Nmeros Complexos, 4a Edio,
Rio de Janeiro: Publicao da Sociedade Brasileira de Matemtica, 2001.
[8] SHKLARSKY, D.O., CHENTZOV, N.N., YAGLOM, I.M. The USSR Olympiad Problem Book, New
York, Dover Publications, Inc., 1994.