# Sum of Sequence of Reciprocals of 3 n + 1 Alternating in Sign

## Theorem

 $\displaystyle \sum_{n \mathop = 0}^\infty \paren {-1}^n \frac 1 {3 n + 1}$ $=$ $\displaystyle 1 - \frac 1 4 + \frac 1 7 - \frac 1 {10} + \frac 1 {13} - \cdots$ $\displaystyle$ $=$ $\displaystyle \dfrac {\pi \sqrt 3} 9 + \dfrac {\ln 2} 3$

## Proof

 $\displaystyle \sum_{n \mathop = 0}^\infty \paren {-1}^n \frac 1 {3 n + 1}$ $=$ $\displaystyle \sum_{n \mathop = 0}^\infty \paren {-1}^n \int_0^1 x^{3 n} \rd x$ Primitive of Power $\displaystyle$ $=$ $\displaystyle \int_0^1 \paren {\sum_{n \mathop = 0}^\infty \paren {-x^3}^n} \rd x$ Fubini's Theorem $\displaystyle$ $=$ $\displaystyle \int_0^1 \frac 1 {1 + x^3} \rd x$ Sum of Infinite Geometric Progression $\displaystyle$ $=$ $\displaystyle \intlimits {\frac 1 6 \ln \size {\frac {\paren {x + 1}^2} {x^2 - x + 1} } + \frac 1 {\sqrt 3} \map \arctan {\frac {2 x - 1} {\sqrt 3} } } 0 1$ Primitive of $\dfrac 1 {x^3 + a^3}$ $\displaystyle$ $=$ $\displaystyle \frac 1 6 \ln 4 + \frac 1 {\sqrt 3} \map \arctan {\frac 1 {\sqrt 3} } - \frac 1 6 \ln 1 - \frac 1 {\sqrt 3} \map \arctan {-\frac 1 {\sqrt 3} }$ $\displaystyle$ $=$ $\displaystyle \frac 1 3 \ln 2 + \frac 2 {\sqrt 3} \map \arctan {\frac 1 {\sqrt 3} }$ Logarithm of Power, Arctangent Function is Odd, Natural Logarithm of 1 is 0 $\displaystyle$ $=$ $\displaystyle \frac 1 3 \ln 2 + \frac 2 {\sqrt 3} \times \frac \pi 6$ Arctangent of $\dfrac {\sqrt 3} 3$ $\displaystyle$ $=$ $\displaystyle \frac {\pi \sqrt 3} 9 + \frac {\ln 2} 3$

$\blacksquare$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}