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)

e b
, cujos valores substitudos
2
2

nas relaes (e), (f), (g) e (h) fornecero as seguintes relaes

cos

2
2


sen sen 2 sen
cos

2
2
sen sen 2 sen



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 K f

x0

x x0

n!

f
k 1

x0

x x0

(i)

k!

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

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

x 2 x3
xn
x2 x3
e lim 1 x 1 x
n
2 3!
n!
2 3!

(j)

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

x3 x5
x n
x3 x5
sen x lim x

( 1) 2

(k)
n
3! 5!
n!
3! 5!

e que

x2 x4
x 2n
x2 x4
1
cos x lim 1

(1) n

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

Z1 X 1 iY1
Z 2 X 2 iY2 ,
que
de
fato,
se
e
e Z W e Z eW , Z ,W
e Z1 Z 2 e x1 x2 cos Y1 Y2 isen Y1 Y2 e x1 x2

cosY cosY
1

x1

senY1senY2 i senY1cosY2 senY2 cosY1

cosY1 isenY1 e cosY2

x2

isenY2 e

Z1

e Z2 .

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

S2 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
sen
2 sen cos 3 x
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
sen

(3)

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
nx
( n 1) x
sen cos
n
2
2
S 2 cos jx
x
j 1
sen
2
sen

(4)

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

(5)

(2n 1) x
x
x n
cos 2 sen sen jx
2
2
2 j 1
nx
(n 1) x
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

Seja e 2 C cos

x
x
i sen , onde i 2 1 ; assim tem-se que
2
2

x
x

C 2 cos i sen
2
2

cos x i sen x
4

x
x

C 4 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 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
(n 1) x
nx
(n 1) x
nx
cos
sen
sen
sen
2
2 i
2
2
S 2 iS1
(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

C 2 C 4 C 2n

igualdade acima respectivamente.

n

2
PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por S1 sen jx e
j 1

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

j 1

cos 2 x
n

1 1
cos 2 x , assim pode-se reescrever S1 e S 2 como sendo
2 2
1 1
1 1
cos 2 x cos 4 x cos 2nx
2 2 "n" 2 2

S1 sen 2 jx
j 1

onde S cos 2 x cos 4 x cos 2nx .

(9)

1 1
cos 2 x e
2 2

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

C 2 C 4 C 2 n C.
n

cos 2 jx i sen 2 jx
j 1

onde S

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

i
SiS
sen x
sen x

sen 2 jx . Sendo S
j 1

S1

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

C C 1
j 1

(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 3 x 2 sen x cos 4 x

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

(12)

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

, 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

2
Observando-se (9) e que cos x

(13)

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

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
2
k
C C k
sen kx
2i
cos kx

(14)
(15)

Elevando-se

a
3

relao

(15)

ao

C C
C C
3 C C

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

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

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

3k

3 k

cubo

tem-se

que

(16)
(17)

observando-se

que

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

SD D D 2 D3 Dn
1
12

D D2

(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

sen

sen 3kx

k 1

(3n 1) x
3nx
sen
2
2

3x

sen
2

(19)

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

3 sen

1
S1 sen 3 kx
4
k 1
n

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

x
3x

sen
sen
2
2

Vale lembrar que a soma S

sen 3kx tambm poder ser calculada observando-se as igualdades

k 1

a seguir, isto

(20)

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

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
cos

cuja soma resultar em

3(2n 1) x
3x
3x n
cos 2 sen sen 3kx .
2
2
2 k 1
3nx
3(n 1) x
sen
sen
n
2
2
sen 3kx
, que exatamente a expresso (19).
3
x
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 3k 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 cos 3 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

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

1
2
2
2
2
S 2 cos3 kx

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

somando-se

as

linhas

teremos

uma

Soma

Telescpica,

cujo

valor

ser

3(2n 1) x
3x
3x
sen
2 sen cos 3kx
2
2
2 k 1
3nx
3(n 1) x
sen
cos
n
2
2
cos 3kx
, que exatamente a parte real da expresso (18).
3
x
k 1
sen
2
sen

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 3 x 1

1 1
2
Notando que cos 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 3 x. 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

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 3 x n cos nx e

b) senx 2sen2 x 3sen3 x K nsennx
Sejam S1 cos x 2 cos 2 x 3 cos 3 x n cos nx e
S2 senx 2sen2 x 3sen3 x K nsennx

S1 iS2 cosx isenx 2 cos2 x isen2 x K 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
1

2 n 1
2

( Z n 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
(1)
S1 iS2
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
x
j 1
4sen 2
2
n
n 1 sennx nsen n 1 x
S2 jsenjx
x
j 1
4sen 2
2
PROBLEMAS PROPOSTOS:
1) (URSS) Calcule o valor das somas
1
n
a) cos x Cn cos 2 x Cn cos(n 1) x
1
n
b) senx Cn sen2 x K Cn sen n 1 x

n
k
Obs: Cn denota o binomial n escolhe k.
k
2
4
6
2n
1
cos
cos
cos
.
2) (URSS) Mostre que cos
2n 1
2n 1
2n 1
2n 1
2
3) (URSS) Prove que

a) sen sen sen 2 K sen n

b) cos cos cos 2 K cos n

4) Calcule o valor da soma

sen

n 1 sen

sen
sen

n 1 cos
2

sen
2

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

cos

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

sen asen h K a k sen kh

a k 2 cos k a k 1 cos(k 1) a cos 1

a 2 2a cos 1

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

2
a 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

1
7) (IME-92) Mostre que cosx cos2 x K cosnx
2

sen

2n 1 x

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.