三角函数 sinx, cosx 的泰勒展开推导及两个巧妙应用

一、推导

  假设函数 $f$ 充分光滑，即 $f$ 在 $x_0$ 点处任意阶导数存在，取一小邻域 $U(x_0)$，则 $\forall x\in U(x_0)$，$f(x)$ 都可以展开为泰勒级数，即
$$f(x)=\sum _{n=0}^{\infty }\frac{f^{(n)}(x_0)}{n!}(x-x_0{)}^n=f(x_0)+f^{\prime }(x_0)(x-x_0)+\frac{f^{\prime \prime }(x_0)}{2!}(x-x_0{)}^2+\cdots$$考虑三角函数 $\sin x,\cos x$ 的任意阶导函数，
$$\begin{array}{rl}{\sin }^{\prime }(x)& =\cos (x)=\sin (x+\frac{\pi }{2})\\ {\sin }^{\prime \prime }(x)& ={\cos }^{\prime }(x)={\sin }^{\prime }(x+\frac{\pi }{2})\\ & =\cos (x+\frac{\pi }{2})=\sin (x+\frac{\pi }{2}+\frac{\pi }{2})\\ & =\sin (x+\pi )\end{array}$$假设 ${\sin }^{(n)}(x)=\sin (x+n\pi /2)$，下面我们用 数学归纳法 来验证一下.

  首先，当 $n=0$ 时，${\sin }^{(0)}(x)=\sin (x)$，结论显然成立.

  其次，假设当 $n=k(k\ge 0)$ 时结论成立，即 ${\sin }^{(k)}(x)=\sin (x+k\pi /2)$.

  考虑 $n=k+1$ 的情形，此时
$$\begin{array}{rl}{\sin }^{(k+1)}(x)& =\frac{d({\sin }^{(k)}(x))}{dx}\\ & =\frac{d(\sin (x+k\pi /2))}{dx}\\ & =\cos (x+k\pi /2)\\ & =\sin (x+k\pi /2+\pi /2)\\ & =\sin (x+(k+1)\pi /2)\end{array}$$  所以，当 $n=k+1$ 时，结论照样成立.

  由归纳法原理，$\forall n\in N,{\sin }^{(n)}(x)=\sin (x+n\pi /2)$.

则 ${\cos }^{(n)}(x)={\sin }^{(n+1)}(x)=\sin (x+n\pi /2+\pi /2)=\cos (x+n\pi /2)$.

  特别地，取 $x=0$，

