跳到内容
返回探索
微积分 / 英语

二元函数极限(KristaKingMath)

Krista King · YouTube · 6:43

打开原视频
阅读与收藏

把讲解展开来看。

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本 180秒黑板片段引入了一个二元函数的极限问题,lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2},并解释了判断该极限是否存在所采用的策略。主讲人将该情形类比为一元函数的左极限与右极限,随后画出坐标平面并在原点处做标记。添加了多条黄色路径,以说明沿坐标轴、直线 (0,0)(0,0)、形如 y=xy=x 的直线,以及曲线 y=mxy=mx 趋近于 y=x2y=x^2 的过程。该片段强调的关键思想是:若沿两条不同路径所得的极限值不同,则该多元函数的总体极限不存在。主讲人还提醒道:若干条测试路径所得极限值一致,并不足以证明极限存在;要严格证明存在性,必须使用极限的精确定义。本片段中未实际代入任何路径,也未得出最终的数值结论。 本节为时长 180 秒的白板讲解课,通过检验两条坐标轴路径,求解多元函数极限问题 lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}。沿 y 轴方向,令 x=0x=0,得 −4y22y2=−2\frac{-4y^2}{2y^2}=-2;沿 x 轴方向,令 y=0y=0,得 x4x2=x2\frac{x^4}{x^2}=x^2,其趋近于 0。由于 -2\neq 0,讲师得出原点处极限不存在的结论,并框出 DNE。视频结尾提醒:即便两条路径所得结果相等,本身也不足以证明极限存在。 本视频片段演示了如何求解多元函数极限lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4 - 4y^2}{x^2 + 2y^2}。通过应用双路径检验法,教师分别计算了函数沿 y 轴趋近时的极限,得到 -2;以及沿 x 轴趋近时的极限,得到0。由于这两个值不相等,因此判定该整体极限不存在(DNE)。教师还澄清了一个常见误解:虽然检验不同路径可以证伪极限的存在性,却无法证实其存在性。即使所有已检验路径都给出相同结果,仍需借助极限的严格 ε-δ 定义,才能严谨地证明极限存在,因为多元空间中趋近某点的方式有无穷多种。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00题目陈述:求函数在原点处的极限0:20与单侧极限的类比0:50绘制坐标平面并标出点(0,0)1:05趋近路径:坐标轴、y=xy=x、y=mx、y=x2y=x^21:40方向极限与总体极限2:10搜索策略及对精确定义的需求3:00题目陈述3:14沿 y 轴方向趋近4:10沿 x 轴方向趋近5:28比较各路径极限并得出极限不存在(DNE)的结论5:55关于需进一步检验其他路径的说明6:00双路径检验法简介6:15概念提醒:证明极限存在 与之对比 证伪极限存在6:35结论:极限不存在

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

该片段以一道黑板题开场:求二元有理函数lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}的极限,或说明其不存在。

教师通过与单变量微积分类比来构建方法框架:不同于仅比较左、右极限,我们必须考察当(x,y)(x,y)从平面上诸多不同方向趋近原点时函数的行为。

绘制了坐标示意图,原点用绿色圆点标出,并高亮极限表达式中的符号(0,0)(0,0),以建立代数目标点与几何图示之间的联系。

逐次添加黄色箭头,代表若干条通往原点的候选路径:yy轴、xx轴、对角线y=xy=x,以及后续其他直线方向如y=mxy=mx。

核心逻辑要点被明确陈述:如果两条不同的路径产生两个不同的极限值,那么该二元函数的完整极限就不存在。这是用于证明极限不存在的标准双路径检验法。

随后的解释区分了方向性行为与一般极限:一个函数可能沿某条选定路径存在极限,但仍无法在该点具有整体极限,因为一般极限要求所有可能趋近方式所得的极限值都相同。

还提到了一条对应于y=x2y=x^2的曲线路径,从而将思路拓展至直线之外。讲师强调,若要证明极限存在,则最终必须依赖极限的精确定义,而不能仅靠一系列成功的路径检验。

实际操作流程按顺序展开:首先尝试坐标轴;若结果一致,再尝试y=xy=x或一般直线y=mxy=mx;若这些也一致,则继续尝试其他直线;只有在多次路径检验均一致后,才应转向严格的ε-δ式存在性证明。

这段摘录在任何代入运算执行之前即告结束,因此黑板上仅确立了该问题的策略与几何结构,尚未计算任一具体路径的极限,也未得出最终答案。

视频开场为黑板上的题目,要求计算某二元函数在原点处的极限,或说明该极限不存在。所显示的表达式为 lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)}\frac{x^4-4y^2}{x^2+2y^2},旁附一幅简略坐标示意图,箭头指向原点,直观表明不同趋近方向的重要性。

讲师首先选取沿 y 轴的测试路径。关键观察是:该轴上所有点均满足 x=0x=0,因此将二元函数极限改写为受限路径极限 lim⁡(0,y)→(0,0)\lim_{(0,y)\to(0,0)}。将 x=0x=0 代入函数后,分子化为 −4y2-4y^2,分母化为 2y22y^2。

代入后,表达式变为 −4y22y2\frac{-4y^2}{2y^2}。当 y≠0y\neq 0 时,公因子 y2y^2 可约去,余下常数 −2-2。因此,沿 y 轴趋近原点时,函数趋近于 −2-2。

第二条测试路径为 x 轴。此处路径上每一点均满足 y=0y=0,故极限重写为 lim⁡(x,0)→(0,0)\lim_{(x,0)\to(0,0)}。代入 y=0y=0 后,分子中的 −4y2-4y^2 项与分母中的 2y22y^2 项被消去,余下 x4x2\frac{x^4}{x^2}。

商式x4x2\frac{x^4}{x^2}化简为x2x^2,其中x≠0x\neq 0。与y轴情形不同,此处仍保留一个含变量的表达式,因此需代入端点值:当x→0x\to 0时,得到x2→02=0x^2\to 0^2=0。故该函数沿x轴趋近于00。

当两条路径的计算结果同时呈现时,教师对比二者:y轴路径给出−2-2,而x轴路径给出00。由于−2≠0-2\neq 0,该二元函数在(0,0)(0,0)处的极限不存在。黑板上写出不等式,并将最终答案DNE框出。

结语补充了一项重要的方法论警示:若所测试的两条路径均得出相同数值,仅凭这一致性尚不足以证明极限存在;仍须检验更多路径,方能对极限的存在性作出肯定结论。

我们正在求函数f(x,y)=x4−4y2x2+2y2f(x,y) = \frac{x^4 - 4y^2}{x^2 + 2y^2}在(x,y)(x,y)趋近于(0,0)(0,0)时的极限。策略是沿不同路径趋近原点,检验函数是否给出不同的极限值。

需要特别注意:即使我们检验的所有路径都得到同一个值,例如 -2,这也不构成极限存在的证明。因为在多元空间中,趋近某一点的方式有无穷多种,仅检验有限条路径不足以支撑一般性证明。要严谨地证明极限存在,必须转向极限的精确 ε-δ 定义。

然而,在本特定情形下,我们已找到两条给出矛盾结果的路径。沿 y 轴(x=0x=0)趋近时极限为 -2,而沿 x 轴(y=0y=0)趋近时极限为 0。由于 −2≠0-2 \neq 0,双路径检验成功证明该整体极限不存在(DNE)。

知识卡片

01

原点处的二元函数极限问题

