4
$\begingroup$

Lagrange's Theorem tells us that every integer can be written as the sum of at most four non-negative squares.

Is it also true that, for example, every integer can be written as the sum of at most four non-negative squares excluding 7^2=49? I feel sure that it is true. Where can I find theorems of this sort?

$\endgroup$
0

2 Answers 2

11
$\begingroup$

There is a formula (due to Jacobi) for the number of representations of an integer as a sum of four squares and estimates for the number of representation of an integer as a sum of three squares (e.g. see Is there a simple way to compute the number of ways to write a positive integer as the sum of three squares?). So, the answer to your question would be something like proving that $r_4(n) > r_3(n-49)$ which should follow for large $n$ from the above results.

$\endgroup$
2
  • $\begingroup$ To Felipe Voloch. I like this answer very much. If I've understood, the idea is this: For every partition of n into three squares, there is a partition of n+49 into 4 squares one of which is 7-squared, and vice-versa. Therefore if we find that there are more partitions of n+49 into 4 parts than there are partitions of n into 3 parts, some of these partitions into 4 parts must not contain 49. $\endgroup$ Jun 2, 2014 at 0:32
  • $\begingroup$ Yes. Perhaps it is worthwhile to note that $r_3(n-49)$ can be bounded from above effectively, and $r_4(n)$ can be bounded from below effectively, both without GRH. $\endgroup$
    – GH from MO
    Jun 4, 2014 at 3:11
2
$\begingroup$

EDIT: Emil has pointed out that i had an incorrect interpretation of the question. The idea about not using 49 seems to work for all numbers. Evidently it also works for all numbers that can be written as the sum of three squares. Not two squares, though, any prime of the form $49 + x^2$ such as 53 has no alternative, for instance.

ORIGINAL: On page 140 of The Sensual Quadratic Form by John Horton Conway, he proves that the positive integers that are not the sum of four positive squares are $$ 1,3,5,9,11,17,29,41, 2 \cdot 4^m, 6 \cdot 4^m, 14 \cdot 4^m. $$ I think this must be what you want, because he specially mentions the bound $49.$ An important detail in this is that, if any multiple of $8$ is the sum of four squares, these squares are even.

$\endgroup$
2
  • 4
    $\begingroup$ I was quite puzzled by your answer, but it occurred to me that you may read the question differently than me (and Felipe Voloch, apparently). I assume the question asks whether every integer can be written as $a_1^2+a_2^2+a_3^2+a_4^2$, where $a_1,\dots,a_4\ne7$. You seem to interpret it as whether every integer different from 49 can be written as a sum of four squares satisfying an extra condition that you added in to make this reading make sense. $\endgroup$ Jun 1, 2014 at 9:56
  • $\begingroup$ @EmilJeřábek, thank you, I believe you have explained it. You are correct, I could not make sense of it, and supplied my own question to answer. Your interpretation should have an elementary answer. Possibly long, though. $\endgroup$
    – Will Jagy
    Jun 1, 2014 at 17:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.