ARTICLE DETAIL

资讯详情

深耕网站建设与运营推广的一线实战洞察。

导数的本质是最佳线性逼近,不是斜率

导数的本质是最佳线性逼近,不是斜率 1. 为什么“导数”这个词从高中到研究生阶段始终是数学学习里最常被误解的概念我带过三届大学数学助教也给高中生做过一对一辅导。每次讲到导数总有人举手问“老师导数到底是不是‘瞬时变化率’”——这个问题本身就很说明问题它不是在问定义而是在问“我背下来的定义到底对应着什么真实的东西”。更常见的是学生能熟练求出 $ f(x) x^3 2x $ 的导数 $ f(x) 3x^2 2 $但当题目变成“判断函数 $ f(x) |x| $ 在 $ x 0 $ 处是否可导”立刻卡壳。不是不会算而是根本没建立起“可导”这件事和图像、运动、物理量之间的直觉联系。这背后藏着一个被教科书长期弱化的事实导数从来就不是一个孤立的代数运算结果而是一个关于“局部逼近能力”的严格判定标准。它回答的不是“这个函数的导数是多少”而是“这个函数在某一点附近能不能被一条直线足够好地代替”——这个“足够好”就是极限定义中那个 $ \varepsilon\text{-}\delta $ 的精密控制这个“直线”就是切线也是所有微分方程建模、数值计算、机器学习梯度下降的起点。左右导数就是把这个判定拆成两个方向来分别验证高阶导数则是追问如果一阶导数存在那它的变化率又如何它的变化率的变化率呢这种层层递进的“光滑性”追问直接决定了泰勒展开能否成立、物理系统能否用二阶微分方程描述、甚至神经网络的损失曲面是否容易优化。所以这篇内容不打算再罗列一遍教科书定义。我会带你回到函数图像上用一支铅笔、一把直尺、一张坐标纸亲手“感受”导数的诞生过程。你会看到为什么 $ y |x| $ 在原点“折断”左右导数不相等为什么 $ y x^{2/3} $ 在原点“竖起来”导数不存在为什么 $ y e^{-1/x^2} $当 $ x \neq 0 $且 $ f(0)0 $ 这个看似平滑的函数所有阶导数在零点都为零却不是解析函数——这些不是习题集里的刁钻题目而是理解现代数学建模、信号处理、甚至AI训练稳定性的底层逻辑入口。如果你正在学微积分、准备考研数学、或者需要扎实的数学工具支撑工程实践那么接下来的内容就是帮你把那些抽象符号真正“握在手里”的过程。2. 导数的本质不是斜率而是“最佳线性逼近”的唯一标尺很多人把导数等同于“切线斜率”这没错但太浅了。斜率只是一个几何结果而导数是一个分析过程的终点。我们先抛开公式用一个具体例子来重建这个概念。假设你站在 $ x 1 $ 处观察函数 $ f(x) x^2 $。你想知道它在这一点“变化得有多快”。最朴素的做法是看它在 $ x 1 $ 和 $ x 1.1 $ 之间的平均变化率$ \frac{f(1.1) - f(1)}{1.1 - 1} \frac{1.21 - 1}{0.1} 2.1 $。再缩小区间看 $ x 1 $ 到 $ x 1.01 $$ \frac{1.0201 - 1}{0.01} 2.01 $。继续缩到 $ 0.001 $结果是 $ 2.001 $。你发现这个比值越来越靠近 $ 2 $。这个“越来越靠近”的过程就是极限。但关键在于这个极限值 $ 2 $之所以重要是因为它定义了一条直线 $ L(x) f(1) 2(x-1) 1 2(x-1) 2x -1 $这条直线在 $ x 1 $ 附近比任何其他直线都更贴近 $ f(x) x^2 $ 的图像。我们来量化这个“更贴近”。定义误差函数 $ E(x) f(x) - L(x) x^2 - (2x - 1) (x-1)^2 $。注意这个误差是 $ (x-1)^2 $也就是 $ \Delta x $ 的平方。这意味着当你把 $ x $ 从 $ 1 $ 移动 $ 0.1 $ 单位时误差只有 $ 0.01 $移动 $ 0.01 $ 单位误差只有 $ 0.0001 $。误差衰减的速度远快于 $ \Delta x $ 本身。这就是“最佳线性逼近”的核心如果存在一个数 $ A $使得 $ f(x) f(a) A(x-a) o(|x-a|) $即误差是比 $ |x-a| $ 更高阶的无穷小那么这个 $ A $ 就是 $ f $ 在 $ a $ 处的导数。这里的 $ o(|x-a|) $ 是数学上对“比 $ |x-a| $ 小得多”的严格表述。现在对比一下如果选错 $ A $ 会发生什么。假如你错误地认为斜率是 $ 2.1 $那么逼近直线就是 $ L_{\text{wrong}}(x) 1 2.1(x-1) $误差 $ E_{\text{wrong}}(x) x^2 - [1 2.1(x-1)] -0.1(x-1) (x-1)^2 $。当 $ x $ 非常接近 $ 1 $ 时比如 $ x 1.001 $$ (x-1)^2 10^{-6} $ 可以忽略但 $ -0.1(x-1) -10^{-4} $ 却占主导。这个误差是 $ |x-a| $ 的常数倍而不是更高阶。它无法被“消除”只会随着区间缩小而线性减小永远达不到“最佳”效果。提示导数存在的充要条件就是函数在该点存在一个线性函数即形如 $ f(a) A(x-a) $ 的函数使得函数值与该线性函数值之差相对于自变量增量来说是“高阶无穷小”。这个定义比“极限存在”更本质它直接指向了微积分的核心思想——用简单对象直线去逼近复杂对象曲线并衡量这种逼近的精度。这个思想贯穿整个微积分。例如在牛顿第二定律 $ F ma $ 中“加速度 $ a $” 就是位移 $ s(t) $ 对时间 $ t $ 的二阶导数。它之所以能精确描述力正是因为 $ s(t) $ 在任意时刻 $ t_0 $ 附近都能被一个二次多项式 $ s(t_0) s(t_0)(t-t_0) \frac{1}{2}s(t_0)(t-t_0)^2 $ 极其精确地逼近而 $ s(t_0) $ 就是那个决定物体如何响应外力的“瞬时弯曲程度”。再来看一个反例$ f(x) |x| $。在 $ x 0 $ 处左邻域的割线斜率恒为 $ -1 $右邻域恒为 $ 1 $。无论你如何缩小区间只要跨过零点割线斜率就在 $ -1 $ 和 $ 1 $ 之间跳跃无法稳定到一个单一数值。因此不存在一个单一的 $ A $ 能让误差成为 $ o(|x|) $。你可以强行画一条直线比如 $ y 0 $但它在左侧误差是 $ |x| $右侧也是 $ |x| $误差与 $ |x| $ 同阶不符合“最佳逼近”的要求。这就是为什么尖点不可导——它拒绝被任何一条直线“温柔地贴合”。3. 左右导数不是技术细节而是函数“方向敏感性”的显微镜左右导数常被当作求导过程中的一个“过渡步骤”一个为了判断可导性而必须完成的“手续”。但它的价值远不止于此。它是一把显微镜让我们能看清函数在一点处的“方向敏感性”——函数对从左边靠近和从右边靠近是否给出了完全不同的“反应”。我们依然从图像出发。取函数 $ f(x) \sqrt[3]{x} x^{1/3} $。它的图像是一个穿过原点、向两侧无限延伸的“S”形曲线在原点处非常“平缓”。计算其在 $ x 0 $ 处的右导数 $$ f(0) \lim{h \to 0^} \frac{f(0h) - f(0)}{h} \lim_{h \to 0^} \frac{h^{1/3}}{h} \lim_{h \to 0^} h^{-2/3} \infty $$ 左导数同理因为 $ (-h)^{1/3} -h^{1/3} $所以 $$ f-(0) \lim{h \to 0^} \frac{f(0-h) - f(0)}{-h} \lim_{h \to 0^} \frac{-h^{1/3}}{-h} \lim_{h \to 0^} h^{-2/3} \infty $$ 左右导数都“等于”正无穷。这意味着什么它意味着无论从左还是从右趋近原点函数图像的“陡峭程度”都趋向于无限大即切线是垂直的。这与 $ f(x) |x| $ 形成鲜明对比后者左右导数分别是 $ -1 $ 和 $ 1 $是两个有限但不相等的数图像在此处有一个确定的“夹角”。而 $ x^{1/3} $ 在原点处没有夹角只有一条垂直的“切线”只是这条切线的斜率无法用一个实数表示。再看一个更微妙的例子$ f(x) x \sin\left(\frac{1}{x}\right) $定义 $ f(0) 0 $。这是一个经典的振荡函数在 $ x 0 $ 附近无限次地上下震荡振幅随 $ x $ 趋近于零而衰减。计算其在零点的导数 $$ f(0) \lim_{h \to 0} \frac{h \sin(1/h) - 0}{h} \lim_{h \to 0} \sin(1/h) $$ 这个极限不存在因为 $ \sin(1/h) $ 在 $ h \to 0 $ 时在 $ [-1, 1] $ 之间无限震荡。但有趣的是左右导数也不存在因为左右极限同样是震荡的。然而如果我们修改一下定义 $ g(x) x^2 \sin(1/x) $$ g(0) 0 $那么 $$ g(0) \lim_{h \to 0} \frac{h^2 \sin(1/h)}{h} \lim_{h \to 0} h \sin(1/h) 0 $$ 因为 $ |h \sin(1/h)| \leq |h| \to 0 $。这里左右导数都存在且等于 $ 0 $函数在原点是光滑的尽管它的图像在原点附近依然剧烈震荡。这说明左右导数的存在与否直接反映了函数在该点的“振荡强度”是否被自变量的幂次所压制。注意左右导数相等是函数在该点可导的充要条件。但左右导数都存在并不保证函数在该点连续。例如定义分段函数 $$ f(x) \begin{cases} 1, x 0 \ 0, x \leq 0 \end{cases} $$ 它在 $ x 0 $ 处的右导数是 $ 0 $因为右侧是常函数左导数也不存在因为左侧是常函数但 $ f(0) $ 的定义导致左邻域的差商为 $ \frac{0-0}{h} 0 $所以左导数也是 $ 0 $等等这里需要修正实际上对于 $ x 0 $$ f(x) 0 $所以 $ f(0) 0 $左差商 $ \frac{f(0h)-f(0)}{h} \frac{0-0}{h} 0 $极限为 $ 0 $右差商 $ \frac{f(0h)-f(0)}{h} \frac{1-0}{h} \frac{1}{h} \to \infty $。所以右导数不存在。一个更清晰的反例是$ f(x) \begin{cases} x, x \neq 0 \ 1, x 0 \end{cases} $。此时左右导数都存在且为 $ 1 $但函数在 $ 0 $ 处不连续因此不可导。这再次印证可导必连续但左右导数存在不蕴含连续。在工程实践中左右导数的区分至关重要。例如在电路分析中一个理想开关在闭合瞬间电流可能从 $ 0 $ 突变为某个值电压则可能产生一个尖峰。描述这种瞬态行为的模型就必须分别考虑开关闭合前左极限和闭合后右极限的导数它们往往完全不同。忽略这一点用一个统一的导数去建模会导致仿真结果严重失真。4. 高阶导数从“变化率”到“变化率的变化率”一场关于光滑性的深度探查如果说一阶导数告诉我们函数“变化得有多快”那么二阶导数就告诉我们这个“快慢”本身是在加速还是在减速。它揭示的是函数图像的“弯曲方向”和“弯曲程度”。三阶导数则进一步刻画这种弯曲是如何“扭曲”的。这个层层递进的过程本质上是对函数“光滑性”的一次深度探查。我们从最直观的物理例子切入自由落体。位移 $ s(t) \frac{1}{2}gt^2 $。一阶导数 $ v(t) s(t) gt $ 是速度描述位置随时间的变化二阶导数 $ a(t) s(t) g $ 是加速度描述速度随时间的变化。这里加速度是常数意味着速度是线性增长的位移是二次增长的。如果加速度本身也在变化比如汽车启动时油门逐渐踩下那么就需要三阶导数——“急动度”Jerk它描述加速度的变化率。乘客感受到的“顿挫感”正是急动度的直接体现。一个急动度很大的启动过程即使加速度最终达标也会让人感到不适。这说明高阶导数并非纯数学游戏而是刻画真实世界动态行为不可或缺的维度。数学上高阶导数的定义是递归的$ f(x) (f(x)) $即对一阶导函数再求导。但这带来一个关键问题$ f(x) $ 的存在不仅要求 $ f(x) $ 存在还要求 $ f(x) $ 本身在 $ x $ 处是可导的。这意味着函数在该点不仅要“有切线”其切线的斜率还要能“平滑地变化”。一个经典反例是 $ f(x) x^2 \sin(1/x) $$ f(0) 0 $。我们已知 $ f(0) 0 $且对于 $ x \neq 0 $ $$ f(x) 2x \sin(1/x) - \cos(1/x) $$ 现在看 $ f(0) $ $$ f(0) \lim_{h \to 0} \frac{f(h) - f(0)}{h} \lim_{h \to 0} \frac{2h \sin(1/h) - \cos(1/h) - 0}{h} \lim_{h \to 0} \left(2 \sin(1/h) - \frac{\cos(1/h)}{h}\right) $$ 第一项 $ 2 \sin(1/h) $ 在 $ [-2, 2] $ 振荡第二项 $ \frac{\cos(1/h)}{h} $ 的绝对值趋向于无穷大因为分子有界分母趋于零。因此这个极限不存在$ f(0) $ 不存在。尽管 $ f $ 在 $ 0 $ 处一阶可导但其导函数 $ f(x) $ 在 $ 0 $ 处不连续因为 $ \cos(1/x) $ 项导致震荡更谈不上可导。这就像一条曲线虽然在某点有切线但这条切线的方向在该点附近剧烈抖动无法定义一个稳定的“弯曲率”。另一个深刻例子是所谓的“平坦函数”$ f(x) \begin{cases} e^{-1/x^2}, x \neq 0 \ 0, x 0 \end{cases} $。这个函数在 $ x 0 $ 处无限次可导且所有阶导数都为零$ f^{(n)}(0) 0 $ 对所有 $ n $ 成立。它的图像在原点附近“压得极平”比任何多项式都更平。然而它的泰勒级数在 $ 0 $ 处恒为零即 $ \sum_{n0}^\infty \frac{f^{(n)}(0)}{n!}x^n 0 $但这显然不等于原函数因为当 $ x \neq 0 $ 时$ f(x) 0 $。这揭示了一个深刻的结论无穷次可导$ C^\infty $并不等价于解析Analytic。解析函数要求其泰勒级数在其收敛域内恒等于函数本身而 $ e^{-1/x^2} $ 是一个典型的 $ C^\infty $ 但非解析的函数。它在原点处的“光滑性”达到了极致却无法用幂级数局部还原。这在偏微分方程理论中至关重要因为解的解析性往往决定了其唯一性和稳定性。在实际应用中高阶导数的计算和存在性直接影响着数值方法的精度。例如使用中心差分公式近似二阶导数 $$ f(x) \approx \frac{f(xh) - 2f(x) f(x-h)}{h^2} $$ 这个公式的截断误差是 $ O(h^2) $前提是 $ f $ 在 $ x $ 处四阶可导。如果 $ f $ 的三阶导数在 $ x $ 处不连续这个误差估计就会失效导致数值结果剧烈震荡。因此在进行科学计算前评估目标函数的高阶可导性是保证算法鲁棒性的前提。5. 实战判别法一张表搞定常见函数在关键点的可导性与高阶导数存在性理论终需落地。下面这张表是我多年教学和工程实践中总结出的“可导性速查手册”。它覆盖了从初等函数到分段函数、含绝对值函数、含根号函数等最常考、最易错的类型。表中每一行都对应一个具体的判别逻辑而非死记硬背的结果。函数形式关键点一阶可导性判别要点高阶导数存在性提示典型反例与原因含绝对值$ f(x) g(x)$$ g(x_0) 0 $检查 $ g(x_0) $ 是否为零。若 $ g(x_0) \neq 0 $则左右导数分别为 $ \pm g(x_0) $不等故不可导。若 $ g(x_0) 0 $需进一步分析可能可导。含偶次根号$ f(x) \sqrt[2n]{g(x)} $$ g(x_0) 0 $若 $ g(x_0) \neq 0 $则函数在 $ x_0 $ 处行为类似 $x^{1/(2n)} $导数趋向无穷不可导。若 $ g(x_0) 0 $需看 $ g $ 的零点重数。含奇次根号$ f(x) \sqrt[2n1]{g(x)} $$ g(x_0) 0 $若 $ g(x_0) \neq 0 $则函数在 $ x_0 $ 处行为类似 $ x^{1/(2n1)} $左右导数均为 $ \infty $ 或 $ -\infty $但符号相同故导数为无穷广义可导。一阶导数为无穷高阶导数必然不存在无穷大无法再求导。$ f(x) \sqrt[3]{x} $ 在 $ 0 $ 处左右导数均为 $ \infty $图像有垂直切线。分段函数$ f(x) \begin{cases} g(x), x a \ h(x), x \geq a \end{cases} $$ x a $三步走① 检查连续性$ \lim_{x \to a^-} g(x) \lim_{x \to a^} h(x) f(a) $② 计算左导数 $ g(a) $ 和右导数 $ h(a) $③ 比较二者是否相等。缺一不可。若一阶可导二阶可导需检查 $ g(a) $ 和 $ h(a) $ 是否相等以此类推。$ f(x) \begin{cases} x^2, x 0 \ x, x \geq 0 \end{cases} $ 在 $ 0 $ 处连续$ 00 $左导 $ 0 $右导 $ 1 $不等不可导。振荡型$ f(x) x^k \sin(1/x) $ 或 $ \cos(1/x) $$ x 0 $关键看幂次 $ k $。若 $ k 1 $则 $ f(0) 0 $若 $ k 1 $则 $ f(0) $ 不存在极限震荡若 $ k 1 $则 $ f(0) $ 不存在极限发散。即使 $ k $ 很大高阶导数也可能因 $ \cos(1/x) $ 项而不存在需逐阶验证。$ f(x) x^2 \sin(1/x) $$ k21 $故 $ f(0)0 $但 $ f(0) $ 不存在因导函数含 $ \cos(1/x) $ 项。这张表的价值在于它把抽象的极限计算转化为了可操作的“检查清单”。比如遇到 $ f(x) |x^2 - 1| $你想知道它在 $ x 1 $ 处是否可导。第一步识别这是“含绝对值”类型关键点是 $ x^2 - 1 0 $ 的解即 $ x \pm 1 $。第二步令 $ g(x) x^2 - 1 $计算 $ g(x) 2x $所以 $ g(1) 2 \neq 0 $。第三步根据表格直接得出结论在 $ x 1 $ 处不可导。无需再费力去算左右极限。再举一例$ f(x) \begin{cases} e^{-1/x^2}, x 0 \ 0, x \leq 0 \end{cases} $。这是“分段函数”关键点是 $ x 0 $。第一步检查连续性右极限 $ \lim_{x \to 0^} e^{-1/x^2} 0 $左极限和函数值都是 $ 0 $连续。第二步左导数$ \lim_{h \to 0^-} \frac{0-0}{h} 0 $。右导数$ \lim_{h \to 0^} \frac{e^{-1/h^2} - 0}{h} $。这是一个 $ \frac{0}{0} $ 型但指数衰减远快于任何幂次所以极限为 $ 0 $。左右导数相等故一阶可导。第三步想判断二阶导数就需要考察一阶导函数在 $ 0 $ 处的行为这会变得非常复杂但至少我们知道它比 $ x^2 \sin(1/x) $ “光滑”得多。提示在考试或快速判断中永远优先使用这张表的逻辑链。它能帮你节省大量计算时间并避免陷入无谓的极限运算泥潭。真正的高手不是算得最快的人而是能最快识别问题本质、选择最优路径的人。6. 高阶导数的计算陷阱莱布尼茨公式与隐函数求导的实战心法掌握了判别法下一步就是动手计算。高阶导数的计算尤其是对乘积、商、复合函数或隐函数极易出错。最常见的错误不是公式记错而是对“求导顺序”和“变量依赖关系”的误判。先看乘积的高阶导数。莱布尼茨公式是 $ (fg)^{(n)} \sum_{k0}^{n} \binom{n}{k} f^{(k)} g^{(n-k)} $。这看起来像二项式定理但应用时极易犯错。例如求 $ f(x) x^2 e^x $ 的三阶导数。有人会机械套用 $$ f(x) \binom{3}{0} (x^2) e^x \binom{3}{1} (x^2) (e^x) \binom{3}{2} (x^2) (e^x) \binom{3}{3} (x^2) (e^x) $$ 计算得$ 0 \cdot e^x 3 \cdot 2 \cdot e^x 3 \cdot 2x \cdot e^x 1 \cdot x^2 \cdot e^x e^x (6 6x x^2) $。这没错。但陷阱在于如果函数是 $ f(x) x^2 e^{2x} $你必须意识到 $ g(x) e^{2x} $其导数是 $ 2e^{2x}, 4e^{2x}, 8e^{2x} $而不是 $ e^{2x} $。漏掉链式法则的系数是初学者的通病。更大的陷阱来自隐函数求导。例如由方程 $ x^2 y^2 1 $ 确定的隐函数 $ y y(x) $单位圆的上半支。一阶导数 $ y -x/y $ 很容易得到。但求二阶导数 $ y $ 时很多人会直接对 $ -x/y $ 关于 $ x $ 求导得到 $ y -\frac{y - x y}{y^2} $然后代入 $ y -x/y $得到 $ y -\frac{y - x(-x/y)}{y^2} -\frac{y^2 x^2}{y^3} -\frac{1}{y^3} $。这个结果是对的但过程暴露了一个思维漏洞在对 $ -x/y $ 求导时$ y $ 是 $ x $ 的函数所以 $ \frac{d}{dx}(\frac{1}{y}) -\frac{y}{y^2} $这一步必须明确写出不能跳过。否则一旦面对更复杂的隐函数比如 $ e^{xy} \sin(y) x $就会彻底迷失。我的实战心法是永远把“对 $ x $ 求导”这个动作分解为两步① 对表达式进行形式求导把 $ y $ 当作独立变量② 对所有出现 $ y $ 的地方补上 $ y $链式法则。对于 $ y -x/y $我们把它写成 $ y -x y^{-1} $。然后 $$ y \frac{d}{dx}(-x) \cdot y^{-1} (-x) \cdot \frac{d}{dx}(y^{-1}) (-1) \cdot y^{-1} (-x) \cdot (-1) y^{-2} y -\frac{1}{y} \frac{x y}{y^2} $$ 再代入 $ y -x/y $得到相同结果。这个过程虽然多了一步但每一步都清晰可控杜绝了“凭感觉”补 $ y $ 的错误。另一个高频陷阱是参数方程。设 $ x t^2, y t^3 $求 $ \frac{d^2 y}{dx^2} $。一阶导数 $ \frac{dy}{dx} \frac{dy/dt}{dx/dt} \frac{3t^2}{2t} \frac{3}{2}t $$ t \neq 0 $。二阶导数不是 $ \frac{d}{dt}(\frac{dy}{dx}) / \frac{dx}{dt} $ 的简单套用。正确公式是 $$ \frac{d^2 y}{dx^2} \frac{d}{dx}\left( \frac{dy}{dx} \right) \frac{ \frac{d}{dt} \left( \frac{dy}{dx} \right) }{ \frac{dx}{dt} } $$ 所以 $ \frac{d}{dt}(\frac{3}{2}t) \frac{3}{2} $除以 $ \frac{dx}{dt} 2t $得 $ \frac{d^2 y}{dx^2} \frac{3}{4t} $。如果错误地认为 $ \frac{d^2 y}{dx^2} \frac{d^2 y/dt^2}{d^2 x/dt^2} \frac{6t}{2} 3t $那就大错特错了。记住二阶导数是“一阶导数关于 $ x $ 的导数”而不是“$ y $ 关于 $ t $ 的二阶导数除以 $ x $ 关于 $ t $ 的二阶导数”。最后关于高阶导数的“捷径”对于 $ f(x) \frac{1}{1-x} $我们知道其麦克劳林级数是 $ \sum_{n0}^\infty x^n $。根据泰勒公式$ f^{(n)}(0) n! \cdot a_n n! \cdot 1 n! $。所以无需繁琐求导就能立刻写出 $ f^{(n)}(0) $。这种利用幂级数反推高阶导数的方法在处理有理函数、三角函数、指数函数时极为高效。它提醒我们高阶导数不仅是微分运算的结果更是函数局部结构的“指纹”而幂级数就是读取这个指纹的最便捷方式。7. 我的三个血泪教训那些教科书不会写的、关于导数的“潜规则”在十多年的教学和项目实践中我踩过不少坑也见过无数学生在同一处反复摔倒。这些教训没有出现在任何一本教材的“注意事项”里但它们却是真正掌握导数、避免低级错误的关键。第一个教训不要迷信“可导必连续”的逆命题。这句话是真理但很多人把它倒过来用“既然函数在某点连续那它一定可导”。这是大错特错。$ f(x) |x| $ 在 $ 0 $ 处连续但不可导这是最经典的反例。更隐蔽的是 $ f(x) x^{4/3} $。它在 $ 0 $ 处连续一阶导数 $ f(x) \frac{4}{3}x^{1/3} $ 在 $ 0 $ 处存在极限为 $ 0 $所以它是可导的。但它的导函数 $ f(x) $ 在 $ 0 $ 处不连续因为 $ x^{1/3} $ 在 $ 0 $ 处的极限是 $ 0 $但导函数本身在 $ 0 $ 处有定义所以其实是连续的等等这里需要修正$ f(x) \frac{4}{3}x^{1/3} $当 $ x \to 0 $ 时$ f(x) \to 0 f(0)
返回列表