本题要求分析一个二元有理函数在(x,y)(x,y)趋近于(0,0)(0,0)时的行为。由于分母在原点处为零,仅靠直接代入无法回答该问题;必须从整个平面出发分析其极限行为。

lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}
02

多元函数极限的路径检验法

对于二元函数,视频片段展示了沿不同路径趋近目标点的方法:若两条路径所得极限值不同,则该函数的一般极限便不存在。这推广了一元函数中比较左极限与右极限这一熟悉的思想。

03

极限不存在的双路径判据

若一个函数存在两条终止于同一点的不同趋近路径,且对应的路径极限不相等,则该点处的无限制多元极限便不存在。这是一个判断极限不存在(DNE)的充分性检验,但并非用于判断极限存在的检验方法。

04

方向极限不等于一般极限

视频强调,一个函数可能在某些特定方向或曲线上具有定义良好的极限,但在该点仍可能不存在整体极限。整体极限要求:无论以何种方式趋近该点,极限值都必须相同。

05

常先尝试的路径

建议的搜索顺序是:先从坐标轴开始,再尝试简单的斜线,例如y=xy=x或y=mxy=mx;若仍有需要,则进一步考虑其他路径。像y=x2y=x^2这样的曲线也属于所有可能趋近方式的更广阔范围。

06

为何需借助精确定义来证明极限存在

仅在若干条测试路径上极限值一致,并不能证明多元函数极限存在。要严格确立极限存在,必须使用极限的精确定义,并控制函数在所有足够接近该点的点处的行为,而不仅限于少数几条样本路径。

07

问题:二元有理函数在原点处的极限

本课探讨lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)}\frac{x^4-4y^2}{x^2+2y^2}是否存在。由于这是多元函数极限,无论(x,y)(x,y)以何种方式趋近于(0,0)(0,0),所得极限值都必须一致。教师通过检验若干独立路径来验证这一点。

lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}
08

沿y轴的路径检验

沿y轴方向,x=0x=0对每个点都成立。将x=0x=0代入函数得−4y22y2\frac{-4y^2}{2y^2},约去−2-2后化简为y2y^2(其中y≠0y\neq 0)。因此沿y轴的路径极限为−2-2。

lim⁡(0,y)→(0,0)−4y22y2=−2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2}=-2
09

沿x轴的路径检验

沿x轴,对每个点均有y=0y=0。将y=0y=0代入得x4x2=x2\frac{x^4}{x^2}=x^2(适用于x≠0x\neq 0)。再令x→0x\to 0,得到02=00^2=0。因此,沿x轴的路径极限为00。

lim⁡(x,0)→(0,0)x4x2=lim⁡(x,0)→(0,0)x2=0\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2}=\lim_{(x,0)\to(0,0)}x^2=0
10

为何不同路径极限意味着极限不存在

若一个二元函数沿两条不同路径趋近于同一点时得到不同的函数值,则该点处的整体极限必不存在。本例中,y轴路径给出−2-2,x轴路径给出00,故黑板得出结论−2≠0-2\neq 0,从而判定该极限不存在(DNE)。

−2≠0⇒DNE-2\neq 0 \Rightarrow \text{DNE}
11

警示:路径极限值相等并不能证明极限存在

结尾的说明提醒我们:仅凭沿两条路径得到相同的函数值,还不足以断定多元函数的极限存在;在宣称极限存在之前,可能还需检验更多路径。

12

极限不存在的双路径检验法

一种通过寻找两条趋近目标点的不同路径、且所得极限值不同的方法,来证明多元函数极限不存在。若 lim⁡path 1f≠lim⁡path 2f\lim_{\text{path 1}} f \neq \lim_{\text{path 2}} f,则该整体极限不存在(DNE)。

If lim⁡path 1f(x,y)≠lim⁡path 2f(x,y), then lim⁡f(x,y) DNE.\text{If } \lim_{\text{path 1}} f(x,y) \neq \lim_{\text{path 2}} f(x,y), \text{ then } \lim f(x,y) \text{ DNE.}
13

沿 y 轴的极限

将 x=0x=0 代入函数后,我们计算当 yy 趋近于 0 时的极限。其中 y2y^2 项相互抵消,最终得到一个常数值。

lim⁡(0,y)→(0,0)−4y22y2=−2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2} = -2
14

沿 x 轴的极限

将 y=0y=0 代入函数后,我们计算当 xx 趋近于 0 时的极限。化简表达式得到 x2x^2,该式在原点处取值为 0。

lim⁡(x,0)→(0,0)x4x2=lim⁡(x,0)→(0,0)x2=0\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2} = \lim_{(x,0)\to(0,0)} x^2 = 0
15

常见误解:有限条路径能证明极限存在

尝试多条路径并得到相同结果,并不能证明极限存在。趋近某一点的曲线与直线有无穷多种可能。要严格证明极限存在,必须使用精确的 ε-δ 定义。

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 18

(x,y)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上极限表达式中显示的是(x,y)→(0,0)(x,y)\to(0,0)。

  2. 声音
    观察依据

    说话者称题目要求计算当x,yx,y趋近于零时的极限。

符号

(x,y)

含义

一对有序的实变量,表示平面上的一个点,函数在该点处取值。

适用范围

R2\mathbb{R}^2中的点,尤其是靠近(0,0)(0,0)的点。

(0,0)

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    极限记号中包含(0,0)(0,0)。

  2. 图示
    观察依据

    坐标示意图上用绿色圆点标出原点。

符号

(0,0)

含义

平面上的目标点,即(x,y)(x,y)所趋近的点。

适用范围

R2\mathbb{R}^2中的一个特定点。

x4−4y2x^4-4y^2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出的分子是x4−4y2x^4-4y^2。

  2. 声音
    观察依据

    说话者将其读作 x 的四次方减去四倍 y 的平方。

符号

x4−4y2x^4-4y^2

含义

正在研究其极限的那个有理双变量函数的分子。

适用范围

对所有实数xx和yy均有定义。

x2+2y2x^2+2y^2

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写出的分母是x2+2y2x^2+2y^2。

  2. 声音
    观察依据

    说话人将其读作:x 的平方加二倍 y 的平方。

符号

x2+2y2x^2+2y^2

含义

正在研究其极限的那个有理双变量函数的分母。

适用范围

对所有实数xx和yy有定义;它仅在00处等于(0,0)(0,0)。

f(x,y)=x4−4y2x2+2y2f(x,y)=\frac{x^4-4y^2}{x^2+2y^2}

时间近似
依据视频推导
来源依据
  1. 公式
    观察依据

    屏幕上显示的表达式是lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}。

待核验内容
  1. 视频并未明确引入诸如f(x,y)f(x,y)这样的独立名称;该标签仅为分析者使用之便利。

符号

f(x,y)=x4−4y2x2+2y2f(x,y)=\frac{x^4-4y^2}{x^2+2y^2}

含义

极限问题中所考虑的多元有理函数。

适用范围

所有满足(x,y)∈R2(x,y)\in\mathbb{R}^2的(x,y)≠(0,0)(x,y)\neq(0,0)。

x=0x=0

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话人提到沿 y 轴趋近。

  2. 动画
    观察依据

    一条黄色箭头沿纵轴指向原点。

符号

x=0x=0

含义

作为趋近(0,0)(0,0)的一种可能路径,所采用的纵轴路径。

适用范围

形如(0,y)(0,y)且满足y→0y\to 0的点。

y=0y=0

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提到沿x轴方向趋近。

  2. 动画
    观察依据

    一条黄色箭头沿水平轴指向原点绘制。

