求助：利用正弦级数定义求lim(x→0) [sin(1/x)/(1/x)]的极限证明

嘿，我来帮你理清楚这里的问题～首先你在正弦函数的级数展开上犯了个小错误，这才导致了后续的困惑。

第一步：纠正正弦函数的级数展开错误 #

首先回忆一下正弦函数的泰勒级数：
$$\sin(z) = \sum_{n=0}^{\infty} (-1)^n \frac{z^{2n+1}}{(2n+1)!}$$
当我们计算$\frac{\sin(z)}{z}$时，会得到：
$$\frac{\sin(z)}{z} = \sum_{n=0}^{\infty} (-1)^n \frac{z^{2n}}{(2n+1)!} = 1 - \frac{z^2}{3!} + \frac{z^4}{5!} - \frac{z^6}{7!} + \dots$$
当你把$z = \frac{1}{x}$代入时，正确的表达式应该是：
$$\frac{\sin(\frac{1}{x})}{\frac{1}{x}} = 1 - \frac{1}{3! x^2} + \frac{1}{5! x^4} - \frac{1}{7! x^6} + \sum_{n=3}^{\infty} (-1)^n \frac{1}{(2n+1)! x^{2n}}$$
你之前的展开式漏掉了每一项分母的阶乘$(2n+1)!$，这是关键的错误点。

第二步：原极限的正确推导 #

你通过换元法得到原极限为0的结论是对的：
令$y = \frac{1}{x}$，当$x\to0$时，$y\to\infty$，原极限转化为：
$$\lim_{y\to\infty}\frac{\sin y}{y}$$
由于$\sin y$的值始终在$[-1,1]$之间有界，而分母$y$趋向无穷大，根据“有界函数除以无穷大的极限为0”，这个极限确实是0。

第三步：澄清关于级数极限的误解 #

你之前错误地认为“由此推知上述级数的极限应为1”，这是错误展开式导致的误导：
对于正确的展开式来说，当$x\neq0$时，这个交错级数是收敛的，它的和正好等于$\frac{\sin(\frac{1}{x})}{\frac{1}{x}}$。但当$x\to0$时，虽然级数里除首项1外的每一项绝对值都趋向无穷大，但它们是交错符号的，最终整个级数的和会随着$\sin(\frac{1}{x})$振荡，再结合$\frac{1}{x}$的缩放（也就是乘以$x$），整体才趋向0。

这里不能单独把级数部分拎出来说它的极限是1——当$x\to0$时，去掉首项1后的级数部分并不是趋向某个固定值，而是在正负无穷之间振荡，只是和首项1叠加后，再被$x$缩放才最终收敛到0。

总结一下，核心问题是你在正弦级数展开时漏掉了阶乘项，修正这个错误后，就能理解为什么原极限是0，同时也不会产生“级数极限为1”的困惑啦～

内容的提问来源于stack exchange，提问作者phw.