函式在某一點可微的條件

對於一元函式而言，可微必可導，可導必可微，這是充要條件對於多遠函式而言，可微必偏導數存在，但偏導數存在不能推出可微，而是偏導數連續才能推出可微來，這就不是充要條件了。要證明一個函式可微，必須利用定義，即全增量減去（對x的偏導數乘以x的增量）減去（對y的偏導數乘以Y的增量）之差是距離的高階無窮小，才能說明可微。