MathLabs
定理已证明

乘积求导法则

命题陈述

若 f,gf,g 在 xx 处可导,则 fgfg 在 xx 处也可导,且 (fg)′(x)=f′(x)g(x)+f(x)g′(x)(fg)'(x) = f'(x)g(x)+f(x)g'(x)。

为什么成立?

一个正在变大的矩形,其面积因两个原因同时变化——宽在增大,高也在增大——而面积总的变化率恰好等于这两部分贡献之和。

证明思路

写出 f(x+h)g(x+h)−f(x)g(x)h\frac{f(x+h)g(x+h)-f(x)g(x)}{h},在分子中插入 −f(x+h)g(x)+f(x+h)g(x)-f(x+h)g(x)+f(x+h)g(x),将其拆分为 f(x+h)⋅g(x+h)−g(x)h+f(x+h)−f(x)h⋅g(x)f(x+h)\cdot\frac{g(x+h)-g(x)}{h} + \frac{f(x+h)-f(x)}{h}\cdot g(x)。当 h→0h\to 0 时,第一个差商趋于 g′(x)g'(x),且 f(x+h)→f(x)f(x+h)\to f(x)(由 ff 在 xx 处可导,从而连续);第二个差商趋于 f′(x)f'(x);两项之和趋于 f(x)g′(x)+f′(x)g(x)f(x)g'(x)+f'(x)g(x)。

证明者

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Gottfried Wilhelm Leibniz (1684). Nova Methodus pro Maximis et Minimis...
  2. C. H. Edwards (1979). The Historical Development of the Calculus