大二刷多元函数高数题的那段时间，最让我头疼的定理逻辑就是为什么一阶偏导数连续可以推出可微，对着教材的推导公式死磕了好几天，只会机械套用结论做题，完全摸不准两者之间的绑定关系，稍微遇到变式题型就彻底卡壳，白白丢了好多卷面分。
最开始我一直带着一元函数的思维惯性走弯路，固执的认为只要函数的一阶偏导数存在，就一定满足可微的条件。毕竟一元函数里导数存在和可微是等价关系，我想当然把这套逻辑平移到多元函数上，刷题的时候直接跳过判定步骤，看见偏导存在就默认函数可微，现在回头看，这就是最致命的认知误区。
偏导存在，只能说明单点方向光滑。
第一次出错是在课后的专项练习里，碰到一个分段二元函数，明明在定点的x、y方向偏导数都能正常求出，结果答案判定函数不可微。对着解析看了半天，完全想不通问题出在哪，明明偏导都存在，怎么就不满足可微的要求了。那时候才懵懵懂懂意识到，多元函数的可微标准，比一元函数要严苛得多，根本不是单点导数达标就能满足的。
折腾好久才搞明白，多元函数可微的核心根本不是单点的变化率，而是要求函数的全增量能够被线性增量精准拟合，多余的误差必须是自变量增量的高阶无穷小。通俗点说，就是函数在这个点周围的整片区域里，变化趋势必须足够顺滑，不能有任何突兀的弯折、断层和无序波动，不管朝着哪个方向延伸，数值变化都得连贯统一。
只靠偏导存在，只能保证x轴、y轴两个特殊方向的变化规律正常，完全约束不了平面上其余无数个方向的函数变化。很多出错的分段函数，就是定点偏导存在，但邻域内其他方向变化混乱，误差没法收敛成高阶无穷小，所以直接不满足可微定义，这也是我之前无数次做题翻车的核心原因。
真正的关键，全在“连续”这两个字上。
一阶偏导数连续，不只是说定点的偏导有数值，还代表着这个点周边极小邻域内的所有偏导数值，都是平稳、连贯变化的，不会出现骤增骤减的情况。我当时逐行拆解教材的全增量拆分公式，把全增量拆解为x方向和y方向的增量叠加，偏导的连续性刚好能抹平单点和邻域的数值差，让零散的误差项全部压缩成高阶无穷小，刚好贴合可微的硬性判定规则。
这也是偏导连续和偏导存在最本质的区别，存在只锁定单个孤立的点，连续却管住了整片邻域的平滑性，把所有可能导致函数突变的漏洞全部堵死了。没有这个连续条件，邻域变化不可控，再怎么看单点偏导都没用，函数依旧大概率不可微。
之前总觉得这个定理晦涩抽象，其实就是自己太执着于公式推导，忽略了几何层面的直观逻辑，死记硬背的知识点永远没法灵活运用。
傍晚收拾书桌的时候，摊开的草稿纸上，密密麻麻写满了全增量公式的拆解步骤，笔尖还沾着一点没擦干净的铅灰。