be the set of integers between and . The following lemma will help us to keep track of how many integers lie in certain intervals.
and
provided that each interval involved in the congruence is nonempty.
where the union is disjoint. There are integers,
in the interval , so the first congruence of the lemma is true in this case. We also have
and contains exactly integers, so the lemma is also true when is negative. The statement about is proved in a similar manner.
Once we have proved the following proposition, it will be easy to deduce the quadratic reciprocity law.
and
where or , whichever is an integer.
We check that every element of that is equivalent modulo to something in the interval lies in . First suppose that . Then
so each element of that is equivalent modulo to an element of lies in . Next suppose that . Then
so is the last interval that could contain an element of that reduces to . Note that the integer endpoints of are not in , since those endpoints are divisible by , but no element of is divisible by . Thus, by Lemma 4.3.1,
To compute , first rescale by to see that
where
, and the second equality is because , since
Write , and let
The only difference between and is that the endpoints of intervals are changed by addition of an even integer, since
By Lemma 4.3.3,
Thus depends only on and , i.e., only on modulo . Thus if , then .
If , then the only change in the above computation is that is replaced by . This changes into
so again, which completes the proof.
The following more careful analysis in the special case when helps illustrate the proof of the above lemma, and the result is frequently useful in computations. For an alternative proof of the proposition, see Exercise 4.6.
We must count the parity of the number of elements of that lie in the interval . Writing , we have
William 2007-06-01