For an odd prime , the Legendre symbol isEuler criterion states thatIf , both sides vanish. Otherwise choose a primitive root and write . Since ,The power is a square exactly when is even, proving the criterion. Taking gives the first supplementary law for quadratic reciprocity
Because and commute, the matrix binomial theorem givesFor prime , every intermediate coefficient is divisible by , proving the prime-power binomial congruence for a matrix
By Euler criterion, . In either case the preceding congruence gives . Since has the same parity as for , this is the second supplementary law for quadratic reciprocity
Write . When , the first supplementary law for quadratic reciprocity gives , so . Pairing with givesThe sum of the nontrivial character over all nonzero residue classes is zero. Because its two half-sums are equal when ,Hence
By Euler criterion,Choose a primitive root . For any integer not divisible by ,For , the exponent satisfies . ThereforeTogether with part (i), this is the weighted complete Legendre-symbol sum.
Put . Because , the supplementary laws giveLet and be the quadratic residues and nonresidues, respectively, among , and putSince is a nonresidue, the complete set of least positive quadratic residues isIf , its sum is
Since is a residue, multiplication by two permutes modulo . Exactly the upper-half residues cross when doubled. Equality of the sums before and after reduction therefore givesComparing the two formulas yieldsAs ,This is the lower-half quadratic-residue sum for primes congruent to seven modulo eight.
Articles by others on the same topic
There are currently no matching articles.