除法定则

除法定则或商定則(英語:Quotient rule)是数学中关于两个函数的商的导数的一个计算定则。

若已知两个可導函数, 及其导数, ,且,则它们的商

的导数为:

例子

的导数为:
的导数为:

证明

从牛顿差商推出

设,,且和均可导。

从乘积法则推出

假设。
那么

从复合函数求导法则推出

考虑恒等式,v≠0

那么:

于是:

展开,得:

最后,把分子和分母同除以4,便得:

参见