Escolar Documentos
Profissional Documentos
Cultura Documentos
,
_
,
_
+
+
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
+
+
+
,
_
+
+
,
_
+
(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
+
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
+
+ + (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
+ + + +
'
+ + +