符号

y=0y=0

含义

沿水平轴的路径被用作趋近(0,0)(0,0)的一种可能方式。

适用范围

形如(x,0)(x,0)且满足x→0x\to 0的点。

y=xy=x

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说,我们可以考察沿直线y等于x趋近时的函数值。

  2. 动画
    观察依据

    一条对角方向的黄色箭头指向原点绘制。

符号

y=xy=x

含义

一条过原点的对角直线路径,用于检验方向性行为。

适用范围

形如(t,t)(t,t)且满足t→0t\to 0的点。

y=mx

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人表示,我们还可以尝试其他一些直线,或者就沿某条形如y等于mx的直线——比如我们这里所画的这条。

  2. 动画
    观察依据

    额外的黄色箭头从其他方向指向原点绘制。

待核验内容
  1. 符号mm被口头提及,但未写在黑板上。

符号

y=mx

含义

一族过原点、斜率为mm的直线路径,用于搜寻不同的极限值。

适用范围

形如(t,mt)(t,mt)的点,其中t→0t\to 0,且具有固定的实数斜率mm。

y=x2y=x^2

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者指出,我们实际上必须证明:当沿着抛物线 y 等于 x 的平方趋近该点时的情形。

  2. 动画
    观察依据

    一条弯曲的黄色路径被画向原点,视觉上明显区别于那些笔直的箭头。

待核验内容
  1. 方程y=x2y=x^2是口头陈述的,而非写在黑板上。

符号

y=x2y=x^2

含义

提到一条经过原点的弯曲路径,作为另一种可能的趋近方向。

适用范围

形如(t,t2)(t,t^2)的点,其中t→0t\to 0。

x

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    变量 x 出现在所显示的函数中,也出现在路径记号 (x,0) 中。

符号

x

含义

二元函数的第一个坐标变量。

适用范围

实数值;在已计算的路径中,它要么固定为 0,要么允许趋近于 0。

y

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    变量 y 出现在所显示的函数中,也出现在路径记号 (0,y) 中。

符号

y

含义

二元函数的第二个坐标变量。

适用范围

实数值;在已计算的路径中,它要么固定为 0,要么允许趋近于 0。

知识点 · 10

一个二元极限的问题陈述。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示:求该多元函数的极限,或说明其不存在(DNE)。lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}。

  2. 声音
    观察依据

    说话者将任务介绍为:求一个多元函数的极限,或说明该极限不存在。

定义
解释

该片段提出了一个关于二元有理函数在原点处的具体系极限问题。所研究的数学对象是当x4−4y2x2+2y2\frac{x^4-4y^2}{x^2+2y^2}趋近于(x,y)(x,y)时(0,0)(0,0)在平面上的行为。

公式
lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}
适用条件
  1. 极限点为(0,0)(0,0)。

  2. 该函数是关于xx和yy的多项式表达式的商。

  3. 分母在(0,0)(0,0)处为零,因此直接代入无法立即得出有用信息。

基于路径的多元函数极限检验法

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,由于我们面对的是一个多元函数,因此必须考察从不同方向趋近于点(零,零)时的极限。

  2. 动画
    观察依据

    在坐标示意图上,从不同方向画出多条黄色箭头,指向原点。

方法
解释

视频讲解了二元函数极限的一种标准策略:比较函数沿不同路径趋近目标点时所得的极限值。若两条路径给出不同的极限值,则整体极限必然不存在。这类似于一元函数中分别检验左极限与右极限的思想,但在二维情形下,存在无穷多种可能的趋近方向和曲线。

公式
适用条件
  1. 适用于两个或更多自变量的函数极限。

  2. 沿若干条路径得到相等的极限值,本身并不能证明整体极限存在。

  3. 沿两条路径得到不相等的极限值,已足以断定整体极限不存在。

先修条目
  1. 一个二元极限的问题陈述。

方向性极限与整体极限

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,函数可能在特定方向上存在极限,但整体极限并不存在。

  2. 声音
    观察依据

    主讲人补充道,只有当函数无论从哪个方向趋近时都趋于同一数值,整体极限才可能存在。

定义
解释

该片段区分了沿特定路径取的极限与完整的二元函数极限。一个函数可能在选定的直线或曲线上表现出良好且确定的行为,却仍无法在该点具有唯一的整体极限,因为整体极限要求所有可能趋近方式下的极限值必须一致。

公式
适用条件
  1. 一般极限要求从任意方向趋近该点时,极限值都相同。

  2. 即使一般极限不存在,特定方向或特定路径的极限仍可能存在。

先修条目
  1. 基于路径的多元函数极限检验法

ε-δ 形式精确定义的作用

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,我们真正能做到这一点的唯一方法,是利用极限的精确定义来加以证明。

  2. 声音
    观察依据

    主讲人还指出,如果沿许多不同路径所得结果始终一致,那么我们可以转而采用更为复杂的极限精确定义,来严格证明:无论从何处趋近,函数值都趋于同一数值。

方法
解释

视频指出,路径检验法适用于否定极限的存在性;但要证明多元函数极限的存在性,则必须使用极限的精确定义。换言之,仅检验有限条路径不足以确立整体极限;我们必须控制函数在所有足够接近该点处的行为。

公式
适用条件
  1. 当路径检验未产生矛盾时所采用的方法。

  2. 为证明一般极限存在(而不仅是否定其存在)所必需的方法。

先修条目
  1. 基于路径的多元函数极限检验法
  2. 方向性极限与整体极限

问题陈述:二元有理函数在原点处的极限。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    顶部文字为:求该多元函数的极限,或说明其不存在(DNE)。

  2. 公式
    观察依据

    显示的极限:lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}。

定义
解释

该片段呈现了一个标准的多元微积分问题:判断当 (x,y) 趋近于 (4−4y24-4y^2}{x2+2y2x^2+2y^2} 的极限是否存在,或判定其不存在。0,0), or conclude that it 不存在。

公式
lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}
适用条件
  1. 目标点为原点(0,0)。

  2. 该函数是关于 x 和 y 的多项式表达式的商。

限制路径为 y 轴。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话人指出,沿 y 轴趋近意味着该直线上处处有 x=0x=0。

  2. 公式
    观察依据

    黑板上写出:lim⁡(0,y)→(0,0)−4y22y2=−2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2}=-2。

方法
解释

为了检验二元函数的极限,教师首先将趋近路径限制在 y 轴上,即令 x=0x = 0。这将原函数转化为关于 y 的一元表达式,随后可对其进行化简,并在 y 趋近于 0 时求值。

公式
lim⁡(0,y)→(0,0)04−4y202+2y2=lim⁡(0,y)→(0,0)−4y22y2=−2\lim_{(0,y)\to(0,0)} \frac{0^4-4y^2}{0^2+2y^2}=\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2}=-2
适用条件
  1. 在所选路径上,x 固定为 0。

  2. 该化简过程在取极限前,对 y≠2y\ne 2 时的 y0y^0 进行了约去。

先修条目
  1. 问题陈述:二元有理函数在原点处的极限。

将路径限制在 x 轴上

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提问:若沿 x 轴趋近,结果如何?并指出,在该轴上处处有 y=0y = 0。

  2. 公式
    观察依据

    黑板上写出 lim⁡(x,0)→(0,0)x4x2=x2=02=0\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2}=x^2=0^2=0。

方法
解释

