计数中的双射：把困难问题变简单

1. 声音
   观察依据

   旁白说：“注意我们有两个集合，一个座位集合和一个人员集合。”

2. 图示
   观察依据

   屏幕显示一行标记为“100把椅子”。

3. 字幕依据
   观察依据

   屏幕文字显示“100把椅子”。

set of seats

对象的集合，此处指礼堂内的100把椅子。

基数为100的有限集合。

1. 声音
   观察依据

   旁白说：“注意我们有两个集合，一个座位集合和一个人员集合。”

2. 图示
   观察依据

   屏幕显示一行标记为“100个人”。

3. 字幕依据
   观察依据

   屏幕文字显示“100个人”。

set of people

对象的集合，此处指礼堂内的100个人。

基数为100的有限集合。

1. 声音
   观察依据

   旁白说：“看看屏幕上的圆圈。”

2. 图示
   观察依据

   水平排列着五个白色圆圈。

set of circles

用于演示计数的五个几何形状的集合。

基数为5的有限集合。

1. 声音
   观察依据

   旁白说：“……直到5的计数数集合。”

2. 图示
   观察依据

   数字1, 2, 3, 4, 5出现在圆圈下方。

set of counting numbers up to 5

从1到5的标准正整数有限集合。

{1, 2, 3, 4, 5}

1. 公式
   观察依据

   屏幕上的公式：$\frac{a_n - a_1}{d} + 1$。

2. 声音
   观察依据

   旁白说：“这是通用公式”，然后解释了减去首项和末项，除以公差，再加一。

$\frac{a_n - a_1}{d} + 1$

等差数列项数的计算公式。

适用于具有首项 $a_1$、末项 $a_n$ 和公差 d 的有限等差数列。

1. 公式
   观察依据

   作为分子项 $a_n$ 出现在 $\frac{a_n - a_1}{d} + 1$ 中。

2. 声音
   观察依据

   旁白提到了第一个数和最后一个数之间的差。

$a_n$

等差数列的最后一项。

实数或整数序列项；在示例中为 849。

1. 公式
   观察依据

   作为 $a_1$ 出现在 $\frac{a_n - a_1}{d} + 1$ 中。

2. 声音
   观察依据

   旁白提到了第一个数和最后一个数之间的差。

$a_1$

等差数列的第一项。

实数或整数序列项；在示例中为 37。

1. 公式
   观察依据

   作为分母 d 出现在 $\frac{a_n - a_1}{d} + 1$ 中。

2. 声音
   观察依据

   旁白说要除以公差，在这种情况下是七。

d

等差数列的公差。

相邻项之间的非零常数差；在示例中 $d=7$。

1. 公式
   观察依据

   屏幕上的列表：37, 44, 51, 58, 65, 72, 79, 86, 93, $\ldots$, 849。

2. 声音
   观察依据

   旁白询问这个列表中有多少个数字，其中相邻项之间的差总是七。

37, 44, 51, 58, 65, 72, 79, 86, 93, $\ldots$, 849

用作计数示例的有限等差数列。

各项每次增加 7，从 37 开始，直到 849。

1. 公式
   观察依据

   等差数列项数的公式显示为 $\frac{a_n - a_1}{d} + 1$。

$a_n$

等差数列的最后一项。

整数

1. 公式
   观察依据

   等差数列项数的公式显示为 $\frac{a_n - a_1}{d} + 1$。

$a_1$

等差数列的第一项。

整数

1. 公式
   观察依据

   等差数列项数的公式显示为 $\frac{a_n - a_1}{d} + 1$。

d

等差数列中相邻两项之间的公差。

整数

1. 声音
   观察依据

   旁白说：“这被称为双射。这是一个花哨的词，但意思就是这样：两个集合之间一对一且满射的配对。”

2. 字幕依据
   观察依据

   屏幕文字显示“双射：两个集合之间一对一且满射的配对”。

双射是两个集合之间的配对，使得第一个集合中的每个项目都与第二个集合中的恰好一个项目配对，反之亦然。它被描述为“一对一且满射的配对”。

1. 适用于任意两个集合。

2. 需要一个完美的匹配，其中没有元素未被配对或被多次配对。

1. set of seats
2. set of people

1. 声音
   观察依据

   旁白陈述：“首先，双射对于计数至关重要。除非使用双射，否则根本无法进行计数。”然后他演示了将数字1到5分配给五个圆圈。

2. 图示
   观察依据

   青色箭头从每个圆圈指向对应的数字。

3. 字幕依据
   观察依据

   屏幕文字显示“双射对于计数至关重要。”

对一组对象进行计数从根本上是通过在对象集合和已知的计数数集合（例如 {1, 2, ..., n}）之间建立双射来实现的。集合的大小由这个配对集合中的最大数字决定。

1. 需要有一个要计数的对象集合。

2. 需要一个标准的计数数序列。

1. 双射
2. set of circles
3. set of counting numbers up to 5

1. 声音
   观察依据

   旁白说，一旦我们确定没有重复计数也没有遗漏计数，我们就保证我们的列表与计数数字有一对一的配对，根据定义这就是双射。

2. 图示
   观察依据

   五个圆圈与数字 1 到 5 一对一配对，带有绿色标签“无重复计数”和“无遗漏计数”以及单词“双射！”。

在本视频中，双射被呈现为被计数的对象与计数数字之间的一对一配对。视觉标准是每个对象恰好匹配一个数字，且每个数字恰好匹配一个对象。

1. 必须没有重复计数。

2. 必须没有遗漏计数。

3. 配对是在列出的对象和计数数字之间进行的。

1. 声音
   观察依据

   旁白说，每当我们检查计数答案时，我们必须同时检查重复计数和遗漏计数，仅仅检查和修复其中一个是不够的。

2. 图示
   观察依据

   在一个既漏掉一个圆圈又重复另一个数字的映射之后，出现了文本：“始终检查两者！”

视频验证计数的方法是测试两种单独的失败模式：是否遗漏了某些对象，以及是否多次计数了某些对象。

1. 用于验证通过列出对象或与数字配对产生的计数答案。

1. 作为计数的一对一配对的双射

1. 声音
   观察依据

   旁白说有两种方法可以检查计数问题的答案：要么找到一个双射，要么证明没有重复计数且没有遗漏计数；你不需要做这两件事，因为它们在定义上是等价的。

