
關於組合數學的計數原理,請見「
乘法原理」。
乘積法則(英語:Product rule),也稱積定則、萊布尼茲法則,是數學中關於兩個函數的積的導數的一個計算法則。
若已知兩個可導函數
及其導數
,則它們的積
的導數為:

這個法則可衍生出積分的分部積分法。
人們將這個法則的發現歸功於萊布尼茲,以下是他的論述:設u(x)和v(x)為x的兩個可導函數。那麼,uv的微分是:

由於du·dv的可忽略性,因此有:

兩邊除以dx,便得:

若用拉格朗日符號來表達,則等式記為

- 假設我們要求出f(x) = x2 sin(x)的導數。利用乘積法則,可得f'(x) = 2x sin(x) + x2cos(x)(這是因為x2的導數是2x,sin(x)的導數是cos(x))。
- 乘積法則的一個特例,是「常數因子法則」,也就是:如果c是實數,f(x)是可微函數,那麼cf(x)也是可微的,其導數為(c × f)'(x) = c × f '(x)。
- 乘積法則可以用來推出分部積分法和除法定則。
假設

且f和g在x點可導。那麼:

現在,以下的差

是圖中大矩形的面積減去小矩形的面積。
這個區域可以分割為兩個矩形,它們面積的和為:

因此,(1)的表達式等於:

如果(5)式中的四個極限都存在,則(4)的表達式等於:

現在:

因為當w → x時,f(x)不變;

因為g在x點可導;

因為f在x點可導;以及

因為g在x點連續(可導的函數一定連續)。
現在可以得出結論,(5)的表達式等於:

設f = uv,並假設u和v是正數。那麼:

兩邊求導,得:

把等式的左邊乘以f,右邊乘以uv,即得:

設
且f和g在x點可導。那麼:

![{\displaystyle =\lim _{\Delta {x}\to 0}{\frac {[f(x+\Delta {x})-f(x)]\cdot g(x+\Delta {x})+f(x)\cdot [g(x+\Delta {x})-g(x)]}{\Delta {x}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9c7631440055bd6a8a28925affb98aa2be669ed)

.
- 若有
個函數
,則:

- (萊布尼茲法則)若
均為可導
次的函數,則
的
次導數為:

其中
是二項式係數。
乘積法則的一個應用是證明以下公式:

其中n是一個正整數(該公式即使當n不是正整數時也是成立的,但證明需要用到其它方法)。我們用數學歸納法來證明這個公式。如果n = 1,
假設公式對於某個特定的k成立,那麼對於k + 1,我們有:

因此公式對於k + 1也成立。