proof of quadratic reciprocity rule
The quadratic reciprocity law is:
Theorem: (Gauss) Let and be distinct odd primes,and write and . Then.
( is the Legendre symbol![]()
.)
Proof:Let be the subset of . Let be the interval
of .By the Chinese remainder theorem![]()
, there exists a uniquebijection such that, for any , if wewrite , then and.Let be the subset of consisting of the values of on. contains, say, elements of the form such that , and elements of the form with . Intending to apply Gauss’s lemma,we seek some kind of comparison between and .
We define three subsets of by
and we let be the cardinal of for each .
has elements in the region , namely for all of the form with and .Thus
i.e.
| (1) |
Swapping and , we have likewise
| (2) |
Furthermore, for any , if then .It follows that for any other than , either or isin , but not both.Therefore
| (3) |
Adding (1), (2), and (3) gives us
so
which, in view of Gauss’s lemma, is the desired conclusion![]()
.
For a bibliography of the more than 200 known proofs ofthe QRL, seehttp://www.rzuser.uni-heidelberg.de/ hb3/fchrono.htmlLemmermeyer.