Loading [MathJax]/jax/output/HTML-CSS/jax.js

Tuesday, 20 February 2018

Fundamental Theorem on Sums of Two Squares

Today I achieved some further insights regarding what conditions allow a number to be expressed as a sum of two squares and then, if these conditions are met, to determine the number of ways in which this can be done. This useful site provided clear answers to these two matters. Firstly, the French mathematician Albert Girard had determined in 1632 (according to Leonard Dickson) that the numbers expressible as a sum of two integral squares were:
  • every square
  • every prime 4n+1
  • a product formed of such numbers 
  • the double of one of the foregoing
The fundamental theorem on sums of two squares is:

Let n=2kpa11parrqb11qbss , where the pi are distinct primes with pi1(mod4) and the qi are distinct primes with qj3(mod4). Then n is the sum of two squares if and only if all the bj are even. In that case, the number of distinct solutions is 12(a1+1)(a2+1)(ar+1), where x is the ceiling function, the smallest integer greater than or equal to x.

What's of particular interest here is that the number of distinct solutions can be calculated. For example, consider the number 52×13×17×29=160225 which can be represented as a sum of two squares because all the prime factors are of the form 4k+1. The number of distinct solutions can be found by adding 1 to all the indices of the factors, multiplying them together and dividing by 2. This gives 3×2×2×2 divided by 2 which is 12. So there are twelve distinct ways in which this number can be expressed as a sum of two squares. 

The two square calculator provided at the site mentioned earlier displays eleven of these but oddly enough misses out on a twelfth arrangement, namely 3002+2652:

In determining what is the smallest number expressible as the sum of two different squares in two, three, four ways and so on, the 4k+1 primes are the key. These primes are 5, 13, 17, 29, 37, 41, ... and so the smallest number to be expressible on the sum of two squares in two different ways is 65 = 5 x 13, viz. 82+12 and 72+42. Of course, I'm ignoring 25 which can be written as 32+42 and 02+52 because I'm only considering positive integers here. Similarly, the smallest number expressible as the sum of two squares in three different ways is 325 = 5 x 5 x 13:


Throwing 2's or 4k+3 primes into the factorisation doesn't increase the number of ways in which the number can be written as a sum of two squares. For example, 650 = 2 x 5 x 5 x 13 = 2 x 325 is still only expressible in three different ways:


It follows of course that every 4k+1 prime is expressible as a sum of two squares in one way only. For example, my birth year is 1949=102+432. My most recent prime day was 25153=572+1482 and so it goes.

No comments:

Post a Comment