2. 图示
   观察依据

   一个黄色框将“无重复计数 AND 无遗漏计数”分组在标记为“双射！”的一对一图表上方。

视频指出，直接展示一个双射等同于分别证明计数过程既没有重复计数也没有遗漏计数。

1. 对象和计数数字必须以明确定义的方式配对。

2. 这种等价性由视频断言为定义性的。

1. 作为计数的一对一配对的双射
2. 计数答案需要同时检查重复计数和遗漏计数

1. 声音
   观察依据

   旁白说双射可以成为强大的问题解决工具，可以将非常困难的计数问题转化为简单的计数问题。

2. 图示
   观察依据

   左侧的网格路径通过箭头与右侧的步骤序列（如 DDRRRR, DRDRRR, RRRRDD）配对。

视频将双射呈现为两个集合之间的桥梁：如果一个集合难以计数，但可以更容易计数的集合进行一对一配对，那么计数较容易的集合就能解决原始问题。

1. 难计数的集合与易计数的集合之间必须存在一一对应关系。

1. 作为计数的一对一配对的双射

1. 声音
   观察依据

   旁白说解决这个问题的一种方法是注意到这是一个等差数列并使用公式。

2. 公式
   观察依据

   屏幕文本：“等差数列项数公式：”后跟 $\frac{a_n - a_1}{d} + 1$。

1. 旁白说“除以公差”，而显示的公式使用除以 d；从分数来看，预期的操作在视觉上是清晰的。

对于有限等差数列，项数等于末项与首项之差除以公差，再加一。

1. 该数列是等差数列。

2. $a_1$ 是首项。

3. $a_n$ 是末项。

4. d 是相邻项之间的公差。

5. 该数列是有限的。

1. $\frac{a_n - a_1}{d} + 1$
2. $a_n$
3. $a_1$
4. d

1. 声音
   观察依据

   现在让我们看看如何利用双射更轻松地解决这个问题。

2. 声音
   观察依据

   这在第一个列表和第二个列表之间形成了一个双射，因为第一个列表中的每个数字都可以与第二个列表中比它小 37 的数字配对。

3. 声音
   观察依据

   注意，我们可以计算这个新列表而不是原始列表，因为它们包含相同数量的数字，这要归功于我们的双射。

双射是两个集合之间的一一对应关系。如果两个集合之间存在双射，则它们具有相同数量的元素。这种方法允许我们通过找到到一个更容易计数的集合的双射来计数一个困难的集合。

1. 两个集合之间的映射必须是双射（一一对应且满射）。

1. 公式
   观察依据

   等差数列项数的公式：$\frac{a_n - a_1}{d} + 1$

等差数列的项数可以使用公式 $\frac{a_n - a_1}{d} + 1$ 计算，其中 $a_n$ 是最后一项，$a_1$ 是第一项，$d$ 是公差。

1. 该序列必须是等差数列。

1. 字幕依据
   观察依据

   屏幕上的文字：“双射定义了计数。”

2. 声音
   观察依据

   演讲者说：“既然我们知道了什么是双射，我们就可以更系统地处理计数问题。”

双射是两个集合之间的一一对应关系。在组合数学中，建立待计数对象集合与已知大小集合之间的双射是一种基本的计数方法。它确保每个对象都被恰好计算一次，从而防止重复计数和漏计。

1. 两个集合必须具有相同的基数。

2. 映射必须既是单射（一对一）又是满射（映上）。

1. 公式
   观察依据

   屏幕上显示的公式：'($a_n - a_1$) / $d + 1$'

该公式用于计算等差数列的项数 (n)，已知首项 ($a_1$)、末项 ($a_n$) 和公差 (d)。视频将其作为一个可能被误用或遗忘的计数公式的例子。

1. 数列必须是等差数列。

2. d 不能为零。

1. 声音
   观察依据

   旁白说：“没有双射，计数是不可能的。更直接地说，我们可以说双射是我们定义计数的方式。”

双射是定义和执行计数的基础机制。

1. 存在一个离散对象集合。

2. 存在一个标准的计数数集合。

对于有限计数是普遍的。

1. 声音
   观察依据

   旁白说：“其次，双射对于任何计数问题都是必不可少的，因为这是我们检查答案的方式。”

2. 字幕依据
   观察依据

   屏幕文字显示“双射对于计数必不可少。”

双射对于验证计数问题答案的正确性至关重要，因为它确保不会发生多算或少算。

1. 一个计数问题已被解决。

2. 存在一个提议的答案。

对于计数问题是普遍的。

1. 声音
   观察依据

   旁白说：“这告诉我们，有可能同时发生重复计数和遗漏计数。”

2. 图示
   观察依据

   五个圆圈映射到六个数字，其中一个圆圈被省略，两个圆圈映射到同一个数字 3。

一个计数过程可以同时遗漏对象并多次计数其他对象。

1. 计数过程通过映射将数字分配给对象。

2. 映射不必是一一对应或满射。

存在一个计数分配，它既有被省略的对象又有重复的数字。

1. 声音
   观察依据

   旁白说：“你不需要做这两件事，因为它们在定义上是等价的。”

2. 图示
   观察依据

   视频将“无重复计数 AND 无遗漏计数”与标签“双射！”框在一起。

对于所示的计数设置，找到与计数数字的双射等同于证明没有重复计数且没有遗漏计数。

1. 对象与计数数字配对。

2. 双射被理解为没有遗漏且没有重复的一对一配对。

对于显示的计数对应关系，两种验证方法是等价的。

1. 声音
   观察依据

   旁白说双射可以将非常困难的计数问题转化为简单的计数问题，并以网格路径和步骤序列为例。

2. 图示
   观察依据

   一列网格路径与一列 $D/R$ 步骤序列一对一配对。

如果将一个难以计数的集合与一个更容易计数的集合建立双射，那么计数较容易的集合就能解决较难的计数问题。

1. 两个集合之间存在一一对应关系。

2. 第二个集合比第一个集合更容易计数。

存在一些计数问题，其双射重构使计数变得更容易。

1. 声音
   观察依据

   接下来，确保我们没有重复计数并确保我们没有漏计，本质上等同于找到一个双射。

2. 字幕依据
   观察依据

   找到一个双射等同于确保没有重复计数且没有漏计。

在待计数的集合与已知集合之间找到一个双射，等同于确保没有重复计数且没有漏计。

1. 我们试图计算一个有限集合的大小。

对于通过双射计数的任何有限集合。

