跳到内容
返回探索
数学建模 / 英语

平面图与欧拉公式简介

Mathispower4u · YouTube · 4:47

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

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

这节时长为120秒的离散数学导论课讲解了平面图,将面定义为连通图在无边交叉画法下所形成的区域,并强调外部区域也计为一个面;指出一张图在某种画法中看似非平面,但只要能重画成无边交叉的形式,它仍是平面图;随后通过两个例子,对比了从含边交叉画法中错误计数面与从平面表示中正确计数面的区别;最后引出连通平面图的欧拉公式:v−e+f=2v - e + f = 2。 本段是时长为120秒的离散数学讲座片段,介绍了连通平面图的欧拉公式 v−e+f=2v - e + f = 2;首先警示:面数必须从平面嵌入中计数。随后,通过从 P2P_2 出发的归纳构造来论证该公式,所允许的两种操作是:添加一个尖刺(使 v 和 e 各增加1),以及闭合一个回路(使 e 和 f 各增加1)。由于这两种操作均保持 v−e+fv - e + f 不变,且基础情形给出的值为2,因此该公式对所有连通平面图成立。本段最后通过对比平面图与非平面图,指出 K5K_5 是边必须相交的最小图例。 本讲段通过演示两类特定图运算——添加一个‘尖刺’和闭合一个‘回路’——如何保持 v−e+fv - e + f 这一量不变,来引入平面图的欧拉公式(v−e+f=2v - e + f = 2)。以路径图 P2P_2 作为基础情形,主讲人概述了归纳证明的思路。该段最后将平面图与非平面图进行对比,并指出完全图 K5K_5 是最小的非平面图例子,其边必然发生相交。

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

章节

0:00平面图与面的定义0:20即使某一种画法存在边交叉,一个图仍可能是平面图0:43第一个例子中对面数的计数1:18注意:仅能从平面表示中计数面1:57欧拉公式的引入2:00警告:仅在平面图示中计数面数2:00欧拉公式的陈述2:21欧拉公式成立的原因:从图 P2P_2 开始2:43两种构造操作:添加尖刺与闭合回路3:12每种操作对顶点数 v、边数 e 和面数 f 的影响3:45基础情形与归纳结论3:52非平面图与完全图 K5K_54:00v−e+fv - e + f 的不变性4:06基础情形:图 P2P_24:24归纳证明的逻辑4:29非平面图与 K5K_54:45结束语

学习解说文稿

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

本课首先定义平面图:一种连通图,它可以在平面上被画出且没有任何边相交;幻灯片同时引入术语“面”,指此类画法所形成的区域。

接着强调一个微妙要点:某一幅含边交叉的图示并不能判定该图是否为平面图;只要同一张图能被重新画成无边交叉的形式,则该图就是平面图,而含交叉的画法只是其一种非平面表示。

视频利用第一个例子,在平面画法中计数面的数量:其中有两个有界的内部区域和一个无界的外部区域,因此总共有3个面;外部区域被明确计入。

由此例出发,讲座指出:面数被视为平面图的一个属性,但前提是仅在无边交叉的画法之间进行比较。

随后出现一张警示幻灯片:它以两种方式展示同一张图——一种画法中对角线相交,看似形成5个区域;而另一种平面重画则仅显示4个面;其要点在于:面数统计仅在选定平面表示后才有效。

最后,该片段引入连通平面图的欧拉公式,它将顶点数、边数与面数关联起来,即 v−e+f=2v - e + f = 2。

本片段以一条重要警示开篇:在使用任何公式之前,必须先将图绘制成平面图,面数才能被正确计数。幻灯片展示了同一张图的两种表示方式。左侧图示中,边的交叉可能误导观察者,误将面数计为 5(含外部面);右侧图示中,该图被重新排布,消除了所有交叉,各区域被标记为 1、2、3 和 4,从而清晰表明正确的面数是 4。

确立该约定后,课程陈述了适用于连通平面图的欧拉公式:若图有 v 个顶点、e 条边和 f 个面,则 v−e+f=2v - e + f = 2。幻灯片文字与语音均强调,该公式的前提条件不仅是平面性,更是连通平面性。

下一张幻灯片探讨该公式为何成立,并通过构造性论证予以回答:从图 P2P_2(即含两个顶点与一条边的图)出发。幻灯片指出,除单个孤立顶点外,任意连通图必包含此子图,因此 P2P_2 是构建更大连通图的自然基础情形。

在此基础上,图被逐步扩展,每次仅使用两类操作:其一为“添加尖刺”,即新增一个顶点及一条将其连接至已有图的边;其二为“闭合回路”,即在两个已存在的顶点之间新增一条边。论证中仅使用这两种操作。

证明随后追踪每种操作对欧拉表达式中三个量的影响。对于添加尖刺操作,vv 增加 1,ee 增加 1,而 ff 保持不变;因此 (v+1)−(e+1)+f=v−e+f(v+1)-(e+1)+f = v-e+f,故量 v−e+fv-e+f 不变。对于闭合回路操作,ee 增加 1,ff 增加 1,而 vv 保持不变;因此 v−(e+1)+(f+1)=v−e+fv-(e+1)+(f+1)=v-e+f,故该量再次保持不变。

因为这两种操作都不会改变v−e+fv-e+f,所以初始得到的值会贯穿整个构造过程。幻灯片直接计算了基础情形:当P2P_2、v=2v=2、e=1e=1和f=1f=1时,有v−e+f=2−1+1=2v-e+f=2-1+1=2。因此,所有通过这些操作构建出的连通平面图也都满足v−e+f=2v-e+f=2。幻灯片明确指出,这本质上是一种数学归纳法证明。

最后一部分对比了平面图与非平面图。幻灯片指出,并非所有图都是平面图:若边数过多而顶点数过少,则某些边必然相交。它将K5K_5认定为当前讨论中出现这一现象的最小图,右下角则展示了K5K_5的一个图示。

视频指出,对于通过特定操作构造的所有平面图,量 v−e+fv - e + f 始终保持不变。

它以路径图 P2P_2 作为基础情形,计算其参数:v=2v=2、e=1e=1 和 f=1f=1。

代入这些值得到 2−1+1=22 - 1 + 1 = 2,验证了该公式对最简单的连通图成立。

主讲人指出,由于任意平面图均可由 P2P_2 出发,通过添加“尖刺”和闭合“回路”(二者均保持该量不变)构造而成,因此这构成了一种归纳证明。

讨论转向非平面图,解释顶点数相对于边数过少时,必然导致边相交。

完全图 K5K_5 被作为最小的非平面图示例呈现,并配以存在交叉边的图示。

知识卡片

01

平面图

连通图是平面图,当且仅当它至少存在一种在平面上的画法,使得没有任何两条边相交。该定义依赖于“存在一种良好画法”,而非某一幅具体图像的外观。

02

平面图的面

当平面图被画成无边交叉的形式时,它的边和顶点将平面划分为若干区域,这些区域称为面。其中无界的外部区域也被计为一个面。

03

平面表示

平面表示是指该图的一种无边交叉的画法。一个图可能有其他含边交叉的画法,但只要存在边交叉,这些画法就不是平面表示——即使该图本身是平面图。

04

例:重画后的3个面

在第一个例子中,该图被重新画成无边交叉的形式。这一平面画法包含两个内部区域和一个外部区域,因此该图有3个面。

f=3f=3
05

面数在平面画法下保持稳定

对于给定的平面图,只要不同画法均无边交叉,其面数就不会改变。正因如此,面数可被视为该图本身的一个性质。

06

警告:切勿从含边交叉的画法中数面

不应从含边交叉的画法中数面。在第二个例子中,含交叉的画法错误地暗示了5个面,而平面表示所显示的正确面数是4。

f=4f=4
07

欧拉公式(适用于连通平面图)

