平面图
连通图是平面图,当且仅当它至少存在一种在平面上的画法,使得没有任何两条边相交。该定义依赖于“存在一种良好画法”,而非某一幅具体图像的外观。
Mathispower4u · YouTube · 4:47
这节时长为120秒的离散数学导论课讲解了平面图,将面定义为连通图在无边交叉画法下所形成的区域,并强调外部区域也计为一个面;指出一张图在某种画法中看似非平面,但只要能重画成无边交叉的形式,它仍是平面图;随后通过两个例子,对比了从含边交叉画法中错误计数面与从平面表示中正确计数面的区别;最后引出连通平面图的欧拉公式:。 本段是时长为120秒的离散数学讲座片段,介绍了连通平面图的欧拉公式 ;首先警示:面数必须从平面嵌入中计数。随后,通过从 出发的归纳构造来论证该公式,所允许的两种操作是:添加一个尖刺(使 v 和 e 各增加1),以及闭合一个回路(使 e 和 f 各增加1)。由于这两种操作均保持 不变,且基础情形给出的值为2,因此该公式对所有连通平面图成立。本段最后通过对比平面图与非平面图,指出 是边必须相交的最小图例。 本讲段通过演示两类特定图运算——添加一个‘尖刺’和闭合一个‘回路’——如何保持 这一量不变,来引入平面图的欧拉公式()。以路径图 作为基础情形,主讲人概述了归纳证明的思路。该段最后将平面图与非平面图进行对比,并指出完全图 是最小的非平面图例子,其边必然发生相交。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
本课首先定义平面图:一种连通图,它可以在平面上被画出且没有任何边相交;幻灯片同时引入术语“面”,指此类画法所形成的区域。
接着强调一个微妙要点:某一幅含边交叉的图示并不能判定该图是否为平面图;只要同一张图能被重新画成无边交叉的形式,则该图就是平面图,而含交叉的画法只是其一种非平面表示。
视频利用第一个例子,在平面画法中计数面的数量:其中有两个有界的内部区域和一个无界的外部区域,因此总共有3个面;外部区域被明确计入。
由此例出发,讲座指出:面数被视为平面图的一个属性,但前提是仅在无边交叉的画法之间进行比较。
随后出现一张警示幻灯片:它以两种方式展示同一张图——一种画法中对角线相交,看似形成5个区域;而另一种平面重画则仅显示4个面;其要点在于:面数统计仅在选定平面表示后才有效。
最后,该片段引入连通平面图的欧拉公式,它将顶点数、边数与面数关联起来,即 。
本片段以一条重要警示开篇:在使用任何公式之前,必须先将图绘制成平面图,面数才能被正确计数。幻灯片展示了同一张图的两种表示方式。左侧图示中,边的交叉可能误导观察者,误将面数计为 5(含外部面);右侧图示中,该图被重新排布,消除了所有交叉,各区域被标记为 1、2、3 和 4,从而清晰表明正确的面数是 4。
确立该约定后,课程陈述了适用于连通平面图的欧拉公式:若图有 v 个顶点、e 条边和 f 个面,则 。幻灯片文字与语音均强调,该公式的前提条件不仅是平面性,更是连通平面性。
下一张幻灯片探讨该公式为何成立,并通过构造性论证予以回答:从图 (即含两个顶点与一条边的图)出发。幻灯片指出,除单个孤立顶点外,任意连通图必包含此子图,因此 是构建更大连通图的自然基础情形。
在此基础上,图被逐步扩展,每次仅使用两类操作:其一为“添加尖刺”,即新增一个顶点及一条将其连接至已有图的边;其二为“闭合回路”,即在两个已存在的顶点之间新增一条边。论证中仅使用这两种操作。
证明随后追踪每种操作对欧拉表达式中三个量的影响。对于添加尖刺操作, 增加 1, 增加 1,而 保持不变;因此 ,故量 不变。对于闭合回路操作, 增加 1, 增加 1,而 保持不变;因此 ,故该量再次保持不变。
因为这两种操作都不会改变,所以初始得到的值会贯穿整个构造过程。幻灯片直接计算了基础情形:当、、和时,有。因此,所有通过这些操作构建出的连通平面图也都满足。幻灯片明确指出,这本质上是一种数学归纳法证明。
最后一部分对比了平面图与非平面图。幻灯片指出,并非所有图都是平面图:若边数过多而顶点数过少,则某些边必然相交。它将认定为当前讨论中出现这一现象的最小图,右下角则展示了的一个图示。
视频指出,对于通过特定操作构造的所有平面图,量 始终保持不变。
它以路径图 作为基础情形,计算其参数:、 和 。
代入这些值得到 ,验证了该公式对最简单的连通图成立。
主讲人指出,由于任意平面图均可由 出发,通过添加“尖刺”和闭合“回路”(二者均保持该量不变)构造而成,因此这构成了一种归纳证明。
讨论转向非平面图,解释顶点数相对于边数过少时,必然导致边相交。
完全图 被作为最小的非平面图示例呈现,并配以存在交叉边的图示。
连通图是平面图,当且仅当它至少存在一种在平面上的画法,使得没有任何两条边相交。该定义依赖于“存在一种良好画法”,而非某一幅具体图像的外观。
当平面图被画成无边交叉的形式时,它的边和顶点将平面划分为若干区域,这些区域称为面。其中无界的外部区域也被计为一个面。
平面表示是指该图的一种无边交叉的画法。一个图可能有其他含边交叉的画法,但只要存在边交叉,这些画法就不是平面表示——即使该图本身是平面图。
在第一个例子中,该图被重新画成无边交叉的形式。这一平面画法包含两个内部区域和一个外部区域,因此该图有3个面。
对于给定的平面图,只要不同画法均无边交叉,其面数就不会改变。正因如此,面数可被视为该图本身的一个性质。
不应从含边交叉的画法中数面。在第二个例子中,含交叉的画法错误地暗示了5个面,而平面表示所显示的正确面数是4。
对于任意连通的平面图,其顶点数、边数与面数满足欧拉关系式。其中,v 表示顶点数,e 表示边数,f 表示平面嵌入中的面数。
在应用欧拉公式之前,图必须被画成无边交叉的形式。该片段展示了同一个图的两种画法:一种是存在边交叉的画法,可能误导性地暗示有5个面(含外部面);另一种是平面画法,其各个区域被标记为1、2、3、4,表明正确的面数是4。
对于任意具有v个顶点、e条边和f个面的连通平面图,其不变关系式为。连通性假设在幻灯片文字与旁白中均被明确指出。
证明从出发,即由一条边连接两个顶点所构成的图。幻灯片指出,除单个孤立顶点外,任何连通图都必然包含此子图,因此是构建更大连通图的自然起点。
论证中涉及的任意连通图,均可通过重复使用两种操作来构建:一种是“加刺”操作,即新增一个顶点和一条边;另一种是“闭合回路”操作,即在两个已有顶点之间新增一条边。这两种操作构成了归纳证明的核心机制。
添加一个刺会使顶点数增加1,边数增加1,而面数保持不变。代数上,() - () + ,因此欧拉量保持不变。
闭合一个回路会增加一条边和一个面,但不增加新的顶点。因此 ,欧拉量再次保持不变。
对于起始图 ,幻灯片记录 ,,。代入得 ,从而为归纳法奠定基础。
由于每个连通的平面图都可以由 通过添加尖刺边和闭合回路的边构造而成,且这两种操作均不改变 的值,2 在 上确立的该值可推广至所有连通的平面图。幻灯片将此描述为本质上是一种数学归纳法证明。
本节最后指出,并非所有图都是平面图。当图的边数相对于顶点数过多时,某些边必然相交。幻灯片指出 是这一现象的最小例子。
对于连通平面图,量 是常数。这一点通过分析两种操作得以说明:添加一条“尖刺”(使 和 各增加 1),以及闭合一个“回路”(使 和 各增加 1)。这两种操作均不改变和式 。
路径图 是归纳证明的基础。它有 2 个顶点、1 条边和 1 个面。将这些值代入公式得到 。
该论证采用归纳结构:1。基础情形()满足该公式。2。归纳步骤:任何平面图均可通过对施行若干保持该公式值不变的操作而得到。因此,所有连通平面图均满足。
并非所有图都能在平面上绘制而不出现边的交叉。当图的边数相对于其顶点数过多时,该图即为非平面图。完全图(含5个顶点,且任意两点间均有边相连)是最小的此类例子。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
幻灯片文字介绍了“顶点数(v)”。
讲述者说:“顶点数 v 之间存在一种关系……”
v
连通平面图中的顶点数
图中顶点的非负整数个数
幻灯片文字介绍了“边数(e)”。
讲述者刚开口说“边数 e ……”,片段就结束了。
e
连通平面图中的边数
图中边的非负整数个数
幻灯片在欧拉公式一行中写明“f 个面”。
讲解反复讨论面的计数,并随后引入涉及面的关系。
f
在无边交叉绘制的连通平面图中的面数
包括外部区域在内的区域的正整数个数
幻灯片文字将顶点数量记为 v。
主讲人说:“有 v 个顶点。”
v
连通平面图中的顶点数量。
非负整数;幻灯片中展示的已演算基础情形中,。
幻灯片文字将边的数量记为 e。
主讲人说:“e 条边。”
e
连通平面图中的边的数量。
非负整数;幻灯片中展示的已演算基础情形中,。
幻灯片文字将面的数量记为 f。
主讲人说:“f 个面。”
f
连通平面图中的面的数量(在平面表示中计数时,包含外部面)。
示例中为正整数;幻灯片中展示的已演算基础情形中,。
幻灯片上写着:“从图 开始。”
以一个含两个顶点和一条边的图作为起始示例进行绘制。
在归纳论证中用作起始图的路径图。
一个具体的连通图,含有 2 个顶点和 1 条边。
幻灯片上写着:“发生这种情况的最小图是 。”
右下角绘制了一个含五个顶点的完全图。
含 5 个顶点的完全图,在本段中被用作最小的非平面图示例。
一个具体的图,含 5 个顶点,且它们之间具有所有可能的边。
变量 v 出现在表达式 中,定义为顶点的数量。
v
图中顶点的数量
正整数
变量 e 出现在表达式 中,定义为边的数量。
e
图中边的数量
正整数
变量 f 出现在表达式 中,定义为面的数量。
f
平面图中面的数量
正整数
记号 用于表示起始图,该图有 2 个顶点和 1 条边。
含 2 个顶点的路径图
图
旁白:“当一个连通图可以被画出且没有任何边相交时,它被称为平面图。”
幻灯片定义框:“平面图是一个连通图,它可以被画出且没有任何边相交。”
平面图被定义为一种连通图,它至少存在一种在平面上的画法,使得没有任何边相交。关键在于存在某种无交叉的表示方式,而非要求它的每一种画法都无交叉。
该图是连通的。
平面性意味着存在一种没有任何边相交的画法。
旁白:“当平面图以这种方式画出时,它将平面划分为若干区域,这些区域称为面。”
幻灯片文字:“它将平面划分为若干区域,这些区域称为面。”
右侧的图标注了面标签1、2和3。
当平面图被画出且无边相交时,它的边与顶点将平面划分为若干区域,这些区域称为面;其中外部的无界区域也被计为一个面。
该图必须以平面方式画出,即不能有任何边相交。
面是指平面被划分出的各个区域,包括外部区域。
旁白:“即使一个图看起来不是平面图,它仍有可能是平面图。也许我们能以某种方式重画它,使得没有任何边相交。”
左侧是一个存在边相交的图,经变换后变为右侧无边相交的图。
幻灯片文字:“该图最初的画法并不是该图的一个平面表示。”
一个图可能具有含边相交的画法,但只要存在另一种相同图的无边相交画法,它就仍是平面图。含边相交的画法不构成平面表示,即使其对应的图本身可能是平面图。
适用于同一图在不同画法下的情形。
只有无边相交的画法才可称为平面表示。
旁白:“只要我们在画图时不使边相交,那么面的数量就不会改变。”
幻灯片文字重复说明:面的数量在所有平面画法中保持不变。
对于给定的平面图,其面数在所有不同的平面画法下均保持不变。因此,我们可以将面数视为该平面图本身的性质,而非某一幅具体图画的性质。
该图是平面图。
比较仅限于无边交叉的图形绘制。
幻灯片文字:“平面图的欧拉公式:对于任意(连通的)平面图,若其有 v 个顶点、e 条边、f 个面,则有:”
讲解员在片段结束前开始介绍顶点、边与面之间的关系。
公式口语化解释在讲完前被截断;仅展示的公式完整可见。
对于任意连通平面图,其顶点数、边数与面数满足欧拉关系。幻灯片将该公式明确呈现为这三个量之间的核心关系。
该图是连通的。
该图是平面图。
f 是从平面绘制中计数得到的,包括外部面。
幻灯片提醒道:“只有当图以平面方式绘制时,我们才能计算面数。”
并排展示了同一图的两种画法:左侧画法看起来是非平面的,右侧画法是平面的,并标出了面 1、2、3、4。
本段通过警示“仅当图被无边交叉地绘制后,面数统计才有效”,隐式定义了计数规则。左侧画法可能暗示包含外部面在内共有 5 个面,但右侧的平面表示表明实际上仅有 4 个面。
在计算面数之前,必须以平面方式绘制该图。
外部区域也被计入讨论中的面。
幻灯片上写着:“对于任意(连通的)平面图,若其顶点数为 v、边数为 e、面数为 f,则有:。”
讲师将该公式朗读为:“v 减 e 加 f 等于 2。”
欧拉公式通过不变式方程 ,关联了连通平面图的顶点数、边数与面数。
该图是平面图。
该图是连通的。
v、e 和 f 是针对该图的一个平面表示来计数的。
幻灯片上写着:“验证其成立性的一种方法是逐步绘制一个平面图:从图 开始。”
幻灯片指出,每一步操作要么添加一个悬挂边,要么用一条新边连接两个已有的顶点。
讲师解释了如何通过这两种操作——添加边和添加顶点——逐步构建该图。
该片段介绍了一种归纳构造法:从出发,反复应用两种允许的操作——称为“尖刺”和“闭合回路的边”,从而构造出除单个孤立顶点外的任意连通图。
起始图是。
每一步要么添加一个新顶点和一条新边,要么在两个已有顶点之间添加一条新边。
该论证适用于除单个孤立顶点外的所有连通图。
幻灯片将左侧操作标注为:“添加一个由一条新边连接的新顶点。(尖刺)”
主讲人称此操作为“尖刺”,并指出它包含一条边和一个顶点。
尖刺是指添加一个新顶点以及一条将其连接至已有图的新边的操作。
该操作应用于连通平面图的逐步构造过程中。
幻灯片将右侧操作标注为:“连接图中的两个顶点。”
周围文字说明此操作是“(闭合一个回路)。”
讲师描述了用一条新边连接两个已有的顶点。
第二种允许的操作是在图中已存在的两个顶点之间添加一条新边,从而闭合一个回路。
两个端点均已存在于图中。
该操作用于归纳构造论证中。
幻灯片上写道:“并非所有图都是平面图。如果边数过多而顶点数过少,那么某些边就必然相交。首个出现这种情况的图是 。”
右下角展示了 的一种画法。
该片段对比了平面图与非平面图,指出当一个图的边数相对于顶点数过多时,某些边必然发生交叉;并指出 是首个出现这种情况的图。
该陈述针对那些无法在不产生边交叉的情况下被画出的图。
在此片段中, 被作为最小的此类图示例提出。
讲解者指出,添加一个尖刺或闭合一个回路都不会改变量 的值。
屏幕上文字显示:对这两种操作,‘ 的值不变’。
添加一个由一条新边连接的新顶点(尖刺)会使顶点数和边数各增加 1,从而保持 不变;连接两个已有顶点(形成回路)会使边数和面数各增加 1,同样保持 不变。
图必须是平面图
这些操作必须保持图的平面性
讲解员:“这两个图是同一个图,因此若其中一个为平面图,则另一个也必为平面图。”
两个绘制被呈现为同一图的不同表示。
如果两种画法表示的是同一个图,且其中一种画法是平面的,那么该图就是平面图;因此,即使另一种画法在视觉上含有边交叉,它仍可能也是平面的。
这两种画法表示的是同一个图。
针对同一个图在不同画法下的情形。
旁白:“只有当图以平面方式绘制时,我们才能计算其面数。”
幻灯片警告文字:“警告:只有当图以平面方式绘制时,我们才能计算其面数。”
面数应基于图的平面表示来确定,而不能基于含有边交叉的画法。
该图正在被分析其面数。
对于任何正在计算面数的图。
幻灯片文字:“对于任意(连通)平面图,若其有 v 个顶点、e 条边和 f 个面,则有:”
旁白在此片段中未完成对该公式的讲解。
对于任意一个连通的平面图,若其有 v 个顶点、e 条边、f 个面,则 。
该图是连通的。
该图是平面的。
f 表示平面嵌入中面的个数,包括外部面。
适用于所有连通的平面图。
幻灯片明确陈述了如下定理:对任意连通的平面图,若其有 v 个顶点、e 条边、f 个面,则……
主讲人再次强调,该公式对所有连通的平面图均成立。
对于任意具有 v 个顶点、e 条边和 f 个面的连通平面图,有 。
该图是平面图。
该图是连通的。
面数是在平面嵌入表示中计数的。
对所有连通的平面图成立。
幻灯片上写道:“任何连通图(单个孤立顶点除外)都必须包含这个子图。”
主讲人指出,任何连通图(单个孤立顶点除外)都必须包含这个子图。
任何连通图(单个孤立顶点除外)都必须包含 作为其子图。
该图是连通的。
该图不仅仅是一个孤立的单顶点。
适用于所有连通图,但单顶点孤立图除外。
幻灯片指出:添加一个尖刺时,边数增加1,顶点数增加1,面数保持不变,因此 不发生变化。
讲师解释道:由于 v 和 e 均增加1,量 保持不变。
添加尖刺使 v 增加1、e 增加1,而 f 保持不变,因此量 不发生变化。
该操作即本节所定义的尖刺操作。
每次应用尖刺操作时。
幻灯片指出:闭合一个回路会增加一条边、增加一个面,而顶点数保持不变,因此 再次保持不变。
讲师指出:边数增加1、面数增加1,会使 保持不变,因为 -1 + 。
闭合回路使 e 增加1、f 增加1,而 v 保持不变,因此量 不发生变化。
该操作在平面构形中用一条新边连接两个已有的顶点。
每次应用回路闭合操作时。
幻灯片上写道:“我们的起始图 满足 ,,,因此 。”
幻灯片给出 对于 ,但未进一步说明该基础情形中外部面是如何被计数的。
对于起始图 ,有 ,,,故 。
该图是构造论证中所使用的特定起始图 。
对于基础图 。
幻灯片上写道:“发生这种情况的最小图是 。”
该陈述旁附有 的一个图示。
该段落断言了最小性,但并未证明为何不存在更小的非平面图。
在本节讨论的图中,必然需要边相交的最小图是 。
该图的边数相对于其顶点数过多,无法在不出现边相交的情况下画出。
此处陈述的是本段中最小的例子。
主讲人得出结论:由于任意图均可通过保持 不变的若干操作从基础图构建而来,因此该量对所有图都相同。
文字说明:‘该量对所有图都相同。’
视频音频中未明确说出最终定理名称‘欧拉公式’,但上下文与标题已隐含此意。
对任意连通平面图,量 等于 2。
该图是平面图
该图是连通图
对所有连通平面图
讲解者指出上方的图有三个面,包括外部区域。
右侧的平面嵌入图中标出了区域 1、2 和 3。
从右侧的平面嵌入图开始观察,其中没有任何边相交。
只有在选定一种平面表示后,才可计算面数。
识别由边和顶点所围成的有界面;图中已标出两个内部区域。
根据定义,平面嵌入将平面划分为若干区域,这些区域称为面。
将无界的外部区域也计为第三个面。
视频中明确指出,外部区域被计为一个面。
因此该图共有三个面。
两个内部面与一个外部面之和。
第一个示例图在平面嵌入时具有3个面。
讲述者将交叉画法下错误的面数5与平面嵌入下正确的面数4进行了对比。
左侧图的对角线存在交叉;右侧图则被重绘为无交叉形式,并标有1、2、3、4。
若采用左侧存在对角线交叉的画法,视觉上似乎形成了四个内部区域,再加上外部区域,从而暗示共有5个面。
这是视频中所讨论的错误计数。
如右侧所示,以平面方式重绘同一张图。
面数统计仅适用于平面表示。
在平面图中,识别出三个内部区域和一个外部区域。
右侧图中标注了区域1、2、3和4。
因此,正确的面数为4。
三个内部面与一个外部面之和。
同一张图在平面表示下仅具有4个面,而非5个。
幻灯片展示了从 出发的构造过程:两种操作、它们对 v、e、f 的影响,以及基础情形的计算。
主讲人叙述了相同的步骤:从 出发,添加尖刺或闭合回路,观察 始终保持不变,并通过归纳法得出结论。
音频中的最后一句话在思考中途被截断,但可见的幻灯片已明确写出归纳结论。
从图 开始,它由两个顶点和一条连接它们的边构成。
幻灯片明确指出要从图 开始。
记录基础图的初始计数值。
这些数值在幻灯片上直接给出。
计算基础情形下的不变量:。
这是幻灯片上展示的关于 的算术过程。
当添加一个尖刺时,会增加一个顶点和一条边,而面的数量保持不变。
幻灯片指出,添加尖刺会使边数增加 1,顶点数增加 1,而面数保持不变。
因此,量 在添加尖刺时保持不变。
幻灯片说明,这意味着 不发生变化;所展示的代数形式是对该结论的明确重述。
当通过一条新边连接两个已有顶点从而闭合一个回路时,会增加一条边和一个面,而顶点数保持不变。
幻灯片指出,闭合回路会增加一条边、增加一个面,并保持顶点数不变。
因此,量 在闭合回路时也保持不变。
幻灯片再次指出 不发生变化;所显示的代数表达式使这一不变性变得明确。
由于每个非平凡的连通图都包含 ,并且可通过尖刺和闭合回路的边逐步构造出来,因此在 上确立的该不变量值可推广至整个图。
幻灯片指出,除单个孤立顶点外的任意连通图都必须包含该子图,且我们可以通过这两种操作的组合来构建任意图。
因为这些操作从不改变 ,且基础情形的值等于 2,所以该公式对所有通过此构造方式得到的连通平面图均成立。
幻灯片总结道,这一论证本质上是一种数学归纳法证明。
欧拉公式 可通过从 出发,并证明两种允许的构造操作均保持量 不变而得出。
幻灯片将左侧对 5 个面的误导性计数与右侧正确的平面计数 4 个面进行了对比。
右侧的平面图标注了四个区域:1、2、3、4。
若尝试从左侧这个看似非平面的图中计数面数,人们可能会认为包括外部面在内共有 5 个面。
这一点在幻灯片文字中被直接陈述。
将同一张图重绘为平面表示后,可看出实际上仅有 4 个面。
幻灯片文字与带标注的平面图均指出这一点。
面数的计算依赖于使用平面表示;否则,同一张图可能被错误计数。
主讲人解释如何从 出发,通过添加尖刺和回路来构造任意图,并指出这一论证本质上是一种数学归纳法证明。
文字描述了这两种操作及其对 v、e、f 的影响。
添加一个尖刺会使顶点数和边数各增加1,面数保持不变。
图中展示了尖刺操作的定义。
尖刺操作对这一量的改变量为零。
代数化简。
闭合一条回路会使边数和面数各增加1,顶点数保持不变。
图中展示了回路操作的定义。
回路操作对这一量的改变量为零。
代数化简。
基础情形 满足该公式。
由 的定义直接计算得出。
由于基础情形成立,且上述操作均保持该值不变,因此对所有可通过这些操作构造出的连通平面图,均有 。
左侧含边交叉的图被转化为右侧无边交叉的图。
解说员指出,下方图是平面图,因为它可重绘为右侧的图。
弹出提示:“两张图均有5个顶点,且各顶点的度数相同。你可暂停视频自行验证。”
屏幕上未写出确切的邻接表;仅展示了图形及关于顶点度数相等的提示。
判断一张初始绘制时存在边交叉的图是否仍可能为平面图,并在其被重绘为平面图后统计其面数。
左侧显示了一个具有相交边的图。
同一张图在右侧被重新绘制,且没有边相交。
弹出提示说明两张图均有5个顶点,且各顶点的度数相同。
证明该图是平面图,并确定其平面嵌入中的面数。
注意左侧的绘图包含边的交叉,因此它本身并非平面表示。
平面表示要求不存在边的交叉。
采用右侧无边交叉的绘图,作为该图的一个平面表示。
视频指出这两张图是同一张图,右侧的是左侧图的重绘版本。
统计右侧绘图中的区域:两个内部区域和一个外部区域。
面是指平面绘图所形成的区域,其中包含外部区域。
因此该图有3个面。
2个内部面 + 1个外部面 = 3个面。
该图是平面图,其平面嵌入具有3个面。
右侧图中区域1、2和3的视觉标注与口述计数一致。
幻灯片警告文字指出:只有当图以平面方式绘制时,才能对其面进行计数。
展示了同一图的两种表示:一种对角线相交,另一种为平面表示。
讲述者将表面上数得的5个面与正确的4个面进行了对比。
本片段中未口头说出确切的边数,但可从图中直接看出。
比较同一图的两种绘图,并确定正确的面数。
左侧图中对角线相交。
右侧图是该图的一种平面表示。
右侧图中标注了四个区域。
解释为何左侧图暗示有5个面,而正确的面数却是4。
从左侧图示出发,人们可能会错误地数出四个内部区域再加上外部区域,得到5。
这是视频中明确警示不可采用的错误方法。
切换到右侧图示,该图示中不存在边的交叉。
唯有平面表示法才能给出有效的面数计数。
在右侧图示中,数出三个内部区域和一个外部区域。
该图示将区域标记为1、2、3和4。
因此,面的正确数量是4。
3个内部面 + 1个外部面 = 4个面。
该图共有4个面,而非5个。
幻灯片文字与旁白均指出,平面表示法仅显示4个面。
两张同一张图的绘图并排展示;右侧为平面图,并标注了四个面:1、2、3、4。
文字指出,左侧绘图可能暗示包括外部面在内有 5 个面,但平面表示显示实际上仅有 4 个面。
图本身在可见文本中未被命名,但该图形对应于 。
比较同一张图的两种表示方式,并确定应计数多少个面。
展示了同一张图的两种画法。
左侧画法中存在相交的边。
右侧画法是一种平面表示,其区域标为1、2、3、4。
找出该图正确的面数。
若直接使用左侧画法,可能误数出5个面。
幻灯片明确指出,有人可能会说包括外部面在内共有5个面。
使用平面表示可得出正确的面数为4个。
幻灯片说明,平面表示显示仅有4个面。
平面表示中正确的面数为4。
右侧带标签的平面图绘制展示了恰好四个编号区域,与幻灯片中所述的修正一致。
幻灯片指出:“我们的起始图 满足 、 且 ,因此 。”
以一个含两个顶点和一条边的图作为起始示例展示。
该片段未详细解释为何 对于 ,仅在幻灯片上直接陈述了该式。
计算证明中所用起始图 的 值。
起始图是 。
它有 2 个顶点和 1 条边。
幻灯片为该基础情形指定 。
验证归纳起始时不变量的取值。
从幻灯片中读出基础图的各项计数。
这些数值在幻灯片中已明确写出。
代入欧拉公式。
这是幻灯片上展示的算术过程。
对于 ,。
幻灯片在代入后直接给出了结果 2。
主讲人逐项说明图 的数值:“顶点数为二……边数为一……面数为一”。
文字显示:“,,,因此 ”。
求路径图 的 的值。
该图是
v 等于2
e 等于 1
f 等于1
计算
将已知数值代入该表达式。
这一不变量的定义。
代入 、、。
已知 的取值。
进行算术运算。
标准的加法/减法运算。
对应的式子为:2
与所有平面图所陈述的一般结论一致。
讲解者指出 是边必须相交的最小图。
图示展示了带交叉边的 ,并标注为“非平面图”。
判断完全图 是否为平面图。
该图是 (含 5 个顶点,且两两相连)
直观图示显示了边的交叉
检验平面性
注意,在的标准画法中,边彼此相交。
幻灯片提供的直观证据。
连接的稠密性迫使在2D平面上出现交点。
音频讲解:‘如果边太多而顶点太少……’
是非平面图。
视频中将其表述为最小的非平面图例子。
首张幻灯片标题为“平面图”,包含文字定义及两张由蓝色箭头连接的图示。
约在21–32秒处弹出提示框,说明两张图均有5个顶点且各顶点度数相同。
大约在57秒处,右侧图中出现红色数字1、2和3,用于标记各个面。
标题“平面图”
定义句
左侧含交叉边的图
蓝色箭头
右侧平面图
弹出提示框
面的标注1、2、3
该幻灯片整体保持静止,仅光标在文字与图示上移动。
一个蓝色弹出提示框出现,随后消失。
红色面编号被添加到右侧图中。
核心教学主题仍聚焦于平面图与面。
这两幅图表示的是同一个图。
视觉序列有助于区分看似非平面的图示与真正的平面表示,随后标出该平面图示中的各个面。
第二张幻灯片标题为“平面图”,包含一则警告、同一图的两种表示方式,以及欧拉公式。
右侧图中用红色数字1、2、3和4标注各面。
标题:“平面图”
警告文字
左侧图:对角线相交
右侧图:平面图
面的标签:1、2、3、4
欧拉公式行
幻灯片在约78秒时从第一个示例切换到警告页。
在右侧图中添加了面的标签。
公式 显示在底部。
本页上的两个图形表示的是同一个图。
本课继续强调使用平面表示法来计算面数。
第二张幻灯片通过视觉对比,展示了交叉画法导致的错误面计数与平面画法得出的正确面计数,随后引出欧拉公式。
第一张幻灯片并排展示了同一张图的两种画法;右侧画法是平面的,并标出了四个面:1、2、3、4。
文中提醒:只有当图以平面方式绘制时,才能计算面的数量。
左侧为含交叉边的图
右侧为平面图
四个标有标签的面区域:1、2、3、4
演示将注意力从左侧画法转向右侧画法。
右侧画法揭示了该图正确的面分解。
两种画法对应的底层图是相同的。
警告文字在整个时间段内持续显示在屏幕上。
视觉对比表明,除非该图的画法是平面的,否则顶点面计数依赖于具体表示方式。
大约在21秒时,幻灯片从警告/公式页切换到证明构造页。
新幻灯片以“欧拉公式为何成立?”开头,并引入图以及两种构造操作。
新幻灯片标题
图
两种操作的示意图
此前的警告示例消失。
包含图及两种构造操作的证明准备内容出现。
主题仍为平面图的欧拉公式。
这一过渡标志着从陈述定理转向通过构造来证明它。
左侧图示展示添加一个新顶点,并用一条新边将其连接,该操作称为‘尖刺’。
右侧图示展示用一条新边连接两个已有顶点,该操作称为‘闭合回路’。
左侧为部分图
虚线表示尖刺所用的新边与新顶点
右侧为部分图
虚线表示连接两个已有顶点的新边
左侧图示说明图通过增加一个顶点和一条边而生长。
右侧图示说明图仅通过增加一条边而生长,从而闭合一个圈。
两个图示均被视作构建连通平面图时允许的步骤。
这些图示定义了归纳证明中所使用的初等操作。
幻灯片现在列出了每种操作对 v、e 和 f 的影响,并给出了 的基础情形计算。
的示意图出现在右下角,标题为‘非平面图’。
描述尖刺操作影响的文字
描述回路操作影响的文字
的基础情形方程
的示意图
证明幻灯片从构造操作扩展到其数值影响。
底部区域介绍了非平面图及 。
当前讨论的核心量仍是 。
该视觉布局将局部操作分析与全局归纳结论联系起来,再将平面图与一个非平面图示例进行对比。
左上角的图示展示了一个带对角线的正方形;箭头表示添加一个顶点(尖刺)或连接顶点(回路)。
带对角线的正方形图
蓝色箭头
新顶点的点
虚线
向一条已有边(尖刺)添加一个新顶点。
用一条新边连接两个已有顶点(回路)。
演示过程中,整体结构始终保持平面嵌入。
这些图示展示了两种基本操作,用于从简单平面图构造复杂平面图,同时保持欧拉示性数不变。
底部中心图像展示了一个所有对角线均被画出的五边形()。边在五边形内部明显相交。
五边形的顶点
连接线(边)
交点
无(静态图像)。
可见边的交叉。
该图示作为平面性的反例,展示了一种无法避免边相交的图。
旁白:“即使一个图看起来不像是平面图,它仍有可能是平面图。”
一幅存在边交叉的图被重绘为无交叉的图。
如果一个图以边交叉的方式绘制,人们可能会错误地推断该图本身不是平面图。
平面性取决于该图是否存在某种无交叉的绘图方式,而不取决于某一幅特定绘图是否看起来没有交叉。
幻灯片警告:“我们仅能在图以平面方式绘制时,才可计算面的数量。”
讲述者将表面上数出的5个面与正确数出的4个面进行对比。
人们可能试图直接从含有边交叉的图示中计数面,从而得到错误的数目。
面必须从平面表示中计数;否则所得数目并非该平面图的真实面数。
讲述者:“是的,我们将外部区域也计入一个面。”
幻灯片文字:“(是的,我们将‘外部’区域也计入一个面。)”
人们可能仅计数有界的内部区域,而忽略了无界的外部区域。
在对平面图计数面时,外部区域被计入一个面。
幻灯片提醒:若尝试用左侧的图来计数面数,可能会得出共有 5 个面(含外部面),但其平面表示实际只显示了 4 个面。
观察存在边交叉的图示时,可能错误地数出5个面。
面数应在将图重绘为平面图之后再进行统计;该平面表示法显示出4个面。
该公式明确针对任意连通平面图而给出。
后续小节明确指出并非所有图都是平面图,并以为例加以说明。
有人可能认为对任意图都有成立。
本片段中,该公式仅对连通平面图作出断言;而等非平面图则被单独处理。
主讲人明确指出:“并非所有图都是平面图。”
章节标题:“非平面图”
学生可能认为任意图都可以在平面上绘制,且边互不相交。
边数相对于顶点数过高的图(例如 )必然导致边相交,因此是非平面图。
讲述者先定义平面图,紧接着定义由这种图示所产生的面。
幻灯片文字将平面图示与平面被划分为面联系起来。
面的概念仅在指定了连通图的平面图示之后才被引入。
讲述者表示该图可以重画为无交叉的图形,然后在平面图中计数面数。
右侧的平面图用于对面进行标注。
必须先得到平面表示,才能有意义地将面数作为图的一个性质来讨论。
在课程定义了面之后,用 v、e 和 f 表述欧拉公式。
欧拉公式使用面的数量,因此必须首先理解‘面’这一概念。
幻灯片明确将欧拉公式限定于任意连通的平面图。
欧拉公式专门针对连通的平面图给出。
警告文字直接规定了面应如何计数。
该警告将‘仅对平面图的绘图才可进行面计数’这一规则具体化。
关于平面图面数统计的警示,出现在同一张幻灯片上欧拉公式陈述之前。
在欧拉公式中各量具有意义之前,必须先在平面表示中正确统计面数。
公式陈述之后,下一张幻灯片提出“为何欧拉公式成立?”,并引入构造法。
构造法正是专门用来论证欧拉公式成立的。
方法幻灯片将“尖刺”定义为两种允许操作之一。
归纳构造法将“尖刺”操作作为其基本操作之一。
方法幻灯片将连接两个已有顶点定义为另一种允许操作。
归纳构造法将“闭合回路”操作作为其第二项基本操作。
幻灯片通过对比平面图与命题‘并非所有图都是平面图’,展示了图 。
欧拉公式针对连通平面图给出,而最后一节则将其与诸如 的非平面图进行对比。
主讲人将构造方法与证明类型联系起来:“这一论证本质上属于数学归纳法。”
利用“添加尖刺”和“补全回路”两种操作进行推导,提供了归纳步骤,从而证明欧拉公式对所有连通平面图成立。
平面图讨论与“并非所有图都是平面图……最小的反例是 ”之间的对比。
欧拉公式仅适用于平面图;被专门引入作为非平面图的典型例子,说明其无法嵌入平面。
平面图的开篇定义。
幻灯片1上的定义框。
讲解员定义了“面”,并指出外部区域也计入其中。
在平面图中,面的标签为1、2、3。
左侧的交叉图被转化为右侧的平面图。
讲解员说明:只要一个图能被重画成无边交叉的形式,它就仍是平面图。
右侧图中标注了1、2、3。
讲解员数出两个内部区域和一个外部区域。
幻灯片上显示警告文字2。
讲解员指出:面的数量只能在图以平面方式绘制时进行统计。
同一张图的两种画法,其中平面画法标注为1–4。
讲述者对比了5个表观面与4个实际面。
幻灯片显示:对连通的平面图,有 。
本片段中的口头讲解不完整。
幻灯片明确陈述了该公式。
幻灯片提醒:只有当图以平面方式绘制时,才能计数面。
幻灯片提出‘欧拉公式为何成立’这一问题,并铺陈了从 出发的构造过程。
幻灯片将向左的移动标记为添加一个新顶点,并用一条新边将其连接,这种操作称为‘尖刺’。
幻灯片指出,闭合一个回路会增加一条边和一个面,而顶点数保持不变。
已覆盖 · 定义平面图,并从平面画法引入面的概念。
已覆盖 · 说明一张图在某种画法中看似非平面,但只要能重画成无边交叉的形式,它仍是平面图。
已覆盖 · 统计第一个例子的面数,并指出面数在所有平面画法中保持不变。
已覆盖 · 警示不可从含边交叉的画法中计数面,并对比5个面与4个面。
已覆盖 · 引入连通平面图的欧拉公式:。
已覆盖 · 开场幻灯片警示平面图的面计数问题,展示了同一图的两种不同表示,并陈述了欧拉公式。
已覆盖 · 第二张幻灯片从 出发引入归纳构造,并定义了两种允许的操作。
已覆盖 · 证明中对 v、e、f 的影响被逐一解释,基础情形被计算完毕,本段以非平面图示例 结束。
已覆盖 · 图运算的说明、 的不变性,以及基础情形的计算。
已覆盖 · 关于非平面图的讨论,以及 这一例子。
已覆盖 · 结束画面,含主讲人信息与网站链接;无数学内容。