Let
\[
\tan x = \sum\limits_{n=0}^\infty a_n x^n
\text{ and }
\cot x = \dfrac 1 x +\sum\limits_{n=0}^\infty b_nx^n
\]
for \(0< x < \frac12\pi\,\). Explain why \(a_n=0\) for even \(n\).
Prove the identity
\[
\cot x - \tan x \equiv 2 \cot 2x\,
\]
and show that \[a_{n} = (1-2^{n+1})b_n\,.\]
Let
$ \displaystyle {\rm cosec}\, x
= \frac1x +\sum\limits _{n=0}^\infty c_n x^n\,$ for
\(0< x < \frac12\pi\,\).
By considering \(\cot x + \tan x\), or otherwise, show that
\[
c_n = (2^{-n} -1)b_n
\,.
\]
Show that
\[
\left(1+x{ \sum\limits_{n=0}^\infty} b_n x^n \right)^2 +x^2
= \left(1+x{ \sum\limits_{n=0} ^\infty} c_n x^n \right)^2\,.
\]
Deduce from this and the previous results that \(a_1=1\), and find \(a_3\).
Solution:
Since \(\tan (-x) = -\tan x\), \(\tan\) is an odd function, and in particular all it's even coefficients are zero.
\begin{align*}
&& 2 \cot 2x &\equiv \frac{2 cos 2x}{\sin 2 x} \\
&&&\equiv \frac{2(\cos^2 x- \sin^2 x)}{2 \sin x \cos x} \\
&&&\equiv \frac{\cos x}{\sin x} - \frac{\sin x}{ \cos x} \\
&&&\equiv \cot x - \tan x
\end{align*}
Therefore
\begin{align*}
&& \underbrace{\frac1x + \sum_{n=0}^\infty b_nx^n}_{\cot x} - \underbrace{\sum_{n=0}^\infty a_n x^n}_{\tan x} &= 2 \left (\underbrace{\frac{1}{2x} + \sum_{n=0}^\infty b_n(2x)^n}_{\cot 2x} \right) \\
\Rightarrow && \sum_{n=0}^\infty a_n x^n &= \sum_{n=0}^\infty b_nx^n - 2\sum_{n=0}^\infty b_n(2x)^n \\
&&&= \sum_{n=0}^{\infty}b_n(1-2^{n+1})x^n \\
[x^n]: && a_n &= (1-2^{n+1})b_n
\end{align*}