1. 声音
   观察依据

   最后，它是我们在计数问题中检查和验证答案的方法。

2. 字幕依据
   观察依据

   双射是我们检查计数问题答案的方法。

双射是用于检查和验证计数问题答案的方法。

1. 一个计数问题已经被解决。

对于任何计数问题。

1. 声音
   观察依据

   演讲者说：“利用双射，我们现在可以验证我们使用的公式……这可以防止我们犯一个更常见的错误：错误地应用公式。”

2. 动画
   观察依据

   动画展示了一个有缺陷的尝试，试图在不同项目的排列和相同项目的排列之间建立双射，导致结论“答案错误！”。

双射可用于验证计数公式并防止诸如误用之类的常见错误。

1. 有一个提出的计数公式。

2. 可以构建一个与公式逻辑相关的潜在双射。

对于任何计数公式，如果可以根据其逻辑构建有效的双射，则该公式得到验证。

1. 声音
   观察依据

   演讲者说：“这将防止我们在某些情况下记错公式，因为我们可以简单地重新推导它们。”

理解计数公式背后的双射证明允许人们重新推导它，减少对死记硬背的依赖。

1. 理解双射的概念。

2. 知道特定计数问题的原理。

对于任何标准计数公式，其推导可以通过双射论证重建。

1. 声音
   观察依据

   旁白描述了一个有100个座位的礼堂，每个座位正好坐一个人，从而得出结论说有100个人，而不需要单独计数。

2. 图示
   观察依据

   动画显示100把椅子和100个人排成两行，随后青色双向箭头连接每把椅子和一个人。

1. 解释

   识别两个集合：100个座位的集合和人员的集合。

   步骤依据

   问题陈述定义了礼堂的设置。

   视频直接表达
2. 解释

   观察到每个座位正好坐一个人，且没有人没有座位。

   步骤依据

   问题陈述的条件。

   视频直接表达
3. 解释

   建立一个配对，其中每个座位对应恰好一个人。

   步骤依据

   由青色双向箭头可视化。

   视频直接表达
4. 解释

   得出此配对是座位集合与人员集合之间的双射。

   步骤依据

   双射的定义为一对一且满射的配对。

   视频直接表达
5. 解释

   推导出人数必须等于座位数，即100。

   步骤依据

   有限集合间双射保持基数的性质。

   视频直接表达

礼堂里正好有100个人，因为100个座位和人之间存在双射。

1. 声音
   观察依据

   旁白询问如何展示有多少个圆圈，然后演示指点并计数1到5，解释这是通过双射为每个圆圈分配一个计数数。

2. 图示
   观察依据

   数字1到5依次出现在五个圆圈下方，由青色向下箭头连接。

1. 解释

   呈现一组五个未标记的圆圈。

   步骤依据

   计数演示的视觉设置。

   视频直接表达
2. 解释

   将数字1分配给第一个圆圈，2分配给第二个，依此类推直到5。

   步骤依据

   视觉上听觉上演示的标准计数程序。

   视频直接表达
3. 解释

   认识到这种分配在圆圈集合和集合 {1, 2, 3, 4, 5} 之间创建了配对。

   步骤依据

   对映射过程的观察。

   视频直接表达
4. 解释

   验证每个圆圈得到恰好一个数字，且每个数字被分配给恰好一个圆圈。

   步骤依据

   箭头的“一对一”和“满射”性质的视觉确认。

   视频直接表达
5. 解释

   得出此配对是双射，这是计数的底层机制。

   步骤依据

   将双射定义应用于计数过程。

   视频直接表达

陈述“有五个圆圈”在数学上基于圆圈集合与直到5的计数数集合之间存在双射的事实。

1. 声音
   观察依据

   旁白说要找到第一个数和最后一个数之间的差，除以公差（这里是七），然后加一。

2. 公式
   观察依据

   显示的公式从 $\frac{a_n - a_1}{d} + 1$ 变为 $\frac{849 - a_1}{d} + 1$，然后变为 $\frac{849 - 37}{d} + 1$，最后变为 $\frac{849 - 37}{7} + 1$。

1. 提供的 180 秒片段内未显示最终的数值结果。

1. 公式

   $$\frac{a_n - a_1}{d} + 1$$
   解释

   从等差数列项数的通用公式开始。

   步骤依据

   屏幕上显示为通用公式。

   视频直接表达
2. 公式

   $$\frac{849 - a_1}{d} + 1$$
   解释

   用给定列表的末项 849 替换 $a_n$。

   步骤依据

   显示的列表是 37, 44, 51, 58, 65, 72, 79, 86, 93, $\ldots$, 849。

   视频直接表达
3. 公式

   $$\frac{849 - 37}{d} + 1$$
   解释

   令 $a_1$ 等于给定列表的首项 37。

   步骤依据

   显示的第一个项是 37。

   视频直接表达
4. 公式

   $$\frac{849 - 37}{7} + 1$$
   解释

   用公差 7 替换 d。

   步骤依据

   旁白陈述相邻差总是七，并且视觉上的 +7 标记显示了相同的模式。

   视频直接表达

在片段内，设置将问题简化为评估 $\frac{849 - 37}{7} + 1$；最终计算的计数在片段结束前未显示。

1. 公式
   观察依据

   +1 项被黄色框框住并标有红色问号。

2. 声音
   观察依据

   旁白问：“等等，为什么最后有一个加一？”并说大多数人忘记了它并得到错误答案。

1. 这个解释步骤是由分析师添加的，以澄清视觉强调；视频本身仅在提供的片段内提出了这个问题。

1. 公式

   $$\frac{849 - 37}{7}$$
   解释

   这个商计算需要跨越多少个 7 单位间隔，才能从 37 移动到 849。

   步骤依据

   在等差数列中，每对相邻项由公差 d 分隔。

   补充解释
2. 公式

   $$\frac{849 - 37}{7} + 1$$
   解释

   加 1 将间隔计数转换为项计数，因为具有 g 个间隔的链有 $g+1$ 个端点/项。

   步骤依据

   等间距有限序列的标准离散计数原理。

   补充解释

+1 补偿了计数区间而不是对象；如果没有它，第一项将从总数中被省略。

1. 声音
   观察依据

   查看我们制作的每个列表的最后几个数字，并尝试遵循我们从一个列表到另一个列表所使用的规则。这正是我们之前使用的公式。

2. 声音
   观察依据

   双射方法不仅展示了为什么公式中需要加一，还意味着我们根本不需要记住这个公式，因为可以使用双射方法来推导该公式。

3. 动画
   观察依据

   视频展示了最后一项 849 被逐步变换：减去 37，除以 7，加 1，结果为 117，这与公式 $\frac{849 - 37}{7} + 1 = 117$ 相符。

1. 公式

   $$a_n$$
   解释

   从序列的最后一项开始。

   步骤依据

   题目给定。

   视频直接表达
2. 公式

   $$a_n - a_1$$
   解释

   减去第一项 (37)。

   步骤依据

   第一步双射。

   视频直接表达
3. 公式

   $$\frac{a_n - a_1}{d}$$
   解释

   除以公差 (7)。

   步骤依据

   第二步双射。

   视频直接表达
4. 公式

   $$\frac{a_n - a_1}{d} + 1$$
   解释

   加 1 以从 0 索引计数转换为 1 索引计数。

   步骤依据

   第三步双射。

   视频直接表达

双射步骤直接推导出了等差数列项数的公式。

1. 动画
   观察依据

   动画先显示 4! 个排列形成的列表 [R1, R2, R3, R4]，再映射到 3! 个排列形成的列表 [D1, D2, D3]。多个不同 R 排列会映射到同一个 D 排列，例如 [R1, R2, R3, R4] -> [D1, D2, D3]，以及 [R1, R2, R4, R3] -> [D1, D2, D3]。红色箭头标出“No bijection!”，并据此判定 4!3! 是“Wrong answer!”。

1. 公式

   $$Set A: Permutations of {R_1, R_2, R_3, R_4}. |A| = 4!$$
   解释

   考虑四个不同 R 项目的所有可能排序。

   步骤依据

   排列的定义。

   视频直接表达
2. 公式

   $$Set B: Permutations of {D_1, D_2, D_3}. |B| = 3!$$
   解释

   考虑三个不同 D 项目的所有可能排序。

   步骤依据

   排列的定义。

   视频直接表达
3. 公式

   $$Proposed mapping: f(R_i, R_j, R_k, R_l) = (D_x, D_y, D_z)$$
   解释

   尝试将集合 A 中的每个排列映射到集合 B 中的一个排列。

   步骤依据

   有缺陷论证的假设构造。

   依据视频推导
4. 公式

   $$Counterexample: f([R_1, R_2, R_3, R_4]) = [D_1, D_2, D_3] \text{且} f([R_1, R_2, R_4, R_3]) = [D_1, D_2, D_3]$$
   解释

   集合 A 中的两个不同元素映射到集合 B 中的同一元素。

   步骤依据

   来自动画的观察。

   视频直接表达
5. 公式Conclusion: The mapping is not injective, hence not a bijection.
   解释

   双射要求映射是一对一（单射）的。

   步骤依据

   双射的定义。

   依据视频推导
6. 公式Final Result: The formula 4!3! is incorrect for counting arrangements of 'RRRRDDD'.
   解释

   由于提议的双射论证失败，它原本支持的公式在此问题中无效。

   步骤依据

   双射失败的逻辑后果。

   视频直接表达

朴素的公式 4!3! 是不正确的，因为底层的双射论证由于缺乏单射性而失败。正确的公式必须考虑到项目的不可区分性。

1. 声音
   观察依据

   旁白提出问题：“我有一个有一百个座位的礼堂。每个座位正好坐一个人，没有人没有座位。礼堂里有多少人？”

2. 图示
   观察依据

   100把椅子和100个人的图标网格。

3. 字幕依据
   观察依据

   出现文字“100把椅子”和“100个人”。

一个礼堂有100个座位。每个座位正好坐一个人，没有人没有座位。礼堂里有多少人？

1. 100个座位。

2. 每个座位恰好有一个人。

3. 没有人缺少座位。

确定总人数。

1. 解释

   注意座位和人之间的完美匹配。

   步骤依据

   给定条件暗示了一一对应关系。

   视频直接表达
2. 解释

   将此匹配识别为双射。

   步骤依据

   双射的定义。

   视频直接表达
3. 解释

   得出人数等于座位数。

   步骤依据

   双射在有限集合中保持基数。

   视频直接表达

100个人。

双射确保没有多算或少算，直接将已知的座位数量与未知的人员数量联系起来。

1. 声音
   观察依据

   旁白询问修复遗漏计数是否使答案正确，然后说如果你说是，你就陷入了常见的计数陷阱。

2. 图示
   观察依据

   初始图表显示五个圆圈映射到六个数字的重复计数，以及五个圆圈映射到四个数字的遗漏计数；后来一个五圆圈映射省略了一个圆圈并重复了数字 3。

假设一个计数分配最初遗漏了计数。如果我们修复了被遗漏的对象，得到的计数会自动正确吗？

1. 五个对象由圆圈表示。

2. 数字通过箭头分配给圆圈。

3. 一个显示的分配省略了一个圆圈。

4. 另一个显示的分配将两个圆圈映射到同一个数字 3。

确定仅修复遗漏计数是否能保证正确的计数。

1. 公式

   $$5 circles \to 4 numbers$$
   解释

   视频首先展示了遗漏计数：一个圆圈没有数字。

   步骤依据

   在遗漏计数图表中可见第五个圆圈缺少箭头。

   视频直接表达
2. 公式

   $$5 circles \to 6 numbers$$
   解释

   视频还展示了重复计数：数字超出了可用圆圈的范围。

   步骤依据

   在重复计数图表中可见从五个圆圈到标签 1 到 6 的映射。

   视频直接表达
3. 公式

   $$5 circles \to numbers 1,2,3,3,4,5,6 pattern$$
   解释

   在旁白询问修复遗漏计数后，中央图表显示了一个既省略一个圆圈又将两个圆圈发送到同一个数字 3 的映射。

   步骤依据

   音频说该分配漏掉了一个圆圈但也重复计数了；图表显示了重复的目标 3 和一个未配对的圆圈。

   视频直接表达

否。修复遗漏计数不能保证正确性，因为同一分配也可能重复计数。

视频通过显示一个具有省略圆圈和重复数字的单一映射来视觉上验证这一点，然后陈述重复计数和遗漏计数可以同时发生。

1. 声音
   观察依据

   旁白说在之前的视频中，他们使用路径与步骤序列之间的双射来计算沿网格线的路径。

2. 图示
   观察依据

   左列显示网格路径；右列显示诸如 DDRRRR, DRDRRR, DRRDRR, RRRRDD 的字符串；水平箭头逐行将它们配对。