第二条测试路径是x轴,通过令y=0y=0得到。函数简化为关于x的一元表达式,进一步化简为x2x^2,然后当x趋近于0时,其值为0。

公式
lim⁡(x,0)→(0,0)x4−4(0)2x2+2(0)2=lim⁡(x,0)→(0,0)x4x2=lim⁡(x,0)→(0,0)x2=0\lim_{(x,0)\to(0,0)} \frac{x^4-4(0)^2}{x^2+2(0)^2}=\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2}=\lim_{(x,0)\to(0,0)} x^2=0
适用条件
  1. 在所选路径上,y 固定为 0。

  2. 化简后,剩余表达式仍依赖于 x,因此代入端点值 x=0x = 0。

先修条目
  1. 问题陈述:二元有理函数在原点处的极限。

由两条不同路径所得极限不同而得出的结论

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人总结:沿 y 轴得到 -2,沿 x 轴得到 0;由于二者数值不同,故函数在点 (0,0) 处的极限不存在。

  2. 公式
    观察依据

    黑板上写出 -2 ≠0\neq 0,并框出 DNE。

方法
解释

该片段使用双路径检验法:若一个多元函数沿两条不同路径趋近于同一点时得到不同的函数值,则该点处的整体极限不存在。此处计算出的两条路径极限分别为 -2 和 0,因此最终结论为 DNE。

公式
−2≠0⇒lim⁡(x,y)→(0,0)x4−4y2x2+2y2 DNE-2\neq 0 \quad\Rightarrow\quad \lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}\text{ DNE}
适用条件
  1. 两条路径必须趋近于同一点(0,0)。

  2. 两条路径的极限必须不相等。

先修条目
  1. 限制路径为 y 轴。
  2. 将路径限制在 x 轴上

极限不存在的双路径检验法

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者解释沿不同直线趋近原点,以观察函数值是否不同。

  2. 公式
    观察依据

    计算了两个不同的极限:一个等于-2,另一个等于0。

方法
解释

要证明一个多元函数的极限不存在,可以沿着两条不同的路径趋近目标点;若函数沿这两条路径得到的极限值不同,则该整体极限不存在。

公式
If lim⁡path 1f(x,y)≠lim⁡path 2f(x,y), then lim⁡f(x,y) DNE.\text{If } \lim_{\text{path 1}} f(x,y) \neq \lim_{\text{path 2}} f(x,y), \text{ then } \lim f(x,y) \text{ DNE.}
适用条件
  1. 这两条路径都必须趋近于同一个目标点。

  2. 所选路径上的极限必须存在。

极限的精确定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者指出:若所有路径都给出相同的值,则需借助极限的精确定义来证明其存在性,因为路径有无穷多条。

定义
解释

严格的ε-δ定义,用于严谨地证明极限存在;仅检验有限条路径不足以构成一般性证明。

公式
适用条件
  1. 该定义用于尝试证明极限存在,而非用于否定极限存在。

定理与条件 · 5

两路径结果不一致作为极限不存在的判据

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,若沿 y 轴所得的值与沿直线 y 等于 x 所得的值不同,则说明我们可以从两个不同方向趋近于点(零,零)并得到两个不同的值,从而得知该二元函数的整体极限不存在。

命题
命题

若一个二元函数沿两条终止于同一点的不同路径趋近时,得到两个不同的极限值,则该点的一般极限不存在。

前提
  1. 存在两条互异的路径,均趋近于同一点。

  2. 该函数沿每条路径都有一个极限值。

  3. 这两个极限值互不相同。

量词

对于一个二元函数及一个固定的靶点,若存在两条路径使得其路径极限不相等,则该函数在该点的完整极限不存在。

广义极限的“所有方向”要求

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,只有当函数从任意方向趋近时都逼近同一个值,广义极限才可能存在。

命题
命题

一个多元函数在某点的广义极限要存在,当且仅当函数沿该点所有可能的趋近路径都逼近同一个值。

前提
  1. 该函数正在被考察其在平面上某一点附近的性态。

  2. 人们关注的是完整的二元函数极限,而非某一条路径上的极限。

量词

对所有趋近该点的方式,其极限值都必须相同。

路径极限的一致性不能替代极限存在的精确定义证明

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,如果我们每次得到的答案都一致,那么就可以转向极限的精确定义……来严格证明它确实从任何方向趋近时都逼近同一个值。

命题
命题

仅在若干条测试路径上得到相同的极限值,并不足以证明该多元函数的完整极限存在;必须借助极限的精确定义才能完成严格的存性证明。

前提
  1. 已测试多条路径,均得到相同的极限值。

  2. 目标是证明一般极限的存在性,而不仅仅是寻找反例。

量词

对于任意有限条已测试路径,若各路径极限值相同,也不能推出无限制的极限存在。

多元函数极限不存在的双路径判据

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,由于函数在点(0,0)处趋近于两个不同的值,因此该点处的极限不存在。

  2. 公式
    观察依据

    黑板上写出 -2 ≠0\neq 0,然后以 DNE 作为最终结论。

命题
命题

若一个二元函数沿两条不同路径趋近于同一点时得到不同的极限值,则该点处的极限不存在。

前提
  1. 函数在某个公共点附近被求值,此处为(0,0)。

  2. 至少考虑两条不同的趋近路径。

  3. 各路径上的极限存在且互不相等。

量词

针对给定点及趋近该点的两条路径。

极限不存在的结论

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者得出结论:“我们已知这个特定的极限并不存在。”

  2. 公式
    观察依据

    黑板上显示“-2 ≠ 0”,并用方框标出“DNE”。

命题
命题

极限lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4 - 4y^2}{x^2 + 2y^2}不存在。

前提
  1. 函数沿 y 轴趋近于 -2。

  2. 函数沿 x 轴趋近于 0。

  3. -2 不等于 0。

量词

不适用

推导与证明 · 7

从单侧极限到路径极限

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者表示,此处求极限的过程将类似于我们此前处理一元函数时所用的方法,并回顾了检查左极限与右极限的做法。

  2. 声音
    观察依据

    接着,说话者指出,对于多元函数,我们必须考察从不同方向趋近该点时的极限。

待核验内容
  1. 音频中出现的“二维函数”一词,实际指代前文所讨论的一元函数情形,用以与当前的多元函数情形形成对比;此处措辞严格保留原始表述。

直观解释
步骤
  1. 公式
    解释

    在更简单的一元函数情形下,说话者回顾了检查左极限与右极限的做法。

    步骤依据

    此内容在音频中被直接陈述为正在复习的先验知识。

    视频直接表达
  2. 公式
    解释

    若这两个单侧极限均存在且相等,则一般极限存在。

    步骤依据

    这是普通一元函数极限所熟知的判别准则。

    视频直接表达
  3. 公式
    解释

    对于二元函数,对应的思路是在平面上比较从不同方向趋近时的极限。

    步骤依据

    主讲人明确指出,我们遵循相同的步骤,只是此时要从不同方向趋近。

    视频直接表达
结论

该片段通过单变量微积分中单侧极限的类比,引出路径检验法。

检验路径的有序策略

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说,通常我们首先沿 y 轴和 x 轴趋近。

  2. 声音
    观察依据

    主讲人接着指出,如果沿这两条轴仍得到相同的结果,那么我们将尝试沿直线 y 等于 x 趋近,或沿某条更一般的直线 y 等于 mx 趋近。

  3. 声音
    观察依据

    主讲人补充道,如果这些直线也给出相同的结果,我们还可以尝试其他不同的直线;而若每次所得结果始终一致,便可转向极限的精确定义。

