除法定则或商定则(英语:Quotient rule)是数学中关于两个函数的商的导数的一个计算定则。
若已知两个可导函数g,h及其导数g',h',且h(x)≠0,则它们的商
的导数为:
考虑恒等式,v≠0
那么:
于是:
展开,得:
最后,把分子和分母同除以4,便得: