除法定則或商定則(英語:Quotient rule)是數學中關於兩個函數的商的導數的一個計算定則。
若已知兩個可導函數g,h及其導數g',h',且h(x)≠0,則它們的商
的導數為:
考慮恆等式,v≠0
那麼:
於是:
展開,得:
最後,把分子和分母同除以4,便得: