不妨设abxy四个数中有一个不被3整除，不然就可以同时除以3。
平方数mod9只可能是0，1，4，7。
这样，3(a^2+b^2) = x^2+y^2两边mod9不可能相等。

其实有个结论的 强一点的 可以试试这个结论

假设存在最小的一组(a,b,x,y)，
n²≡0或1(mod3)
所以x，y都是3的倍数
原方程可以写成(a²+b²)＝3(x/3)²+3(y/3)²
这个时候通过之前的结论可以推出
3也是a，b的因子，所以又可以得到
3(a/3)²+3(b/3)²＝(x/3)²+(y/3)²
也就是(a/3,b/3,x/3,y/3)也是原方程的解
因此该方程没有最小的解
由于在自然数集中，方程总有最小解，因此该方程无解