满足 的正整数解 构成的集合为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先看奇偶,偶值会强迫两个变量均偶,随后在模四立即矛盾。
模二时,,当 至少有一个为奇数时其值为一。右侧二千零一十为偶数,所以必须 均偶,此时左侧被四整除。但 ,矛盾。因此正整数解集合为 。
模二的三种非全偶情形都给一,故推出全偶具有穷尽性;无需对很大范围试解,也未因只检查某些余数就断言无解。
先用一个模数强迫公共整除,再用更高幂模数反证,可以比直接枚举二元二次式更短。
需以完整奇偶分类逼出两变量均偶,再升到模四得到严格无解结论。
已记下,谢谢!