1. 音频中未说明确切的网格尺寸；可见的字符串有六个步骤，路径图似乎使用了三个 D 步骤和三个 R 步骤。

通过将路径转换为更容易计数的对象，计算沿网格线行走的方法数。

1. 左侧显示了一系列网格路径。

2. 右侧显示了一系列由 D 和 R 组成的步骤序列。

3. 每条路径通过水平箭头与相应的步骤序列配对。

使用双射将困难的路径计数问题转化为更简单的序列计数问题。

1. 公式

   $$\text{grid path} \longleftrightarrow \text{step sequence}$$
   解释

   将每条几何路径与其追踪的移动序列配对。

   步骤依据

   旁白说他们有一系列路径和一系列步骤序列，并将它们一对一配对。

   视频直接表达
2. 公式

   $$DDRRRR, DRDRRR, DRRDRR, \ldots, RRRRDD$$
   解释

   右列显示使用 D 和 R 字母的代表性步骤序列。

   步骤依据

   在路径图旁边可见的屏幕字符串。

   视频直接表达
3. 公式

   $$\#\text{paths} = \#\text{step sequences}$$
   解释

   因为配对是一对一的，计数步骤序列就是计数路径。

   步骤依据

   旁白描述这些列表是以一对一方式配对的。

   视频直接表达

路径计数被简化为计数相应的 $D/R$ 步骤序列。

每条路径与其步骤序列之间的视觉一对一箭头支持所声称的双射。

1. 声音
   观察依据

   旁白问：“这个列表中有多少个数字，其中相邻项之间的差总是七？”然后介绍了等差数列公式。

2. 公式
   观察依据

   显示的列表：37, 44, 51, 58, 65, 72, 79, 86, 93, $\ldots$, 849；显示的公式：$\frac{a_n - a_1}{d} + 1$；替换产生 $\frac{849 - 37}{7} + 1$。

1. 最终数值答案未在提供的片段中得出。

2. 展开的序列项表在视觉上出现，但在片段内的音频中未完全讨论。

列表 37, 44, 51, 58, 65, 72, 79, 86, 93, $\ldots$, 849 中有多少个数字，其中相邻项相差 7？

1. 首项是 37。

2. 末项是 849。

3. 公差是 7。

4. 该数列是等差数列。

找出列表中的项数。

1. 公式

   $$37, 44, 51, 58, 65, 72, 79, 86, 93, \ldots, 849$$
   解释

   识别显示的序列及其终点。

   步骤依据

   列表在屏幕上显示并在叙述中描述。

   视频直接表达
2. 公式

   $$d = 7$$
   解释

   识别相邻项之间的公差。

   步骤依据

   旁白陈述相邻项之间的差总是七；初始项上方显示了 +7 标记。

   视频直接表达
3. 公式

   $$\frac{a_n - a_1}{d} + 1$$
   解释

   使用等差数列项数公式。

   步骤依据

   屏幕上显示为通用公式。

   视频直接表达
4. 公式

   $$\frac{849 - 37}{7} + 1$$
   解释

   将 $a_n=849$, $a_1=37$ 和 $d=7$ 代入公式。

   步骤依据

   逐步替换在视觉上显示。

   视频直接表达

设置得出 $\frac{849 - 37}{7} + 1$；最终评估的数字未在 180 秒片段内显示。

公式适用，因为显示的列表具有恒定的相邻差 7 和指定的首项和末项。

1. 公式
   观察依据

   列表：37, 44, 51, 58, 65, 72, 79, 86, 93, ..., 849

2. 动画
   观察依据

   步骤 1：减去 37 得到 0, 7, 14, 21, ..., 812。步骤 2：除以 7 得到 0, 1, 2, 3, ..., 116。步骤 3：加 1 得到 1, 2, 3, 4, ..., 117。

列表 37, 44, 51, 58, 65, 72, 79, 86, 93, ..., 849 中有多少个数字？

1. 序列从 37 开始。

2. 序列在 849 结束。

3. 公差为 7。

找出序列中的总项数。

1. 公式

   $$x \mapsto x - 37$$
   解释

   通过从每个元素中减去第一项 (37) 来创建一个双射。

   步骤依据

   这将序列平移至从 0 开始。

   视频直接表达
2. 公式

   $$y \mapsto y / 7$$
   解释

   通过将每个元素除以公差 (7) 来创建另一个双射。

   步骤依据

   这将步长改为 1。

   视频直接表达
3. 公式

   $$z \mapsto z + 1$$
   解释

   通过向每个元素加 1 来创建最终的双射。

   步骤依据

   这将序列平移至从 1 开始，匹配标准的计数数字。

   视频直接表达
4. 公式

   $$117$$
   解释

   最终序列中的最后一个数字就是总数。

   步骤依据

   因为最终序列是计数数字的双射，其最后一项等于其大小。

   视频直接表达

117

应用公式 $\frac{849 - 37}{7} + 1$ 得出 117。

1. 公式
   观察依据

   问题陈述：“有多少种方法可以排列这些字母？RRRRDDD”

2. 动画
   观察依据

   动画演示了为什么答案 4!3! 是错误的，通过展示一个失败的双射。

有多少种方法可以排列字符串 'RRRRDDD' 中的字母？

1. 字符串由 4 个 'R' 和 3 个 'D' 组成。

2. 'R' 彼此被视为相同的。

3. 'D' 彼此被视为相同的。

找出字母的唯一排列总数。

1. 公式Incorrect Answer: 4!3!
   解释

   一种常见但有缺陷的方法是将所有项目视为不同的，计算排列数 (7!)，然后除以相同项目的排列数（R 的 4! 和 D 的 3!）。然而，视频将 4!3! 呈现为一个提出的*错误*答案，这可能源于对如何应用此类公式的误解或如后文所示的有缺陷的双射论证。

   步骤依据

   这在视频中作为初始的错误假设呈现。

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

   视频试图通过在不同 R 的排列和不同 D 的排列之间创建双射来证明 4!3!。这失败了，因为不同 R 的多个排列映射到相同 R 的同一排列，违反了双射的单射性质。

   步骤依据

   通过 0:27 到 0:45 的动画展示。

   视频直接表达