对于任意连通的平面图,其顶点数、边数与面数满足欧拉关系式。其中,v 表示顶点数,e 表示边数,f 表示平面嵌入中的面数。

v−e+f=2v - e + f = 2
08

平面图面数计数警示

在应用欧拉公式之前,图必须被画成无边交叉的形式。该片段展示了同一个图的两种画法:一种是存在边交叉的画法,可能误导性地暗示有5个面(含外部面);另一种是平面画法,其各个区域被标记为1、2、3、4,表明正确的面数是4。

09

连通平面图的欧拉公式

对于任意具有v个顶点、e条边和f个面的连通平面图,其不变关系式为v−e+f=2v - e + f = 2。连通性假设在幻灯片文字与旁白中均被明确指出。

v−e+f=2v - e + f = 2
10

归纳证明所用的基础图P2P_2

证明从P2P_2出发,即由一条边连接两个顶点所构成的图。幻灯片指出,除单个孤立顶点外,任何连通图都必然包含此子图,因此P2P_2是构建更大连通图的自然起点。

P2P_2
11

两种构造操作

论证中涉及的任意连通图,均可通过重复使用两种操作来构建:一种是“加刺”操作,即新增一个顶点和一条边;另一种是“闭合回路”操作,即在两个已有顶点之间新增一条边。这两种操作构成了归纳证明的核心机制。

12

为何加刺操作保持v−e+fv - e + f不变

添加一个刺会使顶点数增加1,边数增加1,而面数保持不变。代数上,(v+1v+1) - (e+1e+1) + f=v−e+ff = v - e + f,因此欧拉量保持不变。

(v+1)−(e+1)+f=v−e+f(v+1)-(e+1)+f=v-e+f
13

为何闭合回路不会改变 v−e+fv - e + f 的值

闭合一个回路会增加一条边和一个面,但不增加新的顶点。因此 v−(e+1)+(f+1)=v−e+fv - (e+1) + (f+1) = v - e + f,欧拉量再次保持不变。

v−(e+1)+(f+1)=v−e+fv-(e+1)+(f+1)=v-e+f
14

P2P_2 的基础情形计算

对于起始图 P2P_2,幻灯片记录 v=2v = 2,e=1e = 1,f=1f = 1。代入得 2−1+1=22 - 1 + 1 = 2,从而为归纳法奠定基础。

2−1+1=22-1+1=2
15

欧拉公式的归纳结论

由于每个连通的平面图都可以由 P2P_2 通过添加尖刺边和闭合回路的边构造而成,且这两种操作均不改变 v−e+fv - e + f 的值,2 在 P2P_2 上确立的该值可推广至所有连通的平面图。幻灯片将此描述为本质上是一种数学归纳法证明。

16

非平面图与 K5K_5

本节最后指出,并非所有图都是平面图。当图的边数相对于顶点数过多时,某些边必然相交。幻灯片指出 K5K_5 是这一现象的最小例子。

K5K_5
17

欧拉公式的不变性

对于连通平面图,量 v−e+fv - e + f 是常数。这一点通过分析两种操作得以说明:添加一条“尖刺”(使 vv 和 ee 各增加 1),以及闭合一个“回路”(使 ee 和 ff 各增加 1)。这两种操作均不改变和式 v−e+fv - e + f。

v−e+fv - e + f
18

基础情形 P2P_2 的计算

路径图 P2P_2 是归纳证明的基础。它有 2 个顶点、1 条边和 1 个面。将这些值代入公式得到 2−1+1=22 - 1 + 1 = 2。

v=2,e=1,f=1⇒v−e+f=2v=2, e=1, f=1 \Rightarrow v-e+f=2
19

数学归纳法证明结构

该论证采用归纳结构:1。基础情形(P2P_2)满足该公式。2。归纳步骤:任何平面图均可通过对P2P_2施行若干保持该公式值不变的操作而得到。因此,所有连通平面图均满足v−e+f=2v - e + f = 2。

20

非平面图与K5K_5

并非所有图都能在平面上绘制而不出现边的交叉。当图的边数相对于其顶点数过多时,该图即为非平面图。完全图K5K_5(含5个顶点,且任意两点间均有边相连)是最小的此类例子。

详细学习笔记

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

符号定义 · 13

v

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

    幻灯片文字介绍了“顶点数(v)”。

  2. 声音
    观察依据

    讲述者说:“顶点数 v 之间存在一种关系……”

符号

v

含义

连通平面图中的顶点数

适用范围

图中顶点的非负整数个数

e

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

    幻灯片文字介绍了“边数(e)”。

  2. 声音
    观察依据

    讲述者刚开口说“边数 e ……”,片段就结束了。

符号

e

含义

连通平面图中的边数

适用范围

图中边的非负整数个数

f

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

    幻灯片在欧拉公式一行中写明“f 个面”。

  2. 声音
    观察依据

    讲解反复讨论面的计数,并随后引入涉及面的关系。

符号

f

含义

在无边交叉绘制的连通平面图中的面数

适用范围

包括外部区域在内的区域的正整数个数

v

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

    幻灯片文字将顶点数量记为 v。

  2. 声音
    观察依据

    主讲人说:“有 v 个顶点。”

符号

v

含义

连通平面图中的顶点数量。

适用范围

非负整数;幻灯片中展示的已演算基础情形中,v=2v = 2。

e

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

    幻灯片文字将边的数量记为 e。

  2. 声音
    观察依据

    主讲人说:“e 条边。”

符号

e

含义

连通平面图中的边的数量。

适用范围

非负整数;幻灯片中展示的已演算基础情形中,e=1e = 1。

f

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

    幻灯片文字将面的数量记为 f。

  2. 声音
    观察依据

    主讲人说:“f 个面。”

符号

f

含义

连通平面图中的面的数量(在平面表示中计数时,包含外部面)。

适用范围

示例中为正整数;幻灯片中展示的已演算基础情形中,f=1f = 1。

P2P_2

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

    幻灯片上写着:“从图 P2P_2 开始。”

  2. 图示
    观察依据

    以一个含两个顶点和一条边的图作为起始示例进行绘制。

符号

P2P_2

含义

在归纳论证中用作起始图的路径图。

适用范围

一个具体的连通图,含有 2 个顶点和 1 条边。

K5K_5

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

    幻灯片上写着:“发生这种情况的最小图是 K5K_5。”

  2. 图示
    观察依据

    右下角绘制了一个含五个顶点的完全图。

符号

K5K_5

含义

含 5 个顶点的完全图,在本段中被用作最小的非平面图示例。

适用范围

一个具体的图,含 5 个顶点,且它们之间具有所有可能的边。

v

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

    变量 v 出现在表达式 v−e+fv - e + f 中,定义为顶点的数量。

符号

v

含义

图中顶点的数量

适用范围

正整数

e

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

    变量 e 出现在表达式 v−e+fv - e + f 中,定义为边的数量。

符号

e

含义

图中边的数量

适用范围

正整数

f

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

    变量 f 出现在表达式 v−e+fv - e + f 中,定义为面的数量。

符号

f

含义

平面图中面的数量

适用范围

正整数

P2P_2

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

    记号 P2P_2 用于表示起始图,该图有 2 个顶点和 1 条边。

符号

P2P_2

含义

含 2 个顶点的路径图

适用范围

图

知识点 · 13

平面图的定义

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

    旁白:“当一个连通图可以被画出且没有任何边相交时,它被称为平面图。”

  2. 公式
    观察依据

    幻灯片定义框:“平面图是一个连通图,它可以被画出且没有任何边相交。”

定义
解释

平面图被定义为一种连通图,它至少存在一种在平面上的画法,使得没有任何边相交。关键在于存在某种无交叉的表示方式,而非要求它的每一种画法都无交叉。