直观解释
步骤
  1. 公式
    解释

    首先检验坐标轴路径,即 xx-轴和 yy-轴。

    步骤依据

    这些是从原点出发最简单的路径,且主讲人明确将其列为第一步。

    视频直接表达
  2. 公式
    解释

    若这些路径结果一致,则检验一条对角线路径,例如 y=xy=x,或一条更一般的直线 y=mxy=mx。

    步骤依据

    主讲人指出,当坐标轴路径给出相同答案时,这是下一步操作。

    视频直接表达
  3. 公式
    解释

    若这些路径结果也一致,则继续尝试其他直线。

    步骤依据

    主讲人说,我们还可以尝试一些不同的直线。

    视频直接表达
  4. 公式
    解释

    只有当反复进行路径检验始终得到相同结果时,才应转而采用精确定义,尝试证明极限存在。

    步骤依据

    这一点在音频中直接陈述。

    视频直接表达
结论

视频片段中体现的实用流程是:先搜索反例路径,依次从坐标轴升级到斜线,再升级到其他曲线;在考虑严格的存在性证明之前,优先尝试这些路径。

沿 y 轴求极限的推导

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人解释说,在 y 轴上 x=0x = 0,然后将 x 替换为 0 代入函数中。

  2. 公式
    观察依据

    黑板上展示了代入与化简过程,结果为 -2。

严格证明
步骤
  1. 公式
    lim⁡(0,y)→(0,0)x4−4y2x2+2y2\lim_{(0,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}
    解释

    从原始极限出发,将趋近路径限定为形如 (0, y) 的点。

    步骤依据

    这是所选的检验路径:y 轴。

    视频直接表达
  2. 公式
    lim⁡(0,y)→(0,0)04−4y202+2y2\lim_{(0,y)\to(0,0)} \frac{0^4-4y^2}{0^2+2y^2}
    解释

    在分子和分母中所有位置均代入 x=0x = 0。

    步骤依据

    y 轴上的每个点的横坐标均为 0。

    视频直接表达
  3. 公式
    lim⁡(0,y)→(0,0)−4y22y2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2}
    解释

    将 040^4 和 020^2 分别化简为 0,仅剩下 y2y^2 项。

    步骤依据

    对常数进行算术化简。

    视频直接表达
  4. 公式
    −2-2
    解释

    约去公因式 y2y^2,并将 -4 除以 2。

    步骤依据

    当 y≠0y \ne 0 时,该商等于 -2,因此该路径下的极限为 -2。

    视频直接表达
结论

沿 y 轴,函数趋近于 -2。

沿x轴求极限的推导过程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,沿 x 轴有 y=0y = 0,随后将 y 替换为 0 并进行化简。

  2. 公式
    观察依据

    黑板上显示 x4x2=x2=02=0\frac{x^4}{x^2}=x^2=0^2=0。

严格证明
步骤
  1. 公式
    lim⁡(x,0)→(0,0)x4−4y2x2+2y2\lim_{(x,0)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}
    解释

    从原始极限出发,将趋近路径限定为形如 (x,0) 的点。

    步骤依据

    这是所选的检验路径:x轴。

    视频直接表达
  2. 公式
    lim⁡(x,0)→(0,0)x4−4(0)2x2+2(0)2\lim_{(x,0)\to(0,0)} \frac{x^4-4(0)^2}{x^2+2(0)^2}
    解释

    在分子和分母中处处代入 y=0y=0。

    步骤依据

    x轴上的每个点的y坐标均为0。

    视频直接表达
  3. 公式
    lim⁡(x,0)→(0,0)x4x2\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2}
    解释

    含y的项全部消失,剩下 x4x^4 除以 x2x^2。

    步骤依据

    代入后的算术化简。

    视频直接表达
  4. 公式
    lim⁡(x,0)→(0,0)x2\lim_{(x,0)\to(0,0)} x^2
    解释

    通过约去 x2x^2 来化简该商式。

    步骤依据

    当 x≠0x\ne 0 时,x4x2=x2\frac{x^4}{x^2}=x^2。

    视频直接表达
  5. 公式
    02=00^2=0
    解释

    现在令 x 趋近于0,并计算剩余表达式的值。

    步骤依据

    将结果直接代入化简后的一元表达式。

    视频直接表达
结论

沿 x 轴方向,函数趋近于0。

最终推导出该二元函数极限不存在。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者明确比较了这两个结果,并得出极限不存在的结论。

  2. 公式
    观察依据

    黑板上写出 -2 ≠ 0,并框出 DNE。

严格证明
步骤
  1. 公式
    −2-2
    解释

    回顾沿 y 轴方向求得的极限值。

    步骤依据

    此前推导出的路径结果。

    视频直接表达
  2. 公式
    00
    解释

    回顾沿 x 轴方向求得的极限值。

    步骤依据

    此前推导出的路径结果。

    视频直接表达
  3. 公式
    −2≠0-2\neq 0
    解释

    比较这两条路径上的极限。

    步骤依据

    它们是不相等的数。

    视频直接表达
  4. 公式
    DNE\text{DNE}
    解释

    得出在点(0,0)处的完整极限不存在的结论。

    步骤依据

    依据多元函数极限不存在的双路径判别法。

    视频直接表达
结论

因为两条不同的趋近路径给出不同的极限值,所以函数在点(0,0)处的总体极限不存在。

沿 y 轴的极限

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    计算式 lim⁡(0,y)→(0,0)−4y22y2=−2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2} = -2 显示在黑板上。

数值验证
步骤
  1. 公式
    lim⁡(0,y)→(0,0)x4−4y2x2+2y2\lim_{(0,y)\to(0,0)} \frac{x^4 - 4y^2}{x^2 + 2y^2}
    解释

    从原始的极限表达式开始。

    步骤依据

    题目陈述。

    视频直接表达
  2. 公式
    lim⁡(0,y)→(0,0)04−4y202+2y2\lim_{(0,y)\to(0,0)} \frac{0^4 - 4y^2}{0^2 + 2y^2}
    解释

    代入 x=0x = 0,以沿 y 轴趋近。

    步骤依据

    沿 y 轴趋近的定义。

    依据视频推导
  3. 公式
    lim⁡(0,y)→(0,0)−4y22y2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2}
    解释

    化简分子和分母。

    步骤依据

    算术化简。

    视频直接表达
  4. 公式
    −2-2
    解释

    约去y2y^2项(当y≠0y \neq 0时),并求常数极限。

    步骤依据

    代数约分与常数的极限。

    视频直接表达
结论

沿 y 轴方向的极限为 -2。

沿 x 轴方向的极限

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    计算式lim⁡(x,0)→(0,0)x4x2=x2=02=0\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2} = x^2 = 0^2 = 0显示在黑板上。

