你想弄懂什么？

欧几里得算法会终止，因为在每一步中，余数都严格小于前一个除数。由于第二个参数是一个非负整数，并且在每一步中都在减小，它最终必须达到零。

适用条件：算法在非负整数上运行。；每一步将数字对 $(a,b)$ 替换为 $(b, a\bmod b)$。；当 $b > 0$ 时，余数 $a\bmod b$ 严格小于 $b$。

欧几里得算法会终止，因为在每一步中，余数都严格小于前一个除数。由于第二个参数是一个非负整数，并且在每一步中都在减小，它最终必须达到零。

适用条件：算法在非负整数上运行。；每一步将数字对 $(a,b)$ 替换为 $(b, a\bmod b)$。；当 $b > 0$ 时，余数 $a\bmod b$ 严格小于 $b$。