整数算术与整除性：证明若3|a²+b²则3|a且3|b

嘿，这个问题咱们用模3运算的性质就能轻松解决，你之前直接假设“和被3整除则两项分别被3整除”的思路有点想当然啦——毕竟不是所有整除性都能这么拆分的（比如2能整除1+1，但2不整除1），咱们换个角度从整数模3的余数入手：

第一步：先明确整数平方模3的可能结果 #

任何整数对3取模，余数只能是0、1、2三种情况，咱们分别计算它们的平方模3的结果：

• 若 (a \equiv 0 \pmod{3})，则 (a^2 \equiv 0^2 = 0 \pmod{3})
• 若 (a \equiv 1 \pmod{3})，则 (a^2 \equiv 1^2 = 1 \pmod{3})
• 若 (a \equiv 2 \pmod{3})，则 (a^2 \equiv 2^2 = 4 \equiv 1 \pmod{3})

结论：任何整数的平方模3只能是0或1，这是整个证明的核心。

第二步：分析(a^2 + b^2 \equiv 0 \pmod{3})的可能组合 #

题目给出3整除(a^2 + b^{2)，也就是(a}2 + b^2 \equiv 0 \pmod{3})。结合第一步的结论，两个只能是0或1的数相加，模3等于0的情况只有一种：

• 只有当(a^2 \equiv 0 \pmod{3}) 且 (b^2 \equiv 0 \pmod{3})时，它们的和才会是(0+0=0 \pmod{3})
• 其他组合（0+1、1+0、1+1）的结果分别是1、1、2，都不等于0模3，不符合题设条件

第三步：推导a和b被3整除 #

当(a^2 \equiv 0 \pmod{3})时，根据第一步的推导，只有当(a \equiv 0 \pmod{3})时才成立，也就是3|a；同理，(b^2 \equiv 0 \pmod{3})意味着3|b。

综上，若3整除(a^2 + b^2)，则必然有3整除a且3整除b。

内容的提问来源于stack exchange，提问作者wavilson ferreira