公式
适用条件
  1. 该图是连通的。

  2. 平面性意味着存在一种没有任何边相交的画法。

平面嵌入中的面

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

    旁白:“当平面图以这种方式画出时,它将平面划分为若干区域,这些区域称为面。”

  2. 公式
    观察依据

    幻灯片文字:“它将平面划分为若干区域,这些区域称为面。”

  3. 图示
    观察依据

    右侧的图标注了面标签1、2和3。

定义
解释

当平面图被画出且无边相交时,它的边与顶点将平面划分为若干区域,这些区域称为面;其中外部的无界区域也被计为一个面。

公式
适用条件
  1. 该图必须以平面方式画出,即不能有任何边相交。

  2. 面是指平面被划分出的各个区域,包括外部区域。

先修条目
  1. 平面图的定义

平面表示与非平面画法

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

    旁白:“即使一个图看起来不是平面图,它仍有可能是平面图。也许我们能以某种方式重画它,使得没有任何边相交。”

  2. 图示
    观察依据

    左侧是一个存在边相交的图,经变换后变为右侧无边相交的图。

  3. 公式
    观察依据

    幻灯片文字:“该图最初的画法并不是该图的一个平面表示。”

定义
解释

一个图可能具有含边相交的画法,但只要存在另一种相同图的无边相交画法,它就仍是平面图。含边相交的画法不构成平面表示,即使其对应的图本身可能是平面图。

公式
适用条件
  1. 适用于同一图在不同画法下的情形。

  2. 只有无边相交的画法才可称为平面表示。

先修条目
  1. 平面图的定义

面数作为平面图的一个性质

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

    旁白:“只要我们在画图时不使边相交,那么面的数量就不会改变。”

  2. 公式
    观察依据

    幻灯片文字重复说明:面的数量在所有平面画法中保持不变。

方法
解释

对于给定的平面图,其面数在所有不同的平面画法下均保持不变。因此,我们可以将面数视为该平面图本身的性质,而非某一幅具体图画的性质。

公式
适用条件
  1. 该图是平面图。

  2. 比较仅限于无边交叉的图形绘制。

先修条目
  1. 平面嵌入中的面
  2. 平面表示与非平面画法

连通平面图的欧拉公式

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

    幻灯片文字:“平面图的欧拉公式:对于任意(连通的)平面图,若其有 v 个顶点、e 条边、f 个面,则有:v−e+f=2v - e + f = 2”

  2. 声音
    观察依据

    讲解员在片段结束前开始介绍顶点、边与面之间的关系。

待核验内容
  1. 公式口语化解释在讲完前被截断;仅展示的公式完整可见。

公式
解释

对于任意连通平面图,其顶点数、边数与面数满足欧拉关系。幻灯片将该公式明确呈现为这三个量之间的核心关系。

公式
v−e+f=2v - e + f = 2
适用条件
  1. 该图是连通的。

  2. 该图是平面图。

  3. f 是从平面绘制中计数得到的,包括外部面。

先修条目
  1. 平面图的定义
  2. 平面嵌入中的面
  3. v
  4. e
  5. f

必须从平面画法中计算面数。

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

    幻灯片提醒道:“只有当图以平面方式绘制时,我们才能计算面数。”

  2. 图示
    观察依据

    并排展示了同一图的两种画法:左侧画法看起来是非平面的,右侧画法是平面的,并标出了面 1、2、3、4。

定义
解释

本段通过警示“仅当图被无边交叉地绘制后,面数统计才有效”,隐式定义了计数规则。左侧画法可能暗示包含外部面在内共有 5 个面,但右侧的平面表示表明实际上仅有 4 个面。

公式
适用条件
  1. 在计算面数之前,必须以平面方式绘制该图。

  2. 外部区域也被计入讨论中的面。

连通平面图的欧拉公式

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

    幻灯片上写着:“对于任意(连通的)平面图,若其顶点数为 v、边数为 e、面数为 f,则有:v−e+f=2v - e + f = 2。”

  2. 声音
    观察依据

    讲师将该公式朗读为:“v 减 e 加 f 等于 2。”

公式
解释

欧拉公式通过不变式方程 v−e+f=2v - e + f = 2,关联了连通平面图的顶点数、边数与面数。

公式
v−e+f=2v - e + f = 2
适用条件
  1. 该图是平面图。

  2. 该图是连通的。

  3. v、e 和 f 是针对该图的一个平面表示来计数的。

先修条目
  1. 必须从平面画法中计算面数。

证明方法:从P2P_2出发,通过两种操作构造任意连通的平面图

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

    幻灯片上写着:“验证其成立性的一种方法是逐步绘制一个平面图:从图 P2P_2 开始。”

  2. 字幕依据
    观察依据

    幻灯片指出,每一步操作要么添加一个悬挂边,要么用一条新边连接两个已有的顶点。

  3. 声音
    观察依据

    讲师解释了如何通过这两种操作——添加边和添加顶点——逐步构建该图。

方法
解释

该片段介绍了一种归纳构造法:从P2P_2出发,反复应用两种允许的操作——称为“尖刺”和“闭合回路的边”,从而构造出除单个孤立顶点外的任意连通图。

公式
适用条件
  1. 起始图是P2P_2。

  2. 每一步要么添加一个新顶点和一条新边,要么在两个已有顶点之间添加一条新边。

  3. 该论证适用于除单个孤立顶点外的所有连通图。

先修条目
  1. 连通平面图的欧拉公式

尖刺操作

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

    幻灯片将左侧操作标注为:“添加一个由一条新边连接的新顶点。(尖刺)”

  2. 声音
    观察依据

    主讲人称此操作为“尖刺”,并指出它包含一条边和一个顶点。

定义
解释

尖刺是指添加一个新顶点以及一条将其连接至已有图的新边的操作。

公式
适用条件
  1. 该操作应用于连通平面图的逐步构造过程中。

先修条目
  1. 证明方法:从P2P_2出发,通过两种操作构造任意连通的平面图

闭合回路操作

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

    幻灯片将右侧操作标注为:“连接图中的两个顶点。”

  2. 字幕依据
    观察依据

    周围文字说明此操作是“(闭合一个回路)。”

  3. 声音
    观察依据

    讲师描述了用一条新边连接两个已有的顶点。

定义
解释

第二种允许的操作是在图中已存在的两个顶点之间添加一条新边,从而闭合一个回路。

公式
适用条件
  1. 两个端点均已存在于图中。

  2. 该操作用于归纳构造论证中。

先修条目
  1. 证明方法:从P2P_2出发,通过两种操作构造任意连通的平面图

非平面图与示例 K5K_5

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

    幻灯片上写道:“并非所有图都是平面图。如果边数过多而顶点数过少,那么某些边就必然相交。首个出现这种情况的图是 K5K_5。”

  2. 图示
    观察依据

    右下角展示了 K5K_5 的一种画法。

定义
解释

该片段对比了平面图与非平面图,指出当一个图的边数相对于顶点数过多时,某些边必然发生交叉;并指出 K5K_5 是首个出现这种情况的图。

公式
适用条件
  1. 该陈述针对那些无法在不产生边交叉的情况下被画出的图。

  2. 在此片段中,K5K_5 被作为最小的此类图示例提出。

先修条目
  1. 必须从平面画法中计算面数。

欧拉示性数在图操作下的不变性

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

    讲解者指出,添加一个尖刺或闭合一个回路都不会改变量 v−e+fv - e + f 的值。

  2. 公式
    观察依据

    屏幕上文字显示:对这两种操作,‘v−e+fv - e + f 的值不变’。

方法
解释

添加一个由一条新边连接的新顶点(尖刺)会使顶点数和边数各增加 1,从而保持 v−e+fv - e + f 不变;连接两个已有顶点(形成回路)会使边数和面数各增加 1,同样保持 v−e+fv - e + f 不变。

