首先回顾一下多元函数的偏导数存在与可微的关系问题。
设 \( F(x,y)\) 是二元实函数，\( x_0,y_0\) 是其定义域的一个内点，如果存在两个实数 \( A,B\)，使得对于极限过程 \( \sqrt{h^2+k^2}\to 0\)，以下关系成立：
\( F(x_0+h,y_0+k)-F(x_0,y_0)=Ah+Bk+o(\sqrt{h^2+k^2})\)
则称 \( F\) 在点 \( (x_0,y_0)\) 处可微。
据《数学分析新讲》（张筑生著，北京大学出版社，1990）第二册209页叙述，一个多元函数可微的等价叙述为：
\( F(x_0+h,y_0+k)-F(x_0,y_0)=Ah+Bk+\alpha h+\beta k\)
其中 \( \alpha=\alpha(h,k), \beta=\beta(h,k)\) 满足
\[ \lim_{(h,k)\to(0,0)}\alpha(h,k)=\lim_{(h,k)\to(0,0)}\beta(h,k)=0\]
一个多元函数 \( F\) 在某点可微，意味着它在这点对各个变元的偏导数存在，但是偏导数存在却不蕴含可微性。如果函数 \( F\) 在某点的一个邻域中每个一阶偏导数都存在且这些偏导数都在该点连续，那么函数 \( F\) 在该点可微，但是 \( F\) 在某点可微却又不蕴含一阶偏导数在该点连续。
这些基本事实可参见任何一本数学分析教材。
各个教材只讨论所有一阶偏导数连续是可微的充分不必要条件，却没有讨论可以把这个条件减弱到什么程度依然可以蕴含可微的结论。那么我们是否可以把这个条件减弱呢？