SOMAS TRIGONOMTRICAS: DE PROSTAFRESE FRMULA DE EULER

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 atrav!s das f"rmulas de #ransformao de Soma em $roduto, con%ecidas como &"rmulas de
$rostaf!rese, ou atrav!s da 'elao de (uler, so calculados al)uns exemplos de somas de fun*es
tri)onom!tricas aparentemente complexas
AS FRMULAS DE TRANSFORMAO TRIGONOMTRICAS.
+dmitamos con%ecidas as f"rmulas da soma e diferena de arcos para as fun*es ,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.
Somando0se /a. e /b. tem0se
b a b a b a cos sen 1 . sen/ . sen/ + + /e.
Subtraindo0se /a. de /b. tem0se
a b b a b a cos sen 1 . sen/ . sen/ + /f.
Somando0se /c. e /d. teremos
b a b a b a cos cos 1 . cos/ . cos/ + + /).
( por fim, subtraindo0se /c. de /d.
b a b a b a sen sen 1 . cos/ . cos/ + /%.
&a2endo +b a e b a teremos que
1
+
a e
1

b , cujos valores substitudos
nas rela*es /e., /f., /). e /%. fornecero as se)uintes rela*es

,
_

,
_

+
+
1
cos
1
sen 1 sen sen

,
_

,
_

1
cos
1
sen 1 sen sen

,
_

,
_

+
+
1
cos
1
cos 1 cos cos

,
_

,
_

+

1
sen
1
sen 1 cos cos

, que so as con%ecidas &"rmulas de
#ransformao de soma em produto ou &"rmulas de $rostaf!rese
A FRMULA DE EULER
Se)undo 345D6'5775 /89:;., seja . /x f uma funo derivvel at! a ordem
n
em um intervalo
aberto I e seja I x
<
Define0se o polin=mio . /x P a se)uir como o polin=mio de #a>lor, de
ordem
n
, de . /x f em torno do ponto
<
x , isto !
( ) ( ) ( ) ( )
( )
( )
( )
( )
( )
( )
< <
< < < < <
8
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
<
< x , tamb!m pode ser c%amado de polin=mio de Mac0?aurin
#omando0se /i. ( )
x
f x e e
<
< x , pode0se demonstrar que
K K + + + +

,
_

+ + + + +

@ A 1
8
@ @ A 1
8 lim
A 1 A 1
x x
x
n
x x x
x e
n
n
x
/j.
+ expresso da direita pode ser usada para definir
x
e para x para x complexo
+nalo)amente demonstra0se que
K K +

,
_

+ +

@ B @ A @
. 8 /
@ B @ A
lim sen
B A
1
8 B A
x x
x
n
x x x
x x
n n
n
/C.
e que
K K +

,
_

+ + +

@ D @ 1
8
.@ 1 /
. 8 /
@ D 1
8 lim cos
D 1 1 D 1
x x
n
x x x
x
n
n
n
/l.
$ara
R Y iY Z x ,
e observando0se /j., /C. e /l. teremos que
Y i Y
Y Y
Y i
Y Y
e
iY
sen cos
@ B @ A @ D 1
8
B A D 1
+

,
_

+ +

,
_

+ K K
/m.
que ! a con%ecida f"rmula de (uler
Eo obstante, tamb!m se demonstra que se
iY X Z
e e
+

, onde < 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
8 8 8
Z X iY + e
1 1 1
Z X iY , +
( ) ( ) ( )
8 1 8 1 8 1
8 1 8 1
Z Z x x x x
e e cos Y Y isen Y Y e
+ + +
+ + +
( ) ( )
8 1 8 1 8 1 1 8
cos cos sen sen sen cos sen cos Y Y Y Y i Y Y Y Y + +
( ) ( )
8 1 8 1
8 8 1 1
cos sen cos sen
x x Z Z
e Y i Y e Y i Y e e . + +
PROBLEMAS DE APLICAO
PROBLEMA 1F Comearemos com um exemplo de problema anlo)o ao proposto em um exame de
admisso ao 5nstituto Militar de (n)en%aria /5M(. 6 problema pede que se calcule as somas a
se)uir
nx x x x S sen A sen 1 sen sen
8
+ + + + K /8.
1
1 S cos x cos x ... cos nx + + + /1.
4tili2aremos a transformao de somas de fun*es tri)onom!tricas em produto, con%ecidas como
,&"rmulas de $rostaf!rese- 6bservamos 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
1
sen 1
1
. 8 1 /
sen
1
. 8 1 /
sen
. 8 cos/
1
sen 1
1
. A 1 /
sen
1
. 8 1 /
sen
A cos
1
sen 1
1
B
sen
1
;
sen
1 cos
1
sen 1
1
A
sen
1
B
sen
cos
1
sen 1
1
sen
1
A
sen

