NTIC Sums of Squares

Chapter 13 Sums of Squares

We have now more or less exhausted a lot of what we can do with linear questions, and even gone beyond to many nonlinear ones. With that in mind, we return to other considerations. As a warmup for this and ensuing chapters, consider the following question.

🔗

Question 13.0.1.

Take a positive integer $n$ and try to write it as $n=a^2+b^2$ for $a,b\in\mathbb{Z}\text{.}$ For which $n$ is this possible, for which is it not?

🔗

It seems that Albert Girard already knew the answer to this question in the first quarter of the 17th century, and Fermat discovered it a couple years later as well. A full proof of the answer to this question did not come until Euler (no surprise here) about six score years after that.

🔗

Remark 13.0.2.

Girard is an interesting figure, less well-known than his contemporaries; he apparently was the first to use our modern notation for trigonometric functions, and spent his adult life in the Netherlands escaping religious persecution as a Protestant in France. Euler is well known for being a rather conventional religious family man amidst the Enlightenment court of Frederick the Great, and for taking a lot of teasing from Voltaire and the king (among other things, for being partly blind at the time). As with most things about Fermat's personal life, it's less well known that he also had a religious side; in [C.7.12] a well-known classicist translates a moving poem about the dying Christ written in honor of one of Fermat's friends.

🔗

So try out Question 13.0.1! Some things to think about while you try this:

Are any special types of numbers easier to write in this way than others?
Is there any way of generating new such numbers from old ones?
If some types of numbers are not a sum of squares, how might you prove this?

🔗

A separate question to at least keep track of is this.

🔗

Question 13.0.3.

Assuming you can indeed write it in this way, how many ways you can write a number as a sum of squares?

🔗

This chapter is completely devoted to continuing to address questions about writing numbers as a sum of two squares. It will lead us a little far afield, of necessity, to ask (and start to answer) questions about congruences again. Much of this chapter will be devoted to a geometric proof that certain numbers are indeed representable as a sum of two squares. This chapter is a perfect illustration of one of the main themes of this text – the unity of mathematics.