公式
v−e+fv - e + f
适用条件
  1. 图必须是平面图

  2. 这些操作必须保持图的平面性

先修条目
  1. v
  2. e
  3. f
定理与条件 · 10

平面性在同一个图的不同画法中保持不变

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

    讲解员:“这两个图是同一个图,因此若其中一个为平面图,则另一个也必为平面图。”

  2. 图示
    观察依据

    两个绘制被呈现为同一图的不同表示。

命题
命题

如果两种画法表示的是同一个图,且其中一种画法是平面的,那么该图就是平面图;因此,即使另一种画法在视觉上含有边交叉,它仍可能也是平面的。

前提
  1. 这两种画法表示的是同一个图。

量词

针对同一个图在不同画法下的情形。

面数只能从平面画法中计算

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

    旁白:“只有当图以平面方式绘制时,我们才能计算其面数。”

  2. 公式
    观察依据

    幻灯片警告文字:“警告:只有当图以平面方式绘制时,我们才能计算其面数。”

命题
命题

面数应基于图的平面表示来确定,而不能基于含有边交叉的画法。

前提
  1. 该图正在被分析其面数。

量词

对于任何正在计算面数的图。

欧拉公式表述

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

    幻灯片文字:“对于任意(连通)平面图,若其有 v 个顶点、e 条边和 f 个面,则有:v−e+f=2v - e + f = 2”

待核验内容
  1. 旁白在此片段中未完成对该公式的讲解。

定理
命题

对于任意一个连通的平面图,若其有 v 个顶点、e 条边、f 个面,则 v−e+f=2v - e + f = 2。

前提
  1. 该图是连通的。

  2. 该图是平面的。

  3. f 表示平面嵌入中面的个数,包括外部面。

量词

适用于所有连通的平面图。

欧拉公式定理

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

    幻灯片明确陈述了如下定理:对任意连通的平面图,若其有 v 个顶点、e 条边、f 个面,则……

  2. 声音
    观察依据

    主讲人再次强调,该公式对所有连通的平面图均成立。

定理
命题

对于任意具有 v 个顶点、e 条边和 f 个面的连通平面图,有 v−e+f=2v - e + f = 2。

前提
  1. 该图是平面图。

  2. 该图是连通的。

  3. 面数是在平面嵌入表示中计数的。

量词

对所有连通的平面图成立。

每个非平凡的连通图都包含 P2P_2

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

    幻灯片上写道:“任何连通图(单个孤立顶点除外)都必须包含这个子图。”

  2. 声音
    观察依据

    主讲人指出,任何连通图(单个孤立顶点除外)都必须包含这个子图。

命题
命题

任何连通图(单个孤立顶点除外)都必须包含 P2P_2 作为其子图。

前提
  1. 该图是连通的。

  2. 该图不仅仅是一个孤立的单顶点。

量词

适用于所有连通图,但单顶点孤立图除外。

添加尖刺保持 v−e+fv - e + f 不变

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

    幻灯片指出:添加一个尖刺时,边数增加1,顶点数增加1,面数保持不变,因此 v−e+fv - e + f 不发生变化。

  2. 声音
    观察依据

    讲师解释道:由于 v 和 e 均增加1,量 v−e+fv - e + f 保持不变。

命题
命题

添加尖刺使 v 增加1、e 增加1,而 f 保持不变,因此量 v−e+fv - e + f 不发生变化。

前提
  1. 该操作即本节所定义的尖刺操作。

量词

每次应用尖刺操作时。

闭合回路保持 v−e+fv - e + f 不变

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

    幻灯片指出:闭合一个回路会增加一条边、增加一个面,而顶点数保持不变,因此 v−e+fv - e + f 再次保持不变。

  2. 声音
    观察依据

    讲师指出:边数增加1、面数增加1,会使 v−e+fv - e + f 保持不变,因为 -1 + 1=01 = 0。

命题
命题

闭合回路使 e 增加1、f 增加1,而 v 保持不变,因此量 v−e+fv - e + f 不发生变化。

前提
  1. 该操作在平面构形中用一条新边连接两个已有的顶点。

量词

每次应用回路闭合操作时。

P2P_2 的基础情形取值

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

    幻灯片上写道:“我们的起始图 P2P_2 满足 v=2v = 2,e=1e = 1,f=1f = 1,因此 v−e+f=2v - e + f = 2。”

待核验内容
  1. 幻灯片给出 f=1f = 1 对于 P2P_2,但未进一步说明该基础情形中外部面是如何被计数的。

命题
命题

对于起始图 P2P_2,有 v=2v = 2,e=1e = 1,f=1f = 1,故 v−e+f=2v - e + f = 2。

前提
  1. 该图是构造论证中所使用的特定起始图 P2P_2。

量词

对于基础图 P2P_2。

K5K_5 是文中提到的最小非平面例子

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

    幻灯片上写道:“发生这种情况的最小图是 K5K_5。”

  2. 图示
    观察依据

    该陈述旁附有 K5K_5 的一个图示。

待核验内容
  1. 该段落断言了最小性,但并未证明为何不存在更小的非平面图。

命题
命题

在本节讨论的图中,必然需要边相交的最小图是 K5K_5。

前提
  1. 该图的边数相对于其顶点数过多,无法在不出现边相交的情况下画出。

量词

此处陈述的是本段中最小的例子。

连通平面图的欧拉公式

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

    主讲人得出结论:由于任意图均可通过保持 v−e+fv - e + f 不变的若干操作从基础图构建而来,因此该量对所有图都相同。

  2. 公式
    观察依据

    文字说明:‘该量对所有图都相同。’

待核验内容
  1. 视频音频中未明确说出最终定理名称‘欧拉公式’,但上下文与标题已隐含此意。

定理
命题

对任意连通平面图,量 v−e+fv - e + f 等于 2。

前提
  1. 该图是平面图

  2. 该图是连通图

量词

对所有连通平面图

推导与证明 · 5

在第一个示例图中计算面数

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

    讲解者指出上方的图有三个面,包括外部区域。

  2. 图示
    观察依据

    右侧的平面嵌入图中标出了区域 1、2 和 3。

视觉说明
步骤
  1. 公式
    解释

    从右侧的平面嵌入图开始观察,其中没有任何边相交。

    步骤依据

    只有在选定一种平面表示后,才可计算面数。

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

    识别由边和顶点所围成的有界面;图中已标出两个内部区域。

    步骤依据

    根据定义,平面嵌入将平面划分为若干区域,这些区域称为面。

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

    将无界的外部区域也计为第三个面。

    步骤依据

    视频中明确指出,外部区域被计为一个面。

    视频直接表达
  4. 公式
    2+1=32+1=3
    解释

    因此该图共有三个面。

    步骤依据

    两个内部面与一个外部面之和。

    依据视频推导
结论

第一个示例图在平面嵌入时具有3个面。

为何第二个示例具有4个面,而非5个面

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

    讲述者将交叉画法下错误的面数5与平面嵌入下正确的面数4进行了对比。

  2. 图示
    观察依据

    左侧图的对角线存在交叉;右侧图则被重绘为无交叉形式,并标有1、2、3、4。

视觉说明
步骤
  1. 公式
    解释

    若采用左侧存在对角线交叉的画法,视觉上似乎形成了四个内部区域,再加上外部区域,从而暗示共有5个面。

    步骤依据

    这是视频中所讨论的错误计数。

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

    如右侧所示,以平面方式重绘同一张图。

    步骤依据

    面数统计仅适用于平面表示。

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

    在平面图中,识别出三个内部区域和一个外部区域。

    步骤依据

    右侧图中标注了区域1、2、3和4。

    视频直接表达
  4. 公式
    3+1=43+1=4
    解释

    因此,正确的面数为4。

    步骤依据

    三个内部面与一个外部面之和。

    依据视频推导
