求证方程$a(a+6)=317b-7$无整数解，请判断思路正误

先明确问题：我们要验证方程a(a+6)=317b-7是否存在整数解$(a,b)$，你的推导思路是：

• 把左边展开得到$a^2+6a=317b-7$
• 通过配方变形为$(a+3)^2=317b+2$
• 因为317是质数，认为左侧可能被317整除，但右侧无法被317整除，从而得出无整数解的结论

思路点评 #

你的核心方向是完全正确的，但表述上有一点点不准确——不是左侧“可能被317整除”，而是要从二次剩余的角度来严谨推导：

假设存在整数解$(a,b)$，那么等式两边模317的话，就会得到：
$$(a+3)^2 \equiv 2 \pmod{317}$$
这意味着2是模317的二次剩余（简单说就是存在某个整数的平方模317余2）。

接下来用二次互反律的结论来验证：对于奇质数$p$，当且仅当$p \equiv 1$或$7 \pmod{8}$时，2是模$p$的二次剩余。我们计算317除以8的余数：
$$317 = 8 \times 39 + 5 \implies 317 \equiv 5 \pmod{8}$$
显然不符合$p \equiv \pm1 \pmod{8}$的条件，所以2不是模317的二次剩余。这就说明不存在整数$k$（这里$k=a+3$）使得$k^2 \equiv 2 \pmod{317}$，和我们假设存在整数解的前提矛盾。

所以原方程确实不存在整数解，你的思路方向抓对了，只是需要用二次剩余的严谨结论来替代模糊的“左侧可能被317整除”的表述。

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