使得 和 都是完全平方数的最大质数 为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
完全平方数先各设一个整数平方,两式相减能作平方差分解,把质数因子暴露出来。
质数整除一个乘积,必整除其中一个因子;再用根的大小排除较小的因子,由另一个因子的下界逼住首个平方根,最后反验候选。
设 、,其中 为正整数。 不满足第一式;由 为质数,知 。 两式相减得
故质数 整除 或 。由于 ,有 , 从而 ,所以只能 ,特别地 。 又 ,于是 可以平方,得到
因此 ,结合 得 、。 检验 、 都是完全平方数,故唯一且最大的质数是 。 质数条件用于从乘积整除推出一因子整除;有限枚举不能替代这一步。
把两个平方数条件相减后因式分解,质数整除须结合因子大小排除一支;再利用正性合法平方得到锐利整数界,最后反代验证唯一候选,而非有限试算猜最大。
已记下,谢谢!