Sum of Reciprocals of Even Powers of Integers Alternating in Sign
Jump to navigation
Jump to search
Theorem
Let $n \in \Z_{> 0}$ be a (strictly) positive integer.
\(\ds \sum_{j \mathop = 1}^\infty \paren {-1}^{j + 1} \frac 1 {j^{2 n} }\) | \(=\) | \(\ds \dfrac 1 {1^{2 n} } - \dfrac 1 {2^{2 n} } + \dfrac 1 {3^{2 n} } - \dfrac 1 {4^{2 n} } + \cdots\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {B_{2 n} \paren {2^{2 n - 1} - 1} \pi^{2 n} } {\paren {2 n}!}\) |
where $B_{2 n}$ is the $2 n$th Bernoulli number.
Corollary
Let $n \in \Z_{> 0}$ be a (strictly) positive integer.
\(\ds B_{2 n}\) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {\paren {2 n}!} {\paren {2^{2 n - 1} - 1} \pi^{2 n} } \sum_{j \mathop = 1}^\infty \paren {-1}^{j + 1} \frac 1 {j^{2 n} }\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {\paren {2 n}!} {\paren {2^{2 n - 1} - 1} \pi^{2 n} } \paren {1 - \dfrac 1 {2^{2 n} } + \dfrac 1 {3^{2 n} } - \dfrac 1 {4^{2 n} } + \cdots}\) |
Proof
\(\ds \sum_{j \mathop = 1}^\infty \paren {-1}^{j + 1} \frac 1 {j^{2 n} }\) | \(=\) | \(\ds \sum_{j \mathop = 1}^\infty \frac 1 {\paren {2 j - 1}^{2 n} } - \sum_{j \mathop = 1}^\infty \frac 1 {\paren {2 j}^{2 n} }\) | separating odd positive terms from even negative terms | |||||||||||
\(\ds \) | \(=\) | \(\ds \sum_{j \mathop = 1}^\infty \frac 1 {\paren {2 j - 1}^{2 n} } - \frac 1 {2^{2 n} } \sum_{j \mathop = 1}^\infty \frac 1 {j^{2 n} }\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {B_{2 n} \paren {2^{2 n} - 1} \pi^{2 n} } {2 \paren {2 n}!} - \frac 1 {2^{2 n} } \sum_{j \mathop = 1}^\infty \frac 1 {j^{2 n} }\) | Sum of Reciprocals of Even Powers of Odd Integers | |||||||||||
\(\ds \) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {B_{2 n} \paren {2^{2 n} - 1} \pi^{2 n} } {2 \paren {2 n}!} - \frac 1 {2^{2 n} } \paren {-1}^{n + 1} \dfrac {B_{2 n} 2^{2 n - 1} \pi^{2 n} } {\paren {2 n}!}\) | Riemann Zeta Function at Even Integers | |||||||||||
\(\ds \) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {2^{2 n - 1} B_{2 n} \paren {2^{2 n} - 1} \pi^{2 n} - B_{2 n} 2^{2 n - 1} \pi^{2 n} } {2^{2 n} \paren {2 n}!}\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {B_{2 n} 2^{2 n - 1} \paren {2^{2 n} - 2} \pi^{2 n} } {2^{2 n} \paren {2 n}!}\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \paren {-1}^{n + 1} \dfrac {B_{2 n} \paren {2^{2 n - 1} - 1} \pi^{2 n} } {\paren {2 n}!}\) |
$\blacksquare$
Also see
- Sum of Reciprocals of Squares Alternating in Sign
- Sum of Reciprocals of Fourth Powers Alternating in Sign
- Sum of Reciprocals of Sixth Powers Alternating in Sign
Sources
- 1968: Murray R. Spiegel: Mathematical Handbook of Formulas and Tables ... (previous) ... (next): $\S 19$: Series involving Reciprocals of Powers of Positive Integers: $19.37$