整系数多项式p(a)=1时至多两个整数根的证明疑问

我来帮你把这个证明的逻辑彻底捋清楚，你之前没明白的地方应该是推导里的细节关联，下面一步步拆解：

问题回顾 #

已知条件：

• p(x) 是整系数多项式
• 存在整数 a，满足 p(a) = 1
  要证明：p(x) 至多有两个不同的整数根。

完整证明逻辑（反证法） #

这个证明用的是反证法，核心是先假设结论不成立，再推出矛盾：

1. 反设前提 #

假设 p(x) 有三个不同的整数根，记为 x₁、x₂、x₃。
根据多项式因式分解的性质，我们可以把 p(x) 写成：

p(x) = (x - x₁)(x - x₂)(x - x₃)q(x)

这里要注意：q(x) 也是整系数多项式——因为 p(x) 是整系数，(x-x₁)(x-x₂)(x-x₃) 是首一整系数多项式，整系数多项式除以首一整系数多项式，商必然是整系数的，这是后续推导的关键前提。

2. 代入已知条件推导 #

把 x = a 代入上面的因式分解式，因为 p(a) = 1，所以得到：

1 = (a - x₁)(a - x₂)(a - x₃)q(a)

这里有几个关键细节：

• a - x₁、a - x₂、a - x₃ 都是整数（因为 a 和所有根都是整数），而且因为 x₁、x₂、x₃ 是不同的整数，所以这三个数是两两不同的整数。
• q(a) 是非零整数：因为 q(x) 是整系数多项式，整数代入整系数多项式结果还是整数；同时左边是1（非零），所以 q(a) 不可能为0。

3. 推出矛盾 #

现在看等式右边：三个两两不同的整数，乘以一个非零整数，结果等于1。
但整数里能相乘得到1的组合，只能是由1和-1组成的（比如 1×1×1、(-1)×(-1)×1 等），但这些组合里最多只有两个不同的整数（1和-1），和我们之前得到的“三个两两不同的整数”完全矛盾！
换句话说，三个不同的整数里，必然至少有一个绝对值大于1，那它们的乘积绝对值肯定大于1，不可能等于1；如果有一个是0，乘积就是0，也不等于1——怎么都满足不了等式右边等于1的条件。

4. 结论 #

既然假设“存在三个不同整数根”会推出矛盾，那原结论成立：p(x) 至多有两个不同的整数根。

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