/A.
Somando0se as lin%as acima encontraremos uma ,Soma #elesc"pica-, cujo valor ser dado por
jx
x x x n
n
j

+
8
cos
1
sen 1
1
sen
1
. 8 1 /
sen
1
sen
1
. 8 /
cos
1
sen
cos
8
1
x
x n nx
jx S
n
j
+

/D.
+nalo)amente, para a soma das fun*es ,seno-
8
S pode0se escrever queF
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
1
sen 1
1
. 8 1 /
cos
1
. 8 1 /
cos
. 8 sen/
1
sen 1
1
. A 1 /
cos
1
. 8 1 /
cos
A sen
1
sen 1
1
B
cos
1
;
cos
1 sen
1
sen 1
1
A
cos
1
B
cos
sen
1
sen 1
1
cos
1
A
cos

/B.
Somando0se as lin%as acima encontraremos outra ,Soma #elesc"pica-, cujo valor !
jx
x x x n
n
j

+
8
sen
1
sen 1
1
cos
1
. 8 1 /
cos
1
sen
1
. 8 /
sen
1
sen
sen
8
8
x
x n nx
jx S
n
j
+

/G., que ! a soma

procurada
Eo obstante, este problema tamb!m pode ser resolvido utili2ando0se a con%ecida 'elao de (uler
Seja
1
sen
1
cos
1
x
i
x
C e
ix
+ , onde
8
1
i
H assim tem0se 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
1
sen
1
cos
1 sen 1 cos
1
sen
1
cos
sen cos
1
sen
1
cos
1
1
D
D
1
1
+
,
_

+
+
,
_

+
+
,
_

+

/;.
( )
( )
( )

+ + +
n
j
n n n n
n
jx i jx
C C
C C C
C
C
C C
C C C
8
8 1
1 1
1 D 1
sen cos
. 8 /
. 8 /
K
( )
8 1
8
1
sen
1
sen
1
sen
1
cos
1
sen
1
cos sen cos iS S
x
nx
nx
i
nx x
i
x
jx i jx
n
j
+
,
_

+
,
_

+ +

1
sen
1
sen
1
. 8 /
sen
1
sen
1
sen
1
. 8 /
cos
8 1
x
nx x n
i
x
nx x n
iS S

+
+

+
+ /:.
de onde tiramos os valores de interesse
8
S e
1
S i)ualando0se as partes reais e ima)inrias da
i)ualdade acima respectivamente
PROBLEMA 2F Considere a)ora o problema de se determinar as somas dadas por

n
j
jx S
8
1
8
sen
e

n
j
jx S
8
1
1
cos
$ara tal, observa0se inicialmente, da #ri)onometria que x x 1 cos
1
8
1
8
sen
1
e
x x 1 cos
1
8
1
8
cos
1
+ , assim pode0se reescrever
8
S e
1
S como sendo
( ) nx x x jx S
n
n
j
1 cos D cos 1 cos
1
8
1
8
1
8
1
8
sen
I I
8
1
8
+ + +
,
_

+ + +

K K
/9.
onde nx x x S 1 cos D cos 1 cos J + + + K
Com o auxlio da 'elao de (uler, 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
8
8
1 D 1
1 sen 1 cos K
( ) JJ J
sen
sen . 8 sen/
sen
sen . 8 cos/
1 sen 1 cos
8
iS S
x
nx x n
i
x
nx x n
jx i jx
n
j
+
+
+
+
+