数值验证
步骤
  1. 公式
    lim⁡(x,0)→(0,0)x4−4y2x2+2y2\lim_{(x,0)\to(0,0)} \frac{x^4 - 4y^2}{x^2 + 2y^2}
    解释

    从原始极限表达式开始。

    步骤依据

    题目陈述。

    视频直接表达
  2. 公式
    lim⁡(x,0)→(0,0)x4−4(0)2x2+2(0)2\lim_{(x,0)\to(0,0)} \frac{x^4 - 4(0)^2}{x^2 + 2(0)^2}
    解释

    代入 y=0y = 0,以沿 x 轴方向趋近。

    步骤依据

    沿 x 轴方向趋近的定义。

    依据视频推导
  3. 公式
    lim⁡(x,0)→(0,0)x4x2\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2}
    解释

    化简该表达式。

    步骤依据

    算术化简。

    视频直接表达
  4. 公式
    lim⁡(x,0)→(0,0)x2\lim_{(x,0)\to(0,0)} x^2
    解释

    约去分子与分母中的x2x^2(当x≠0x \neq 0时)。

    步骤依据

    代数约分。

    视频直接表达
  5. 公式
    02=00^2 = 0
    解释

    求当 x 趋近于0时的极限。

    步骤依据

    直接代入法。

    视频直接表达
结论

沿 x 轴方向的极限为0。

例题详解 · 3

主要例题已引入,但尚未进行计算。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2},并附有指令:求该极限,或说明其不存在(DNE)。

  2. 声音
    观察依据

    主讲人将此描述为具体问题,并口头读出该表达式。

待核验内容
  1. 在此持续180秒的片段中,未完成任何数值化的路径计算。

题目

求lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2},或说明该极限不存在。

已知条件
  1. 该函数为x4−4y2x2+2y2\frac{x^4-4y^2}{x^2+2y^2}。

  2. 趋近点为(0,0)(0,0)。

  3. 本任务允许两种选择:计算该极限,或判定其不存在。

目标

判断该二元函数在原点处的极限是否存在;若不存在,请说明理由。

步骤
  1. 公式
    解释

    将问题设为原点处的多元函数极限。

    步骤依据

    直接在黑板上写出并朗读。

    视频直接表达
  2. 公式
    解释

    解释该方法是通过沿不同路径趋近(0,0)(0,0)来比较所得的函数值。

    步骤依据

    在概念引入阶段的音频中陈述。

    视频直接表达
  3. 公式
    解释

    绘制坐标平面并标出原点,然后指出候选路径,例如坐标轴、y=xy=x、y=mxy=mx和y=x2y=x^2。

    步骤依据

    通过绘图动画呈现,并在音频中加以描述。

    视频直接表达
  4. 公式
    解释

    说明计划寻找两条得出不同函数值的路径,从而证明该极限不存在。

    步骤依据

    由主讲人明确陈述。

    视频直接表达
结果

本片段未得出最终数值答案;该片段仅建立问题设定与求解策略。

检验

未完成计算的事实可从音频在讲解中途结束、以及黑板上从未显示代入路径后的结果中明显看出。

例题:证明函数在原点处的极限不存在

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    本片段完整演示了例题 lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2} 的求解过程。

  2. 声音
    观察依据

    讲解者逐条叙述每条路径的计算过程及最终结论。

题目

求 lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2},或说明该极限不存在。

已知条件
  1. 函数为 f(x,y)=x4−4y2x2+2y2f(x,y)=\frac{x^4-4y^2}{x^2+2y^2}。

  2. 目标点为(0,0)。

  3. 选取两条测试路径:y 轴和 x 轴。

目标

判断二元函数在点(0,0)处的极限是否存在。

步骤
  1. 公式
    lim⁡(0,y)→(0,0)−4y22y2=−2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2}=-2
    解释

    沿 y 轴趋近,即令 x=0x=0,然后化简。

    步骤依据

    路径限制结合代数约分。

    视频直接表达
  2. 公式
    lim⁡(x,0)→(0,0)x4x2=lim⁡(x,0)→(0,0)x2=0\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2}=\lim_{(x,0)\to(0,0)} x^2=0
    解释

    沿 x 轴趋近,即令 y=0y=0,然后化简。

    步骤依据

    路径限制,约去公因式,再代入 x=0x = 0。

    视频直接表达
  3. 公式
    −2≠0-2\neq 0
    解释

    比较两条路径的极限值。

    步骤依据

    沿两条通往同一点的有效路径,得到不同的数值结果。

    视频直接表达
  4. 公式
    DNE\text{DNE}
    解释

    给出原二元函数极限的最终结论。

    步骤依据

    双路径检验法(用于证明极限不存在)。

    视频直接表达
结果

该极限不存在(DNE)。

检验

通过明确给出两条通往点 (0,0) 的路径,分别得到极限值 -2 和 0,从而验证了该结论。

多元函数极限的计算

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    整个题目与解答均书写在黑板上。

  2. 声音
    观察依据

    讲解者口述求极限的过程,或说明该极限不存在(DNE)。

题目

求多元函数lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4 - 4y^2}{x^2 + 2y^2}的极限,或说明其不存在(DNE)。

已知条件
  1. 函数f(x,y)=x4−4y2x2+2y2f(x,y) = \frac{x^4 - 4y^2}{x^2 + 2y^2}

  2. 目标点(0,0)(0,0)

目标

判断该极限是否存在;若存在,求出其值;若不存在,给出证明。

步骤
  1. 公式
    lim⁡(0,y)→(0,0)−4y22y2=−2\lim_{(0,y)\to(0,0)} \frac{-4y^2}{2y^2} = -2
    解释

    沿 y 轴趋近原点(令 x=0x = 0),并计算该极限。

    步骤依据

    双路径检验法。

    视频直接表达
  2. 公式
    lim⁡(x,0)→(0,0)x4x2=0\lim_{(x,0)\to(0,0)} \frac{x^4}{x^2} = 0
    解释

    沿x轴趋近原点(令y=0),并计算该路径上的极限。

    步骤依据

    双路径检验法。

    视频直接表达
  3. 公式
    −2≠0-2 \neq 0
    解释

    比较两条不同路径所得的结果。

    步骤依据

    逻辑比较。

    视频直接表达
  4. 公式
    DNE\text{DNE}
    解释

    得出整体极限不存在的结论。

    步骤依据

    双路径检验定理。

    视频直接表达
结果

极限不存在(DNE)。

检验

所选的两条路径给出不同的极限值(-2和0),这已足以证明极限不存在。

图示与动画 · 9

问题陈述的静态呈现

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黑色黑板充满画面,顶部为白色手写文字,极限表达式居中位于其下方。

  2. 公式
    观察依据

    可见的公式是lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}。

图中对象
  1. 白色手写说明行

  2. 极限表达式

  3. 黑板背景

变化过程
  1. 此时间段内大部分时间未出现新的书写内容。

  2. 光标或指针在公式上移动,同时讲解者朗读并解释该公式。

不变量
  1. 问题陈述在屏幕上保持不变。

  2. 目标点(0,0)(0,0)和有理表达式始终可见。

数学含义

这一视觉阶段在任何几何解释开始之前,为数学任务奠定基础。

绘制平面并标出原点

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    先画出一条竖直的双向箭头,再画一条与之相交的水平双向箭头,构成坐标轴。

  2. 动画
    观察依据

    在坐标轴交点处放置一个绿色圆点。

图中对象
  1. 纵轴

  2. 横轴

  3. 交点处的绿色圆点

变化过程
  1. 黑板左下角空白区域变为一个简单的坐标示意图。

  2. 原点以彩色点标出。

不变量
  1. 原始极限表达式保留在黑板顶部。

  2. 坐标轴表示标准的 xx-yy 平面,围绕 (0,0)(0,0)。

数学含义

该示意图将抽象的极限点(0,0)(0,0)转化为一个可从多个方向趋近的几何位置。

强调公式中的极限点

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    极限表达式中(0,0)(0,0)周围出现黄色矩形高亮。

图中对象
  1. (0,0)(0,0)周围的黄色方框

  2. 极限表达式

