と書いてもよい。
三つの函数の積の導函数は
である。
発見者について.
積の法則の発見者はゴットフリート・ライプニッツであると言われる。ライプニッツは無限小（微分）を用いてこれを示した。
で与えられるはずだが、項 は（ および に比べて）「無視できる」（高位の無限小）ことから、ライプニッツは
であると結論付けた。実際、これが積の法則の微分形である。
両辺を無限小 で割るならば
が得られ、これはまたラグランジュの記法によって
と書くこともできる。
厳密な証明.
標準的な微分積分学の場合.
積の法則の厳密な証明には、微分の定義と極限の基本性質を用いる。
積 について、各因子 は一点 においてそれぞれ微分可能であるものとする（以降、本節を通して は固定するものとする）。主張は、積 が点 において微分可能であること、およびその微分係数 が で与えられることの二点である。
差分 を考える。 は固定しているといっても、 は の値（これは十分に「小さい」ものと考える）に依存して変化することに注意せよ。
積 が において微分可能であるということは、極限
が存在するという意味であり、また微分可能であるとき はこの極限の値として定義されるのであった。
 と同様に、 および と定める。これらはやはり と同じく の函数になる。このとき および である。
さてこのとき、 を分配法則に従って展開すれば、
を得る。証明自体には不必要だが、この積を以下のような面積図
を用いて図形的に表すのも理解の一助となるであろう。 の値を得るには、先の等式 から を引けばよいのだから、面積図で言えば白い矩形の面積を除く残りの三矩形の面積にあたる
を得る（右辺の前二項は面積図で言うところの青い矩形の面積に相当し、三番目の項は灰色の矩形の面積に相当する）。
微分係数 を求めるためには
の を に近づけた極限を求めねばならない。極限の基本性質と微分の定義を用いて、一項づつ処理していこう。まずは
であり、同様に
において、 は連続であるから の極限は となることを用いる。結論には変わりないが
という形で述べてもよい。こうして等式 の三項がそれぞれ極限を持つことが示されたから、したがって極限
は存在し、その値は三項の極限の和に等しい。即ち、積 は点 において微分可能であり、その微分係数は