/8<.
onde

n
j
jx S
8
1 sen JJ
Sendo J
1
8
1
8
S
n
S
1
]
1

+

x
nx x n
n S
sen
sen . 8 cos/
1
8
8
/88.
6utra soluo para o clculo da soma J S consiste em transform0la se)undo as f"rmulas de
$rostaf!rese $ara este caso tem0se que,
nx x x n x n
x n x x n x n
x x x x
x x x x
1 cos sen 1 . 8 1 sen/ . 8 1 sen/
. 1 1 cos/ sen 1 . A 1 sen/ . 8 1 sen/
D cos sen 1 A sen B sen
1 cos sen 1 sen A sen
+



/81.
Somando0se todas as lin%as acima tem0se que J sen 1 sen . 8 1 sen/ S x x x n +
x
x n nx
S
sen
. 8 cos/ sen
J
+
, que ! exatamente o valor encontrado da parte real do somat"rio dado
por /8<.
6bservando0se /9. e que x x 1 cos
1
8
1
8
cos
1
+
[ ]
1
]
1

+
+ +

x
nx x n
n S n jx S
n
j
sen
sen . 8 cos/
1
8
J
1
8
cos
8
1
1
/8A.
que resolve o problema do clculo de
1
S
PROBLEMA 3F Considere a se)uir o problema do clculo das somas dadas por

n
k
kx S
8
A
8
sen e

n
k
kx S
8
A
1
cos
Seja cos sen C x i x. + Sendo kx i kx C
K
sen cos t
t
pode0se escrever que
1
cos
k k
C C
kx

+
/8D.
i
C C
kx
k k
1
sen

/8B.
(levando0se a relao /8B. ao cubo tem0se que
( ) ( )
i
C C C C
i
C C
kx
k k k k k k
:
A
1
sen
A A
A
A

,
_

D
A sen sen A
sen
A
kx kx
kx

/8G.

,
_

n
k
n
k
n
k
kx kx kx S
8 8 8
A
8
A sen sen A
D
8
sen /8;.
$or /G. tem0se que

n
k
x
x n nx
kx
8
1
sen
1
. 8 /
sen
1
sen
sen e observando0se que se
x i x D A sen A cos + teremos queF
nx i nx D
x i x D
x i x D
n
A sen A cos
9 sen 9 cos
G sen G cos
A
1
+
+
+

,
_

,
_

+ + + +

1
8
1
8
1 1 1 1
8
A 1

D D
D D D D
D D D D S
n n n
n
D
K
1
A
sen
1
A
sen
1
. 8 A /
sen
1
. 8 A /
cos
nx
x
x n
i
x n
S
D

1
]
1

+
+
+
/8:.
#omando0se a parte ima)inria da relao /8:. tem0se que
1
1
1
]
1

1
A
sen
1
A
sen
1
. 8 A /
sen
A sen
8
x
nx x n
kx
n
k
/89.
?o)o, por /G. e /89. teremos que
1
1
1
]
1

1
A
sen
1
A
sen
1
. 8 A /
sen
1
sen
1
. 8 /
sen
1
sen A
D
8
sen
8
A
8
x
nx x n
x
x n nx
kx S
n
k
/1<.
Vale lembrar que a soma

n
k
kx S
8
A sen tamb!m poder ser calculada observando0se as
i)ualdades a se)uir, isto !
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
A sen
1
A
sen 1
1
. 8 1 / A
cos
1
. 8 1 / A
cos
. 8 A sen/
1
A
sen 1
1
. A 1 / A
cos
1
. 8 1 / A
cos
G sen
1
A
sen 1
1
9
cos
1
8B
cos
A sen
1
A
sen 1
1
A
cos
1
9
cos

cuja soma resultar em

+
n
k
kx
x x x n
8
A sen
1
A
sen 1
1
A
cos
1
. 8 1 / A
cos
1
A
sen
1
. 8 / A
sen
1
A
sen
A sen
8
x
x n nx
kx
n
k
+

, que ! exatamente a expresso /89.

