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

sen(a b) = sen a cos b sen b cos a
cos(a + b) = cos a cos b sen a sen b
cos(a b) = cos a cos b + sen a sen b

(a)
(b)
(c)
(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

Fazendo a + b = e a b = teremos que a =

(h)

+
2

e b=

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

, cujos valores substitudos

 +
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

P ( x) = f ( x0 ) + f ( x0 )( x x0 ) + + f ( n) ( x0 )

( x x0 )
n!

= f ( k ) ( x0 )
k =1

( x x0 )

(i)

k!

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

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

x 2 x3
xn
x 2 x3
e x = lim1 + x + + + + = 1 + x + + +
n
n!
2 3!
2 3!

(j)

A expresso da direita pode ser usada para definir ex para x para x complexo.
Analogamente demonstra-se que
n 1

x3 x5
x n
x3 x5
x
sen x = lim x
+
+ (1) 2
=

n
n
3
!
5
!
!
3
!
5
!

(k)

e que

x2 x4
x 2n
x2 x4
= 1
cos x = lim1
+

+
+ + (1) n
n
2
4!
(2n)!
2! 4!

(l)

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
2
4!
3! 5!

(m)

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

de
fato,
se
Z1 = X 1 + iY1
e
que
e Z +W = e Z eW ,Z ,W

Z 2 = X 2 + iY2 , eZ1 +Z2 = ex1 + x2 ( cos (Y1 + Y2 ) + isen (Y1 + Y2 ) ) = ex1 + x2

( cosY cosY
1

senY1senY2 + i ( senY1cosY2 + senY2 cosY1 ) =

= e x1 ( cos Y1 + isen Y1 ) e x2 ( cos Y2 + isen Y2 ) = e Z1 e Z 2 .

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 3 x + + sen nx

S 2 = cos x + cos 2 x + ... + cos nx

(1)
(2)

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

Frmulas de Prostafrese. Observamos que
3x
x
x
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
= 2 sen cos 3 x
sen
2
2
2

sen

(3)

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

sen

Somando-se as linhas acima encontraremos uma Soma Telescpica, cujo valor ser dado por

(2n + 1) x
x
x n
sen = 2 sen cos jx
2
2
2 j =1
(n + 1) x
nx
sen cos
n
2
2
S 2 = cos jx =
x
j =1
sen
2
sen

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
x
7x
5x
cos
cos
= 2 sen sen 3 x
2
2
2
(2n 1) x
(2n 3) x
x
cos
= 2 sen sen(n 1) x
2
2
2
x
(2n + 1) x
(2n 1) x
cos
cos
= 2 sen sen nx
2
2
2
cos

(4)

(5)

Somando-se as linhas acima encontraremos outra Soma Telescpica, cujo valor

(2n + 1) x
x
x n
cos = 2 sen sen jx
2
2
2 j =1
(n + 1) x
nx
sen sen
n
2
2
S1 = sen jx =
x
j =1
sen
2
cos

(6), que a soma

procurada.
No obstante, este problema tambm pode ser resolvido utilizando-se a conhecida Relao de Euler.
ix

x
x
+ 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

Seja e 2 = C = cos

x
x

C = cos + i sen = cos 2 x + i sen 2 x

2
2

x
x

C 2 n = cos + i sen
2
2

(7)

2n

= cos nx + i sen nx

(
(

n
C 2 (C 2 n 1)
C n C n C n
(cos jx + i sen jx )
=
C

(C 2 1)
C C 1
j =1
nx
sen
n
x
x
nx
nx

2 = S + iS
(cos jx + i sen jx ) = cos + i sen cos + i sen
2
1
2
2
2
2 sen x

j =1
2
nx
nx
(n + 1) x
(n + 1) x
sen
sen
cos
sen
2
2 +i
2
2
(8)
S 2 + iS1 =
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

C 2 + C 4 + + C 2n =

igualdade acima respectivamente.

PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por S1 =
n

S 2 = cos 2 jx . Para tal, observa-se inicialmente, da Trigonometria que sen 2 x =

j =1

cos 2 x =

1 1
+ 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 )
2 2 "n" 2 2
j =1

(9)

sen

jx e

j =1

1 1
cos 2 x e
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 2 + C 4 + + C 2 n = C.
n

C n (C n C n ) n
(cos 2 jx + i sen 2 jx )
(C C 1 ) =
j =1

(cos2 jx + i sen2 jx) =

j =1

onde S=

cos(n +1)x.sennx sen(n +1)x.sennx

+i
= S+iS
sen x
sen x

sen 2 jx . Sendo S
j =1

S1 =

(10)

n 1
S
2 2

1 cos(n + 1) x. sen nx
n

2
sen x

(11)

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

S=

sen nx. cos(n + 1) x

, que exatamente o valor encontrado da parte real do somatrio dado
sen x

por (10).

1 1
+ cos 2 x
2 2
n
1
1 cos(n + 1) x. sen nx
S 2 = cos 2 jx = [n + S] = n +

2
2
sen x
j =1

Observando-se (9) e que cos 2 x =

(13)

que resolve o problema do clculo de S 2 .

PROBLEMA 3: Considere a seguir o problema do clculo das somas dadas por S1 =
n

S 2 = cos 3 kx .
k =1

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

sen
k =1

kx e

C k + C k
2
k
C C k
sen kx =
2i

cos kx =

Elevando-se

(14)
(15)
a
3

relao

) (

(15)

ao

C C
C C
3 C C
=
sen 3 kx =
2i
8i

3 sen kx sen 3kx

sen 3 kx =
4
n
n
1 n

S1 = sen 3 kx = 3 sen kx sen 3kx

4 k =1
k =1
k =1

(n + 1) x
nx
sen sen
n
2
2
Por (6) tem-se que
sen kx =

x
k =1
sen
2
D = cos 3 x + i sen 3 x teremos que:
k

3k

3 k

cubo

tem-se

(16)
(17)

observando-se

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 =
1
1

2
D D 2

(3n + 1) x
(3n + 1) x

+ i sen
cos

3nx
2
2
SD =
sen
3x
2
sen
2

(18)

Tomando-se a parte imaginria da relao (18) tem-se que

(3n + 1) x
3nx

sen
sen
2
2
sen 3kx =

3x
k =1

sen
2

Logo, por (6) e (19) teremos que

que

(19)

que

se

(n + 1) x
(3n + 1) x
3nx
nx

3 sen sen
sen
sen

1
2
2
2
2

S1 = sen 3 kx =

3x
x
4
k =1

sen
sen
2
2

Vale lembrar que a soma S =

(20)

sen 3kx

tambm poder ser calculada observando-se as

k =1

igualdades a seguir, isto

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

cos

3(2n 1) x
3(2n 3) x
3x
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

cos

cuja soma resultar em

3(2n + 1) x
3x
3x n
cos = 2 sen sen 3kx .
2
2 k =1
2
3nx
3(n + 1) x
sen
sen
n
2
2
, que exatamente a expresso (19).
sen 3kx =
x
3
k =1
sen
2
cos

Para o clculo de S 2 =
3

cos
k =1

kx elevando-se a expresso (14) ao cubo teremos que

) (

C k + C k
C 3 k + C 3 k + 3 C k + C k
=
cos kx =
2
8

3 cos kx + cos 3kx

cos3 kx =
4
n
n
1
n

S 2 = cos3 kx = 3 cos kx + cos 3kx

4 k =1
k =1
k =1

)
(21)
(22)

Utilizando-se a relao (4) e a parte real da relao (18) e substituindo-as em (22) tem-se que

(n + 1) x
(3n + 1) x
3nx
nx

sen
3 sen cos
cos

1
2
2
2
2
+
S 2 = cos 3 kx =

3x
x
4
k =1

sen
sen
2
2

(23)

Ressaltamos que a soma

cos 3kx
k =1

Prostafrese, ou seja, fazendo

tambm pode ser calculada atravs das frmulas de

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

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

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
sen
cos
n
2
2
, que exatamente a parte real da expresso (18).
cos 3kx =
3
x
k =1
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

1 1
Notando que cos 2 x = + cos 2 x segue que
2 2
3 1
cos 2 x + cos 2 2 x + cos 2 3 x = + (cos 2 x + cos 4 x + cos 6 x )
2 2
Sendo Z = cos x + i sen x
Z 2 = cos 2 x + i sen 2 x

(A)

Z 4 = cos 4 x + i sen 4 x
Z 6 = cos 6 x + i sen 6 x
Z 2 ( Z 6 1)
sen 3 x
Z2 + Z4 + Z6 =
= (cos 4 x + i sen 4 x )
2
( Z 1)
sen x

(B)

Tomando-se a parte real de (B) tem-se que

(cos 2 x + cos 4 x + cos 6 x ) = cos 4 x sen 3x

sen x

(C)

1
(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 .

Como

2 sen 4 x. cos 3 x = 0

sen 4 x = 0 cos 3 x = 0

Logo, a soluo da equao proposta ser dada pelo conjunto

S = x

x=

k
( 2k + 1 )
( 2k + 1 )
x=
x=
,k
2
4
6

PROBLEMA 5: Determinaremos agora o valor das somas

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

b) senx + 2sen2 x + 3sen3x + + nsennx
Sejam S1 = cos x + 2 cos 2 x + 3 cos 3 x + + n cos nx e
S 2 = senx + 2sen2 x + 3sen3x + + nsennx

S1 + iS 2 = ( cosx + isenx ) + 2 ( cos2 x + isen2 x ) + + n ( cosnx + isennx )

Sendo Z = cosx + isenx S1 + iS 2 = Z + 2 Z 2 + 3Z 3 + + nZ n . Multiplicando-se ambos os

termos por (1 Z ) teremos

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

nZ

2 n +1
2

1
2

(Z Z

1
2

( Z n 1)

(Z 2 Z 2 )2

2n + 1
2n + 1
n cos
x + isen
x
2
2 ( cosnx + isennx 1)

(1)
S1 + iS 2 =

x
x
2isen
4i 2sen 2
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

S1 = jcosjx =
j =1

S2 =
j =1

( n + 1) cosnx ncos ( n + 1) x 1

x
2
( n + 1) sennx nsen ( n + 1) x
jsenjx =
x
4sen 2
2

,e

4sen 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 + + Cnn sen ( n + 1) x

n
Obs: Cnk = denota o binomial n escolhe k.
k
2) (URSS) Mostre que
3) (URSS) Prove que

cos

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

a) sen + sen ( + ) + sen ( + 2) + + sen ( + n) =

sen

( n + 1) sen + n
2

sen

b) cos + cos ( + ) + cos ( + 2) + + cos ( + n) =

sen

4) Calcule o valor da soma S =

4+

( n + 1) cos + n
2

sen

cos

n
2
cos
4 .
4 ++
2
n
2
2

cos

5) Mostre que

ak +2 cosk ak +1 cos(k +1) a cos +1

a) 1+ a cos + a cos2 + + a cosk =
a2 2a cos +1
sen + asen ( + h) + + ak sen ( + kh) =
2

b) ak +2sen ( + kh) ak +1sen + ( k + 1) h asen ( h) + sen

a2 2acos h+ 1
0
6) Mostre que 72 o menor ngulo positivo que satisfaz simultaneamente s equaes:
1 + cosx + cos2 x + cos3 x + cos4 x = 0

senx + sen2 x + sen3 x + sen4 x = 0

( 2n + 1) x
sen
1
2
7) (IME-92) Mostre que + cosx + cos2 x + + cosnx =
.
x
2
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.