3. 公式

   $$Correct Approach (Implied): \binom{7}{4} or \frac{7!}{4!3!}$$
   解释

   虽然视频没有直接给出正确公式，但 4!3! 论证的失败说明需要多重集排列公式。排列 4 个相同 R 和 3 个相同 D，可先选择 4 个位置（总共 7 个）放 R，其余位置放 D，因此得到 $\binom{7}{4}$，等价于 $\frac{7!}{4!3!}$。

   步骤依据

   处理重复项目的标准组合原理。

   依据视频推导

视频得出结论，4!3! 是“答案错误！”。它没有提供正确的数值答案，但演示了为什么有缺陷的推理是不正确的。

验证是失败双射的演示，证明支持 4!3! 的逻辑是不健全的。

1. 动画
   观察依据

   一棵绿色的分形树生长，随后是一个黄色/橙色的彭罗斯铺砖图案扩展，然后出现文字“zhuli”。

1. 绿色分形树

2. 黄色和橙色彭罗斯瓷砖

3. 文字 'zhuli'

1. 树枝向外生长。

2. 铺砖图案扩展以填充十边形。

3. 文字淡入淡出。

1. 黑色背景保持不变。

频道介绍序列，与片段的数学内容无直接关系。

1. 动画
   观察依据

   100个棕色椅子图标和100个黄色人物图标出现在网格中，然后重新排列成两个水平行。青色双向箭头连接每把椅子和一个人。

2. 字幕依据
   观察依据

   出现文字“100把椅子”、“100个人”以及双射的定义。

1. 棕色椅子图标

2. 黄色人物图标

3. 青色双向箭头

4. 文字标签

1. 图标从网格过渡到线性行。

2. 箭头依次出现以连接每一对。

1. 椅子和人的总数各保持为100。

演示了两个大小相等的有限集合之间的完美的一对一且满射的配对（双射）。

1. 动画
   观察依据

   出现五个白色圆圈。数字1到5依次出现在它们下方，由青色向下箭头连接。圆圈和数字短暂高亮为黄色。

2. 字幕依据
   观察依据

   文字“双射对于计数至关重要。”

1. 五个白色圆圈

2. 数字1-5

3. 青色向下箭头

1. 数字逐个出现。

2. 箭头从圆圈画向数字。

3. 元素高亮以强调配对。

1. 五个圆圈的集合保持不变。

说明标准计数隐含地是对象集合与数字集合之间的双射。

1. 动画
   观察依据

   出现两组五个圆圈。左侧显示“多算”，有六个数字和箭头，其中一个圆圈得到两个数字。右侧显示“少算”，有四个数字和箭头，其中一个圆圈没有得到数字。

2. 字幕依据
   观察依据

   文字“多算”和“少算”。

1. 两组五个圆圈

2. 数字1-6（左）

3. 数字1-4（右）

4. 青色箭头

1. 左侧将一个圆圈分配了两个数字。

2. 右侧留下一个圆圈未分配。

1. 两侧开始时都恰好有五个圆圈。

直观对比双射的失败情况：违反“一对一”条件（多算）和违反“满射”条件（少算）。

1. 图示
   观察依据

   顶部标题读取“双射对计数至关重要。”左侧标记为“重复计数”显示五个圆圈映射到数字 1 到 6；右侧标记为“遗漏计数”显示五个圆圈映射到数字 1 到 4。

2. 声音
   观察依据

   旁白介绍了已经遗漏计数然后修复了遗漏计数错误的想法。

1. 标题文本“双射对计数至关重要。”

2. 左侧五个圆圈的组

3. 数字 1 到 6

4. 右侧五个圆圈的组

5. 数字 1 到 4

6. 青色箭头

1. 底部中心图表在五个圆圈下方添加了数字 1 到 4。

2. 箭头从四个圆圈出现指向数字，留下一个圆圈未配对。

1. 每个上部比较保持五个圆圈作为被计数的对象。

2. 标签区分过多的数字和过少的数字。

视觉效果将重复计数定义为分配比对象所需的更多编号槽位，将遗漏计数定义为至少留下一个对象未分配。

1. 图示
   观察依据

   中央映射显示五个圆圈和数字 1 到 6；一个圆圈被省略，两个箭头指向同一个数字 3。

2. 声音
   观察依据

   旁白说：“显然，我们遗漏计数了，因为我们错过了这个圆圈。然而，修复它并没有给我们正确答案，因为我们也重复计数了。”

1. 五个圆圈

2. 数字 1 到 6

3. 青色箭头

4. 高亮圆圈

5. 高亮重复数字 3

1. 映射从简单的遗漏计数转变为混合错误情况。

2. 一个圆圈被高亮为错过，数字 3 被高亮为接收两个箭头。

1. 对象数量保持为五个。

2. 可用标签超出一对一计数。

此事件演示了省略一个对象和重复另一个标签可以在同一计数分配中共存。

1. 图示
   观察依据

   文本“始终检查两者！”出现在混合错误映射下方。

2. 声音
   观察依据

   旁白说我们必须检查重复计数和遗漏计数，仅仅检查和修复其中一个是不够的。

1. 混合错误圆圈-数字映射

2. 文本“始终检查两者！”

1. 指令文本在同时错误的示例之后出现。

1. 底层映射仍包含省略和重复。

视觉指令将反例转化为计数的一般验证规则。

1. 图示
   观察依据

   五个圆圈垂直一对一映射到数字 1 到 5。绿色标签读取“无重复计数”和“无遗漏计数。”单词“双射！”出现，然后黄色框将条件和结论分组。

2. 声音
   观察依据

   旁白说无重复计数加无遗漏计数保证与计数数字的一对一配对，根据定义这就是双射，并且这与找到双射等价。

1. 五个圆圈

2. 数字 1 到 5

3. 垂直青色箭头

4. 绿色标签“无重复计数”和“无遗漏计数”

5. 绿色标签“双射！”

6. 黄色框

7. 文本“AND”

1. 混合错误映射被干净的一对一映射替换。

2. 标签从错误类型变为错误的缺失。

3. 框将“无重复计数 AND 无遗漏计数”与“双射！”分组。

1. 有五个对象和五个计数数字。

2. 每个圆圈恰好有一个出箭头，每个数字恰好有一个入箭头。

动画将正确的计数识别为双射配对，并在视觉上将该配对等同于排除重复计数和遗漏计数。

1. 图示
   观察依据

   标题读取“双射是强大的。”左侧出现一列网格路径，右侧出现一列 $D/R$ 字符串，水平箭头逐行配对。

