要证明一个函数可微，必须利用定义，即全增量减去（对x的偏导数乘以x的增量）减去（对y的偏导数乘以Y的增量）之差是距离的高阶无穷小这个必要条件，才能说明可微。
对于一元函数而言，可微必可导，可导必可微，这是充要条件；对于多远函数而言，可微必偏导数存在，但偏导数存在不能推出可微，而是偏导数连续才能推出可微来，这就不是充要条件了。拓展资料：在微积分学中，可微函数是指那些在定义域中所有点都存在导数的函数。可微函数的图像在定义域内的每一点上必存在非垂直切线。
因此，可微函数的图像是相对光滑的，没有间断点、尖点或任何有垂直切线的点。
