Sie sind auf Seite 1von 10

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
a b b a b a cos sen cos sen ) sen( + + (a)
a b b a b a cos sen cos sen ) sen( (b)
b a b a b a sen sen cos cos ) cos( + (c)
b a b a b a sen sen cos cos ) cos( + (d)
Somando-se (a) e (b) tem-se
b a b a b a cos sen 2 ) sen( ) sen( + + (e)
Subtraindo-se (a) de (b) tem-se
a b b a b a cos sen 2 ) sen( ) sen( + (f)
Somando-se (c) e (d) teremos
b a b a b a cos cos 2 ) cos( ) cos( + + (g)
E por fim, subtraindo-se (c) de (d)
b a b a b a sen sen 2 ) cos( ) cos( + (h)
Fazendo +b a e b a teremos que
2
+
a e
2

b , cujos valores substitudos
nas relaes (e), (f), (g) e (h) fornecero as seguintes relaes

,
_

,
_

+
+
2
cos
2
sen 2 sen sen

,
_

,
_



2
cos
2
sen 2 sen sen

,
_

,
_

+
+
2
cos
2
cos 2 cos cos

,
_

,
_

+

2
sen
2
sen 2 cos cos

, que so as conhecidas Frmulas de
Transformao de soma em produto ou Frmulas de Prostafrese.
A FRMULA DE EULER
Segundo GUIDORIZZI (1987), seja ) (x f uma funo derivvel at a ordem
n
em um intervalo
aberto I e seja I x
0
. Define-se o polinmio ) (x P a seguir como o polinmio de Taylor, de
ordem
n
, de ) (x f em torno do ponto
0
x , isto
( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( )
0 0
0 0 0 0 0
1
n k
n
n k
k
x x x x
P x f x f x x x f x f x
n! k!


+ + +

K (i)
que, se fixado em torno de
0
0 x , tambm pode ser chamado de polinmio de Mac-Laurin.
Tomando-se (i) ( )
x
f x e e
0
0 x , pode-se demonstrar que
+ + + +

,
_

+ + + + +

! 3 2
1
! ! 3 2
1 lim
3 2 3 2
x x
x
n
x x x
x e
n
n
x
(j)
A expresso da direita pode ser usada para definir
x
e para x para x complexo.
Analogamente demonstra-se que
+

,
_

+ +


! 5 ! 3 !
) 1 (
! 5 ! 3
lim sen
5 3
2
1 5 3
x x
x
n
x x x
x x
n n
n
(k)
e que
+

,
_

+ + +

! 4 ! 2
1
)! 2 (
) 1 (
! 4 2
1 lim cos
4 2 2 4 2
x x
n
x x x
x
n
n
n
(l)
Para
R Y iY Z x ,
e observando-se (j), (k) e (l) teremos que
Y i Y
Y Y
Y i
Y Y
e
iY
sen cos
! 5 ! 3 ! 4 2
1
5 3 4 2
+

,
_

+ +

,
_

+
(m)
que a conhecida frmula de Euler.
No obstante, tambm se demonstra que se
iY X Z
e e
+

, onde 0 X , ento
( ) Y i Y e e
X Z
sen cos + (n)
Se, alternativamente, adotssemos a expresso de (n) como definio de
Z
e , no difcil mostrar
que
Z W Z W
e e e , Z,W
+
de fato, se
1 1 1
Z X iY + e
2 2 2
Z X iY , +
( ) ( ) ( )
1 2 1 2 1 2
1 2 1 2
Z Z x x x x
e e cos Y Y isen Y Y e
+ + +
+ + +
( ) ( )
1 2 1 2 1 2 2 1
cos cos sen sen sen cos sen cos Y Y Y Y i Y Y Y Y + +
( ) ( )
1 2 1 2
1 1 2 2
cos sen cos sen
x x Z Z
e Y i Y e Y i Y e e . + +
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.
nx x x x S sen 3 sen 2 sen sen
1
+ + + + (1)
2
2 S cos x cos x ... cos nx + + + (2)
Utilizaremos a transformao de somas de funes trigonomtricas em produto, conhecidas como
Frmulas de Prostafrese. Observamos que
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
x
x x x
cos
2
sen 2
2
) 1 2 (
sen
2
) 1 2 (
sen
) 1 cos(
2
sen 2
2
) 3 2 (
sen
2
) 1 2 (
sen
3 cos
2
sen 2
2
5
sen
2
7
sen
2 cos
2
sen 2
2
3
sen
2
5
sen
cos
2
sen 2
2
sen
2
3
sen





(3)
Somando-se as linhas acima encontraremos uma Soma Telescpica, cujo valor ser dado por
jx
x x x n
n
j


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

(4)
Analogamente, para a soma das funes seno
1
S pode-se escrever que:
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
x
x x x
sen
2
sen 2
2
) 1 2 (
cos
2
) 1 2 (
cos
) 1 sen(
2
sen 2
2
) 3 2 (
cos
2
) 1 2 (
cos
3 sen
2
sen 2
2
5
cos
2
7
cos
2 sen
2
sen 2
2
3
cos
2
5
cos
sen
2
sen 2
2
cos
2
3
cos





(5)
Somando-se as linhas acima encontraremos outra Soma Telescpica, cujo valor
jx
x x x n
n
j


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

(6), que a soma


procurada.
No obstante, este problema tambm pode ser resolvido utilizando-se a conhecida Relao de Euler.
Seja
2
sen
2
cos
2
x
i
x
C e
ix
+ , onde
1
2
i
; assim tem-se que
nx i nx
x
i
x
C
x i x
x
i
x
C
x i x
x
i
x
C
n
n
sen cos
2
sen
2
cos
2 sen 2 cos
2
sen
2
cos
sen cos
2
sen
2
cos
2
2
4
4
2
2
+
,
_

+
+
,
_

+
+
,
_

+

(7)
( )
( )
( )

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

( )
1 2
1
2
sen
2
sen
2
sen
2
cos
2
sen
2
cos sen cos iS S
x
nx
nx
i
nx x
i
x
jx i jx
n
j
+
,
_

+
,
_

+ +

2
sen
2
sen
2
) 1 (
sen
2
sen
2
sen
2
) 1 (
cos
1 2
x
nx x n
i
x
nx x n
iS S

+
+

+
+ (8)
de onde tiramos os valores de interesse
1
S e
2
S igualando-se as partes reais e imaginrias da
igualdade acima respectivamente.
PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por

n
j
jx S
1
2
1
sen
e

n
j
jx S
1
2
2
cos
. Para tal, observa-se inicialmente, da Trigonometria que x x 2 cos
2
1
2
1
sen
2
e
x x 2 cos
2
1
2
1
cos
2
+ , assim pode-se reescrever
1
S e
2
S como sendo
( ) nx x x jx S
n
n
j
2 cos 4 cos 2 cos
2
1
2
1
2
1
2
1
sen
" "
1
2
1
+ + +
,
_

+ + +


(9)
onde nx x x S 2 cos 4 cos 2 cos + + + .
Com o auxlio da Relao de Euler, seja x i x C sen cos + , assim
( )
( )
( )

+ + +
n
j
n n n
n
jx i jx
C C
C C C
C C C C
1
1
2 4 2
2 sen 2 cos .
( )
sen
sen . ) 1 sen(
sen
sen . ) 1 cos(
2 sen 2 cos
1
iS S
x
nx x n
i
x
nx x n
jx i jx
n
j
+
+
+
+
+

(10)
onde

n
j
jx S
1
2 sen
. Sendo
2
1
2
1
S
n
S
1
]
1

+

x
nx x n
n S
sen
sen . ) 1 cos(
2
1
1
(11)
Outra soluo para o clculo da soma S consiste em transform-la segundo as frmulas de
Prostafrese. Para este caso tem-se que,
nx x x n x n
x n x x n x n
x x x x
x x x x
2 cos sen 2 ) 1 2 sen( ) 1 2 sen(
) 2 2 cos( sen 2 ) 3 2 sen( ) 1 2 sen(
4 cos sen 2 3 sen 5 sen
2 cos sen 2 sen 3 sen
+



(12)
Somando-se todas as linhas acima tem-se que sen 2 sen ) 1 2 sen( S x x x n +
x
x n nx
S
sen
) 1 cos( . sen

+
, que exatamente o valor encontrado da parte real do somatrio dado
por (10).
Observando-se (9) e que x x 2 cos
2
1
2
1
cos
2
+
[ ]
1
]
1

