先说结论:二元函数可微,推出该点存在切平面
参见同济大学高等数学教材下册,第七版(某度能搜到电子版),P100
- 偏导存在就是指x和y两方向的偏导存在
- 结合二元函数的几何意义,切平面存在,必须要曲面上通过该点任何方向的曲线都具有切线,且这些切线都在同一个平面(切平面)上
- 二元函数可微,所以在该点函数连续,即在该点邻域内沿任何方都趋近于该点的函数值,反映在几何图形上,就是该点函数曲面光滑(参照一元函数曲线光滑的定义)。只有在该点光滑,才会有切平面的存在
- 以上第2、3条是从几何图形(数形结合的思维)来看待,具体分析见教材,F(x,y,z)=0,对方程两边求全导,在该点可微才能推出法向量与曲面上通过该点的任意一条曲线的切向量数量积为0,即该点任何方向的切向量都和所选取的法向量垂直,即任何方向切向量在同一平面上(切平面存在)
- 至于可微的充分条件,同济教材P74页,构造增量,对x、y分别用拉格朗日中值定理,可证明在偏导数连续的前提下全微dz分存在