$ara o clculo de

n
k
kx S
8
A
1
cos elevando0se a expresso /8D. ao cubo teremos que
( ) ( )
:
A
1
cos
A A
A
A
k k k k k k
C C C C C C
kx

+ + +

,
_

D
A cos cos A
cos
A
kx kx
kx
+
/18.

,
_

+


n
k
n
k
n
k
kx kx kx S
8 8 8
A
1
A cos cos A
D
8
cos /11.
4tili2ando0se a relao /D. e a parte real da relao /8:. e substituindo0as em /11. tem0se que
1
1
1
]
1

+
+
+

1
A
sen
1
A
sen
1
. 8 A /
cos
1
sen
1
. 8 /
cos
1
sen A
D
8
cos
8
A
1
x
nx x n
x
x n nx
kx S
n
k
/1A.
'essaltamos que a soma

n
k
kx
8
A cos tamb!m pode ser calculada atrav!s das f"rmulas de
$rostaf!rese, ou seja, fa2endo
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
A cos
1
A
sen 1
1
. 8 1 / A
sen
1
. 8 1 / A
sen
. 8 A cos/
1
A
sen 1
1
. A 1 / A
sen
1
. 8 1 / A
sen
G cos
1
A
sen 1
1
9
sen
1
8B
sen
A cos
1
A
sen 1
1
A
sen
1
9
sen

e somando0se as lin%as teremos uma ,Soma #elesc"pica-, cujo valor ser

+
n
k
kx
x x x n
8
A cos
1
A
sen 1
1
A
sen
1
. 8 1 / A
sen
1
A
sen
1
. 8 / A
cos
1
A
sen
A cos
8
x
x n nx
kx
n
k
+

, que ! exatamente a parte real da expresso /8:.

PROBLEMA 4 (IMO-2!F +qui ! proposto resolvermos a equao a se)uir /observamos que o se)undo
problema resolvido trata desta questo de forma )enerali2ada.
8 A cos 1 cos cos
1 1 1
+ + x x x
/+.
Eotando que x x 1 cos
1
8
1
8
cos
1
+ se)ue que
( ) x x x x x x G cos D cos 1 cos
1
8
1
A
A cos 1 cos cos
1 1 1
+ + + + +
Sendo x i x Z sen cos +
x i x Z
x i x Z
x i x Z
G sen G cos
D sen D cos
1 sen 1 cos
G
D
1
+
+
+
( )
x
x
x i x
Z
Z Z
Z Z Z
sen
A sen
D sen D cos
. 8 /
. 8 /
1
G 1
G D 1
+

+ + /K.
#omando0se a parte real de /K. tem0se que
( )
x
x x
x x x
sen
A sen D cos
G cos D cos 1 cos

+ + /C.
Como x x x x D cos A sen . sen ; /sen
1
8
, ento teremos que a equao /+. redu20se a
< sen ; sen + x x
< A cos D sen 1 x x
< A cos < D sen x x
?o)o, a soluo da equao proposta ser dada pelo conjunto
1 8 1 8
1 D G
k ( k ) ( k )
S x x x x ,k
+ +

' ;


PROBLEMA "F Determinaremos a)ora o valor das somas
a. nx n x x x cos A cos A 1 cos 1 cos + + + + K e
b. sen 1sen1 AsenA sen x x x n nx + + + + K
Sejam nx n x x x S cos A cos A 1 cos 1 cos
8
+ + + + K e
1
sen 1sen1 AsenA sen S x x x n nx + + + + K
( ) ( ) ( )
8 1
cos sen 1 cos1 sen1 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 + + + + + K
A 1
1 8
A 1 Multiplicando0se ambos os termos
por
. 8 / Z
teremos
1
1
8
1
8
1
8
1
8
1
8 1
8 A 1
1 8
. /
. 8 /
. /
. 8 /

+
+

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

