你想弄懂什么？

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

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

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

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

该程序遍历整数 k 的一系列值，并检查 gcd(a,b) 是否不等于 gcd(b, $a-k*b$)。如果等式对任何 k 不成立，它会打印该 k。

适用条件：代码测试 k 从 -1024 到 1024。；对每个 k 检查条件 `c != gcd(b, $a - k * b$)`。

该程序遍历整数 k 的一系列值，并检查 gcd(a,b) 是否不等于 gcd(b, $a-k*b$)。如果等式对任何 k 不成立，它会打印该 k。

适用条件：代码测试 k 从 -1024 到 1024。；对每个 k 检查条件 `c != gcd(b, $a - k * b$)`。

递推公式指出，对于任意整数 k，a 和 b 的最大公约数等于 b 和 a 减去 k 乘以 b 的最大公约数。这个恒等式允许将第一个参数替换为原始参数的整数线性组合，同时保持最大公约数不变。

适用条件：a 和 b 是整数。；k 是任意整数。

递推公式指出，对于任意整数 k，a 和 b 的最大公约数等于 b 和 a 减去 k 乘以 b 的最大公约数。这个恒等式允许将第一个参数替换为原始参数的整数线性组合，同时保持最大公约数不变。

适用条件：a 和 b 是整数。；k 是任意整数。