证明整数x对应的多项式x²+x+6与x²+x+4的GCD为2

嘿，这个问题用欧几里得算法来推导最清晰，毕竟求两个整数的最大公约数，欧几里得算法是咱们的核心工具。咱们一步步来拆解：

第一步：应用欧几里得算法简化问题 #

对于任意整数 $a$ 和 $b$，有一个关键性质：

$\gcd(a, b) = \gcd(b, a - b)$

咱们令 $a = x^2 + x + 6$，$b = x^2 + x + 4$，计算 $a - b$：

a - b = (x² + x + 6) - (x² + x + 4) = 2

所以原问题直接转化为求：$\gcd(x^2 + x + 4, 2)$

第二步：证明 $x^2 + x + 4$ 必为偶数 #

接下来咱们分两种情况讨论整数 $x$ 的奇偶性：

• 当x是偶数时：设 $x = 2k$（$k$ 为整数），则 $x^2 = 4k²$（偶数），$x = 2k$（偶数），所以：
  $x² + x + 4 = 偶数 + 偶数 + 偶数 = 偶数$，能被2整除。
• 当x是奇数时：设 $x = 2k+1$（$k$ 为整数），则 $x² = (2k+1)² = 4k²+4k+1$（奇数），$x = 2k+1$（奇数），所以：
  $x² + x + 4 = 奇数 + 奇数 + 偶数 = 偶数$，同样能被2整除。

不管x是奇数还是偶数，$x² + x + 4$ 都是偶数，也就是说它一定能被2整除。而2是质数，所以 $\gcd(x² + x + 4, 2) = 2$。

第三步：举例验证（可选，但更直观） #

咱们拿几个具体的整数x代入验证：

• x=0：$\gcd(6,4)=2$
• x=1：$\gcd(8,6)=2$
• x=-2：$\gcd(4-2+6,4-2+4)=\gcd(8,6)=2$
• x=3：$\gcd(9+3+6,9+3+4)=\gcd(18,16)=2$

所有例子都符合结论，进一步验证了推导的正确性。

综上，当x为整数时，多项式 $x²+x+6$ 与 $x²+x+4$ 的最大公约数确实等于2。

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