Académique Documents
Professionnel Documents
Culture Documents
seno de Euler
Israel Meireles Chrisostomo
10 de Janeiro, 2015
Introdu
c
ao
Demonstra
c
ao
Tome a representac
ao complexa do seno:
sen() =
cis() cis()
2i
cis(nz) cis(nz)
2i
Usando a f
ormula de Moivre, vem:
sen(zn) =
(cis(z))n (cis(z))n
2i
2m+1
(cis(z))
(cis(z))
sen((2m + 1)z) =
2i
!
2m+1
2m+1
X 2m + 1
X 2m + 1
1
2m+1k
k
2m+1k
k
=
(cos(z))
(isen(z))
(cos(z))
(isen(z))
=
2i
k
k
k=0
k=0
!
2m+1
2m+1
X 2m + 1
X 2m + 1
1
2m+1k
k
2m+1k
k
k
(1) (cos(z))
(isen(z))
(cos(z))
(isen(z))
k
2i
k
k=0
k=0
m
2m2k
2k+1
sen((2m + 1)z) X 2m + 1
(sen(z))
k (cos(z))
=
(1)
cos2m (z)sen(z)
cos2m (z)sen(z)
2k + 1
k=0
m
sen((2m + 1)z) X 2m + 1
=
(1)k tan2k (z).......Igualdade II
cos2m (z)sen(z)
2k + 1
k=0
Que e um polin
omio de grau m em .Como esta em funcao de z, podemos
encontrar as razes deste polinomio pelo seno ao lado esquerdo, pois como se
trata de uma igualdade o mesmo angulo que anula o esquerdo anula tambem o
direito.Sendo assim as razes saem do seno ao lado esquerdo, entao, vem:
sen((2n + 1)z) = 0 (2n + 1)z = k z =
k
, com k = 1, 2, 3, ...
2n + 1
P () =
m
2m + 1 Y
( k )
1
k=1
k
, vem:
2m + 1
m
m
Y
2m + 1 Y
2m + 1!
k
k
2
2
2
2
P () =
=
cot (z) cot
=
cot (z) cot
1
2m + 1
1!(2m + 1) 1!
2m + 1
k=1
k=1
m
Y
k
(2m + 1)
cot2 (z) cot2
2m + 1
2
k=1
sen((2m + 1)z)
, vem que:
sen2m+1 (z)
m
Y
sen((2m + 1)z)
k
2
2
= (2m + 1)
cot (z) cot
sen2m+1 (z)
2m + 1
Lembrando que P () =
k=1
tan
(z)cot
cos2m (z)sen(z)
2m + 1
k=1
m
Y
sen((2m + 1)z)
k
= (2m + 1)
1 tan2 (z)cot2
2m
cos (z)sen(z)
2m + 1
k=1
E f
acil ver, comparando a Igualdade II com a Igualdade acima que:
2m
m
m
X
Y
2m + 1
k
(1)k tan2k (z) = (2m + 1)
1 tan2 (z)cot2
2k + 1
2m + 1
k=0
k=1
z
Substiuindo z por arctan
, vem:
2m + 1
2k
m
m
Y
X
z2
k
2m + 1
z
k
2
= (2m+1)
1
(1)
cot
2m + 1
(2m + 1)2
2m + 1
2k + 1
k=1
k=0
m
m
X 2m + 1
Y
z 2k
z2
k
(1)k
=
1
cot2
2k+1
2
2k + 1
(2m + 1)
(2m + 1)
2m + 1
k=0
k=1
cot
2k + 1
(2m + 1)2k+1
(2m + 1)2
2m + 1
k=0
k=1
m
m
X
Y
2m + 1
z 2k+1
k
z2
k
2
lim
(1)
= lim z
cot
1
m
m
2k + 1
(2m + 1)2k+1
(2m + 1)2
2m + 1
k=0
k=1
m
Y
k
2m + 1
z 2k+1
z2
2
k
= lim z
cot
lim
(1)
1
m
m
2k + 1
(2m + 1)2k+1
(2m + 1)2
2m + 1
k=1
2m + 1
1
, tome k=0, vem:
Observe
(1)k
(2m + 1)2k+1
2k + 1
2m + 1
1
2m + 1!
1
=
=1
1
2m + 1
1!(2m + 1 1)! 2m + 1
Agora, tome k=1, vem:
2m + 1!
2m + 1
1
1
= lim
=
lim
m 3!(2m + 1) 3! (2m + 1)3
m
3
(2m + 1)3
(2m + 1)(2m)(2m 1)(2m 2)!
1
(2m + 1)(2m)(2m 1)
lim
= lim
=
3
m
m
3!2m 2!
(2m + 1)
3!(2m + 1)3
1
1 2m
1 (2m)(2m 1)
1
1 (2m)(2m 1)
= lim
= lim
lim
=
1
1
2
m 3! (2m + 1)(2m + 1)
m 3! (1 +
m 3!
(2m + 1)
2m )(1 + 2m )
10
1
1
=
3! (1 + 0)(1 + 0)
3!
Procedendo assim contnuamente, obtemos uma seq
uencia de recprocos dos
fatoriais mpares, ou seja, teremos que:
lim
m
X
(1)k z 2k+1
2k + 1!
k=0
= lim z
m
m
Y
k=1
z2
1
cot2
(2m + 1)2
k
2m + 1
k=1
z2
cot2
(2m + 1)2
k
2m + 1
senz = z
k=1
lim 1
z2
cot2
(2m + 1)2
k
2m + 1
f
E
acil calcular esse limite.Calculando esse limite, obtemos:
Y
z2
senz = z
1 2 2
k
k=1
C.q.d.
5