求证$3x^2 + 2 = y^2$无整数解，并说明模3分析的合理性

首先得搞明白模分析的核心逻辑：如果整数x和y是原方程的解，那么对于任意正整数n，这两个数模n之后的结果，也一定满足原方程对应的模n同余式。换句话说，原方程的整数解“向下兼容”所有模n的同余式——如果某个模n的同余式都找不到解，那原方程肯定也找不到整数解，这其实是反证法的思路。

回到这个方程$3x^2 + 2 = y^{2$，我们选择模3来分析，是因为方程里的$3x}2$项模3的结果特别简单：

• 不管x是哪个整数，$3x^{2$都是3的倍数，所以$3x}2 \equiv 0 \pmod{3}$。

把这个代入原方程，直接就能得到$0 + 2 \equiv y^2 \pmod{3}$，也就是$y^2 \equiv 2 \pmod{3}$。接下来只要验证这个同余式有没有整数解就行：

我们可以枚举所有整数模3的可能结果（0、1、2），计算它们的平方模3的结果：

• $0^2 = 0$，$0 \equiv 0 \pmod{3}$
• $1^2 = 1$，$1 \equiv 1 \pmod{3}$
• $2^2 = 4$，$4 \equiv 1 \pmod{3}$

你看，所有整数的平方模3只能是0或者1，根本不可能等于2。这就意味着$y^2 \equiv 2 \pmod{3}$没有整数解，反过来推，原方程$3x^2 + 2 = y^2$自然也不可能有整数解——毕竟如果真有整数解的话，它们模3肯定得满足这个同余式，现在这个同余式都无解，原方程肯定没辙。

总结一下，模分析的本质就是用同余式缩小解的存在范围，通过证明“更简单的同余式无解”来反推原方程无解，这是数论里证明方程无整数解的常用技巧，选模3也是因为它能把方程里的$3x^2$项直接消掉，大幅简化问题。

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