求助

看不懂那一竖是什么意思

楼上的解法太繁琐。
由于a除以3的余数只能是0、1、2，所以a^2除以3的余数只能是0或1.
b同理。
排列组合一下，就知道，a和b必须都能被3整除。

a^2≡-b^2(mod 3) ，假设(3,a)=1，则(3,b)=1
则必存在a模3的逆元，设为t，(3,t)=1
有(at)^2≡-(bt)^2≡1(mod 3)，必同余式不可能成立，矛盾，所以3|a，进而3|b

设a+b=t,s=a^2+b^2=2a^2-2at+t^2,则至少t=3k.故
s=2a^2-6ka+9k^2=18k0.因此a=3k'.又a+b=3k,因此
b=3k''.因此3|a,b.