2. 声音
   观察依据

   旁白说双射可以将困难的计数问题转化为简单的计数问题，并回忆将路径与步骤序列配对。

1. 确切的网格大小未在口头指定；可见的序列包含六个符号。

1. 网格路径图

2. $D/R$ 步骤序列，如 DDRRRR 和 RRRRDD

3. 水平配对箭头

4. 红色和绿色分组框

1. 场景从圆圈和数字变为网格路径和字符串。

2. 路径和字符串的行由箭头对齐。

3. 分组框强调两列为对应的集合。

1. 每一行将一条路径与一个步骤序列配对。

2. 左列代表几何路径，右列代表符号移动序列。

视觉双射将计数问题从几何路径转移到组合移动字符串。

1. 图示
   观察依据

   问题文本询问“这个列表中有多少个数字？”列表 37, 44, 51, 58, 65, 72, 79, 86, 93, $\ldots$, 849 出现，随后是展开的项表，然后是公式 $\frac{a_n - a_1}{d} + 1$ 及其替换。

2. 声音
   观察依据

   旁白说手动列出所有数字不是一个好选项，然后介绍等差数列公式并代入值。

1. 最终数值结果不在片段中。

1. 问题文本

2. 序列列表

3. 展开的序列项表

4. 公式文本

5. 替换表达式 $\frac{849 - 37}{7} + 1$

6. +1 周围的黄色框

7. 红色问号

1. 紧凑序列短暂展开为大表。

2. 表格让位于通用公式。

3. 公式依次专门化为 $\frac{849 - a_1}{d} + 1$, $\frac{849 - 37}{d} + 1$, 和 $\frac{849 - 37}{7} + 1$。

4. +1 项用黄色框和红色问号高亮。

1. 序列保持从 37 到 849 的相同等差数列，公差为 7。

2. 公式的结构保持为 (末项减首项)/公差加一。

视觉序列激发了基于公式的计数而不是手动枚举，并突出了常被遗忘的 +1 项。

1. 动画
   观察依据

   视频通过展示连接原始列表中数字与变换后列表中数字的箭头，逐步直观地演示了双射过程。

1. 原始数字列表

2. 变换后的列表

3. 指示映射的箭头

1. 数字减去 37

2. 数字除以 7

3. 数字加上 1

1. 每个列表中的元素数量保持不变

2. 保持一一对应关系

动画直观地证明了每个变换都是双射，在简化序列为标准计数数字的同时保持了计数不变。

1. 动画
   观察依据

   视频高亮显示了每个列表的最后一个数字 (849, 812, 116, 117)，并展示了对它应用的操作 (-37, /7, +1)，从而构建了公式 $\frac{849 - 37}{7} + 1 = 117$。

1. 每个列表的最后一个数字

2. 操作标签

3. 公式文本

1. 公式是通过应用于最后一个数字的操作逐步构建的

1. 操作与用于整个列表的操作相匹配

这一视觉序列表明，等差数列公式只是应用于最后一项的双射步骤的紧凑表示。

1. 声音
   观察依据

   旁白解释多算是将多个数字分配给同一个圆圈。

2. 图示
   观察依据

   左图显示一个圆圈连接到“3”和“4”。

3. 字幕依据
   观察依据

   文字“多算”。

认为集合的元素比实际多，因为某些元素被多次计数。

用双射术语来说，这违反了“一对一”条件。有效的计数双射必须为每个对象分配恰好一个唯一的数字。

1. 声音
   观察依据

   旁白解释少算是有圆圈没有被分配数字。

2. 图示
   观察依据

   右图显示一个圆圈没有指向数字的箭头。

3. 字幕依据
   观察依据

   文字“少算”。

认为集合的元素比实际少，因为某些元素完全被遗漏。

用双射术语来说，这违反了“满射”条件。有效的计数双射必须确保每个对象都被分配一个数字。

1. 声音
   观察依据

   旁白说：“如果你说是，你就陷入了最常见的计数陷阱之一。”

2. 图示
   观察依据

   显示了一个映射，其中修复错过的圆圈仍然留下重复的数字 3。

如果计数错误是遗漏计数，纠正错过的项就足以使最终答案正确。

视频显示一个分配可以同时省略一个对象并重复另一个，因此仅纠正遗漏计数可能会留下重复计数。

1. 声音
   观察依据

   旁白说：“大多数人不知道加一，并得到错误答案。即使你知道它为什么在那里，你也可能偶尔忘记。”

2. 图示
   观察依据

   被加上的 +1 在 $\frac{849 - 37}{7} + 1$ 中用黄色方框标出，并配有红色问号。

等差数列的项数只是 $\frac{a_n-a_1}{d}$。

视频强调公式包括 +1；如果没有它，项数是错误的，因为商计算的是间隔而不是项。

1. 声音
   观察依据

   ……并不理想，因为我们必须理解或记住这个公式才能在使用时不出错。此外，这是一个非常具体的公式，仅适用于等差数列。

依赖记忆像等差数列项数公式这样的特定公式是解决计数问题的最佳方式。

记忆公式可能导致错误，而且它们通常只适用于特定情况。理解双射的基本概念允许你推导公式并解决更多种类的问题。

1. 声音
   观察依据

   如果我们的序列表现不同，比如这个例子，那么我们的公式就完全失效了。

2. 公式
   观察依据

   列表：1, 4, 9, 16, 25, 36, 49, 64, 81, ..., 900

等差数列项数的公式可以应用于任何数字序列。

该公式严格要求恒定的公差。对于像完全平方数 (1, 4, 9, ...) 这样的序列，由于项之间的差异发生变化，该公式会失效。

1. 声音
   观察依据

   演讲者说：“……这可以防止我们犯一个更常见的错误：错误地应用公式。”

2. 动画
   观察依据

   动画明确展示了双射原理的有缺陷应用，导致错误答案 4!3!。

学生经常死记硬背计数公式（如 nPr, nCr 或多项式系数），而不理解其底层的双射证明，导致在涉及相同项目或复杂约束的问题中错误应用。

视频表明，只有当相应的双射论证成立时，公式才有效。通过尝试构建双射，人们可以识别推理中的缺陷并避免误用。

1. 字幕依据
   观察依据

   屏幕上的文字：“找到双射等同于确保没有重复计数也没有漏计。”

在手动计数或使用有缺陷的公式时，很容易多次计算某些结果（重复计数）或完全遗漏某些结果（漏计）。

