求所有满足x⁴+6x³+11x²+3x+11为完全平方数的正整数x

嘿，你的直觉太准了——根本不存在这样的正整数x！下面我一步步给你讲清楚证明过程，彻底确认这个结论：

我们先把目标多项式记为：
P(x) = x⁴+6x³+11x²+3x+11

核心方法是把P(x)夹在两个连续整数的平方之间——如果一个数严格处于两个相邻完全平方数中间，那它肯定不是完全平方数。

第一步：构造两个对比用的平方多项式 #

先计算两个相邻二次式的平方，对比它们和P(x)的大小关系：

• 第一个平方：(x²+3x)²
  展开后是 x⁴+6x³+9x²，和P(x)的差值为：
  P(x) - (x²+3x)² = 2x²+3x+11
  对所有正整数x来说，这个差值都是正数（x=1时就是16，x越大值越大），所以：
  P(x) > (x²+3x)²

• 第二个平方：(x²+3x+1)²
  展开后是 x⁴+6x³+11x²+6x+1，和P(x)的差值为：
  P(x) - (x²+3x+1)² = -3x + 10

第二步：分情况讨论正整数x #

当x ≥ 4时 #

此时-3x +10 ≤ -3×4 +10 = -2 < 0，也就是说：
P(x) < (x²+3x+1)²

结合第一步的结论，我们得到：
(x²+3x)² < P(x) < (x²+3x+1)²

而x²+3x和x²+3x+1是连续整数，它们的平方之间不存在其他完全平方数，因此P(x)不可能是完全平方数。

当x=1、2、3时（小数值验证） #

直接代入计算验证：

• x=1：1+6+11+3+11=32，介于5²=25和6²=36之间，不是平方数
• x=2：16+48+44+6+11=125，介于11²=121和12²=144之间，不是平方数
• x=3：81+162+99+9+11=362，介于19²=361和20²=400之间，不是平方数

最终结论 #

所有正整数x都无法让这个多项式的值成为完全平方数，你的猜想完全正确！

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