关于Lang《多元微积分》pp.64-65中论证的疑问

嘿，我完全懂你这种困惑——Lang这本《多元微积分》里的这段推导确实有点“跳步”，容易让人卡壳，你的质疑其实非常合理！

关于$h$替换为$-h$的疑问 #

你说得没错，从严格的变量替换逻辑来看，当把原式中的$h$替换为$-h$时，$f(x+h)$确实应该对应替换成$f(x-h)$。作者这里的写法省略了关键的中间步骤，才导致你觉得逻辑不通：

• 假设我们原本的极限是$\lim_{h\to0}\frac{f(x+h)-f(x)}{h}$（函数在$x$处的导数定义），当用$-h$替换$h$后，由于$h\to0$等价于$-h\to0$，极限会转化为$\lim_{-h\to0}\frac{f(x - h)-f(x)}{-h}$。
• 这个新极限和原极限是相等的：分子分母同时取负号，$\frac{f(x - h)-f(x)}{-h} = \frac{f(x)-f(x - h)}{h}$，而根据导数的定义，这个式子的极限和原导数极限是一致的。

作者可能觉得这个转化是“显然”的，所以直接跳过了细节，但这种省略确实会让读者卡壳——你的疑问完全是对的，这就是作者不够严谨的地方。

关于逆命题部分的推导 #

你提到的逆命题推导，作者假设“存在这样的$f$”，其实是在探讨对称差商极限存在能否推出函数可导的问题：

• 首先要明确：这个逆命题本身是不成立的。比如经典的例子$f(x)=|x|$在$x=0$处，对称差商$\lim_{h\to0}\frac{f(0+h)-f(0-h)}{2h} = \lim_{h\to0}\frac{|h|-|-h|}{2h}=0$，但$f(x)$在$x=0$处并不可导。
• 作者后续的推导应该是在补充条件的前提下进行的（比如假设函数在$x$处连续），或者只是在展示“如果我们先假设这个对称差商极限存在，能推导得到什么结论”的思路，但同样因为省略了前提条件，显得不够清晰。

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