结论

同一张图在平面表示下仅具有4个面,而非5个。

欧拉公式的归纳证明

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

    幻灯片展示了从 P2P_2 出发的构造过程:两种操作、它们对 v、e、f 的影响,以及基础情形的计算。

  2. 声音
    观察依据

    主讲人叙述了相同的步骤:从 P2P_2 出发,添加尖刺或闭合回路,观察 v−e+fv - e + f 始终保持不变,并通过归纳法得出结论。

待核验内容
  1. 音频中的最后一句话在思考中途被截断,但可见的幻灯片已明确写出归纳结论。

严格证明
步骤
  1. 公式
    P2P_2
    解释

    从图 P2P_2 开始,它由两个顶点和一条连接它们的边构成。

    步骤依据

    幻灯片明确指出要从图 P2P_2 开始。

    视频直接表达
  2. 公式
    v=2, e=1, f=1v=2,\ e=1,\ f=1
    解释

    记录基础图的初始计数值。

    步骤依据

    这些数值在幻灯片上直接给出。

    视频直接表达
  3. 公式
    v−e+f=2v-e+f=2
    解释

    计算基础情形下的不变量:2−1+1=22 - 1 + 1 = 2。

    步骤依据

    这是幻灯片上展示的关于 P2P_2 的算术过程。

    视频直接表达
  4. 公式
    spike: v↦v+1, e↦e+1, f↦f\text{spike: } v\mapsto v+1,\ e\mapsto e+1,\ f\mapsto f
    解释

    当添加一个尖刺时,会增加一个顶点和一条边,而面的数量保持不变。

    步骤依据

    幻灯片指出,添加尖刺会使边数增加 1,顶点数增加 1,而面数保持不变。

    视频直接表达
  5. 公式
    (v+1)−(e+1)+f=v−e+f(v+1)-(e+1)+f=v-e+f
    解释

    因此,量 v−e+fv - e + f 在添加尖刺时保持不变。

    步骤依据

    幻灯片说明,这意味着 v−e+fv - e + f 不发生变化;所展示的代数形式是对该结论的明确重述。

    依据视频推导
  6. 公式
    circuit: v↦v, e↦e+1, f↦f+1\text{circuit: } v\mapsto v,\ e\mapsto e+1,\ f\mapsto f+1
    解释

    当通过一条新边连接两个已有顶点从而闭合一个回路时,会增加一条边和一个面,而顶点数保持不变。

    步骤依据

    幻灯片指出,闭合回路会增加一条边、增加一个面,并保持顶点数不变。

    视频直接表达
  7. 公式
    v−(e+1)+(f+1)=v−e+fv-(e+1)+(f+1)=v-e+f
    解释

    因此,量 v−e+fv - e + f 在闭合回路时也保持不变。

    步骤依据

    幻灯片再次指出 v−e+fv - e + f 不发生变化;所显示的代数表达式使这一不变性变得明确。

    依据视频推导
  8. 公式
    any connected graph (except one isolated vertex) can be built from P2 by these moves\text{any connected graph (except one isolated vertex) can be built from }P_2\text{ by these moves}
    解释

    由于每个非平凡的连通图都包含 P2P_2,并且可通过尖刺和闭合回路的边逐步构造出来,因此在 P2P_2 上确立的该不变量值可推广至整个图。

    步骤依据

    幻灯片指出,除单个孤立顶点外的任意连通图都必须包含该子图,且我们可以通过这两种操作的组合来构建任意图。

    视频直接表达
  9. 公式
    v−e+f=2 for all connected planar graphsv-e+f=2\ \text{for all connected planar graphs}
    解释

    因为这些操作从不改变 v−e+fv - e + f,且基础情形的值等于 2,所以该公式对所有通过此构造方式得到的连通平面图均成立。

    步骤依据

    幻灯片总结道,这一论证本质上是一种数学归纳法证明。

    视频直接表达
结论

欧拉公式 v−e+f=2v - e + f = 2 可通过从 P2P_2 出发,并证明两种允许的构造操作均保持量 v−e+fv - e + f 不变而得出。

为何同一个图看似具有不同的面数

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

    幻灯片将左侧对 5 个面的误导性计数与右侧正确的平面计数 4 个面进行了对比。

  2. 图示
    观察依据

    右侧的平面图标注了四个区域:1、2、3、4。

视觉说明
步骤
  1. 公式
    left drawing: apparent count 5\text{left drawing: apparent count }5
    解释

    若尝试从左侧这个看似非平面的图中计数面数,人们可能会认为包括外部面在内共有 5 个面。

    步骤依据

    这一点在幻灯片文字中被直接陈述。

    视频直接表达
  2. 公式
    right drawing: planar count 4\text{right drawing: planar count }4
    解释

    将同一张图重绘为平面表示后,可看出实际上仅有 4 个面。

    步骤依据

    幻灯片文字与带标注的平面图均指出这一点。

    视频直接表达
结论

面数的计算依赖于使用平面表示;否则,同一张图可能被错误计数。

欧拉公式的数学归纳法证明

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

    主讲人解释如何从 P2P_2 出发,通过添加尖刺和回路来构造任意图,并指出这一论证本质上是一种数学归纳法证明。

  2. 公式
    观察依据

    文字描述了这两种操作及其对 v、e、f 的影响。

严格证明
步骤
  1. 公式
    v→v+1,e→e+1,f→fv \to v+1, e \to e+1, f \to f
    解释

    添加一个尖刺会使顶点数和边数各增加1,面数保持不变。

    步骤依据

    图中展示了尖刺操作的定义。

    视频直接表达
  2. 公式
    (v+1)−(e+1)+f=v−e+f(v+1) - (e+1) + f = v - e + f
    解释

    尖刺操作对这一量的改变量为零。

    步骤依据

    代数化简。

    依据视频推导
  3. 公式
    v→v,e→e+1,f→f+1v \to v, e \to e+1, f \to f+1
    解释

    闭合一条回路会使边数和面数各增加1,顶点数保持不变。

    步骤依据

    图中展示了回路操作的定义。

    视频直接表达
  4. 公式
    v−(e+1)+(f+1)=v−e+fv - (e+1) + (f+1) = v - e + f
    解释

    回路操作对这一量的改变量为零。

    步骤依据

    代数化简。

    依据视频推导
  5. 公式
    v=2,e=1,f=1  ⟹  v−e+f=2v=2, e=1, f=1 \implies v-e+f=2
    解释

    基础情形 P2P_2 满足该公式。

    步骤依据

    由 P2P_2 的定义直接计算得出。

    视频直接表达
结论

由于基础情形成立,且上述操作均保持该值不变,因此对所有可通过这些操作构造出的连通平面图,均有 v−e+f=2v - e + f = 2。

例题详解 · 6

示例:一个看似非平面但实为平面的图

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

    左侧含边交叉的图被转化为右侧无边交叉的图。

  2. 声音
    观察依据

    解说员指出,下方图是平面图,因为它可重绘为右侧的图。

  3. 字幕依据
    观察依据

    弹出提示:“两张图均有5个顶点,且各顶点的度数相同。你可暂停视频自行验证。”

待核验内容
  1. 屏幕上未写出确切的邻接表;仅展示了图形及关于顶点度数相等的提示。

题目

判断一张初始绘制时存在边交叉的图是否仍可能为平面图,并在其被重绘为平面图后统计其面数。

已知条件
  1. 左侧显示了一个具有相交边的图。

  2. 同一张图在右侧被重新绘制,且没有边相交。

  3. 弹出提示说明两张图均有5个顶点,且各顶点的度数相同。

目标

证明该图是平面图,并确定其平面嵌入中的面数。

