Theorem relating to sums of even powers of the natural numbers. (Q1533065)

Setzt man \(S_{r}\) gleich \(1^{r}+2^{r}+3^{r}+\cdots+i^{r}\), so ist \[ \frac{S_{2n}}{S_{1}}=A_{2}S_{2n-2}+A_{4}S_{2n-4}+\cdots+A_{2n-2}S_{2}+A_{2n}(i+\tfrac{1}{2}), \] wo \[ \begin{aligned} & \tfrac{1}{2}\,A_{2}=\frac{2n-1}{2n+1},\\ & \tfrac{1}{2}\,A_{4}=\frac{2n-1}{2n+1}-2nB_{1},\\ & \tfrac{1}{2}\,A_{6}=\frac{2n-1}{2n+1}-2nB_{1}+\frac{2n(2n-1)(2n-2)}{3!}\;\frac{B_{2}}{2},\\ & \tfrac{1}{2}\,A_{8}=\frac{2n-1}{2n+1}-2nB_{1}+\frac{2n(2n-1)(2n-2)}{3!}\;\frac{B_{2}}{2}+\frac{2n(2n-1)\dots(2n-4)}{5!}\;\frac{B_{3}}{3},\\ & \hdotsfor1\end{aligned} \] und \(B_{1}, B_{2}, B_{3},\dots\) die Bernoulli'schen Zahlen sind.