求y的微分，即對y求導再加上dy。複合函數微分法則爲：對於由y=f(u)，u=g(x)複合而成的y=f[g(x)]，dy=y'ₓdx=f'(u)g'(x)dx。其中，dy=f'(u)du被稱爲微分形式不變性。