*In which we characterise sums of two squares.*

- Proposition 39 (Hensel’s Lemma):
*Let be a polynomial with integer coefficients, and let be a prime. Suppose that there is some such that and . Then for each positive integer there is some such that .*This is reminiscent of Newton’s method. We proved it by induction on , arguing that if we had a suitable , then we could choose some such that would work. - Theorem 40:
*The natural number can be written as the sum of two coprime squares if and only if is not divisible by 4 and has no prime factor congruent to 3 modulo 4.*We showed that there is a unique reduced form of discriminant , namely . So, by Theorem 38 from last time, can be properly represented by if and only if there is a solution to the congruence . We then used the Chinese Remainder Theorem, Hensel’s lemma (above), and a quick check modulo powers of 2, to reduce this to the condition that must be a quadratic residue modulo each odd prime dividing , and also must not be divisible by 4. - Corollary 41:
*The natural number can be written as the sum of two squares if and only if each prime congruent to 3 modulo 4 in the prime factorisation of occurs to an even power.*Once we have the theorem above, this follows immediately by multiplying through by a square. - Theorem 42 (Lagrange):
*Every natural number is a sum of four squares.*We are not going to prove this result in this course (although it’s not a terribly difficult theorem to prove).

#### 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.

#### Preparation for Lecture 14

We’re about to move on to a new topic: the distribution of the primes. Here are some questions to consider.

- Show (if you haven’t done so previously) that there are infinitely many primes congruent to 1 modulo 4, and that there are infinitely many primes congruent to 3 modulo 4. What conditions would you need to put on and to ensure that there are infinitely many primes congruent to modulo ?
- You hopefully know that diverges, but that converges. What about (where the sum is over all primes )? Can you estimate as a function of ?

## Leave a Reply