必要条件
一维时是充分必要条件.
高维时必要不充分,但是可以证明当对每一个变量偏导数都存在而且连续时函数可微.