步骤
  1. 公式
    解释

    注意左侧的绘图包含边的交叉,因此它本身并非平面表示。

    步骤依据

    平面表示要求不存在边的交叉。

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

    采用右侧无边交叉的绘图,作为该图的一个平面表示。

    步骤依据

    视频指出这两张图是同一张图,右侧的是左侧图的重绘版本。

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

    统计右侧绘图中的区域:两个内部区域和一个外部区域。

    步骤依据

    面是指平面绘图所形成的区域,其中包含外部区域。

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

    因此该图有3个面。

    步骤依据

    2个内部面 + 1个外部面 = 3个面。

    依据视频推导
结果

该图是平面图,其平面嵌入具有3个面。

检验

右侧图中区域1、2和3的视觉标注与口述计数一致。

示例:为何在含交叉边的图中面计数会失败

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

    幻灯片警告文字指出:只有当图以平面方式绘制时,才能对其面进行计数。

  2. 图示
    观察依据

    展示了同一图的两种表示:一种对角线相交,另一种为平面表示。

  3. 声音
    观察依据

    讲述者将表面上数得的5个面与正确的4个面进行了对比。

待核验内容
  1. 本片段中未口头说出确切的边数,但可从图中直接看出。

题目

比较同一图的两种绘图,并确定正确的面数。

已知条件
  1. 左侧图中对角线相交。

  2. 右侧图是该图的一种平面表示。

  3. 右侧图中标注了四个区域。

目标

解释为何左侧图暗示有5个面,而正确的面数却是4。

步骤
  1. 公式
    解释

    从左侧图示出发,人们可能会错误地数出四个内部区域再加上外部区域,得到5。

    步骤依据

    这是视频中明确警示不可采用的错误方法。

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

    切换到右侧图示,该图示中不存在边的交叉。

    步骤依据

    唯有平面表示法才能给出有效的面数计数。

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

    在右侧图示中,数出三个内部区域和一个外部区域。

    步骤依据

    该图示将区域标记为1、2、3和4。

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

    因此,面的正确数量是4。

    步骤依据

    3个内部面 + 1个外部面 = 4个面。

    依据视频推导
结果

该图共有4个面,而非5个。

检验

幻灯片文字与旁白均指出,平面表示法仅显示4个面。

同一张图的非平面画法与平面画法

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

    两张同一张图的绘图并排展示;右侧为平面图,并标注了四个面:1、2、3、4。

  2. 字幕依据
    观察依据

    文字指出,左侧绘图可能暗示包括外部面在内有 5 个面,但平面表示显示实际上仅有 4 个面。

待核验内容
  1. 图本身在可见文本中未被命名,但该图形对应于 K4K_4。

题目

比较同一张图的两种表示方式,并确定应计数多少个面。

已知条件
  1. 展示了同一张图的两种画法。

  2. 左侧画法中存在相交的边。

  3. 右侧画法是一种平面表示,其区域标为1、2、3、4。

目标

找出该图正确的面数。

步骤
  1. 公式
    Left drawing: possibly 5 faces including the outside\text{Left drawing: possibly }5\text{ faces including the outside}
    解释

    若直接使用左侧画法,可能误数出5个面。

    步骤依据

    幻灯片明确指出,有人可能会说包括外部面在内共有5个面。

    视频直接表达
  2. 公式
    Right drawing: 4 faces\text{Right drawing: }4\text{ faces}
    解释

    使用平面表示可得出正确的面数为4个。

    步骤依据

    幻灯片说明,平面表示显示仅有4个面。

    视频直接表达
结果

平面表示中正确的面数为4。

检验

右侧带标签的平面图绘制展示了恰好四个编号区域,与幻灯片中所述的修正一致。

对 P2P_2 进行归纳基础情形的计算。

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

    幻灯片指出:“我们的起始图 P2P_2 满足 v=2v = 2、e=1e = 1 且 f=1f = 1,因此 v−e+f=2v - e + f = 2。”

  2. 图示
    观察依据

    以一个含两个顶点和一条边的图作为起始示例展示。

待核验内容
  1. 该片段未详细解释为何 f=1f = 1 对于 P2P_2,仅在幻灯片上直接陈述了该式。

题目

计算证明中所用起始图 P2P_2 的 v−e+fv - e + f 值。

已知条件
  1. 起始图是 P2P_2。

  2. 它有 2 个顶点和 1 条边。

  3. 幻灯片为该基础情形指定 f=1f = 1。

目标

验证归纳起始时不变量的取值。

步骤
  1. 公式
    v=2, e=1, f=1v=2,\ e=1,\ f=1
    解释

    从幻灯片中读出基础图的各项计数。

    步骤依据

    这些数值在幻灯片中已明确写出。

    视频直接表达
  2. 公式
    v−e+f=2−1+1=2v-e+f=2-1+1=2
    解释

    代入欧拉公式。

    步骤依据

    这是幻灯片上展示的算术过程。

    视频直接表达
结果

对于 P2P_2,v−e+f=2v - e + f = 2。

检验

幻灯片在代入后直接给出了结果 2。

计算路径图 P2P_2 的欧拉示性数

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

    主讲人逐项说明图 P2P_2 的数值:“顶点数为二……边数为一……面数为一”。

  2. 公式
    观察依据

    文字显示:“v=2v = 2,e=1e = 1,f=1f = 1,因此 v−e+f=2v - e + f = 2”。

题目

求路径图 P2P_2 的 v−e+fv - e + f 的值。

已知条件
  1. 该图是 P2P_2

  2. v 等于2

  3. e 等于 1

  4. f 等于1

目标

计算 v−e+fv - e + f

步骤
  1. 公式
    v−e+fv - e + f
    解释

    将已知数值代入该表达式。

    步骤依据

    这一不变量的定义。

    视频直接表达
  2. 公式
    2−1+12 - 1 + 1
    解释

    代入 v=2v = 2、e=1e = 1、f=1f = 1。

    步骤依据

    已知 P2P_2 的取值。

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

    进行算术运算。

    步骤依据

    标准的加法/减法运算。

    依据视频推导
结果

对应的式子为:2

检验

与所有平面图所陈述的一般结论一致。

识别非平面图 K5K_5

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

    讲解者指出 K5K_5 是边必须相交的最小图。

  2. 图示
    观察依据

    图示展示了带交叉边的 K5K_5,并标注为“非平面图”。

题目

判断完全图 K5K_5 是否为平面图。

已知条件
  1. 该图是 K5K_5(含 5 个顶点,且两两相连)

  2. 直观图示显示了边的交叉

目标

检验平面性

步骤
  1. 公式Edges intersect in drawing
    解释

    注意,在K5K_5的标准画法中,边彼此相交。

    步骤依据

    幻灯片提供的直观证据。

    视频直接表达
  2. 公式Too many edges for vertices
    解释

    连接的稠密性迫使在2D平面上出现交点。

    步骤依据

    音频讲解:‘如果边太多而顶点太少……’

    视频直接表达
结果

K5K_5是非平面图。

检验

视频中将其表述为最小的非平面图例子。

图示与动画 · 8

第一张幻灯片:定义、重绘及面的标注

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

    首张幻灯片标题为“平面图”,包含文字定义及两张由蓝色箭头连接的图示。

  2. 动画
    观察依据

    约在21–32秒处弹出提示框,说明两张图均有5个顶点且各顶点度数相同。

  3. 图示
    观察依据

    大约在57秒处,右侧图中出现红色数字1、2和3,用于标记各个面。

图中对象
  1. 标题“平面图”

  2. 定义句

  3. 左侧含交叉边的图

  4. 蓝色箭头

  5. 右侧平面图

  6. 弹出提示框

  7. 面的标注1、2、3

变化过程
  1. 该幻灯片整体保持静止,仅光标在文字与图示上移动。

  2. 一个蓝色弹出提示框出现,随后消失。

  3. 红色面编号被添加到右侧图中。

