欧几里得算法为什么成立：减法形式直观解释

1. 声音
   观察依据

   演讲者说：“假设我们有两个数字，12 和 8”，随后指出“最大公因数是 4”。

2. 公式
   观察依据

   板上显示了数字对 12 和 8，然后是减法步骤 12-8 和 8-4，最后得到 4。

12, 8, 4

用于演示欧几里得算法及其结果的具体示例数值。

正整数。

1. 声音
   观察依据

   演讲者解释说：“我们保留较小的数字，并用较大的数字减去它。”

2. 公式
   观察依据

   书写的表达式为 12-8 和 8-4。

a-b

欧几里得减法的一步：用差值替换较大的数字，即从较大数字中减去较小数字。

此处用于 $a > b$ 的正整数。

1. 声音
   观察依据

   演讲者说：“当你想到最大公因数时，它是一个能整除的数”以及“它能被均匀地减尽。”

1. 短语“整除”（divides evenly）是非正式的；视频中没有写出形式化的整除记号，如 $d \mid n$。

divides evenly / subtracts evenly

对整除的非正式口头描述：一个数可以被反复减去而不留余数。

示例语境中的整数。

1. 声音
   观察依据

   “这个算法用于寻找最大公因数。”

在本片段中，欧几里得算法被介绍为一种寻找两个数的最大公因数的方法。演示使用的是减法版本而非取模版本。

1. 适用于示例中的两个数。

2. 视频使用正整数示例。

1. 声音
   观察依据

   “我们保留较小的数字，并用较大的数字减去它”以及“我们重复这个过程。”

2. 公式
   观察依据

   板上记录了 12-8 -> 4，然后是 8-4 -> 4。

演示的过程是保留较小的数字，从较大的数字中减去它，用差值替换较大的数字，并重复此过程直到达到所需的停止值。

1. 视频明确将其应用于数字对 12 和 8。

2. 它假设在每一步选择较大和较小的数字。

1. 欧几里得算法的目的

1. 声音
   观察依据

   “当你想到最大公因数时，它是一个能整除的数”

1. 演讲者给出了非正式的描述，而不是涉及最大公约数中极大性的完整形式化定义。

最大公因数在口头上被描述为一个能整除的数。在上下文中，这意味着所考虑数字的一个公共约数。

1. 在解释算法为何有效时非正式地使用。

1. 声音
   观察依据

   “我们知道除法就是多次减法，所以它能被均匀地减尽”

1. 这是一个概念性解释，而不是形式化的定理陈述。

演讲者通过说除法是多次减法来解释整除性。这被用来证明为什么一个公共约数也能整除由一步减法产生的差值。

1. 应用于示例中的整数整除。

1. 最大公因数的非正式含义

1. 声音
   观察依据

   “一旦它能均匀地减入较小的数字，我们就留下了差值……我们知道它也必须能均匀地减入那个差值。”

1. 该主张是非正式陈述的，仅用 8 和 12 进行说明；屏幕上没有写出一般的符号形式。

如果一个数能整除较小的数，那么从较大的数中反复减去它之后，它也能整除由此产生的差值。

1. 示例中有两个数。

2. 选定的约数按演讲者描述的方式整除。

3. 减法是使用较小的数从较大的数中进行的。

针对示例对非正式陈述，并作为算法一般有效的理由呈现。

1. 声音
   观察依据

   “所以现在我们有了答案，最大公因数是 4”以及“这就是欧几里得算法有效的原因。”

1. 证明是直观且基于示例的，而非完全形式化的。

片段中展示的基于减法的欧几里得算法得出起始两个数的最大公因数。

1. 从两个数开始，以 12 和 8 为例。

2. 反复用较大的数减去较小的数。

3. 利用公共约数整除差值的观点。

作为一般解释呈现，但在片段中主要通过示例 12 和 8 进行论证。

1. 声音
   观察依据

   演讲者叙述了每一步减法，并得出结论，“最大公因数是 4。”

2. 公式
   观察依据

   板上显示 12 和 8，然后是 12-8，然后是 4，然后是 8-4，然后是 4。

1. 公式

   $$12,\ 8$$
   解释

   从给定的两个数开始。

   步骤依据

   音频中直接陈述并写在板上。

   视频直接表达
2. 公式

   $$12-8=4$$
   解释

   用较大的数减去较小的数。

   步骤依据

   这是演讲者为算法陈述的减法规则。

   视频直接表达
3. 公式

   $$8,\ 4$$
   解释

   保留较小的数并将其与新差值配对。

   步骤依据

   演讲者说，“我们重复这个过程。”

   视频直接表达
4. 公式

   $$8-4=4$$
   解释

   再次相减以获得下一个差值。

   步骤依据

   将相同的减法规则应用于新的一对数。

   视频直接表达
5. 公式

   $$4$$
   解释

   过程在 4 处停止，被确定为最大公因数。

   步骤依据

   演讲者明确说，“最大公因数是 4。”

   视频直接表达

对于示例对 12 和 8，基于减法的欧几里得算法结束于 4，视频将其识别为最大公因数。

1. 声音
   观察依据

   演讲者解释说，最大公因数能整除，除法是多次减法，并且约数必须能整除差值。

1. 论证是口头且直观的；屏幕上没有写出形式化的代数证明。

1. 公式

   $$d\text{ divides evenly}$$
   解释

   从最大公因数是一个能整除的数的观点开始。

   步骤依据

   演讲者口头陈述。

   视频直接表达
2. 公式

   $$\text{division}=\text{multiple subtractions}$$
   解释

   将整除性解释为无余数的重复减法。

   步骤依据

   演讲者明确说，“除法是多次减法。”

   视频直接表达
