1 對 $k$ 階連續可微函式 $f$, $g$, Leibniz 告訴我們 $$\bex D^k_x(fg)=\sum_{s=0}^k\frac{k!}{(k-s)!s!}D^{k-s}_x(f)\cdot D^s_x(g). \eex$$
2 對複合函式 $f(y(x))$, Fa\'a de Bruno 於 1857 年告訴我們 $$\bee\label{Bruno} D^k_x(f) =\sum \frac{k!}{l_1!l_2!\cdots l_k!} f^{(p)} \sex{\frac{y'}{1!}}^{l_1} \sex{\frac{y''}{2!}}^{l_2} \cdots \sex{\frac{y^{(k)}}{k!}}^{l_k}, \eee$$ 其中 $$\bex f'=\frac{\rd f}{\rd y},\quad f''=\frac{\rd ^2 f}{\rd y^2},\quad \cdots \quad f^{(k)} =\frac{\rd ^k f}{\rd y^k}, \eex$$ 而且 \eqref{Bruno} 中的求和跑遍所有滿足 $$\bee\label{sum} l_1+2l_2+\cdots+kl_k=k \eee$$ 的非負整數 $l_1$, $l_2$, $\cdots$, $l_k$, $p=l_1+l_2+\cdots+l_k$.
例子. 要求 $f(y(x))$ 對 $x$ 的三階導數, 則由 $$\bex l_1+2l_2+3l_3=3\ra \left\{\ba{ll} l_1=3,\quad p=3;\\ l_1=1,\quad l_2=1,\quad p=2;\\ l_3=1,\quad p=1. \ea\right. \eex$$ 知 $$\bex D^3_x(f)=f'''y'^3+3f''y'y''+f'y'''. \eex$$