Square equal to sum of three squares For which integers $n$ there exists integers $0\le a,b,c < n$ such that $n^2=a^2+b^2+c^2$?
I made the following observations:

*

*For $n=1$ and $n=0$ those integers doesn't exist.


*If $n$ is a power of 2 those integers doesn't exist. Let $n=2^m$ with $m>0$ the smallest power of 2 for which there exists $a,b,c$ such that $\left (2^m\right )^2=4^m=a^2+b^2+c^2$. Since $4^m$ is divisible by 4, $a^2+b^2+c^2$ has to be divisible by 4 too. This is only possible if $a^2\equiv b^2\equiv c^2\equiv 0\pmod 4$, so we can write $a=2a',b=2b',c=2c'$ with $a',b',c'\in \mathbb{N}$. But then we get $\left (2^{m-1}\right )^2=4^{m-1}=a'^2+b'^2+c'^2$, so $m=1$, otherwise $2^m$ wouldn't be the smallest power of two with this property. It is easy to check that $n=2$ doesn't work, so for $n=2^m$ the statement doesn't hold.


*I suspect (but can't prove) that for all other values the statement holds. It would be enough to prove that for all odd primes $p$ there exists $a,b,c$ such that $p^2=a^2+b^2+c^2$, since for all other values of $n$ there exist some $p,m$ such that $n=pm$. Then we get $n^2=(pm)^2=(ma)^2+(mb)^2+(mc)^2$.

I think I found the solution.
Lebesgue's identity says $(k^2 + l^2 + m^2 + n^2)^2 = (2kn + 2lm)^2 + (2ln - 2km)^2 + (k^2 + l^2 - m^2 - n^2)^2$, so if every odd prime $p$ can be written as the sum of four primes such that non of the right-hand-side terms is equal to $p^2$ the question is solved.
Lagrange's four square theorem says that every integer can be written as the sum of four squares. We check that if $p=k^2+l^2+m^2+n^2$ then none of the right hand side terms is necessarily $p^2$.

*

*$(k^2 + l^2 + m^2 + n^2)^2 = (2km + 2ln)^2$ only if $m=k$ and $n=l$, but then $p$ should be even, so this is not possible.

*$(k^2 + l^2 + m^2 + n^2)^2 = (2ln - 2km)^2$ only if $n=l$ and $m=k=0$, which would give again that $p$ is even.

*$(k^2 + l^2 + m^2 + n^2)^2 = (k^2 + l^2 - m^2 - n^2)^2$ only if $m=n=0$ or $k=l=0$. Since $p$ can't be a perfect square (it's prime), at least 2 of $k,l,m,n$ aren't 0. So we can swap them in such a way that nor $k=l=0$ nor $m=n=0$.

Thus every square of an odd prime can be written as the sum of four squares. Because of the third observation in the question it follows that every number that isn't a power of 2 can be written as the sum of 3 squares.
