萊布尼茨微分公式，也稱為乘積法則，是數學中關於兩個函式的積的導數的一個計算法則。這個公式用於對兩個函式的乘積求取其高階導數。具體的公式如下：
如果函式 \( u = u(x) \) 與函式 \( v = v(x) \) 在點 \( x \) 處都具有 \( n \) 階導數，那麼 \( (uv)^{(n)} \) 等於 \( u^{(n)}v + nu^{(n-1)}v' + u^{(n-2)}v'' + \ldots + uv^{(n)} \)。這個公式也可以記為 \( (uv)^{(n)} = \sum_{k=0}^{n} u^{(k)}v^{(n-k)} \)。
萊布尼茨公式是導數計算中會使用到的一個重要公式，它極大地簡化了兩個函式的乘積的高階導數的計算過程。與牛頓-萊布尼茨公式不同，後者是微積分學中的一個基本定理，用於簡化定積分的運算，而萊布尼茨公式則是導數計算中的一個工具。