最大公约数

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

适用条件：在解释算法为何有效时非正式地使用。

要通过列出因数来求最大公约数，需列出第一个数字的所有正因数，列出第二个数字的所有正因数，识别出现在两个列表中的因数，并从公因数中选择最大的数字。

适用条件：输入是正整数。；列出因数对于小例子是实用的；并未断言这是最快的方法。

要开始求 $\gcd(10,45)$ 的欧几里得算法，需将较大的数写成较小的数乘以一个未知的商加上一个未知的余数。具体来说，建立除法方程 $45 = 10 \cdot q + r$。

适用条件：输入是正整数。；较大的数放在方程的左边。；商是整数，且余数满足 $0 \le r < 10$。

要求两个大数的最大公约数，需反复应用带余数除法步骤。首先用较大的数除以较小的数。

适用条件：输入是两个正整数。；每一步都应用除法算法。；当余数等于 0 时停止过程。

演讲者在口头上说的是“最大公分母”（greatest common denominator），但黑板上的数学符号是“gcd”，它在惯例上代表“最大公约数”（greatest common divisor）。寻找两个整数的公因数的上下文证实了预期的概念是最大公约数，所说的词是一个口误。

适用条件：视频讨论了寻找两个整数的公因数。；黑板上显示了符号 gcd(a;b)。；过程涉及重复的整数除法。

在欧几里得算法中，当除法过程产生零余数时，原来两个整数的最大公约数就是获得的最后一个非零余数。算法在此时停止，因为方法已经结束，并且保证最后一个非零余数能整除原来的两个数。

适用条件：欧几里得算法应用于两个整数。；遵循重复长除法的过程，直到达到零余数。

最大公约数对于化简分数很有用。将分子和分母同时除以它们的最大公约数，可以一步将分数化简为最简形式，此时分子和分母没有大于 1 的公因数。

适用条件：分数的分子和分母是正整数。；分母不为零。

该例子以 4 结束，是因为反复应用减法规则最终得到 4。首先，$12 - 8 = 4$，形成数对 8 和 4。

适用条件：从数对 12 和 8 开始。；反复用较大的数减去较小的数。

知道 12 和 42 的最大公约数（GCF）是 6，可以让你直接将分子和分母都除以 6。这立即得出最简形式 $2/7$，跳过了像先除以 2 这样的中间步骤。

适用条件：分数是 $12/42$。；已知 12 和 42 的最大公约数是 6。

这意味着分子 2 和分母 7 没有大于 1 的公因数。它们的最大公约数是 1，所以分数不能再进一步化简了。

适用条件：分数是 $2/7$。；分子和分母是正整数。

要计算 $\gcd(5295, 4321)$，应用欧几里得算法，反复用前一个除数除以前一个余数。从 $5295 = 1 \cdot 4321 + 974$ 开始。

适用条件：输入是 5295 和 4321。；使用欧几里得算法。；每一步都应用除法算法。

欧几里得算法通过反复应用除法算法来计算最大公约数。从两个自然数 $a$ 和 $b$ 开始，用较大的数除以较小的数得到商和余数。

适用条件：输入 $a$ 和 $b$ 是自然数。；反复应用除法算法。；当余数等于 0 时停止过程。