10. (i) For the terms where s=t, pair them as {s,t,x,y},{s′,t′,x′,y′}: Let
l=[t/(s−t)],x′=−ls+(l+1)ty′=(l+1)s−(l+2)t,s′=(l+2)x+(l+1)y
and t′=(l+1)x+ly, then h(st)+h(s′t′)=0.
(ii) If 2n=x12+x22+x32+x42, then these xi are two even and two odd. Therefore, the number of solutions where x1,x2 are even and x3,x4 are odd is N4(2n)/6. From this set of solutions, we can obtain solutions for n=y12+y22+y32+y42:
y1=(x1+x2)/2,y2=(x1−x2)/2,y3=(x3+x4)/2,y4=(x3−x4)/2,
and they satisfy 2∣y1+y2,2∤y3+y4. This implies N4(2n)/6⩽N4(n)/2. Similarly, we can prove N4(n)/2⩽N4(2n)/6. This proves N4(2n)=3N4(n). If 4n=x12+x22+x32+x42, then xi are either all even or all odd. Using the above transformation, we can establish a one-to-one correspondence with the solutions of 2n=y12+y22+y32+y42, which leads to N4(2n)=N4(4n). From the discussion of the solutions for 4n, using (i) and the definition, we derive the formula for N4(4n).