$$\begin{array}{rl}& {\sin }^{(2k)}(0)=\sin (k\pi )=0\\ & {\sin }^{(2k+1)}(0)=\sin (k\pi +\pi /2)=(-1{)}^k\\ & \\ & {\cos }^{(2k)}(0)=\cos (k\pi )=(-1{)}^k\\ & {\cos }^{(2k+1)}(0)=\cos (k\pi +\pi /2)=0\\ & (k=0,1,2,\cdots )\end{array}$$  取 $x_0=0$ 的某一小邻域，将 $\sin x,\cos x$ 泰勒展开
$$\begin{array}{rl}\sin x& =\sum _{n=0}^{\infty }\frac{{\sin }^{(n)}(0)}{n!}{x}^n\\ & =\sum _{k=0}^{\infty }\frac{{\sin }^{(2k)}(0)}{(2k)!}{x}^{2k}+\sum _{k=0}^{\infty }\frac{{\sin }^{(2k+1)}(0)}{(2k+1)!}{x}^{2k+1}\\ & =\sum _{k=0}^{\infty }\frac{0}{(2k)!}{x}^{2k}+\sum _{k=0}^{\infty }\frac{(-1{)}^k}{(2k+1)!}{x}^{2k+1}\\ & =\sum _{k=0}^{\infty }\frac{(-1{)}^k}{(2k+1)!}{x}^{2k+1}\\ & =x-\frac{1}{3!}{x}^3+\frac{1}{5!}{x}^5-\frac{1}{7!}{x}^7+\cdots \\ & \\ \cos x& =\sum _{n=0}^{\infty }\frac{{\cos }^{(n)}(0)}{n!}{x}^n\\ & =\sum _{k=0}^{\infty }\frac{{\cos }^{(2k)}(0)}{(2k)!}{x}^{2k}+\sum _{k=0}^{\infty }\frac{{\cos }^{(2k+1)}(0)}{(2k+1)!}{x}^{2k+1}\\ & =\sum _{k=0}^{\infty }\frac{(-1{)}^k}{(2k)!}{x}^{2k}+\sum _{k=0}^{\infty }\frac{0}{(2k+1)!}{x}^{2k+1}\\ & =\sum _{k=0}^{\infty }\frac{(-1{)}^k}{(2k)!}{x}^{2k}\\ & =1-\frac{1}{2!}{x}^2+\frac{1}{4!}{x}^4-\frac{1}{6!}{x}^6+\cdots \end{array}$$则
$$\begin{array}{rl}& \sin x=\sum _{k=0}^{\infty }\frac{(-1{)}^k}{(2k+1)!}{x}^{2k+1}=x-\frac{1}{3!}{x}^3+\frac{1}{5!}{x}^5-\frac{1}{7!}{x}^7+\cdots \\ & \cos x=\sum _{k=0}^{\infty }\frac{(-1{)}^k}{(2k)!}{x}^{2k}=1-\frac{1}{2!}{x}^2+\frac{1}{4!}{x}^4-\frac{1}{6!}{x}^6+\cdots \end{array}$$下面打算用这两个式子证些好玩儿的东西.

二、两个妙用

1. 欧拉公式

$$e^{i\theta }=\cos \theta +i\sin \theta$$  首先将 $e^x$ 在 $x_0=0$ 处进行泰勒展开，已知 $(e^x{)}^{\prime }=e^x$，则 $(e^x{)}^{(n)}{|}_{x=0}=e^x{|}_{x=0}=1$，所以
$$e^x=\sum _{n=0}^{\infty }\frac{(e^x{)}^{(n)}{|}_{x=0}}{n!}{x}^n=\sum _{n=0}^{\infty }\frac{1}{n!}{x}^n=1+x+\frac{1}{2!}{x}^2+\frac{1}{3!}{x}^3+\cdots$$将 $x$ 用 $i\theta$ 代替，得
$$\begin{array}{rl}{e}^{i\theta }& =1+i\theta -\frac{1}{2!}{\theta }^2-\frac{i}{3!}{\theta }^3+\frac{1}{4!}{\theta }^4+\frac{i}{5!}{\theta }^5-\frac{1}{6!}{\theta }^6-\frac{i}{7!}{\theta }^7+\cdots \\ & =(1-\frac{1}{2!}{\theta }^2+\frac{1}{4!}{\theta }^4-\frac{1}{6}{\theta }^6+\cdots )+i(\theta -\frac{1}{3!}{\theta }^3+\frac{1}{5!}{\theta }^5-\frac{1}{7!}{\theta }^7+\cdots )\end{array}$$将$$\begin{array}{r}1-\frac{1}{2!}{\theta }^2+\frac{1}{4!}{\theta }^4-\frac{1}{6}{\theta }^6+\cdots =\cos \theta \\ \theta -\frac{1}{3!}{\theta }^3+\frac{1}{5!}{\theta }^5-\frac{1}{7!}{\theta }^7+\cdots =\sin \theta \end{array}$$代入，得
$$e^{i\theta }=\cos \theta +i\sin \theta$$特别地，考虑 $\theta =\pi$ 时，
$$e^{i\pi }+1=0$$这是一个奇妙的公式，同时包含了数学中的 5 个重要的常数：$e,i,\pi ,1,0$.

另外， $e^{i\theta }$ 的模长为1，常用于积分换元. 证明一下:

