你想弄懂什么？

从较大的正整数中减去较小的正整数能保持它们的公约数不变，因为一个整数整除 $a$ 和 $b$ 当且仅当它整除 $a$ 和 $b-a$。因此，公约数的集合，进而最大公约数（gcd），保持不变。

适用条件：$a$ 和 $b$ 是正整数。；$b > a$（所以我们从 $b$ 中减去 $a$）。

从较大的正整数中减去较小的正整数能保持它们的公约数不变，因为一个整数整除 $a$ 和 $b$ 当且仅当它整除 $a$ 和 $b-a$。因此，公约数的集合，进而最大公约数（gcd），保持不变。

适用条件：$a$ 和 $b$ 是正整数。；$b > a$（所以我们从 $b$ 中减去 $a$）。

不变性质是两个数 $a$ 和 $b$ 的公约数集合与 $a$ 和 $b-a$（或 $b$ 和 $a \bmod b$）的公约数集合完全相同。这确保了最大公约数（gcd）在算法的步骤中保持不变。

适用条件：$a$ 和 $b$ 是整数。；操作是减法（$b-a$）或取模（$a \bmod b$）。

不变性质是两个数 $a$ 和 $b$ 的公约数集合与 $a$ 和 $b-a$（或 $b$ 和 $a \bmod b$）的公约数集合完全相同。这确保了最大公约数（gcd）在算法的步骤中保持不变。

适用条件：$a$ 和 $b$ 是整数。；操作是减法（$b-a$）或取模（$a \bmod b$）。