解法:欧拉利用正弦函数乘积公式给出的证明(1734–1735)
第 2/6 步:sin x / x 的麦克劳林级数 通俗地说除以 x 就像剥去函数唯一显而易见的那一层零点,使剩下的部分能够与由其余零点构造的乘积公平地比较;这个新函数在 x=0 处等于 1,它的幂级数不过是正弦级数把 x 的每个次数都降低了一次。
详细分析把 sinx 已知的幂级数除以 x,可消去 x=0 处的平凡零点,得到一个在该点取值为 1 的函数;它剩下的零点恰好是 x=±π,±2π,±3π,…,即 sinx=0 的非零解。
本步骤中的术语- 麦克劳林级数
- 一个函数在 x=0 附近的幂级数展开,由该点处的各阶导数得到;它使得可以把函数当作关于 x 的“无穷次多项式”来处理。
- 函数的零点
- 函数取值恰好为 0 的点;对 sinx 而言就是 0,±π,±2π,…。
本步骤用到的知识