MathLabs

解法:欧拉利用正弦函数乘积公式给出的证明(1734–1735)

第 2/6 步:sin x / x 的麦克劳林级数
通俗地说

除以 xx 就像剥去函数唯一显而易见的那一层零点,使剩下的部分能够与由其余零点构造的乘积公平地比较;这个新函数在 x=0x=0 处等于 11,它的幂级数不过是正弦级数把 xx 的每个次数都降低了一次。

sin⁡xx=1−x23!+x45!−x67!+⋯\frac{\sin x}{x}=1-\frac{x^2}{3!}+\frac{x^4}{5!}-\frac{x^6}{7!}+\cdots
详细分析

把 sin⁡x\sin x 已知的幂级数除以 xx,可消去 x=0x=0 处的平凡零点,得到一个在该点取值为 11 的函数;它剩下的零点恰好是 x=±π,±2π,±3π,…x=\pm\pi,\pm2\pi,\pm3\pi,\dots,即 sin⁡x=0\sin x=0 的非零解。

本步骤中的术语
麦克劳林级数
一个函数在 x=0x=0 附近的幂级数展开,由该点处的各阶导数得到;它使得可以把函数当作关于 xx 的“无穷次多项式”来处理。
函数的零点
函数取值恰好为 00 的点;对 sin⁡x\sin x 而言就是 0,±π,±2π,…0,\pm\pi,\pm2\pi,\dots。
本步骤用到的知识