展开 一阶导数的微分不变性