证明：设f(x)在x0可导，令 H(x)=[f(x)-f(x0)]/(x-x0),x∈U'(x0)(x0去心邻域)；H(x)=f'(x0),x=x0
因lim(x->x0)H(x)=lim(x->x0)[f(x)-f(x0)]/(x-x0)=f'(x0)=H(x0)
所以H(x)在点x0连续，且f(x)-f(x0)=H(x)(x-x0),x∈U(x0)
反之，设存在H(x),x∈U(x0),它在点x0连续，且f(x)-f(x0)=H(x)(x-x0),x∈U(x0)
因存在极限lim(x->x0)H(x)=lim(x->x0)[f(x)-f(x0)]/(x-x0)=lim(x->x0)f'(x)=H(x0)
所以f(x)在点x0可导，且f'(x0)=H(x0)
设u=φ(x)在点u0可导，y=f(u)在点u0=φ(x0)可导，则复合函数F(x)=f(φ(x))在x0可导，且F'(x0)=f'(u0)φ'(x0)=f'(φ(x0))φ'(x0)
证明：由f(u)在u0可导，由引理必要性，存在一个在点u0连续的函数H(u),使f'(u0)=H(u0),且f(u)-f(u0)=H(u)(u-u0)
又由u=φ(x)在x0可导，同理存在一个在点x0连续函数G(x),使φ'(x0)=G(x0),且φ(x)-φ(x0)=G(x)(x-x0)
于是就有，f(φ(x))-f(φ(x0))=H(φ(x))(φ(x)-φ(x0))=H(φ(x))G(x)(x-x0)
因为φ，G在x0连续，H在u0=φ(x0)连续，因此H(φ(x))G(x)在x0连续，再由引理的充分性可知F(x)在x0可导，且
F'(x0)=f'(u0)φ'(x0)=f'(φ(x0))φ'(x0)
证法二：y=f(u)在点u可导，u=g(x)在点x可导，则复合函数y=f(g(x))在点x0可导，且dy/dx=(dy/du)*(du/dx)
证明：因为y=f(u)在u可导，则lim(Δu->0)Δy/Δu=f'(u)或Δy/Δu=f'(u)+α(lim(Δu->0)α=0)
当Δu≠0，用Δu乘等式两边得，Δy=f'(u)Δu+αΔu
但当Δu=0时，Δy=f(u+Δu)-f(u)=0,故上等式还是成立。
又因为Δx≠0,用Δx除以等式两边，且求Δx->0的极限，得
