*In which we determine which numbers are the sum of two squares, and start to study the distribution of the primes.*

- Theorem 40:
*The natural number can be written as the sum of two coprime squares if and only if is not divisible by and every odd prime factor of is congruent to modulo .*We collected together various bits of work we’ve done over the last couple of lectures to prove this. - Corollary 41:
*The natural number can be written as the sum of two squares if and only if in the prime factorisation of each prime congruent to modulo occurs to an even power.*This followed from Theorem 40, because can be written as the sum of two squares if and only if it is the product of a square and a number that can be written as the sum of two coprime squares. - Theorem 42 (Dirichlet‘s theorem on primes in arithmetic progression):
*Let be an integer greater than , and let be a natural number coprime to . Then there are infinitely many primes congruent to modulo . That is, there are infinitely many primes in the arithmetic progression , , , , ….*We are not going to see a proof of this result in this course (but see below in the Further reading section for places to look). - Proposition 43:
*For , we have .*We considered . - Corollary 44:
*There are infinitely many primes.*This was immediate from Proposition 43. - Proposition 45:
*There is a constant such that .*We used an idea of Erdős: any can be written as where , …, are the primes up to , each is or , and . Then we counted.

#### Understanding today’s lecture

Can you finish off our analysis of which numbers are properly represented by the form ?

#### Further reading

Jones and Jones (*Elementary number theory*) has another explicit example of an application of Hensel’s lemma. They also devote a chapter to questions about sums of squares, including the problems about sums of two squares and sums of four squares (see below). Davenport (*The Higher Arithmetic*) presents another way of characterising the numbers that can be written as the sum of two squares, without using the theory of binary quadratic forms. You might like to read that for another approach. Baker (*A concise introduction to the theory of numbers*) follows the approach that we took in lectures, namely studying the sums of two squares via binary quadratic forms. Both Baker and Davenport move on to discuss the question of which numbers can be written as the sum of four squares, which leads to a rather lovely (and perhaps surprising) theorem of Lagrange.

Wikipedia has a page with a couple of ways of thinking about . Hardy and Wright (*An introduction to the theory of numbers*) tackles this problem and some related results (see section 22.7). Erdős and Surányi (*Topics in the theory of numbers*) give a nice presentation of this material. Davenport (*Multiplicative Number Theory*) discusses the sum of the reciprocals of the primes, and also gives a proof of Dirichlet’s theorem on primes in arithmetic progressions. (Note that this is a different book by Davenport, not the one that I’ve recommended in previous posts!)

#### Preparation for Lecture 15

Next time we shall move on to the Riemann zeta function, and how it is related to the distribution of the primes. I might mention the Möbius function, which is defined on natural numbers. If , where the are distinct primes, then . If is not square-free (if it is not the product of distinct primes), then . And, just to be clear, . Here are a couple of questions to get you started thinking about this function.

- Is a multiplicative function?
- Can you compute the sums for various ? (The sum is over all divisors of .)
- Can you make any conjectures about the approximate size of the sum ? You might like to use a computer to help you collect some data, in addition to thinking about the function .
- You might like to try to relate and the Euler totient function that we saw earlier in the course.

## Leave a Reply