Você está na página 1de 5

Uma demonstracao para o produto infnito do

seno de Euler
Israel Meireles Chrisostomo
10 de Janeiro, 2015

Introdu
c
ao

Nesse pequeno artigo apresento a minha demonstracao para o produto infinito


do seno.Ao final da demonstracao fica claro um ponto interessante nessa demonstrac
ao: tanto pode ser uma prova para o produto infinito do seno, quanto pode
ser uma prova para serie de Taylor de senx.Nesse u
ltimo caso, tomamos como
j
a conhecido o produto ifinito do seno e obtemos uma demonstracao da serie de
Taylor de senx.

Demonstra
c
ao

Tome a representac
ao complexa do seno:
sen() =

cis() cis()
2i

Fazendo = zn , com n inteiro, vem


sen(nz) =

cis(nz) cis(nz)
2i

Usando a f
ormula de Moivre, vem:
sen(zn) =

(cis(z))n (cis(z))n
2i

Tomando n=2m+1, substituindo no lado direito e expandindo pelo binomio


de Newton, vem:
2m+1

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

Observe que os termos pares se cancelam e os mpares se conservam, sendo


assim, temos:

m 
1 X 2m + 1
2m+1(2k+1)
2k+1
sen((2m + 1)z) =
(cos(z))
(isen(z))
i
2k + 1
k=0

m 
1 X 2m + 1
2m2k
2k+1
(i)2k+1 (cos(z))
(sen(z))
sen((2m + 1)z) =
2k + 1
i
k=0

m 
1 X 2m + 1
2m2k
2k+1
sen((2m + 1)z) =
(i)2k i (cos(z))
(sen(z))
i
2k + 1
k=0

m 
i X 2m + 1 2 k
2m2k
2k+1
sen((2m + 1)z) =
(i ) (cos(z))
(sen(z))
i
2k + 1
k=0

m 
X
2m + 1
2m2k
2k+1
sen((2m+1)z) =
(1)k (cos(z))
(sen(z))
.....Igualdade I
2k + 1
k=0

Dividindo ambos os lados da igualdade por cos2m (z)sen(z), temos:



m 
X
sen((2m + 1)z)
1
2m + 1
2m2k
2k+1
=
(1)k (cos(z))
(sen(z))
cos2m (z)sen(z)
cos2m (z)sen(z)
2k + 1
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

Pegando a Igualdade I e dividindo por sen2m+1 (z), vem:



m 
X
1
2m + 1
sen((2m + 1)z)
2m2k
2k+1
=
(1)k (cos(z))
(sen(z))
sen2m+1 (z)
sen2m+1 (z)
2k + 1
k=0

m 
2m2k
2k+1
sen((2m + 1)z) X 2m + 1 (1)k (cos(z))
(sen(z))
=
sen2m+1 (z)
sen2m+1 (z)
2k + 1
k=0


m
2m2k
sen((2m + 1)z) X 2m + 1 (1)k (cos(z))
=
sen2m+1 (z)
2k + 1 sen(2m+1)(2k+1) (z)
k=0


m
2m2k
sen((2m + 1)z) X 2m + 1 (1)k (cos(z))
=
sen2m+1 (z)
sen2m2k (z)
2k + 1
k=0

m 
2m2k
sen((2m + 1)z) X 2m + 1 (1)k (cos(z))
=
sen2m+1 (z)
2k + 1
(sen(z))2m2k
k=0


m
sen((2m + 1)z) X 2m + 1
(1)k (cot(z))2m2k
=
2k + 1
sen2m+1 (z)
k=0

m 
sen((2m + 1)z) X 2m + 1
=
(1)k (cot2 (z))mk
sen2m+1 (z)
2k + 1
k=0

Fazendo cot (z) = , vem



m 
sen((2m + 1)z) X 2m + 1
=
(1)k mk = P ()
sen2m+1 (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

Sendo asim, temos que as razes sao:




k
2
k = cot
2m + 1

Pelo teorema fundamental da Algebra


podemos fatorar um polinomio pelas
suas razes.Em verdade, um polinomio P (x) = an xn + an1 xn1 + ... + a1 x + a0
de razes xk , pode ser fatorado como P (x) = an (x x1 )(x x2 )...(x xn ) ,
sendo assim podemos fatorar o polinomio P () como:


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

Como = cot (z) e k = cot2

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

Multiplicando os dois lados da Igualdade por tan2m (z) , vem




m 
Y
k
sen((2m + 1)z)
2
2
2m
cot (z) cot
= (2m + 1)tan (z)
tan (z)
sen2m+1 (z)
2m + 1
k=1



m
Y
k
sen((2m + 1)z)
2
2
2
2
=
(2m
+
1)
tan
(z)cot
(z)

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

Multiplicando os dois lados por z, vem:





m 
m 
X
Y
2m + 1
z 2k+1
z2
k
2
(1)k
=
z
1

cot
2k + 1
(2m + 1)2k+1
(2m + 1)2
2m + 1

k=0

k=1

Tomando o limite de m tendendo ao infinito nos dois lados da igualdade,


vem:




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

Usando o Tanerys Theorem para series no lado esquerdo, vem:


m
X
k=0





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



Imediatamente associamos a serie ao lado esquerdo com a serie de Taylor do


seno,portanto, substituindo a serie pelo seno, obtemos:
m 
Y
senz = lim z
1
m

k=1

z2
cot2
(2m + 1)2

k
2m + 1



Agora vamos aplicar o Tanerys Theorem para produtos infinitos no produt


orio ao lado direito.

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