不变量
  1. 核心教学主题仍聚焦于平面图与面。

  2. 这两幅图表示的是同一个图。

数学含义

视觉序列有助于区分看似非平面的图示与真正的平面表示,随后标出该平面图示中的各个面。

第二张幻灯片:警告示例与欧拉公式

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

    第二张幻灯片标题为“平面图”,包含一则警告、同一图的两种表示方式,以及欧拉公式。

  2. 图示
    观察依据

    右侧图中用红色数字1、2、3和4标注各面。

图中对象
  1. 标题:“平面图”

  2. 警告文字

  3. 左侧图:对角线相交

  4. 右侧图:平面图

  5. 面的标签:1、2、3、4

  6. 欧拉公式行

变化过程
  1. 幻灯片在约78秒时从第一个示例切换到警告页。

  2. 在右侧图中添加了面的标签。

  3. 公式 v−e+f=2v - e + f = 2 显示在底部。

不变量
  1. 本页上的两个图形表示的是同一个图。

  2. 本课继续强调使用平面表示法来计算面数。

数学含义

第二张幻灯片通过视觉对比,展示了交叉画法导致的错误面计数与平面画法得出的正确面计数,随后引出欧拉公式。

交叉画法与平面画法的对比

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

    第一张幻灯片并排展示了同一张图的两种画法;右侧画法是平面的,并标出了四个面:1、2、3、4。

  2. 字幕依据
    观察依据

    文中提醒:只有当图以平面方式绘制时,才能计算面的数量。

图中对象
  1. 左侧为含交叉边的图

  2. 右侧为平面图

  3. 四个标有标签的面区域:1、2、3、4

变化过程
  1. 演示将注意力从左侧画法转向右侧画法。

  2. 右侧画法揭示了该图正确的面分解。

不变量
  1. 两种画法对应的底层图是相同的。

  2. 警告文字在整个时间段内持续显示在屏幕上。

数学含义

视觉对比表明,除非该图的画法是平面的,否则顶点面计数依赖于具体表示方式。

幻灯片切换至归纳构造环节

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

    大约在21秒时,幻灯片从警告/公式页切换到证明构造页。

  2. 字幕依据
    观察依据

    新幻灯片以“欧拉公式为何成立?”开头,并引入图P2P_2以及两种构造操作。

图中对象
  1. 新幻灯片标题

  2. 图P2P_2

  3. 两种操作的示意图

变化过程
  1. 此前的警告示例消失。

  2. 包含图P2P_2及两种构造操作的证明准备内容出现。

不变量
  1. 主题仍为平面图的欧拉公式。

数学含义

这一过渡标志着从陈述定理转向通过构造来证明它。

两种构造操作的直观定义

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

    左侧图示展示添加一个新顶点,并用一条新边将其连接,该操作称为‘尖刺’。

  2. 图示
    观察依据

    右侧图示展示用一条新边连接两个已有顶点,该操作称为‘闭合回路’。

图中对象
  1. 左侧为部分图

  2. 虚线表示尖刺所用的新边与新顶点

  3. 右侧为部分图

  4. 虚线表示连接两个已有顶点的新边

变化过程
  1. 左侧图示说明图通过增加一个顶点和一条边而生长。

  2. 右侧图示说明图仅通过增加一条边而生长,从而闭合一个圈。

不变量
  1. 两个图示均被视作构建连通平面图时允许的步骤。

数学含义

这些图示定义了归纳证明中所使用的初等操作。

影响表格、基础情形与非平面图示例

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

    幻灯片现在列出了每种操作对 v、e 和 f 的影响,并给出了 P2P_2 的基础情形计算。

  2. 图示
    观察依据

    K5K_5 的示意图出现在右下角,标题为‘非平面图’。

图中对象
  1. 描述尖刺操作影响的文字

  2. 描述回路操作影响的文字

  3. P2P_2 的基础情形方程

  4. K5K_5 的示意图

变化过程
  1. 证明幻灯片从构造操作扩展到其数值影响。

  2. 底部区域介绍了非平面图及 K5K_5。

不变量
  1. 当前讨论的核心量仍是 v−e+fv - e + f。

数学含义

该视觉布局将局部操作分析与全局归纳结论联系起来,再将平面图与一个非平面图示例进行对比。

图运算示意图

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

    左上角的图示展示了一个带对角线的正方形;箭头表示添加一个顶点(尖刺)或连接顶点(回路)。

图中对象
  1. 带对角线的正方形图

  2. 蓝色箭头

  3. 新顶点的点

  4. 虚线

变化过程
  1. 向一条已有边(尖刺)添加一个新顶点。

  2. 用一条新边连接两个已有顶点(回路)。

不变量
  1. 演示过程中,整体结构始终保持平面嵌入。

数学含义

这些图示展示了两种基本操作,用于从简单平面图构造复杂平面图,同时保持欧拉示性数不变。

K5K_5 非平面图示例

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

    底部中心图像展示了一个所有对角线均被画出的五边形(K5K_5)。边在五边形内部明显相交。

图中对象
  1. 五边形的顶点

  2. 连接线(边)

  3. 交点

变化过程
  1. 无(静态图像)。

不变量
  1. 可见边的交叉。

数学含义

该图示作为平面性的反例,展示了一种无法避免边相交的图。

易错点 · 6

将一幅糟糕的绘图误认为是非平面图

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

    旁白:“即使一个图看起来不像是平面图,它仍有可能是平面图。”

  2. 图示
    观察依据

    一幅存在边交叉的图被重绘为无交叉的图。

误区

如果一个图以边交叉的方式绘制,人们可能会错误地推断该图本身不是平面图。

说明

平面性取决于该图是否存在某种无交叉的绘图方式,而不取决于某一幅特定绘图是否看起来没有交叉。

从非平面图示中计数面

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

    幻灯片警告:“我们仅能在图以平面方式绘制时,才可计算面的数量。”

  2. 声音
    观察依据

    讲述者将表面上数出的5个面与正确数出的4个面进行对比。

误区

人们可能试图直接从含有边交叉的图示中计数面,从而得到错误的数目。

说明

面必须从平面表示中计数;否则所得数目并非该平面图的真实面数。

遗漏外部区域

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

    讲述者:“是的,我们将外部区域也计入一个面。”

  2. 公式
    观察依据

    幻灯片文字:“(是的,我们将‘外部’区域也计入一个面。)”

误区

人们可能仅计数有界的内部区域,而忽略了无界的外部区域。

说明

在对平面图计数面时,外部区域被计入一个面。

从非平面图示中数面数

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

    幻灯片提醒:若尝试用左侧的图来计数面数,可能会得出共有 5 个面(含外部面),但其平面表示实际只显示了 4 个面。

误区

观察存在边交叉的图示时,可能错误地数出5个面。

说明

面数应在将图重绘为平面图之后再进行统计;该平面表示法显示出4个面。

误以为欧拉公式无需任何前提条件即可适用

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

    该公式明确针对任意连通平面图而给出。

  2. 字幕依据
    观察依据

    后续小节明确指出并非所有图都是平面图,并以K5K_5为例加以说明。

误区

有人可能认为对任意图都有v−e+f=2v - e + f = 2成立。

说明

本片段中,该公式仅对连通平面图作出断言;而K5K_5等非平面图则被单独处理。

误以为所有图都是平面图

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

    主讲人明确指出:“并非所有图都是平面图。”

  2. 公式
    观察依据

    章节标题:“非平面图”

误区

学生可能认为任意图都可以在平面上绘制,且边互不相交。

说明

边数相对于顶点数过高的图(例如 K5K_5)必然导致边相交,因此是非平面图。

概念关系 · 12

平面图的定义 → 平面嵌入中的面

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

    讲述者先定义平面图,紧接着定义由这种图示所产生的面。

  2. 公式
    观察依据

    幻灯片文字将平面图示与平面被划分为面联系起来。