+
+ +

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

2
1
cos
1
2
2
(13)
que resolve o problema do clculo de
2
S .
PROBLEMA 3: Considere a seguir o problema do clculo das somas dadas por

n
k
kx S
1
3
1
sen e

n
k
kx S
1
3
2
cos .
Seja cos sen C x i x. + Sendo kx i kx C
K
sen cos t
t
pode-se escrever que
2
cos
k k
C C
kx

+
(14)
i
C C
kx
k k
2
sen

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

,
_


4
3 sen sen 3
sen
3
kx kx
kx

(16)

,
_


n
k
n
k
n
k
kx kx kx S
1 1 1
3
1
3 sen sen 3
4
1
sen (17)
Por (6) tem-se que

n
k
x
x n nx
kx
1
2
sen
2
) 1 (
sen
2
sen
sen e observando-se que se
x i x D 3 sen 3 cos + teremos que:
nx i nx D
x i x D
x i x D
n
3 sen 3 cos
9 sen 9 cos
6 sen 6 cos
3
2
+
+
+

,
_

,
_

+ + + +

2
1
2
1
2 2 2 2
1
3 2
.
D D
D D D D
D D D D S
n n n
n
D

2
3
sen
2
3
sen
2
) 1 3 (
sen
2
) 1 3 (
cos
nx
x
x n
i
x n
S
D

1
]
1

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

