乘积法则，也称积定则、莱布尼兹法则，是数学中关于两个函数的积的导数的一个计算法则。若已知两个可导函数formula_1及其导数formula_2，则它们的积formula_3的导数为：这个法则可衍生出积分的分部积分法。
莱布尼兹的发现.这个法则是莱布尼兹发现的，以下是他：设"u"("x")和"v"("x")为"x"的两个可导函数。那么，"uv"的微分是：由于"du"·"dv"可以忽略不计，因此有：两边除以"dx"，便得：或
证明一：利用