Challenging +1.8 This is a substantial Further Maths question requiring multiple techniques: proving hyperbolic identities from definitions, deriving a reduction formula, evaluating definite integrals with hyperbolic functions, applying method of differences, and deducing an infinite series sum. While each individual step is methodical, the multi-part structure, combination of proof and calculation, and the final series summation requiring careful algebraic manipulation place this well above average difficulty but within reach of strong Further Maths students.
\(\frac { \mathrm { d } } { \mathrm { d } \theta } ( \tanh \theta ) = \operatorname { sech } ^ { 2 } \theta\).
Let \(I _ { n } = \int _ { 0 } ^ { \alpha } \tanh ^ { 2 n } \theta \mathrm {~d} \theta\) for \(n \geqslant 0\), where \(\alpha > 0\).
(a) Show that \(I _ { n - 1 } - I _ { n } = \frac { \tanh ^ { 2 n - 1 } \alpha } { 2 n - 1 }\) for \(n \geqslant 1\).
Given that \(\alpha = \frac { 1 } { 2 } \ln 3\),
(b) evaluate \(I _ { 0 }\),
use the method of differences to show that \(I _ { n } = \frac { 1 } { 2 } \ln 3 - \sum _ { r = 1 } ^ { n } \frac { \left( \frac { 1 } { 2 } \right) ^ { 2 r - 1 } } { 2 r - 1 }\) and deduce the sum of the infinite series \(\sum _ { r = 0 } ^ { \infty } \frac { 1 } { ( 2 r + 1 ) 4 ^ { r } }\).