Esta identidad también tiene una prueba utilizando la técnica de la aniquilado
coeficiente de extractores (ACE).
Primero observar que es equivalente a
$$\sum_{i=1}^n \frac{2n+1}{2r} {2n\elegir 2r-1} B_{2r}
= n - \frac{1}{2}.$$
La izquierda se simplifica a
$$\sum_{r=1}^n {2n+1\choose 2r} B_{2r}.$$
Introducir la siguiente generación de la función $f(z)$ de esta cantidad,
que es
$$f(z) = \sum_{n\ge 1} \frac{z^{2n}}{(2n+1)!}
\sum_{i=1}^n {2n+1\elegir 2r} B_{2r}.$$
Por la generación de la función de los números de Bernoulli tenemos que
$f(z)$ es
$$\sum_{n\ge 1} \frac{z^{2n}}{(2n+1)!}
\sum_{i=1}^n {2n+1\elegir 2r} (2r)! [w^{2r}] \frac{w}{e^w-1}.$$
Interruptor de sumatorias para obtener
$$\sum_{i\ge 1}
\left( [w^{2r}] \frac{w}{e^w-1} \right)
\sum_{n\ge r} \frac{z^{2n}}{(2n+1-2r)!}$$
que es
$$\sum_{i\ge 1}
\left( [w^{2r}] \frac{w}{e^w-1} \right)
\sum_{n\ge 0} \frac{z^{2n+2r}}{(2n+1)!}.$$
Esto a su vez se simplifica a
$$\sum_{i\ge 1}
z^{2r} \left( [w^{2r}] \frac{w}{e^w-1} \right)
\sum_{n\ge 0} \frac{z^{2n}}{(2n+1)!}.$$
El primer término es el prometido aniquilado coeficiente de extractory
el segundo es$\sinh(z)/z$, por lo que tenemos
$$f(z) = \left(-1 + \frac{1}{2} z + \frac{z}{e^z-1}\right)
\frac{\sinh(z)}{z}.$$
Extraemos los coeficientes de los tres componentes. En primer lugar,
$$(2n+1)! [z^{2n}] \left(-\frac{\sinh(z)}{z}\right)
= -(2n+1)! [z^{2n+1}] \sinh(z) = -1.$$
Segundo,
$$(2n+1)! [z^{2n}] \left(\frac{1}{2} z \frac{\sinh(z)}{z}\right)
= (2n+1)! [z^{2n}] \frac{1}{2} \sinh(z) = 0.$$
Y en tercer lugar,
$$(2n+1)! [z^{2n}] \frac{\sinh(z)}{e^z-1}
= (2n+1)! [z^{2n}] \frac{1}{2}\frac{e^-e^{-z}}{e^z-1}.$$
Este último uno necesita un poco de reescritura como en
$$\frac{e^-e^{-z}}{e^z-1}
= 1 + \frac{-e^z + 1 + e^ - e^{-z}}{e^z-1}
\\= 1 + \frac{1 - e^{-z}}{e^z-1}
= 1 + e^{-z} \frac{e^z - 1}{e^z-1} = 1 + e^{-z}.$$
Por lo tanto, el tercer componente es
$$(2n+1)! [z^{2n}] \frac{1}{2} (1 + e^{-z})
\\ = (2n+1)! \times \frac{1}{2} \times \frac{(-1)^{2n}}{(2n)!}
= (2n+1)\times \frac{1}{2} = n + \frac{1}{2}.$$
La suma de las tres contribuciones es
$$n + \frac{1}{2} + (0) + (-1)
= n - \frac{1}{2}$$
precisamente como iba a ser mostrado.
Hay otro aniquilado coeficiente de extractor en este
MSE enlace y otro de uno en este MSE vínculo II.