( )
8 1
1 1
1 8 1 8
cos sen
cos sen 8 1 1
1 sen D sen
1 1
n n
n x i x
nx i nx
S iS
x x
i i
1 + + _ _
+
1
+
, , ]
+
/8.
6bservando0se que a parte real de /8. nos dar o valor de
8
S e que a parte ima)inria nos dar o
valor de
1
S tem0se, ap"s al)uma manipulao al)!brica que
( ) ( )
8
1
8
8 cos cos 8 8
cos
Dsen
1
n
j
n nx n n x
S j jx
x

+ +

, e
( ) ( )
1
1
8
8 sen sen 8
sen
Dsen
1
n
j
n nx n n x
S j jx
x

+ +

PROBLEMAS PROPOSTOS:
1! /4'SS. Calcule o valor das somas
a. x n C x C x
n
n n
. 8 cos/ 1 cos cos
8
+ + + + K
b. ( )
8
sen sen1 sen 8
n
n n
x C x C n x + + + + K
6bsF
k
n
n
C
k
_

,
denota o binomial ,n escol%e k-
2! /4'SS. Mostre que
1
8
8 1
1
cos
8 1
G
cos
8 1
D
cos
8 1
1
cos
+
+ +
+
+
+
+
+ n
n
n n n

K
3! /4'SS. $rove que
a.
( ) ( ) ( )
( ) 8
sen sen
1 1
sen sen sen 1 sen
sen
1
n n
n
+ _
+

,
+ + + + + + +

K
b.
( ) ( ) ( )
( ) 8
sen cos
1 1
cos cos cos 1 cos
sen
1
n n
n
+ _
+

,
+ + + + + + +

K
4! Calcule o valor da soma
n
n
S
1
D
cos
1
D
1
cos
1
D
cos
1

+ + + K

"! Mostre que

a.
8 cos 1
8 cos . 8 cos/ cos
cos 1 cos cos 8
1
8 1
1
+
+ +
+ + + +
+ +

a a
a k a k a
k a a a
k k
k
K
b.
( ) ( )
( ) ( ) ( )
1 8
1
sen sen sen
sen sen 8 sen sen
1 cos 8
k
k k
a h a kh
a kh a k h a h
a a h
+ +
+ + + + +
+ + + 1 +
]
+
K
! Mostre que
<
;1
! o menor Ln)ulo positivo que satisfa2 simultaneamente Ms equa*esF
8 cos cos1 cosA cosD <
sen sen1 senA senD <
x x x x
x x x x
+ + + +
'
+ + +

#! /5M(091. Mostre que

( ) 1 8
sen
8
1
cos cos1 cos
1
1sen
1
n x
x x nx .
x
+
+ + + + K
REFER$NCIAS
N8O &+DD((V, DH S6M5ESPQ, 5 $roblems in Ri)%er +l)ebra, MoscouF (d M5', 89G:
N1O 3'(5#7(', S? 5nternational Mat%ematical 6l>mpiads 89B9089;;, &ift% $rintin), Sas%in)ton DCF
#%e Mat%ematical +ssociation of +merica, 89;:
NAO 345D6'5775, R? 4m curso de clculo T Vol 8, 1
a
(dio, So $auloF (d ?ivros #!cnicos e
Cientficos, 89:;
NDO 5(775, 3 &undamentos de Matemtica (lementar, Vol A /#ri)onometria., G
a
(dio, So $auloF (ditora
Moderna, 89:B
NBO 5(775, 3 &undamentos de Matemtica (lementar, Vol G /Complexos T $olin=mios 0 (qua*es., D
a
(dio, So $auloF (ditora Moderna, 89:A
NGO ?5DSP5, V KH 6VS5+E5P6V, ? VH #4?+5P6V, + EH SR+K4E5E M 5 $roblemas de Matematicas
(lementales, MoscouF (d M5', 89;1
N;O M6'3+D6, + CH S+3E(', (H D6 C+'M6, M $, #ri)onometria e EUmeros Complexos, D
a
(dio,
'io de VaneiroF $ublicao da Sociedade Krasileira de Matemtica, 1<<8
N:O SRP?+'SPQ, D6, CR(E#76V, EE, Q+3?6M, 5M #%e 4SS' 6l>mpiad $roblem KooC, EeW
QorC, Dover $ublications, 5nc, 899D