2
3
sen
2
3
sen
2
) 1 3 (
sen
3 sen
1
x
nx x n
kx
n
k
(19)
Logo, por (6) e (19) teremos que
1
1
1
]
1

2
3
sen
2
3
sen
2
) 1 3 (
sen
2
sen
2
) 1 (
sen
2
sen 3
4
1
sen
1
3
1
x
nx x n
x
x n nx
kx S
n
k
(20)
Vale lembrar que a soma

n
k
kx S
1
3 sen tambm poder ser calculada observando-se as
igualdades a seguir, isto
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
3 sen
2
3
sen 2
2
) 1 2 ( 3
cos
2
) 1 2 ( 3
cos
) 1 3 sen(
2
3
sen 2
2
) 3 2 ( 3
cos
2
) 1 2 ( 3
cos
6 sen
2
3
sen 2
2
9
cos
2
15
cos
3 sen
2
3
sen 2
2
3
cos
2
9
cos




cuja soma resultar em


+
n
k
kx
x x x n
1
3 sen
2
3
sen 2
2
3
cos
2
) 1 2 ( 3
cos .
2
3
sen
2
) 1 ( 3
sen
2
3
sen
3 sen
1
x
x n nx
kx
n
k
+

, que exatamente a expresso (19).


Para o clculo de

n
k
kx S
1
3
2
cos elevando-se a expresso (14) ao cubo teremos que
( ) ( )
8
3
2
cos
3 3
3
3
k k k k k k
C C C C C C
kx

+ + +

,
_

4
3 cos cos 3
cos
3
kx kx
kx
+
(21)

,
_

+


n
k
n
k
n
k
kx kx kx S
1 1 1
3
2
3 cos cos 3
4
1
cos (22)
Utilizando-se a relao (4) e a parte real da relao (18) e substituindo-as em (22) tem-se que
1
1
1
]
1

+
+
+

