求正确性证明(或者是错的?)
查看原帖
求正确性证明(或者是错的?)
414231
_Fatalis_楼主2022/3/30 19:47

有一个想法是这样的:

p=gcd(x,y),x=pq1p=\gcd(x,y),x=pq_1

所以 z=xyp=x2yp/x=x2y/q1z=xyp=x^2y\cdot p/x=x^2y/q_1

所以

x2z=q1y\frac{x^2}{z}=\frac{q_1}{y}

只需要将 x2/zx^2/z 化到最简,取分母即可。

但是这时候 yy 可能会偏小(不知道为什么但是就是跟样例有这样关系)。

所以想到要给 yy 乘上一个系数,将分子凑成 q1q_1

现将求得的 yy(不准确,z1<zz_1<z)代回 z1=xypz_1=xyp,然后这时候分两种情况讨论(设代回求得是 z1z_1):

  1. z/z1z/z_1 结果是完全平方数:

如果 xx 整除 z/z1\sqrt{z/z_1},那说明只需要在 yy 这里添加系数 z/z1\sqrt{z/z_1},就可以凑成 zz。(这里用到 gcd\gcd 性质?)

但如果 xx 不整除 z/z1\sqrt{z/z_1},那就凑不出给 yy 加的系数为整数凑到 zz。即无解。

  1. z/z1z/z_1 结果不是完全平方数:

如果 xx 不整除 z/z1z/z_1,那么只需要在 yy 这里添加 z/z1z/z_1 这个系数就可以凑成 zz

但如果 xx 整除 z/z1z/z_1,那么也凑不出给 yy 加的系数为整数凑到 zz。即无解。

然后,我朋友(在旁边无贡献抄思路)过了,然而我只有 65pts65 pts

求解答。

2022/3/30 19:47
加载中...