Cho f là một hàm thực hữu hạn khả vi n lần tại điểm x0, và g là một hàm vectơ khả vi n lần tại điểm y0=f(x0). Giả sử
f(x0+h)=a0+a1h+⋯+anhn+rn(h) g(y0+k)=b0+b1k+⋯+bnkn+sn(k) là các khai triển Taylor cấp
n của
f và
g tại các điểm
x0 và
y0 tương ứng. Chứng minh rằng tổng của
n+1 số hạng của khai triển Taylor cấp
n của hàm hợp
g∘f tại điểm
x0 bằng tổng của các số hạng có bậc
≤n trong đa thức
b0+b1(a1h+⋯+anhn)+b2(a1h+⋯+anhn)2+⋯+bn(a1h+⋯+anhn)n. Suy ra hai công thức sau:
a)
Dn(g(f(x)))=∑m1!m2!…mq!n!g(p)(f(x))(1!f′(x))m1⋯(q!f(q)(x))mq tổng được lấy trên tất cả các hệ các số nguyên dương
(mi)1≤i≤q sao cho
m1+2m2+⋯+qmq=n trong đó
p chỉ tổng
m1+m2+⋯+mq.
b)
Dn(g(f(x)))=p=1∑np!1g(p)(f(x))(q=1∑p(qp)(−f(x))p−qDn((f(x))q)).