Documente Academic
Documente Profesional
Documente Cultură
Nvel Intermedirio
INTRODUO
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.
Fazendo a b e a b teremos que a e b , cujos valores substitudos
2 2
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
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
x x0 x x0
n k
n
P x f x0 f x0 x x0 f n
x0 f k
x0 (i)
n! k 1 k!
x 2 x3 xn x 2 x3
e lim 1 x 1 x
x
(j)
n
2 3! n! 2 3!
A expresso da direita pode ser usada para definir e x para x para x complexo.
Analogamente demonstra-se que
x3 x5
n 1
xn x3 x5
sen x lim x (1) 2 x
(k)
n 3! 5! n! 3! 5!
e que
x2 x4 x 2n x2 x4
cos x lim 1 (1) n 1 (l)
n
2 4! (2n)! 2! 4!
Y2 Y4 Y3 Y5
e iY 1 i Y cos Y i sen Y (m)
2 4! 3! 5!
cosY cosY
1 2 senY1senY2 i senY1cosY2 senY2 cosY1
e x1 cosY1 isenY1 e x2 cosY2 isenY2 eZ1 eZ2 .
PROBLEMAS DE APLICAO
3x x x
sen 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 3x (3)
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
Somando-se as linhas acima encontraremos uma Soma Telescpica, cujo valor ser dado por
(2n 1) x x x n
sen sen 2 sen cos jx
2 2 2 j 1
nx (n 1) x
n sen cos
S 2 cos jx 2 2 (4)
j 1
x
sen
2
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 3x (5)
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
(2n 1) x x x n
cos cos 2 sen sen jx
2 2 2 j 1
nx (n 1) x
n sen sen
S1 sen jx 2 2 (6), que a soma
j 1
x
sen
2
procurada.
No obstante, este problema tambm pode ser resolvido utilizando-se a conhecida Relao de Euler.
ix
x x
Seja e C cos
2
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
4
x x
C cos i sen cos 2 x i sen 2 x
4
2 2 (7)
2n
x x
C 2n
cos i sen cos nx i sen nx
2 2
C 2 (C 2 n 1) C n C n C n n
cos jx i sen jx
C C C
2 4 2n
(C 2 1)
C
C C 1
j 1
nx
sen
n
x nx
cos jx i sen jx cos i sen cos i sen
x nx 2 S iS
2 1
j 1 2 2 2 2 sen
x
2
(n 1) x nx (n 1) x nx
cos sen sen sen
S 2 iS1 2 2 i 2 2 (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
igualdade acima respectivamente.
n
PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por S1 sen 2 jx e
j 1
n
1 1
S 2 cos 2 jx . Para tal, observa-se inicialmente, da Trigonometria que sen 2 x cos 2 x e
j 1 2 2
1 1
cos 2 x 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 (9)
j 1 2 2 "n" 2 2
onde S cos 2 x cos 4 x cos 2nx .
C n C n C n n
cos 2 jx i sen 2 jx
C 2 C 4 C 2 n C.
C C 1
j 1
n
cos(n 1) x. sen nx sen(n 1) x. sen nx
cos 2 jx i sen 2 jx i SiS (10)
j 1 sen x sen x
n
n 1
onde S sen 2 jx . Sendo S1 S
j 1 2 2
1 cos(n 1) x. sen nx
S1 n (11)
2 sen x
n
PROBLEMA 3: Considere a seguir o problema do clculo das somas dadas por S1 sen 3 kx e
k 1
n
S 2 cos 3 kx .
k 1
sen 3 kx
C k C k
3
C 3 k C 3 k 3 C k C k
2i 8i
3 sen kx sen 3kx
sen 3 kx (16)
4
n
1 n n
S1 sen 3 kx 3 sen kx sen 3kx (17)
k 1 4 k 1 k 1
nx (n 1) x
n sen sen
Por (6) tem-se que k 1
sen kx 2
x
2 e observando-se que se
sen
2
D cos 3x i sen 3x teremos que:
D 2 cos 6 x i sen 6 x
D 3 cos 9 x i sen 9 x
(3n 1) x 3nx
sen sen
2
n
sen 3kx 2
3x (19)
k 1 sen
2
Logo, por (6) e (19) teremos que
nx (n 1) x (3n 1) x 3nx
3 sen sen sen sen
n
1 2
S1 sen 3 kx 2 2 2
(20)
4 x 3x
k 1
sen sen
2 2
n
Vale lembrar que a soma S sen 3kx
k 1
tambm poder ser calculada observando-se as
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
3(2n 1) x 3x 3x n
cos cos 2 sen sen 3kx .
2 2 2 k 1
3nx 3(n 1) x
n sen sen
sen 3kx 2 2 , que exatamente a expresso (19).
k 1
3 x
sen
2
n
Para o clculo de S 2 cos
k 1
3
kx elevando-se a expresso (14) ao cubo teremos que
cos kx
3 C k C k
3
C 3 k C 3 k 3 C k C k
2 8
3 cos kx cos 3kx
cos 3 kx (21)
4
n
1 n n
S 2 cos 3 kx 3 cos kx cos 3kx (22)
k 1 4 k 1 k 1
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
n
1 2
S 2 cos kx
3 2 2 2
(23)
4 x 3x
k 1
sen sen
2 2
n
Ressaltamos que a soma cos 3kx
k 1
tambm pode ser calculada atravs das frmulas de
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
e 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
n sen cos
cos 3kx 2 2 , que exatamente a parte real da expresso (18).
k 1
3 x
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).
2 sen 4 x. cos 3x 0
sen 4 x 0 cos 3x 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
5) Mostre que
a k 2 cos k a k 1 cos(k 1) a cos 1
a) 1 a cos a cos 2 a cos k
2 k
a 2 2a cos 1
sen asen h a k sen kh
b) a k 2sen kh a k 1sen k 1 h asen h sen
a 2 2acos h 1
0
6) Mostre que 72 o menor ngulo positivo que satisfaz simultaneamente s equaes:
1 cosx cos2 x cos3x cos4 x 0
sen
2n 1 x
1 2
7) (IME-92) Mostre que cosx cos2 x cosnx .
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.