麦克劳林级数系数推导疑问：为何二阶项的1/2系数消失？

嘿，这个细节抓得太到位了！咱们先揪出错误的根源，再把推导一步步掰正过来～

错误核心：洛必达法则应用时的分母求导失误 #

你提到的引入$f'(x)$的步骤本身没问题，但在对分母求导时犯了一个小疏漏——直接把$x^2$的导数当成了$x$，而正确的导数应该是$2x$，这就是麦克劳林级数里的$\frac{1}{2}$凭空消失的原因！

咱们复盘一下错误的推导逻辑：

$$c_2=\lim_{x\to0}(\frac{f(x)-f(0)-f'(0)x}{x^2})=\lim_{x\to0}(\frac{f'(x) }{x}-\frac{f'(0)}x)=f''(0)$$
这里的第二步漏了分母求导的系数2，正确的洛必达应用应该是对分子分母同时求导，分母$x^2$求导后是$2x$，而非$x$。

正确的推导过程 #

方法1：严格应用洛必达法则 #

已知当$x\to0$时，$f(x)=c_0+c_1x+c_2x^2+o(x3)$，且已证得$c_0=f(0)$、$c_1=f'(0)$，现在推导$c_2$：

1. 先写出$c_2$的极限定义：
   $$c_2=\lim_{x\to0}\frac{f(x)-f(0)-f'(0)x}{x^2}$$
2. 由于分子分母在$x\to0$时都趋近于0（满足洛必达法则的$\frac{0}{0}$型条件），对分子分母分别求导：
   • 分子求导：$\frac{d}{dx}[f(x)-f(0)-f'(0)x] = f'(x) - f'(0)$
   • 分母求导：$\frac{d}{dx}[x^2] = 2x$
3. 代入后极限变为：
   $$c_2=\lim_{x\to0}\frac{f'(x)-f'(0)}{2x}$$
4. 根据二阶导数的定义，$\lim_{x\to0}\frac{f'(x)-f'(0)}{x}=f''(0)$，因此：
   $$c_2=\frac{1}{2}f''(0)$$
   这样就和麦克劳林级数的系数完全一致了。

方法2：直接对比泰勒展开式 #

$f(x)$的二阶麦克劳林级数展开式为：
$$f(x)=f(0)+f'(0)x+\frac{1}{2}f''(0)x^2+o(x2)$$
题目中给出的展开式是$f(x)=c_0+c_1x+c_2x^2+o(x3)$，由于$o(x^3)$是比$x2$高阶的无穷小（即$o(x^3)\subset o(x^2)$），两个展开式的对应项系数必须相等，直接可得$c_2=\frac{1}{2}f''(0)$。

额外提醒：洛必达法则的应用条件 #

这里能应用洛必达法则的前提是：$f(x)$在$x=0$的邻域内一阶可导，且在$x=0$处二阶可导——这保证了$f'(x)$在$x=0$附近连续，满足洛必达法则的使用要求。

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