关于arctanx的麦克劳林展开式推导

关于arctanx的麦克劳林展开式推导：
先把结论写上：
$$\begin{array}{rlr}arctanx=& x-\frac{1}{3}{x}^3+\frac{1}{5}{x}^5-\cdots +(-1{)}^n\frac{x^{2n+1}}{2n+1}+\cdots & (-1⩽x⩽1)\\ =& \sum _{n=0}^{\infty }(-1{)}^n\frac{x^{2n+1}}{2n+1}& (-1⩽x⩽1)\end{array}$$

关于这个式子，最简洁的证明用到了级数的一些知识；第二种是我自己瞎jb推的，比较繁琐，也不严谨，但是学完了泰勒展开就能推

方法一

思想：先求导然后展开然后积分

摘自教科书！！！！！

求导，再由等比级数展开:
$$\begin{array}{rlr}(arctanx{)}^{\prime }=& \frac{1}{1+x^2}& \\ =& 1-x^2+x^4-\cdots +(-x^2{)}^n+\cdots & (-1<x<1)\\ =& \sum _{n=0}^{\infty }(-x^2{)}^n& (-1<x<1)\end{array}$$
利用幂级数的逐项可积性可得(左右两边积分):
$$\begin{array}{rlr}arctanx=& {\int }_0^x\frac{1}{1+x^2}dx& \\ =& {\int }_0^x[1-x^2+x^4-\cdots +(-x^2{)}^n+\cdots ]dx& (-1<x<1)\\ =& x-\frac{1}{3}{x}^3+\frac{1}{5}{x}^5-\cdots +(-1{)}^n\frac{x^{2n+1}}{2n+1}+\cdots & (-1<x<1)\end{array}$$
或者也可以简便的写成这样:
$$\begin{array}{rlr}arctanx=& {\int }_0^x\frac{1}{1+x^2}dx& \\ =& {\int }_0^x[\sum _{n=0}^{\infty }(-x^2{)}^n]dx& (-1<x<1)\\ =& \sum _{n=0}^{\infty }[{\int }_0^x(-x^2{)}^{n}dx]& (-1<x<1)\\ =& \sum _{n=0}^{\infty }(-1{)}^n\frac{x^{2n+1}}{2n+1}& (-1<x<1)\end{array}$$

由于$x=\pm 1$时，级数$\pm {\sum }_{n=0}^{\infty }(-1{)}^n\frac{1}{2n+1}$为交错级数，由Leibniz判别法易知其收敛。再根据幂级数的连续性定理得到
$$\begin{array}{r}arctanx=\sum _{n=0}^{\infty }(-1{)}^n\frac{x^{2n+1}}{2n+1}(-1⩽x⩽1)\end{array}$$

$arctanx$的展开式可以用来求$\pi$,不过收敛速度很慢，
取$x=1$得到:
$$\begin{array}{r}\frac{\pi }{4}=1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\cdots \end{array}$$




注解：没学过等比级数的可以这样理解
$$\begin{array}{r}\frac{1}{1+x^2}=1-x^2+x^4-\cdots +(-x^2{)}^n+\cdots (-1<x<1)\end{array}$$
由等比数列公式推出：
$q\ne 1$时，
$$\begin{array}{r}1+q+q^2+\cdots +q^{n-1}=\frac{1\ast (1-q^n)}{1-q}\end{array}$$
当$|q|<1$时，
$$\begin{array}{r}\underset{n\to +\infty }{\lim }{q}^n=0\end{array}$$
因此等式两边变为：
$$\begin{array}{r}1+q+q^2+\cdots +q^{n-1}+\cdots =\frac{1}{1-q}(|q|<1)\end{array}$$
然后把$q=(-x^2)$代入即可。

方法二

上一个方法很精辟了，但是我还是写下我初学时的脑洞吧……
思路在于，麦克劳林展开式需要求在0这点的n阶导数，那我们就求呗。注意先算n阶导数的表达式然后把0代入是不行的，不像$e^x,sinx,cosx$那样有规律，所以采用莱布尼茨公式(就是那个和二项式定理长得很像的)找递推关系:
$$\begin{array}{r}y=arctanx\\ y^{\prime }=\frac{1}{1+x^2}\\ (1+x^2)y^{\prime }=1\end{array}$$
两边用莱布尼茨公式求n-1阶导数
注意到$y^{\prime (n-1)}=y^{(n)}$
$$\begin{array}{r}{C}_{n-1}^0(1+x^2)y^{(n)}+C_{n-1}^1(2x)y^{(n-1)}+C_{n-1}^2(2)y^{(n-2)}=0\end{array}$$
$x=0$代入
$$\begin{array}{r}{y}^{(n)}{|}_{x=0}+(n-1)(n-2)y^{(n-2)}{|}_{x=0}=0\end{array}$$
即隔一项有递推关系
因为$y^{(0)}{|}_{x=0}=arctan0=0$,得所有偶数阶导数为0，考虑奇数$n=2k-1,k\in {\mathbb{N}}^{\ast }$
$$\begin{array}{rl}{y}^{(2k-1)}{|}_{x=0}=& -(2k-2)(2k-3)y^{(2k-3)}{|}_{x=0}\\ =& (-1{)}^2(2k-2)(2k-3)(2k-4)(2k-5)y^{(2k-5)}{|}_{x=0}\\ =& \cdots \\ =& (-1{)}^{k-1}(2k-2)(2k-3)\cdots 2\cdot 1\cdot y^{(1)}{|}_{x=0}\\ =& (-1{)}^{k-1}(2k-2)!\end{array}$$
然后代入麦克劳林展开式:
$$\begin{array}{rl}y=& \sum _{n=0}^{\infty }\frac{y^{(n)}{|}_{x=0}}{n!}{x}^n\\ =& \sum _{k=1}^{\infty }\frac{y^{(2k-1)}{|}_{x=0}}{(2k-1)!}{x}^{2k-1}\\ =& \sum _{k=1}^{\infty }\frac{(-1{)}^{k-1}}{2k-1}{x}^{2k-1}\\ =& x-\frac{x^3}{3}+\frac{x^5}{5}-\frac{x^7}{7}+\cdots +(-1{)}^{n-1}\frac{x^{2n-1}}{2n-1}+\cdots \end{array}$$