变化过程
  1. 公式中的目标点在视觉上被单独标出。

不变量
  1. 公式的其余部分保持不变。

  2. 坐标示意图仍保留在下方可见。

数学含义

这将代数记号(x,y)→(0,0)(x,y)\to(0,0)与刚刚绘制的几何原点联系起来。

演示多种趋近路径

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    沿纵轴、横轴以及对角线方向依次画出黄色箭头,指向原点。

  2. 动画
    观察依据

    随后,又添加了更多的黄色箭头和一条弯曲的黄色路径,表示趋近原点的更多方式。

  3. 声音
    观察依据

    讲解者在标记这些图形的同时,依次指出 y 轴、x 轴、直线y=xy=x、形如y=mxy=mx的直线,以及曲线y=x2y=x^2。

待核验内容
  1. 后续的一些箭头是其他方向的泛化示意,而非黑板上写出的具体方程标注。

图中对象
  1. 沿 y 轴向下的黄色箭头

  2. 沿 x 轴的黄色箭头

  3. 对应y=xy=x的黄色对角线箭头

  4. 其他直线对应的额外黄色箭头

  5. 与y=x2y=x^2相关的弯曲黄色路径

变化过程
  1. 所标示的趋近方向数量随时间增加。

  2. 示意图从两条坐标轴逐步演变为围绕原点的多路径图。

不变量
  1. 所有已绘制的路径均终止于同一个绿色原点。

  2. 底层函数及极限表述保持不变。

数学含义

该动画直观呈现了核心思想:二元函数的极限取决于沿众多可能路径趋近时的行为,而不仅限于某一条路径。

黑板布局与坐标示意图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黑板顶部显示题目文字,上中部附近书写极限表达式,左侧绘有坐标示意图,并用箭头指向原点。

图中对象
  1. 顶部说明文字

  2. 极限表达式 lim⁡(x,y)→(0,0)x4−4y2x2+2y2\lim_{(x,y)\to(0,0)} \frac{x^4-4y^2}{x^2+2y^2}

  3. 左侧坐标轴示意图

  4. 多条箭头指向原点

变化过程
  1. 随着解题过程推进,在原题下方添加新的手写演算内容。

  2. 最终框出的“DNE”写在末尾附近。

不变量
  1. 原题陈述始终可见。

  2. 坐标示意图持续表示趋近原点的过程。

数学含义

视觉布局将题干与分步路径计算分开,而箭头图则强调问题本质:函数在 (x,y) 从不同方向趋近于 (0,0) 时的行为。

书写沿 y 轴路径的计算过程

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黑板上添加 lim⁡(0,y)→(0,0)\lim_{(0,y)\to(0,0)},随后写出化简后的分式,结果为 -2。

图中对象
  1. 表达式 lim⁡(0,y)→(0,0)\lim_{(0,y)\to(0,0)}

  2. 分式 −4y22y2\frac{-4y^2}{2y^2}

  3. 结果为 -2

变化过程
  1. 引入路径记号 (0,y)。

  2. 代入后的分式被写出并化简为 -2。

不变量
  1. 上方的原函数保持不变。

数学含义

这一可视化步骤编码了限制条件 x=0x=0,并展示了沿 y 轴所得的单变量极限。

x 轴路径计算的书写过程

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黑板上添加了 lim⁡(x,0)→(0,0)\lim_{(x,0)\to(0,0)} 以及链式等式 x4x2=x2=02=0\frac{x^4}{x^2}=x^2=0^2=0。

图中对象
  1. 表达式 lim⁡(x,0)→(0,0)\lim_{(x,0)\to(0,0)}

  2. 分式 x4x2\frac{x^4}{x^2}

  3. 化简后的表达式 x2x^2

  4. 结果 0

变化过程
  1. 路径记号 (x,0) 被引入。

  2. 代入后的分式被化简为 x2x^2,然后在 0 处求值。

不变量
  1. 先前得到的 y 轴结果 -2 仍显示在上方。

数学含义

这一可视化步骤体现了约束条件 y=0y = 0,并展示了沿 x 轴所得的单变量极限。

最终比较与框出的结论

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黑板上写出 -2 ≠ 0,然后将 DNE 框出。

图中对象
  1. 不等式:-2 ≠ 0

  2. 框出的标签:DNE

变化过程
  1. 写出比较两条路径极限的不等式。

  2. 最终答案 DNE 被框出。

不变量
  1. 此前两条路径的结果均保持可见。

数学含义

对框出的 DNE 进行视觉强调,标志着双路径论证的逻辑终点。

黑板布局与标注

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    黑板上方显示题目陈述,左侧为带彩色箭头的坐标系以指示路径,下方为分步计算过程。

图中对象
  1. 坐标轴

  2. 代表路径的彩色箭头

  3. 数学表达式

  4. 框出的‘DNE’结论

变化过程
  1. 说话者在讲解概念时,指向黑板上不同部分。

不变量
  1. 视频片段中,所书写的数学内容始终保持静止。

数学含义

视觉布局将问题、几何直观(路径)以及双路径检验的代数执行过程组织起来。

易错点 · 4

将多条路径结果一致误认为存在性证明

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,如果我们每次得到的答案都相同,那么就可以转向极限的精确定义……以严格证明:无论从何处趋近,函数值都趋近于同一数值。

误区

人们可能认为,只要若干条测试路径所得的极限值相同,那么该多元函数的极限就必然存在。

说明

视频明确警示了这种误区:路径检验有助于发现极限不存在,但要证明极限存在,则必须借助极限的精确定义,因为需对所有可能的趋近方式加以统一控制。

混淆方向极限与一般极限

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,我们可以在特定方向上存在极限,但整体极限并不存在。

误区

人们可能误以为,沿某一特定方向的极限就足以定义该点处的一般极限。

说明

该片段区分了逐路径(或方向)行为与一般二元函数极限,后者要求所有趋近该点的方式都得到相同的值。

路径极限值一致并不能证明该极限存在

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,若两条路径均得到 -2,则人们或许还想再尝试几个其他值。

误区

沿两条选定路径得到相同的极限,并不足以得出多元函数极限存在的结论。

说明

视频指出,两条路径上得到相同结果,仍需检验其他路径;有限多条路径上结果一致,并不能确立极限存在。

误以为有限路径检验可证明极限存在

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者明确提醒:即使沿许多路径所得结果相同,也不能据此证明极限存在,因为路径数量无限,必须依赖严格的定义。

误区

误以为若函数沿若干条已检验路径趋近于同一数值,则多元函数极限必定存在。

说明

有限路径检验仅能用于否定极限的存在性;要证明极限存在,必须使用严格的ε-δ定义,以涵盖所有无限多种可能路径。

概念关系 · 10

基于路径的多元函数极限检验法 → 一个二元极限的问题陈述。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人将当前的多元函数问题类比为此前检验左极限与右极限的过程。

应用
解释

这种通过比较不同趋近方式来判断极限的方法,被呈现为对一元函数中“单侧极限相等”这一熟悉思想向二元函数情形的推广。

基于路径的多元函数极限检验法 → 两路径结果不一致作为极限不存在的判据

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人解释道:若沿两条不同路径所得的极限值不同,则该点处的一般极限不存在。

证明依赖
解释

路径检验法依赖于如下命题:只要存在两条路径的极限值不一致,即可断定整体极限不存在。

方向性极限与整体极限 → 广义极限的“所有方向”要求

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人对比了特定方向上的极限与一般极限。

