Uma demonstracao elementar da identidade:

2z
1 X
cotz = +
z k=1 z 2 k 2 2
Israel Meireles Chrisostomo
10 de Janeiro, 2015

Introdu
c
ao

Nesse pequeno artigo apresento a minha demonstracao para a identidade dev

2z
1 X
.A demonstracao utiliza de uma formula
ida a Euler:cotz = +
z
z 2 k2 2
k=1
importante para a derivada de um produto de funcoes.A ideia para esta demontrac
ao me veio logo ap
os resolver um problema do livro Calculo do Serge Lang,
quando estava lendo o artigo More on the infinite: Products and partial fractions, onde se encontra algumas demonstracoes envolvendo limites de series e
produtos infinitos.

Demonstra
c
ao

Considere um produto de duas funcoes f1 (z)f2 (z), pela derivada do produto,

obtemos:
d
f1 (z)f2 (z) = f10 (z)f2 (z) + f1 (z)f20 (z)
dz
Vamos usar esse produto como base de inducao.Por hipotese de inducao,
considere que a f
ormula acima (em sua forma generica) e verdadeira para um
dado inteiro n, i.e.:
d
(f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z)) = f10 (z)f2 (z)...fn (z) + f1 (z)f20 (z)...fn (z) +
dz
.... + f1 (z)f2 (z)...fn1 (z)fn0 (z)

Denominando f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z) = g(z),pela igualdade acima,

teremos que:
g 0 (z) = f10 (z)f2 (z)...fn (z) + f1 (z)f20 (z)...fn (z) + .... + f1 (z)f2 (z)...fn1 (z)fn0 (z)

Pela regra da derivada do produto, ao se multiplicar uma funcao, digamos,

fn+1 (z) pelo produto f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z) e depois derivar usando a
hip
otese de induc
ao, obtemos:
d
(f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z)fn+1 (z)) =
dz
d
(g(z)fn+1 (z)) =
dz
0
g 0 (z)fn+1 (z) + g(z)fn+1
(z) =

[f10 (z)f2 (z)...fn (z) + f1 (z)f20 (z)...fn (z) + .... + f1 (z)f2 (z)...fn1 (z)fn0 (z)] fn+1 (z)+
0
f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z)fn+1
(z) =

f10 (z)f2 (z)...fn (z)fn+1 (z)+f1 (z)f20 (z)...fn (z)fn+1 (z)+....+f1 (z)f2 (z)...fn1 (z)fn0 (z)fn+1 (z)+
0
f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z)fn+1
(z)

De onde conclumos a prova por inducao em n de que sempre vale a igualdade:

d
(f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z)) = f10 (z)f2 (z)...fn (z) + f1 (z)f20 (z)...fn (z) +
dz
.... + f1 (z)f2 (z)...fn1 (z)fn0 (z).....Igualdade i

Mas observe que pela igualdade f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z) = g(z), nao
e difcil ver, ao se multiplicar e dividir cada termo do lado direito pela funcao
que est
a sendo derivada em cada produto, que podemos reescrever cada um
desses termos como:
f 0 (z)g(z)
f10 (z)f1 (z)f2 (z)...fn (z)
= 1
....Igualdade ii
f1 (z)
f1 (z)
f 0 (z)g(z)
f1 (z)f20 (z)f2 (z)...fn (z)
= 2
....Igualdade iii
f1 (z)f20 (z)...fn (z) =
f2 (z)
f2 (z)
f10 (z)f2 (z)...fn (z) =

....
f1 (z)f2 (z)....fk0 (z)....fn (z) =

f1 (z)(z)f2 (z)....fk0 (z)fk (z)....fn (z)

f 0 (z)g(z)
= k
....Igualdade iv
fk (z)
fk (z)

...
f1 (z)f2 (z)...fn1 (z)fn0 (z) =

f 0 (z)g(z)
f1 (z)f2 (z)...fn1 (z)fn0 (z)fn (z)
= n
.....Igualdade v
fn (z)
fn (z)

Comparando as igualdades ii, iii, iv, v com a Igualdade i , e facil ver que:
d
f 0 (z)g(z) f20 (z)g(z)
f 0 (z)g(z)
(f1 (z)f2 (z)f3 (z)....fn1 (z)fn (z)) = 1
+
+ .... + n
dz
f1 (z)
f2 (z)
fn (z)
 0

0
0
d
f1 (z) f2 (z)
f (z)
g(z) = g(z)
+
+ .... + n
dz
f1 (z) f2 (z)
fn (z)
Onde g(z) e o produto das funcoes indicadas a direita.Substituindo n por
n+1, obteremos:
d
g(z) = g(z)
dz

f 0 (z)
f10 (z) f20 (z)
+
+ .... + n+1
f1 (z) f2 (z)
fn+1 (z)
3


...Igualdade vi

n 
Y

Fazendo g(z) = z

k=1


z2
1 2 2 , igualmente, fazendo f1 (z) = z e fk+1 (z) =
k

z2
0
1 2 2 para k 1.Observando que podemos dizer que f10 (z) = 1 e fk+1
(z) =
k
2z
2 2 , e substituindo na Igualdade vi , vem:
k
d
dz
d
dz

!
n 
n 
Y
Y
z2
z
=z
1 2 2
1
k
k=1
k=1
!

n 
n 
Y
Y
z2
=z
1
z
1 2 2
k
k=1

k=1

z2
k2 2

1 X k22z2
+
2
z
1 k2z2

z2
k2 2

1 X
2z
+
z
z 2 k2 2

k=1
n

k=1

Tomando o limite de n tendendo ao infinito, obteremos:

d
dz



Y
z2
1 2 2
z
k
k=1



Y
z2
=z
1 2 2
k
k=1

2z
1 X
+
z
z 2 k2 2

k=1



Y
z2
1 2 2 = senz no lado esquerdo, teremos:
Usando que z
k
k=1



Y
z2
d
(senz) = z
1 2 2
dz
k

!



Y
2z
z2
1 X
+
cosz = z
1 2 2
z
z 2 k2 2
k
k=1
k=1
k=1



Y
z2
Dividindo ambos os lados por z
1 2 2 , vem:
k
k=1

cosz
Q
z k=1 1

z2
k2 2

Usando que z

=

2z
1 X
+
z
z 2 k2 2
k=1



Y
z2
1 2 2 = senz no lado esquerdo, obtemos:
k

k=1

k=1

k=1

cosz
1 X
2z
1 X
2z
= +
cotz = +
2
2
2
2
senz
z
z k
z
z k2 2
C.Q.D.

2z
1 X
+
z
z 2 k2 2
k=1