为什么程序只输出星号就能证明 gcd 等式成立？

最大公约数 $\gcd(a,b)$ 是能同时整除 $a$ 和 $b$ 的最大正整数。等价地，正整数 $c$ 是最大公约数，如果它同时整除 $a$ 和 $b$，并且 $a$ 和 $b$ 的任何其他正公因数也都整除 $c$。

适用条件：整数 $a$ 和 $b$ 不同时为零。；$c$ 是同时整除 $a$ 和 $b$ 的正整数。

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

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

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

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

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

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

基于减法的算法是通过在一般递推公式中令参数 k 为 1 推导出来的。将 $k=1$ 代入 gcd(a,b)=gcd(b,$a-k\cdot b$) 得到 gcd(a,b)=gcd(b,a-b)，这将第一个参数替换为两个数的差。

适用条件：一般递推公式成立。；k 被设为 1。