已知全微分