Consejos sobre cómo probar que $\ln{1\over 2\sin\left({90\over \pi}\right)}=\sum_{n=1}^{\infty}{(-1)^{n-1}B_{2n}\over 2n(2n)!}$?

Question

¿Cómo se puede demostrar que

$$ \ln\left(1 \over 2\sin\left(1/2\right)\right) = \sum_{n = 1}^{\infty}{\left(-1\right)^{n - 1}\,B_{2n} \over 2n\left(2n\right)!}\ ?\tag1 $$

donde $B_{2n}$ es un número de Bernoulli

Cualquier sugerencias?

Answer 1

Sugerencia. Uno puede recordar que $$ \cot x = \frac1x+\sum_{n=1}^{\infty} B_{2n} \frac{(-1)^n 4^n x^{2n-1}}{(2n)!},\quad |x|<\frac{\pi}2. \tag1 $$ Nos permite integrar la energía de la serie termwise la obtención de $$ \log( \sin x)=\log x+\sum_{n=1}^{\infty} B_{2n} \frac{(-1)^n 4^n x^{2n}}{2n(2n)!},\quad |x|<\frac{\pi}2, \tag2 $$ then taking $x=\dfrac12$ da el resultado.

---

Observación. Podemos obtener $(1)$ a partir de la observación de que incluso la función $(-2\pi,2\pi) \ni z \mapsto z\cot z$ reescribe $$ z\cot z=z\cdot \frac{\cos z}{\sin z}=iz\cdot\frac{e^{iz}+e^{-iz}}{e^{iz}-e^{-iz}}=iz\cdot\frac{e^{2iz}+1}{e^{2iz}-1}=iz+\frac{2iz}{e^{2iz}-1}$$ utilizando el clásico de la generación de la función de los números de Bernoulli $$ \sum_{k=0}^{\infty} B_k \frac{z^k}{k!} = \frac{z}{e^z-1}, \quad |z|<2\pi, $$ $B_0=1,\,B_1=-1/2, \,\ldots.$