这个我也想过，但是还可以a^2，b^2都是模3余1的，x^2和y^2一个模3余1另一个被3整除
这样至少没有明显矛盾
【 在 iwannabe 的大作中提到: 】
: chatgpt 推理挺好，前提是我给他说了思路
: 证明思路， 如果x^2+(2y)^2 = a^2, (2x)^2+y^2=b^2，两者相减，得到
: 3(x^2-y^2)=b^2-a^2，如果3|a, 3|b，那么可以进行递减，最后一定存在一个最小的x, y
: ...................
--
FROM 114.254.2.*