证明多元函数极限不存在的一个解法

对于多元函数$f(x)$来说，证明其在某一点$(x_0,y_0)$处极限不存在的方法就是找到两条不同的趋于$(x_0,y_0)$的路径，使得$f(x,y)$在这两条路径上趋于不同的值。
对于二元函数$f(x,y)$来说,$(x,y)$沿任意路径趋于$(x_0,y_0)$时二元函数$f(x,y)$趋于同一个值A，则重极限$\underset{(x,y)\to \left(x_0,y_0\right)}{\lim }f(x,y)$存在且也等于A.
这一性质常常用来证明二元函数$f(x,y)$在$(x_0,y_0)$这点的极限不存在，即找到两条趋于$(x_0,y_0)$的路径，使得二元函数$f(x)$在这两条路径上趋于不同的值。然而，在绝大多数的数学分析教科书中，常常只介绍利用相对简单的径向路径来证明一个二元函数在某一点的极限不存在，即当二元函数$f(x,y)$沿着$y=kx$这些路径趋于$(x_0,y_0)$时，若极限与径向的斜率$k$相关，则二元函数$f(x,y)$在$(x_0,y_0)$这点的极限不存在。而这种方法对些相对较为复杂的二元函数$f(x,y)$通常是失效的例如，考虑二元函数$f(x,y)=\frac{x^2{y}^2}{x^3+y^3}$在$(x,y)$趋于$(0,0)$的极限时，不难发现$(x,y)$沿着径向路径$y=kx$的极限都为0.然而$f(x,y)=\frac{x^2{y}^2}{x^3+y^3}$在$(x,y)$趋于$(0,0)$是不存在极限的，若考虑路径$y=-x+\frac{\alpha }{2}{x}^2$,则
$$\begin{array}{rl}& \underset{(x,y)\to (0,0)}{\lim }\frac{x^2{y}^2}{x^3+y^3}=\underset{y=-x+\frac{\alpha }{2}{x}^2+2}{\lim }\frac{{\left(\frac{\alpha }{2}\right)}^3{x}^3-\alpha x^2+x}{{\left(\frac{\alpha }{2}\right)}^3{x}^3-3{\left(\frac{\alpha }{2}\right)}^2{x}^2+3\frac{\alpha }{2}x}\\ & =\frac{2}{3\alpha }\end{array}$$

下面我们老考虑这些极限是怎样计算出来的

事实上，从解析几何的观点来看，$(x,y)$沿某一路径趋于$(x_0,y_0)$可以被理解为$(x,y)$在趋于$(x_0,$