2
3
sen
2
3
sen
2
) 1 3 (
cos
2
sen
2
) 1 (
cos
2
sen 3
4
1
cos
1
3
2
x
nx x n
x
x n nx
kx S
n
k
(23)
Ressaltamos que a soma

n
k
kx
1
3 cos tambm pode ser calculada atravs das frmulas de
Prostafrese, ou seja, fazendo
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
3 cos
2
3
sen 2
2
) 1 2 ( 3
sen
2
) 1 2 ( 3
sen
) 1 3 cos(
2
3
sen 2
2
) 3 2 ( 3
sen
2
) 1 2 ( 3
sen
6 cos
2
3
sen 2
2
9
sen
2
15
sen
3 cos
2
3
sen 2
2
3
sen
2
9
sen




e somando-se as linhas teremos uma Soma Telescpica, cujo valor ser


+
n
k
kx
x x x n
1
3 cos
2
3
sen 2
2
3
sen
2
) 1 2 ( 3
sen
2
3
sen
2
) 1 ( 3
cos
2
3
sen
3 cos
1
x
x n nx
kx
n
k
+

, que exatamente a parte real da expresso (18).


PROBLEMA 4 (IMO-62): Aqui proposto resolvermos a equao a seguir (observamos que o segundo
problema resolvido trata desta questo de forma generalizada).
1 3 cos 2 cos cos
2 2 2
+ + x x x
(A)
Notando que x x 2 cos
2
1
2
1
cos
2
+ segue que
( ) x x x x x x 6 cos 4 cos 2 cos
2
1
2
3
3 cos 2 cos cos
2 2 2
+ + + + +
Sendo x i x Z sen cos +
x i x Z
x i x Z
x i x Z
6 sen 6 cos
4 sen 4 cos
2 sen 2 cos
6
4
2
+
+
+
( )
x
x
x i x
Z
Z Z
Z Z Z
sen
3 sen
4 sen 4 cos
) 1 (
) 1 (
2
6 2
6 4 2
+

+ + (B)
Tomando-se a parte real de (B) tem-se que
( )
x
x x
x x x
sen
3 sen 4 cos
6 cos 4 cos 2 cos

+ + (C)
Como x x x x 4 cos . 3 sen ) sen 7 (sen
2
1
, ento teremos que a equao (A) reduz-se a
0 sen 7 sen + x x .
0 3 cos . 4 sen 2 x x
0 3 cos 0 4 sen x x
Logo, a soluo da equao proposta ser dada pelo conjunto
2 1 2 1
2 4 6
k ( k ) ( k )
S x x x x ,k
+ +

' ;


PROBLEMA 5: Determinaremos agora o valor das somas
a) nx n x x x cos 3 cos 3 2 cos 2 cos + + + + e
b) sen 2sen2 3sen3 sen x x x n nx + + + + K
Sejam nx n x x x S cos 3 cos 3 2 cos 2 cos
1
+ + + + e
2
sen 2sen2 3sen3 sen S x x x n nx + + + + K
( ) ( ) ( )
1 2
cos sen 2 cos2 sen2 cos sen S iS x i x x i x n nx i nx + + + + + + + K
Sendo cos sen Z x i x +
n
nZ Z Z Z iS S + + + + +
3 2
2 1
3 2 . Multiplicando-se ambos os termos
por
) 1 ( Z
teremos
2
2
1
2
1
2
1
2
1
2
1 2
1 3 2
2 1
) (
) 1 (
) (
) 1 (

+
+

+ + +
+
Z Z
Z
Z Z
nZ
Z
nZ Z Z Z Z
iS S
n
n
n n


( )
1 2
2 2
2 1 2 1
cos sen
cos sen 1 2 2
2 sen 4 sen
2 2
n n
n x i x
nx i nx
S iS
x x
i i
1 + + _ _
+
1
+
, , ]
+
(1)
Observando-se que a parte real de (1) nos dar o valor de
1
S e que a parte imaginria nos dar o
valor de
2
S tem-se, aps alguma manipulao algbrica que
( ) ( )
1
2
1
1 cos cos 1 1
cos
4sen
2
n
j
n nx n n x
S j jx
x

+ +

, e
( ) ( )
2
2
1
1 sen sen 1
sen
4sen
2
n
j
n nx n n x
S j jx
x

+ +

PROBLEMAS PROPOSTOS:
1) (URSS) Calcule o valor das somas
a) x n C x C x
n
n n
) 1 cos( 2 cos cos
1
+ + + +
b) ( )
1
sen sen2 sen 1
n
n n
x C x C n x + + + + K
Obs:
k
n
n
C
k
_


,
denota o binomial n escolhe k.
2) (URSS) Mostre que
2
1
1 2
2
cos
1 2
6
cos
1 2
4
cos
1 2
2
cos
+
+ +
+
+
+
+
+ n
n
n n n

.
3) (URSS) Prove que
a)
( ) ( ) ( )
( ) 1
sen sen
2 2
sen sen sen 2 sen
sen
2
n n
n
+ _
+

,
+ + + + + + +

K
b)
( ) ( ) ( )
( ) 1
sen cos
2 2
cos cos cos 2 cos
sen
2
n n
n
+ _
+

,
+ + + + + + +

K
4) Calcule o valor da soma
n
n
S
2
4
cos
2
4
2
cos
2
4
cos
2

+ + +
.
5) Mostre que
a)
1 cos 2
1 cos ) 1 cos( cos
cos 2 cos cos 1
2
1 2
2
+
+ +
+ + + +
+ +



a a
a k a k a
k a a a
k k
k

b)
( ) ( )
( ) ( ) ( )
2 1
2
sen sen sen
sen sen 1 sen sen
2 cos 1
k
k k
a h a kh
a kh a k h a h
a a h
+ +
+ + + + +
+ + + 1 +
]
+
K
6) Mostre que
0
72
o menor ngulo positivo que satisfaz simultaneamente s equaes:
1 cos cos2 cos3 cos4 0
sen sen2 sen3 sen4 0
x x x x
x x x x
+ + + +
'
+ + +

7) (IME-92) Mostre que


( ) 2 1
sen
1
2
cos cos2 cos
2
2sen
2
n x
x x nx .
x
+
+ + + + K
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, 2
a
Edio, So Paulo: Ed. Livros Tcnicos e
Cientficos, 1987.
[4] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 3 (Trigonometria), 6
a
Edio, So Paulo: Editora
Moderna, 1985.
[5] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 6 (Complexos Polinmios - Equaes), 4
a
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, 4
a
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.