6
$\begingroup$

I was going through Erich Friedman's "What's Special About This Number?" and there some numbers are classified based on the number of ways we can write them as sum of squares. I want to prove the following claim by Friedman:

129 is the smallest number that can be written as the sum of 3 squares in 4 ways.

Indeed, as given in Wikipedia, $$11^2+2^2+2^2 = 10^2+5^2+2^2 = 8^2+8^2+1^2 = 8^2+7^2+4^2 = 129$$ So what remains to prove is that this is the smallest such number.

Is it possible to write a proof for this fact using some insights along with brute force/cases? How can we solve this problem using only brute-force?

Also, since I know the proof of Legendre's three-square theorem. I am also curious to know:

How can we determine the number of ways we can write a non-negative integer which satisfies Legendre's three-square theorem as sum of three squares?

Edit1: Related discussions on MathOverflow:

Edit2: Related discussions on ComputerScience.SE

Edit3: Related discussions on Mathematics.SE

|cite|improve this question
$\endgroup$
  • $\begingroup$ check each number by hand? $\endgroup$ – The Great Duck Dec 22 '16 at 6:12
  • 2
    $\begingroup$ we can find some solutions, if not all, by solving some quadratic equations using triangular numbers as explained in the link below but I don't have the proof that we will find all of them: math.stackexchange.com/questions/2070691/… $\endgroup$ – user25406 Dec 24 '16 at 16:39
  • 1
    $\begingroup$ @user25406 this approach appears to be promising. $\endgroup$ – rationalbeing Dec 24 '16 at 18:27
  • 1
    $\begingroup$ There is the following formula for the number of representations of $n$ as a sum of two squares: $4 \sum_{m | n} \chi_4(n)$, where $\chi_4$ is the conductor of order 4. I wonder if this could be generalized to your question. $\endgroup$ – J Richey Feb 20 '17 at 7:28
  • 1
    $\begingroup$ I read this in a book on Sieve theory, though I can't seem to find the book. The formula comes from the connection between Dirichlet characters (which are related to the Legendre/Jacobi symbol) and sums of squares. $\endgroup$ – J Richey Feb 20 '17 at 11:09
-1
$\begingroup$

For the system of equations.

$$x_1^2+x_2^2+x_3^2=x_4^2+x_5^2+x_6^2=x_7^2+x_8^2+x_9^2=x_{10}^2+x_{11}^2+x_{12}^2$$

Solutions can be parameterized.

$$x_1=a(y^2+z^2+n^2)(p^2+s^2+n^2)(k^2+t^2+n^2)$$

$$x_2=b(y^2+z^2+n^2)(p^2+s^2+n^2)(k^2+t^2+n^2)$$

$$x_3=c(y^2+z^2+n^2)(p^2+s^2+n^2)(k^2+t^2+n^2)$$

$$x_4=(ay^2-2byn+az^2-2czn-an^2)(p^2+s^2+n^2)(k^2+t^2+n^2)$$

$$x_5=(bz^2-2cyz-by^2-2ayn+bn^2)(p^2+s^2+n^2)(k^2+t^2+n^2)$$

$$x_6=(cy^2-2byz-cz^2-2azn+cn^2)(p^2+s^2+n^2)(k^2+t^2+n^2)$$

$$x_7=(ap^2-2bpn+as^2-2csn-an^2)(y^2+z^2+n^2)(k^2+t^2+n^2)$$

$$x_8=(bs^2-2cps-bp^2-2apn+bn^2)(y^2+z^2+n^2)(k^2+t^2+n^2)$$

$$x_9=(cp^2-2bps-cs^2-2asn+cn^2)(y^2+z^2+n^2)(k^2+t^2+n^2)$$

$$x_{10}=(ak^2-2bkn+at^2-2ctn-an^2)(y^2+z^2+n^2)(p^2+s^2+n^2)$$

$$x_{11}=(bt^2-2ckt-bk^2-2akn+bn^2)(y^2+z^2+n^2)(p^2+s^2+n^2)$$

$$x_{12}=(ck^2-2bkt-ct^2-2atn+cn^2)(y^2+z^2+n^2)(p^2+s^2+n^2)$$

It is interesting that such triples can be too much. The formula can be increased to any number. That is the same to write not only for 4 partitions, but for any number. The main thing that all the variables were not identical to each other.

|cite|improve this answer
$\endgroup$
  • 1
    $\begingroup$ Can you please give at least an outline of how one should write proof for 129 being smallest such number using this parametrization? $\endgroup$ – rationalbeing Dec 23 '16 at 8:14
  • 2
    $\begingroup$ @individ, can you please post your derivation or a link to it. I think it is important to show how you got this parametrization, especially to those among us (I am one of them) who don't have the knowledge to derive it for themselves. $\endgroup$ – user25406 Dec 23 '16 at 21:13
-1
$\begingroup$

You can try something like:

check=new Array();
for (i=1;i<12;i++)
for (j=i;j<12;j++)
for (k=j;k<12;k++) {
n=i*i+j*j+k*k;
if (!check[n]) check[n]=0;
check[n]++;
}
for (a=0;a<check.length;a++)
if (check[a]>=4) console.log(a);

which proves $129$ is the smallest such number, followed by:

$$134=11^2+3^2+2^2=10^2+5^2+3^2=9^2+7^2+2^2=7^2+7^2+6^2$$

You can determine the number of representations by $3$ squares by subtracting squares from $N$, and using $\sum_\limits{x\le \sqrt{N}} r_2(N-x^2)$, where $r_2$ is the sum of (two) squares function.

|cite|improve this answer
$\endgroup$
  • $\begingroup$ Did you read the Edit1 above stating that these counting functions also count the number is permutations and sign changes (which I don't want)? $\endgroup$ – rationalbeing Feb 21 '17 at 6:27
  • $\begingroup$ somewhere there is a formula for sum of two squares where zeroes, sign and order aren't counted - for example 16 doesn't count, but I can't find it just now. $r_2$ is the best we've got at the moment I think for the number of such numbers. $\endgroup$ – JonMark Perry Feb 21 '17 at 6:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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