a) Since x+x∈Q, x must be a square. Let x=n2, with n∈N. We obtain n(n+1)=y2, and since n2≤n(n+1)<(n+1)2, we deduce that n=0, hence x=y=0.
b) There are infinitely many Pythagorean triples (p,q,r) with p2+q2=r2. Choosing x=q4p4, we obtain
x+x=q2p2(q2p2+1)=q2p2(q2p2+q2)=q2pr∈Q.