1. $$\overline{e^{i\theta }}=e^{\overline{i\theta }}=e^{-i\theta }$$$$\therefore |e^{i\theta }{|}^2=e^{i\theta }\cdot \overline{e^{i\theta }}=e^{i\theta -i\theta }=e^0=1$$
2. $$e^{i\theta }=\cos \theta +i\sin \theta$$$$\therefore |e^{i\theta }{|}^2=\cos \theta \cos \theta +\sin \theta \sin \theta =\cos (\theta -\theta )=\cos 0=1$$
   

2. 自然数倒数平方和

$$\sum _{n=1}^{\infty }\frac{1}{n^2}=1+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots =\frac{{\pi }^2}{6}$$  虽然不叫欧拉公式，但这种解法同样是欧拉给出来的，下面让我们欣赏下欧拉的伟大思路.

  考虑函数
$$f(x)=\frac{\sin x}{x}(x\ne 0),\underset{x\to 0}{\lim }f(x)=1$$补充定义 $f(0)=1$.

  因为 $f(x)=\sin x/x$，所以其零点为 $k\pi ,k=\pm 1,\pm 2,\pm 3,\cdots$

  将 $f(x)$ 看作一个多项式，可以通过零点表示，即
$$\begin{array}{rl}f(x)& =c_1(x-\pi )(x+\pi )(x-2\pi )(x+2\pi )(x-3\pi )(x+3\pi )\cdots \\ & =c_1(x^2-{\pi }^2)(x^2-4{\pi }^2)(x^2-9{\pi }^2)\cdots \end{array}$$将
$$\sin x=\sum _{k=0}^{\infty }\frac{(-1{)}^k}{(2k+1)!}{x}^{2k+1}=x-\frac{1}{3!}{x}^3+\frac{1}{5!}{x}^5-\frac{1}{7!}{x}^7+\cdots$$代入 $f(x)=\sin x/x$，得
$$f(x)=1-\frac{1}{3!}{x}^2+\frac{1}{5!}{x}^4-\frac{1}{7!}{x}^6+\cdots$$将这两个式子放在一起
$$1-\frac{1}{3!}{x}^2+\frac{1}{5!}{x}^4-\frac{1}{7!}{x}^6+\cdots =c_1(x^2-{\pi }^2)(x^2-4{\pi }^2)(x^2-9{\pi }^2)\cdots$$由两端常数项相等，得
$$\begin{gathered} 1=c_1(-{\pi }^2)(-4{\pi }^2)(-9{\pi }^2)\cdots \\ {c}_1=\frac{1}{(-{\pi }^2)(-4{\pi }^2)(-9{\pi }^2)\cdots } \end{gathered}$$代入原式，得
$$1-\frac{1}{3!}{x}^2+\frac{1}{5!}{x}^4-\frac{1}{7!}{x}^6+\cdots =(1-\frac{x^2}{{\pi }^2})(1-\frac{x^2}{4{\pi }^2})(1-\frac{x^2}{9{\pi }^2})\cdots$$
  考虑两端 $x^2$ 的系数，有人可能会问右端 $x^2$ 的系数是怎么求出来的？没错，我也想问.

  我的理解是这样的：利用组合的思想，右端的 $x^2$ 项只能这样得出：第 $k$ 个括号里的 $-\frac{x^2}{k^2{\pi }^2}$ 与其他括号中的 $1$ 相乘，然后将这无穷多项相加.

  所以右端 $x^2$ 的系数为
$$-\frac{1}{{\pi }^2}-\frac{1}{4{\pi }^2}-\frac{1}{9{\pi }^2}-\cdots =-\frac{1}{{\pi }^2}\sum _{n=1}^{\infty }\frac{1}{n^2}$$而左端 $x^2$ 的系数为 $-\frac{1}{3!}$，所以
$$\begin{array}{rl}-\frac{1}{3!}& =-\frac{1}{{\pi }^2}\sum _{n=1}^{\infty }\frac{1}{n^2}\\ \frac{{\pi }^2}{6}& =\sum _{n=1}^{\infty }\frac{1}{n^2}=1+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots \end{array}$$Okay, 证明完毕 ！

如有纰漏，还请指正！