互质的准确定义是什么？数对及负数互质情况咨询

嘿，咱们先把互质的标准定义说清楚——在数论里（也是MathCounts竞赛遵循的规则），两个整数 (a) 和 (b) 互质，当且仅当它们的最大公约数（gcd）等于1，也就是 gcd(a, b) = 1。这个定义覆盖了所有整数，包括0、1和负数，完全能解释你疑惑的“1和任何数互质”的情况。

为什么1和任何数都互质？ #

因为1的因数只有它自己，不管和哪个整数配对，两者的最大公约数只能是1，自然满足互质的定义。

你列出的数对逐一判断： #

• (0, 0)：gcd(0, 0) 在数论里是未定义的（所有非零整数都是0的因数，不存在“最大”的那个），所以没法说这对数互质。
• (0, 1)：gcd(0, 1) = 1，符合互质条件，所以互质。
• (0, 2)：gcd(0, 2) = 2（2是0和2的最大公约数），不等于1，不互质。
• (1, 1)：gcd(1, 1) = 1，互质。
• (1, 2)：gcd(1, 2) = 1，互质。
• (2, 2)：gcd(2, 2) = 2，不等于1，不互质。

负数的互质情况 #

互质判断只看整数的绝对值，因为 gcd(a, b) = gcd(|a|, |b|)：

• 比如 -3 和 5：gcd(-3,5) = gcd(3,5) = 1，所以互质；
• 比如 -4 和 -6：gcd(-4,-6) = gcd(4,6) = 2，所以不互质。

在MathCounts里遇到负数的互质题，直接按这个规则判断就行，不用额外调整。

内容的提问来源于stack exchange，提问作者vikarjramun