对比
解释

该片段利用方向行为与无限制极限之间的区别,来说明“所有方向均一致”这一条件为何至关重要。

ε-δ 形式精确定义的作用 → 基于路径的多元函数极限检验法

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出:当反复进行路径检验均得到相同结果后,必须借助极限的精确定义来证明极限的存在性。

推广
解释

基于精确定义的方法被呈现为更强有力、完全严格的方法;当需要证明极限存在时,它取代了有限次路径检验。

问题陈述:二元有理函数在原点处的极限。 → 限制路径为 y 轴。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人从一般的二元函数极限问题转向特定的y轴路径。

  2. 公式
    观察依据

    黑板上将原极限改写为(0,y) → (0,0)的形式。

应用
解释

通过将路径限制在y轴上,来研究一般的二元函数极限问题。

问题陈述:二元有理函数在原点处的极限。 → 将路径限制在 x 轴上

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人接着询问沿x轴时的情形。

  2. 公式
    观察依据

    黑板上将原极限改写为(x,0) → (0,0)的形式。

应用
解释

再次用另一条路径限制——此次限制在x轴上——来检验同一个原极限。

限制路径为 y 轴。 → 由两条不同路径所得极限不同而得出的结论

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人比较这两个结果,并得出极限不存在(DNE)的结论。

  2. 公式
    观察依据

    黑板上写出-2 ≠ 0,并将“DNE”框出。

证明依赖
解释

最终的极限不存在结论,依赖于先前计算出的y轴路径极限。

将路径限制在 x 轴上 → 由两条不同路径所得极限不同而得出的结论

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人比较这两个结果,并得出极限不存在(DNE)的结论。

  2. 公式
    观察依据

    黑板上写出-2 ≠ 0,并将“DNE”框出。

证明依赖
解释

最终的不存在结论还依赖于先前计算出的沿x轴路径的极限。

限制路径为 y 轴。 → 将路径限制在 x 轴上

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人明确将y轴方向的结果与x轴方向的结果进行了对比。

  2. 公式
    观察依据

    黑板上显示:一条路径得到-2,另一条路径得到0,然后有-2 ≠ 0。

对比
解释

之所以对比这两种方法,是因为它们采用了不同的坐标限制条件,并得出不同的极限值。

极限不存在的双路径检验法 → 极限的精确定义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者从讨论路径检验的结果,自然过渡到指出:倘若各路径所得值一致,则需诉诸严格定义。

对比
解释

双路径检验用于通过发现矛盾证据来否定极限的存在性;而要证明极限存在,则必须借助严格定义,覆盖所有可能路径。

问题定位 · 13

如何通过选取不同的路径来证明多元函数的极限不存在?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人解释道:若沿两条不同路径所得的极限值不同,则该点处的一般极限不存在。

涉及知识点
  1. 基于路径的多元函数极限检验法
  2. 两路径结果不一致作为极限不存在的判据

为什么检验若干条极限值相同的路径,不足以证明二元函数的极限存在?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,即使多条路径都得到相同的结果,仍需借助极限的精确定义来证明极限存在。

涉及知识点
  1. ε-δ 形式精确定义的作用
  2. 路径极限的一致性不能替代极限存在的精确定义证明
  3. 将多条路径结果一致误认为存在性证明

二元函数的方向极限与一般极限有何区别?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人区分了特定方向上的极限与一般意义上的极限。

涉及知识点
  1. 方向性极限与整体极限
  2. 广义极限的“所有方向”要求
  3. 混淆方向极限与一般极限

在检验二元函数在原点处的极限时,应优先尝试哪些路径?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人列举了一种典型尝试顺序:先 y 轴,再 x 轴,接着是 y=xy=x 或 y=mx,最后是其他直线。

涉及知识点
  1. 基于路径的多元函数极限检验法
  2. 检验路径的有序策略

本片段正在求解的是哪一个多元函数极限问题?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    开场时黑板上的文字及所展示的极限式定义了本题任务。

涉及知识点
  1. 问题陈述:二元有理函数在原点处的极限。

为什么沿y轴趋近就意味着代入x=0x=0?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人解释道:沿y轴方向时,处处有x=0x=0。

涉及知识点
  1. 限制路径为 y 轴。

为什么沿x轴趋近就意味着代入y=0y=0?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人解释道:沿x轴方向时,处处有y=0y=0。

涉及知识点
  1. 将路径限制在 x 轴上

沿y轴路径是如何得到数值-2的?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示−4y22y2=−2\frac{-4y^2}{2y^2}=-2。

涉及知识点
  1. 限制路径为 y 轴。
  2. 沿 y 轴求极限的推导

数值0是如何从x轴路径得到的?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 x4x2=x2=02=0\frac{x^4}{x^2}=x^2=0^2=0。

涉及知识点
  1. 将路径限制在 x 轴上
  2. 沿x轴求极限的推导过程

视频为何得出在点(0,0)处极限不存在的结论?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,由于两条路径给出不同的值,该极限不存在。

  2. 公式
    观察依据

    黑板上写出 -2 ≠0\neq 0,并标注 DNE。

涉及知识点
  1. 由两条不同路径所得极限不同而得出的结论
  2. 多元函数极限不存在的双路径判据
  3. 最终推导出该二元函数极限不存在。

沿两条路径得到相同结果,能否证明多元函数极限存在?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,即使两条路径都得到 -2,仍可能需要尝试更多路径。

涉及知识点
  1. 路径极限值一致并不能证明该极限存在

我该如何使用双路径检验法来说明一个多元函数的极限不存在?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人解释了沿不同直线趋近的方法,以观察函数值是否不同。

  2. 公式
    观察依据

    黑板上展示了沿两条不同路径计算极限的过程,最终得出极限不存在(DNE)的结论。

涉及知识点
  1. 极限不存在的双路径检验法
  2. 多元函数极限的计算
覆盖情况与待核验内容

已覆盖 · 黑板上展示了题目陈述,主讲人朗读了该极限表达式。

已覆盖 · 主讲人解释说,多元情形下通过类比单侧极限,从不同方向趋近来处理极限问题。

已覆盖 · 画出了坐标示意图,标出原点,并高亮公式中的(0,0)(0,0)。

已覆盖 · 图示了若干趋近路径,主讲人指出:若两条路径所得极限值不同,则该函数的一般极限不存在。

已覆盖 · 主讲人对比了方向极限与一般极限,并强调一般极限要求所有方向上的极限均一致。

已覆盖 · 主讲人给出了路径检验的实际操作顺序,并指出最终证明极限存在必须依赖极限的精确定义。

已覆盖 · 多元函数极限问题的开场陈述及所展示的函数。

已覆盖 · 通过令 x=0x=0,计算沿 y 轴的极限。

已覆盖 · 在完成 y 轴路径结果后、引入 x 轴路径前的简短过渡。

已覆盖 · 通过令 y=0y=0,计算沿 x 轴的极限。

已覆盖 · 解释为何在 x 轴路径情形中需在端点处代入,并为比较两条路径的结果做铺垫。

已覆盖 · 比较 -2 与 0,最终框出结论:极限不存在(DNE)。

已覆盖 · 结语指出:即使两条路径的极限值相同,仍需检验更多路径。

已覆盖 · 本片段完整讲解并演示了针对某一特定多元函数极限的双路径检验法,同时包含关于‘证明存在性’这一概念的重要提醒。

探索视频中的知识

已审核的主题路径