根据微分及可导的定义：
lim(△x->0)△y=f(x0+△x)-f(x0)
dx=△x;
dy=f'(x0)*dx
△y-dy=o(△x)