真正的双射保证完美的一对一匹配，确保每个元素都被恰好计算一次，从而消除重复计数和漏计。

1. 声音
   观察依据

   旁白明确将双射的定义与计数的基本行为联系起来。

双射的概念是使计数方法成为可能且严谨的底层数学机制。

1. 声音
   观察依据

   旁白陈述双射是我们检查答案的方式，然后展示多算/少算作为这种检查的失败。

验证计数答案包括检查提议的映射是否真的是双射，从而排除多算和少算。

1. 声音
   观察依据

   旁白将无重复计数和无遗漏计数连接到与计数数字的一对一配对，然后将该配对命名为双射。

2. 图示
   观察依据

   绿色标签“无重复计数”和“无遗漏计数”导致标签“双射！”。

视频首先通过排除重复计数和遗漏计数来定义有效计数，然后将结果的一对一配对识别为双射。

1. 声音
   观察依据

   旁白说这两种方法在定义上是等价的。

2. 图示
   观察依据

   黄色框将“无重复计数 AND 无遗漏计数”与“双射！”分组。

直接找到双射被呈现为等同于分别证明没有重复计数和没有遗漏计数。

1. 声音
   观察依据

   旁白说他们使用双射来计算沿网格线的路径。

2. 图示
   观察依据

   网格路径与 $D/R$ 步骤序列配对。

网格路径示例通过将难以计数的路径集合与更容易计数的步骤序列集合配对来应用双射概念。

1. 声音
   观察依据

   旁白介绍等差数列公式作为解决计数问题的一种方法。

2. 公式
   观察依据

   公式 $\frac{a_n - a_1}{d} + 1$ 为序列计数示例显示。

等差数列公式被用作一种计数方法，避免了手动列表，视频中说手动列表容易出错。

1. 公式
   观察依据

   +1 项在替换表达式中被视觉单独挑出。

2. 声音
   观察依据

   旁白警告忘记加一会给出错误答案。

1. 这种关系是分析师对为什么高亮的 +1 很重要的解释；片段提出了问题但未完成解释。

省略 +1 与正确公式形成对比，因为它计算的是间隔而不是项，这将导致序列的遗漏计数。

1. 声音
   观察依据

   双射方法不仅展示了为什么公式中需要加一，还意味着我们根本不需要记住这个公式，因为可以使用双射方法来推导该公式。

创建双射以简化序列的步骤直接推导出了等差数列项数的公式。

1. 声音
   观察依据

   接下来，确保我们没有重复计数并确保我们没有漏计，本质上等同于找到一个双射。

找到一个双射在概念上等同于确保计数问题中没有重复计数或漏计。

1. 声音
   观察依据

   演讲者直接将双射的概念与验证公式和避免错误联系起来。

双射作为一一对应的基本定义被用作工具，通过检查公式的逻辑是否可以由有效的双射支持来验证计数公式的正确性。

1. 动画
   观察依据

   排列 'RRRRDDD' 的例子专门用于演示误用公式的误解。

这个实例对比了公式（4!3!）的朴素、错误应用与有效双射证明的严格要求，突出了常见的误解。

1. 声音
   观察依据

   旁白定义了该术语。

2. 字幕依据
   观察依据

   屏幕上显示定义。

1. 双射

1. 声音
   观察依据

   旁白使用圆圈示例解释计数依赖于双射。

1. 通过双射计数
2. 双射定义计数

1. 声音
   观察依据

   旁白区分了两种类型的计数错误。

2. 图示
   观察依据

   两种错误的视觉比较。

1. 多算误解
2. 少算误解
3. 双射

1. 声音
   观察依据

   旁白询问修复遗漏计数错误是否使答案正确。

2. 图示
   观察依据

   映射显示既有一个错过的圆圈又有一个重复的数字。

1. 假设仅修复遗漏计数就能使计数正确
2. 重复计数和遗漏计数可以同时发生
3. 仅修复遗漏计数可能留下重复计数

1. 声音
   观察依据

   旁白说要检查重复计数和遗漏计数。

2. 图示
   观察依据

   文本读取“始终检查两者！”。

1. 计数答案需要同时检查重复计数和遗漏计数
2. 假设仅修复遗漏计数就能使计数正确

1. 声音
   观察依据

   旁白将与计数数字的一对一配对定义为双射。

2. 图示
   观察依据

   五个圆圈在“无重复计数”和“无遗漏计数”下与数字 1 到 5 一对一配对。

1. 作为计数的一对一配对的双射
2. 找到双射等同于排除重复计数和遗漏计数

1. 声音
   观察依据

   旁白说找到双射和证明无重复计数加无遗漏计数是等价的。

2. 图示
   观察依据

   黄色框将“无重复计数 AND 无遗漏计数”连接到“双射！”。

1. 验证计数的两种等价方法
2. 找到双射等同于排除重复计数和遗漏计数
3. 作为计数的一对一配对的双射

1. 声音
   观察依据

   旁白说双射可以将困难的计数问题转化为简单的计数问题。

2. 图示
   观察依据

   网格路径与 $D/R$ 步骤序列配对。

1. 利用双射将困难计数转化为简单计数
2. 双射可以简化计数问题
3. 通过与 $D/R$ 步骤序列配对来计数网格路径

1. 公式
   观察依据

   显示的公式：$\frac{a_n - a_1}{d} + 1$。

2. 声音
   观察依据

   旁白说要注意等差数列并使用公式。

1. 等差数列的项数
2. $\frac{a_n - a_1}{d} + 1$

1. 声音
   观察依据

   旁白问为什么最后有一个加一，并警告忘记它会给出错误答案。

2. 图示
   观察依据

   +1 被框住并标有问号。

1. +1 的完整解释未在提供的片段内完成。

1. 在等差数列项数中省略 +1
2. 为什么等差数列公式需要 +1
3. 等差数列的项数

1. 公式
   观察依据

   显示的列表：37, 44, 51, 58, 65, 72, 79, 86, 93, $\ldots$, 849。

2. 公式
   观察依据

   显示的替换表达式：$\frac{849 - 37}{7} + 1$。

1. 最终数值答案未在片段内显示。

1. 计数 37, 44, 51, ..., 849 中的项数
2. 将示例值代入等差数列公式
3. 等差数列的项数

1. 声音
   观察依据

   这个列表中有多少个数字？

1. 用于计数的双射
2. 计算等差数列的项数
3. 推导等差数列公式