3. 公式

   $$a-b$$
   解释

   从较大的数中减去较小的数后，结果是差值。

   步骤依据

   这与示例 $12-8=4$ 和口头解释相符。

   视频直接表达
4. 公式

   $$d\text{ divides }a-b$$
   解释

   因为同一个约数能均匀减尽，所以它也能整除差值。

   步骤依据

   这是演讲者解释算法为何有效的关键非正式步骤。

   视频直接表达

片段的解释是，公共约数仍然是由一步欧几里得减法产生的差值的约数，这就是为什么重复减法过程仍然导向最大公因数。

1. 声音
   观察依据

   “假设我们有两个数字，12 和 8 …… 最大公因数是 4。”

2. 公式
   观察依据

   板上显示 12, 8, 12-8, 4, 8-4, 4。

使用欧几里得算法的减法版本求 12 和 8 的最大公因数。

1. 两个数是 12 和 8。

2. 在每一步，保留较小的数并从较大的数中减去它。

确定最大公因数。

1. 公式

   $$12-8=4$$
   解释

   用较大的数减去较小的数。

   步骤依据

   这是为算法陈述的规则。

   视频直接表达
2. 公式

   $$8-4=4$$
   解释

   对新的一对数 8 和 4 重复该过程。

   步骤依据

   演讲者说要重复该过程直到获得答案。

   视频直接表达
3. 公式

   $$4$$
   解释

   达到的最终值被识别为最大公因数。

   步骤依据

   演讲者明确陈述，“最大公因数是 4。”

   视频直接表达

4

视频通过在 4 处结束减法过程并在口头上将该值识别为最大公因数来验证结果。

1. 动画
   观察依据

   演示者在透明板上书写，同时面向摄像机。

2. 公式
   观察依据

   可见的书写从 12 和 8 进展到 12-8，然后是 4，然后是 8-4，然后是另一个 4。

1. 演示者

2. 透明板

3. 马克笔

4. 数字 12, 8, 4

5. 减法表达式 12-8 和 8-4

1. 首先写下数字对 12 和 8。

2. 然后添加表达式 12-8 并简化为 4。

3. 然后写下下一个减法 8-4 并简化为 4。

4. 最终的板书状态显示了以 4 结束的完整示例。

1. 示例始终聚焦于相同的起始两个数，12 和 8。

2. 展示的方法保持为用较大的数减去较小的数。

视觉序列逐步跟踪算法，使用差值替换较大数的过程变得明确。

1. 动画
   观察依据

   在解释方法为何有效时，演示者指向写下的数字和减法结果。

1. 从采样的帧中并不总是清楚确切的手指位置。

1. 写下的数字 12, 8, 4

2. 演示者的手和马克笔

1. 演示者在原始数字和计算出的差值之间指点，同时谈论均匀减法和差值。

1. 板上的内容保持为之前计算的完整示例。

手势将关于整除性的抽象主张连接到板上已写下的具体示例。

1. 声音
   观察依据

   演讲者在解释整除性时反复使用“最大公因数”（greatest common factor）。

学习者可能将“因数”（factor）和“约数”（divisor）视为无关的术语，或者可能没有注意到片段使用了较旧的短语“最大公因数”。

在此语境中，“最大公因数”被用于许多现代文本中更常称为最大公约数（greatest common divisor）的概念。展示的数学程序是相同的基于减法的欧几里得算法。

1. 声音
   观察依据

   演讲者强调较小数的约数也能整除差值。

1. 视频没有明确讨论公共约数保持的双向性。

观众可能推断口头论证本身就证明了欧几里得算法的整体正确性。

视频给出了公共约数整除差值的直观关键步骤。完整的形式化证明通常还指出 (a,b) 和 (a-b,b) 的公共约数集合在两个方向上是相同的。这一额外细节未在片段中陈述。

1. 声音
   观察依据

   演讲者首先命名算法的目的，然后立即在 12 和 8 上演示减法规则。

寻找最大公因数的既定目的通过在示例上演示的减法规则来实现。

1. 公式
   观察依据

   板上显示规则被应用为 12-8，然后是 8-4。

示例推导是减法规则的直接应用。

1. 声音
   观察依据

   演讲者非正式地将最大公因数定义为能整除的数，然后说除法是多次减法。

算法为何有效的解释依赖于通过重复减法来理解整除性。

1. 声音
   观察依据

   重复减法的观点被用来论证约数能整除差值。

公共约数也整除差值的主张由演讲者对整除性的重复减法解释所论证。

1. 声音
   观察依据

   在解释差值步骤后，演讲者得出结论，“这就是欧几里得算法有效的原因。”

1. 结论是直观的，而非完全形式化的。

片段将减法下整除性的保持作为欧几里得算法返回最大公因数的主要原因。

1. 声音
   观察依据

   “这个算法用于寻找最大公因数。”

1. 欧几里得算法的目的

1. 声音
   观察依据

   “我们保留较小的数字，并用较大的数字减去它”以及“我们重复这个过程。”

1. 欧几里得算法的减法规则
2. 使用欧几里得算法求 12 和 8 的最大公因数

1. 公式
   观察依据

   板上显示 $12-8=4$ 和 $8-4=4$。

1. 使用欧几里得算法求 12 和 8 的最大公因数
2. 示例推导：对 12 和 8 应用欧几里得算法

1. 声音
   观察依据

   “除法是多次减法”以及“它也必须能均匀地减入那个差值”

1. 除法作为重复减法
2. 公共约数也整除差值
3. 减法步骤保持整除性的直观理由

1. 声音
   观察依据

   演讲者全程使用“最大公因数”。

1. 最大公因数的非正式含义
2. 术语：最大公因数与最大公约数