奇数平方和不可能为完全平方数

奇数平方和

求证: 两个奇数的平方和不可能为完全平方数。

证明:

可以通过反证法证明：

假设$a,b$都为奇数，所以$c^2$为偶数。

不妨设$a=2p+1,b=2q+1,(p,q\in \mathbb{N})$, 所以

$$a^2=(2p+1{)}^2=4p^2+4p+1$$

所以$a^2\text{ mod }4=1,b^2\text{ mod }4=1$.

所以$a^2+b^2\text{ mod }4=2$.

又$a^2+b^2=c^2$是完全平方数，所以$a^2+b^2\text{ mod }4=0$.

$a^2+b^2\text{ mod }4=2$和$a^2+b^2\text{ mod }4=0$矛盾，因此得证。