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.