回复：证明思路

反证法。假设x不等于y。选所z满足axy-1整除(ax^2-1)^2的（x,y）中2x+y最小的一对。然后证明axy-l也整除(ay^2-1)^2，因此y>x（不然2y+x比2x+y小）。再证明(ax^2-1)^2除以axy-1的商为axy'-1的形式。由此得出y'小于y，这和2x+y最小矛盾。

详细推导省略了。

所有跟帖： 

• good! -passenger101- ♂ (0 bytes) () 12/17/2008 postreply 16:39:27

• 问一下，怎样证明axy-l整除(ay^2-1)^2？ -laborday- ♀ (0 bytes) () 12/18/2008 postreply 10:09:48

• 回复：问一下，怎样证明axy-l整除(ay^2-1)^2？ -passenger101- ♂ (317 bytes) () 12/22/2008 postreply 08:00:46

• Thanks. That's pretty. Merry Christmas. -laborday- ♀ (0 bytes) () 12/22/2008 postreply 12:35:54