proofquadratic-reciprocity
Theorem
Case 1: (p−1)=1 and (5p)=1
(p−1)=1⟺p≡1mod4 by supplementary law for (p−1).
(5p)=1⟺p≡1,4mod5.
pmod411pmod514pmod2019
Case 2: (p−1)=−1 and (5p)=−1
(p−1)=−1⟺p≡3mod4 by supplementary law for (p−1).
(5p)=−1⟺p≡2,3mod5.
pmod433pmod523pmod2073
Note:
(p6)=(p2)(p3)=(p2)((−1)(2p−1)(23−1)(3p)) by Main Law=(p2)(−1)2p−1(3p)→3 Legendre symbols depending on pmod8, and pmod3, which is pmod24.
Goal: Prove Quadratic Reciprocity Law
- On Problem Set 1 or 2 we checked each amodp is x2+y2modp (p=2,…,29).
Show: Each amodp is x2+y2modp for every prime p by giving a formula for #{x2+y2≡amodp}.
Nn,p=#{(x1,…,xn)modp:x12+x22+…+xn2≡1modp}
Find a recursion for $N_{n,p}$ from $N_{n-2,p}$ for $n \geq 3$ by induction on $n$
- For distinct primes p,q>2, we’ll calculate Nq,pmodp in two ways and the quadratic reciprocity will fall out.