先修
解释

面的概念仅在指定了连通图的平面图示之后才被引入。

平面表示与非平面画法 → 面数作为平面图的一个性质

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

    讲述者表示该图可以重画为无交叉的图形,然后在平面图中计数面数。

  2. 图示
    观察依据

    右侧的平面图用于对面进行标注。

先修
解释

必须先得到平面表示,才能有意义地将面数作为图的一个性质来讨论。

平面嵌入中的面 → 连通平面图的欧拉公式

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

    在课程定义了面之后,用 v、e 和 f 表述欧拉公式。

先修
解释

欧拉公式使用面的数量,因此必须首先理解‘面’这一概念。

平面图的定义 → 连通平面图的欧拉公式

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

    幻灯片明确将欧拉公式限定于任意连通的平面图。

先修
解释

欧拉公式专门针对连通的平面图给出。

面数只能从平面画法中计算 → 面数作为平面图的一个性质

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

    警告文字直接规定了面应如何计数。

应用
解释

该警告将‘仅对平面图的绘图才可进行面计数’这一规则具体化。

必须从平面画法中计算面数。 → 连通平面图的欧拉公式

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

    关于平面图面数统计的警示,出现在同一张幻灯片上欧拉公式陈述之前。

先修
解释

在欧拉公式中各量具有意义之前,必须先在平面表示中正确统计面数。

连通平面图的欧拉公式 → 证明方法:从P2P_2出发,通过两种操作构造任意连通的平面图

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

    公式陈述之后,下一张幻灯片提出“为何欧拉公式成立?”,并引入构造法。

证明依赖
解释

构造法正是专门用来论证欧拉公式成立的。

证明方法:从P2P_2出发,通过两种操作构造任意连通的平面图 → 尖刺操作

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

    方法幻灯片将“尖刺”定义为两种允许操作之一。

包含
解释

归纳构造法将“尖刺”操作作为其基本操作之一。

证明方法:从P2P_2出发,通过两种操作构造任意连通的平面图 → 闭合回路操作

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

    方法幻灯片将连接两个已有顶点定义为另一种允许操作。

包含
解释

归纳构造法将“闭合回路”操作作为其第二项基本操作。

连通平面图的欧拉公式 → 非平面图与示例 K5K_5

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

    幻灯片通过对比平面图与命题‘并非所有图都是平面图’,展示了图 K5K_5。

对比
解释

欧拉公式针对连通平面图给出,而最后一节则将其与诸如 K5K_5 的非平面图进行对比。

欧拉公式的数学归纳法证明 → 连通平面图的欧拉公式

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

    主讲人将构造方法与证明类型联系起来:“这一论证本质上属于数学归纳法。”

证明依赖
解释

利用“添加尖刺”和“补全回路”两种操作进行推导,提供了归纳步骤,从而证明欧拉公式对所有连通平面图成立。

连通平面图的欧拉公式 → 识别非平面图 K5K_5

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

    平面图讨论与“并非所有图都是平面图……最小的反例是 K5K_5”之间的对比。

对比
解释

欧拉公式仅适用于平面图;K5K_5被专门引入作为非平面图的典型例子,说明其无法嵌入平面。

问题定位 · 18

一个连通图是平面图意味着什么?

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

    平面图的开篇定义。

  2. 公式
    观察依据

    幻灯片1上的定义框。

涉及知识点
  1. 平面图的定义

平面图中的“面”是什么?外部区域是否算作一个面?

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

    讲解员定义了“面”,并指出外部区域也计入其中。

  2. 图示
    观察依据

    在平面图中,面的标签为1、2、3。

涉及知识点
  1. 平面嵌入中的面
  2. 遗漏外部区域

为什么一个看似非平面的图仍可能是平面图?

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

    左侧的交叉图被转化为右侧的平面图。

  2. 声音
    观察依据

    讲解员说明:只要一个图能被重画成无边交叉的形式,它就仍是平面图。

涉及知识点
  1. 平面表示与非平面画法
  2. 将一幅糟糕的绘图误认为是非平面图

第一个示例图以平面方式绘制时,共有多少个面?

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

    右侧图中标注了1、2、3。

  2. 声音
    观察依据

    讲解员数出两个内部区域和一个外部区域。

涉及知识点
  1. 示例:一个看似非平面但实为平面的图
  2. 在第一个示例图中计算面数

为什么必须仅从平面表示中统计面的数量?

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

    幻灯片上显示警告文字2。

  2. 声音
    观察依据

    讲解员指出:面的数量只能在图以平面方式绘制时进行统计。

涉及知识点
  1. 面数只能从平面画法中计算
  2. 从非平面图示中计数面

在第二个例子中,为何面数是4而非5?

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

    同一张图的两种画法,其中平面画法标注为1–4。

  2. 声音
    观察依据

    讲述者对比了5个表观面与4个实际面。

涉及知识点
  1. 示例:为何在含交叉边的图中面计数会失败
  2. 为何第二个示例具有4个面,而非5个面

连通平面图的欧拉公式是什么?

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

    幻灯片显示:对连通的平面图,有 v−e+f=2v - e + f = 2。

待核验内容
  1. 本片段中的口头讲解不完整。

涉及知识点
  1. 连通平面图的欧拉公式
  2. 欧拉公式表述

连通平面图的欧拉公式是什么?

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

    幻灯片明确陈述了该公式。

涉及知识点
  1. 连通平面图的欧拉公式

为什么必须先以平面方式绘制图,才能计数面?

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

    幻灯片提醒:只有当图以平面方式绘制时,才能计数面。

涉及知识点
  1. 必须从平面画法中计算面数。
  2. 从非平面图示中数面数

如何通过从 P2P_2 构造图来证明欧拉公式?

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

    幻灯片提出‘欧拉公式为何成立’这一问题,并铺陈了从 P2P_2 出发的构造过程。

涉及知识点
  1. 证明方法:从P2P_2出发,通过两种操作构造任意连通的平面图
  2. 欧拉公式的归纳证明

在欧拉公式的证明中,什么是‘尖刺’?

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

    幻灯片将向左的移动标记为添加一个新顶点,并用一条新边将其连接,这种操作称为‘尖刺’。

涉及知识点
  1. 尖刺操作
  2. 添加尖刺保持 v−e+fv - e + f 不变

为什么闭合一个回路不会改变 v−e+fv - e + f 的值?

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

    幻灯片指出,闭合一个回路会增加一条边和一个面,而顶点数保持不变。

涉及知识点
  1. 闭合回路操作
  2. 闭合回路保持 v−e+fv - e + f 不变
覆盖情况与待核验内容

已覆盖 · 定义平面图,并从平面画法引入面的概念。

已覆盖 · 说明一张图在某种画法中看似非平面,但只要能重画成无边交叉的形式,它仍是平面图。

已覆盖 · 统计第一个例子的面数,并指出面数在所有平面画法中保持不变。

已覆盖 · 警示不可从含边交叉的画法中计数面,并对比5个面与4个面。

已覆盖 · 引入连通平面图的欧拉公式:v−e+f=2v - e + f = 2。

已覆盖 · 开场幻灯片警示平面图的面计数问题,展示了同一图的两种不同表示,并陈述了欧拉公式。

已覆盖 · 第二张幻灯片从 P2P_2 出发引入归纳构造,并定义了两种允许的操作。

已覆盖 · 证明中对 v、e、f 的影响被逐一解释,基础情形被计算完毕,本段以非平面图示例 K5K_5 结束。

已覆盖 · 图运算的说明、v−e+fv - e + f 的不变性,以及基础情形的计算。

已覆盖 · 关于非平面图的讨论,以及 K5K_5 这一例子。

已覆盖 · 结束画面,含主讲人信息与网站链接;无数学内容。

探索视频中的知识

已审核的主题路径