给一个等号右边给任意值的通用解法吧:
x/y + y/z + z/x = n
Step 1:
换元u=x/z,v=y/z,得
u/v + v + 1/u = n
Step 2:
换元X=-u, Y=uv,得
Y^2 + nXY + Y = X^3
即(a_1,a_2,a_3,a_4,a_6) = (n,0,1,0,0)的椭圆曲线
Step 3:
通过查表(例如LMFDB)或SageMath等计算工具得到椭圆曲线的rank,若rank=0,则很可能无解(用有限阶有理点推原方程的解很可能是错误的)。
若rank至少为1,则可以找到一个无穷阶的有理点,即可由此这个点推算原方程的整数解。
以下是求解的SageMath代码:
然后是输出的结果:
和楼上给出的应该是同一组结果,只是轮换对称并乘了个-1
注:我在以上求解过程中尝试使用了Gemini、Grok和豆包(给了一定的提示),但没有一个完全做对的,Gemini和豆包都给出了无解的伪证,Gemini思路对了,但注意力不集中,换元时没有注意到正确的变换,导致后面全错,找了个错误的曲线以为rank=0无解。豆包则是用初等数论给出了一个伪证,看起来似乎像模像样,但实际上错误很严重,推理到后面就不记得自己在前面假设的条件了。Grok则不知道为什么一直沉迷于写程序穷举,给它提示后也只是换一种思路再写代码再穷举,然后说在它尝试的范围内找不到解。我把Gemini的伪证给Grok看,但Grok找不出真正的错误点。把豆包的伪证给Gemini看,倒是很快就发现问题了。从数学推理能力来看,Gemini在这几个里应该算是遥遥领先了。