专题地图 › 数论
A=n²:n∈Z,B=n²+2:n∈Z。证明A∩B为空。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
平方的模4余数排除差2。
若m²=n²+2,则m²-n²≡2模4。但平方模4仅0或1,两平方之差模4只能0、1、3,不可能2,矛盾。 所求为 A∩B=∅。
整数允许负数和0,平方余数结论仍成立。
核心工具:剩余类、幂周期与局部排除
专题卡:选模、剩余类与局部排除
反馈先保存在这台设备上,在「我的学习」页可以一起复制给老师。
已记下,谢谢!