Proofs of quadratic reciprocity

The law of quadratic reciprocity, a cornerstone of number theory, asserts that for distinct odd primes p and q, the Legendre symbols satisfy \left( \frac{p}{q} \right) \left( \frac{q}{p} \right) = (-1)^{\frac{p-1}{2} \cdot \frac{q-1}{2}}, providing a criterion for determining whether one prime is a quadratic residue modulo another.^[1] Proofs of this law encompass a rich variety of mathematical demonstrations that validate the theorem, beginning with early conjectures by Leonhard Euler and Adrien-Marie Legendre in the late 18th century and culminating in the first rigorous proof by Carl Friedrich Gauss in 1801.^[1] Gauss, who termed the result the "fundamental theorem of the theory of congruences," supplied eight distinct proofs in total, drawing on techniques such as mathematical induction and properties of permutations, as detailed in his seminal work Disquisitiones Arithmeticae.^[1] Subsequent developments include Gotthold Eisenstein's 1844 proof utilizing Gauss's lemma and roots of unity in the complex plane, which offered a more geometric perspective.^[1] By the late 19th and early 20th centuries, proofs by Peter Gustav Lejeune Dirichlet, Carl Gustav Jacob Jacobi, and Franz Kronecker incorporated emerging ideas from ideal theory and abelian extensions, foreshadowing modern algebraic number theory.^[1] The proliferation of proofs continued into the 20th century, with elementary approaches like George Rousseau's 1991 group-theoretic argument providing accessible alternatives for contemporary audiences.^[1] To date, 345 distinct proofs have been documented, spanning methods from basic counting and Euler's criterion to sophisticated tools like class field theory and p-adic analysis, reflecting the theorem's deep connections across mathematics.^[2] This diversity underscores quadratic reciprocity's enduring significance, not only as a tool for solving Diophantine equations but also as a gateway to broader reciprocity laws in number theory.^[3]

Overview and Prerequisites

Statement of Quadratic Reciprocity

The Legendre symbol \left( \frac{a}{p} \right), introduced by Adrien-Marie Legendre, is a multiplicative function defined for an odd prime p and any integer a as follows: it equals 1 if a is a nonzero quadratic residue modulo p (that is, if there exists an integer x such that x^2 \equiv a \pmod{p} and a \not\equiv 0 \pmod{p}); -1 if a is a quadratic non-residue modulo p; and 0 if a \equiv 0 \pmod{p}.^[4] The law of quadratic reciprocity, discovered and first rigorously proved by Carl Friedrich Gauss in 1796, as published in his Disquisitiones Arithmeticae (1801), states that for any two distinct odd primes p and q,

\left( \frac{p}{q} \right) \left( \frac{q}{p} \right) = (-1)^{\frac{p-1}{2} \cdot \frac{q-1}{2}}.

This relation determines whether one prime is a quadratic residue modulo the other based on their residues modulo 4.^[5] To fully characterize quadratic residues for small fundamental discriminants, two supplementary laws are required. The first is

\left( \frac{-1}{p} \right) = (-1)^{\frac{p-1}{2}},

which equals 1 if p \equiv 1 \pmod{4} and -1 if p \equiv 3 \pmod{4}. The second is

\left( \frac{2}{p} \right) = (-1)^{\frac{p^2-1}{8}},

which equals 1 if p \equiv 1 or $7 \pmod{8} and -1 if p \equiv 3 or $5 \pmod{8}. These laws, also established by Gauss, extend the reciprocity to the cases a = -1 and a = 2.^[5] Together, quadratic reciprocity and its supplements connect the solvability of quadratic congruences x^2 \equiv a \pmod{p} across different odd primes p, enabling efficient computation of the Legendre symbol and insights into the distribution of quadratic residues.^[5]

Historical Development

The law of quadratic reciprocity establishes a profound connection between the quadratic residuosity of one odd prime modulo another and vice versa. This theorem emerged from 18th-century investigations into quadratic residues, with Leonhard Euler first conjecturing the general form around 1772 in his work Observationes circa divisionem quadratorum per numeros primos, though he provided no complete proof and only partial results for specific cases.^[6] Adrien-Marie Legendre built on Euler's ideas, stating the law explicitly in 1785 in his memoir Recherches d'analyse indéterminée and offering a partial proof for primes congruent to 1 or 3 modulo 4; he extended this in his 1798 book Essai sur la théorie des nombres, where he presented the full statement but left a gap in the general case.^[7] Carl Friedrich Gauss resolved these efforts by discovering the first rigorous proof on April 8, 1796, at age 19, and developing eight distinct proofs by 1801; he published the initial two in his landmark Disquisitiones Arithmeticae (1801), marking quadratic reciprocity as the "fundamental theorem of this theory."^[6]^[8] In the mid-19th century, Gotthold Eisenstein introduced an elementary proof in 1844, relying on a geometric lemma that simplified earlier inductive approaches without advanced tools.^[6] Richard Dedekind advanced the algebraic perspective in 1871 with a proof using his innovative theory of ideals, detailed in Supplement X to the second edition of Dirichlet's Vorlesungen über Zahlentheorie, integrating reciprocity into the broader framework of algebraic number fields.^[9] Concurrently, the 19th century saw a shift toward analytic proofs via quadratic Gauss sums—first evaluated by Gauss in 1801—which facilitated generalizations and influenced Dirichlet's work on L-functions and class number formulas.^[6]

Elementary Proofs

Eisenstein's Lemma and Its Proof

Eisenstein's lemma offers a combinatorial criterion for evaluating the Legendre symbol \left( \frac{a}{p} \right), where p is an odd prime and a is an integer not divisible by p. The lemma states that

\left( \frac{a}{p} \right) = (-1)^s,

where s is the number of integers k = 1, 2, \dots, \frac{p-1}{2} such that the fractional part \left\{ \frac{ak}{p} \right\} > \frac{1}{2}.^[10] This formulation arises from analyzing the least positive residues of ak \mod p and counting how many exceed p/2, which corresponds to the fractional part exceeding $1/2. An equivalent expression uses the floor function: \left( \frac{a}{p} \right) = (-1)^{\sum_{k=1}^{(p-1)/2} \left\lfloor \frac{ak}{p} \right\rfloor}, since each floor value contributes to the parity based on whether the residue crosses the midpoint.^[11] The proof of Eisenstein's lemma proceeds by establishing an equivalent product formula and deriving it via trigonometric identities rooted in the binomial theorem. The fractional part condition is equivalent to the sign of a product involving sines: \left( \frac{a}{p} \right) = \operatorname{sgn} \left( \prod_{k=1}^{(p-1)/2} \sin \left( \frac{2\pi a k}{p} \right) \right), since \sin(2\pi f) is positive for $0 < f < 1/2 and negative for $1/2 < f < 1, yielding the factor (-1)^s.^[12] To prove this product formula, consider the multiple-angle formula for sine, derived from the binomial expansion of complex exponentials. Specifically, \sin(p\theta) = \operatorname{Im} \left( (\cos \theta + i \sin \theta)^p \right), where the expansion

(\cos \theta + i \sin \theta)^p = \sum_{m=0}^p \binom{p}{m} (\cos \theta)^{p-m} (i \sin \theta)^m

yields the identity \sin(p\theta) = 2^{p-1} \prod_{k=0}^{p-1} \sin \left( \theta + \frac{2k+1}{2p} \pi \right) up to scaling, but more precisely, the Chebyshev polynomial of the second kind U_{p-1}(\cos \theta) = \frac{\sin(p\theta)}{\sin \theta} has roots at \cos \left( \frac{k\pi}{p} \right) for k=1,\dots,p-1, and its leading coefficient is $2^{p-1}. For odd p, this factors as U_{p-1}(y) = 2^{p-1} \prod_{k=1}^{(p-1)/2} (y^2 - \cos^2 \left( \frac{2k\pi}{p} \right)) = 2^{p-1} \prod_{k=1}^{(p-1)/2} \left( \sin^2 \left( \frac{k\pi}{p} \right) - (1 - y^2) \right) after substitution y = \cos \theta.^[12] Setting \theta = \frac{2\pi a}{p}, the expansion relates \sin \left( \frac{2\pi a}{p} \cdot p \right) = \sin(2\pi a) = 0 to the product over shifted angles, but the key is evaluating the Gauss sum or the specific product for the Legendre symbol via the residue interpretation. The binomial coefficients in the expansion ensure the polynomial identity holds, and taking limits or specific values \theta = \frac{\pi}{p} yields the product \prod_{k=1}^{p-1} \sin \left( \frac{\pi k}{p} \right) = \frac{p}{2^{p-1}}, proved by induction on the degree or directly from the expansion's imaginary part.^[12] To connect to the floor sum, consider the detailed relation: the exponent s satisfies s \equiv \sum_{k=1}^{(p-1)/2} \left\lfloor \frac{ak}{p} \right\rfloor \pmod{2}. This follows from the signed remainder analysis, where \sum_{k=1}^{(p-1)/2} s_k = 0 with s_k = ak - p \left( \left\lfloor \frac{ak}{p} \right\rfloor + \delta_k \right) and \delta_k = 1 if \{ak/p\} > 1/2 (i.e., the s cases), leading to \sum \left\lfloor \frac{ak}{p} \right\rfloor = \frac{a(p-1)}{8} - s after dividing the sum equation by p, and parity preservation modulo 2 confirms the equivalence. The alternating sum aspect arises in the parity count, relating the floors to the permutation sign in the residue classes.^[11] A key equation encapsulating the result is the product form tied to Euler's criterion: \left( \frac{a}{p} \right) = (-1)^{(a^{(p-1)/2} - 1)/(p-1)}, but more directly, the lemma aligns with a^{(p-1)/2} \equiv (-1)^s \pmod{p} via the binomial expansion confirming the congruence in the cyclotomic setting or residue count. This completes the proof, establishing the lemma as a foundational combinatorial tool.^[12]

Eisenstein's Application to Reciprocity

To apply Eisenstein's lemma to quadratic reciprocity, fix an odd prime p and another odd prime q \neq p. The lemma expresses the Legendre symbol \left( \frac{q}{p} \right) in terms of the parity of the sum \sum_{k=1}^{(p-1)/2} \left\lfloor \frac{k q}{p} \right\rfloor.^[11] This sum equals the number N of lattice points (k, j) with integers $1 \leq k \leq (p-1)/2 and $1 \leq j \leq \left\lfloor (q/p) k \right\rfloor, corresponding to points strictly below the line segment y = (q/p) x within the rectangle R = [1, (p-1)/2] \times [1, (q-1)/2].^[13] Equivalently, since the residues r_k = k q \mod p satisfy \{ k q / p \} = r_k / p and the lemma relates the symbol to the number of such fractional parts exceeding $1/2 (i.e., r_k > p/2), the parity of N matches this count via the geometric interpretation of the floors.^[12] Thus, \left( \frac{q}{p} \right) = (-1)^N.^[11] The total number of lattice points in R is ((p-1)/2) \cdot ((q-1)/2) = (p-1)(q-1)/4. Since p and q are distinct primes, the line y = (q/p) x passes through no other lattice points in the interior of R besides possibly the endpoints. The points in R therefore lie either strictly below or strictly above the line, so the number of points above the line is (p-1)(q-1)/4 - N. Applying Eisenstein's lemma symmetrically to \left( \frac{p}{q} \right) yields \left( \frac{p}{q} \right) = (-1)^M, where M is the number of lattice points below y = (p/q) x in the swapped rectangle [1, (q-1)/2] \times [1, (p-1)/2]. Swapping coordinates in R maps points below y = (q/p) x to points above y = (p/q) x in the swapped rectangle (and vice versa), so M = (p-1)(q-1)/4 - N.^[13]^[12] It follows that

\left( \frac{p}{q} \right) = (-1)^{(p-1)(q-1)/4 - N} = (-1)^{(p-1)(q-1)/4} \cdot (-1)^{-N} = (-1)^{(p-1)(q-1)/4} \cdot (-1)^N = (-1)^{(p-1)(q-1)/4} \left( \frac{q}{p} \right),

since (-1)^{-N} = (-1)^N. This establishes the law of quadratic reciprocity for distinct odd primes p and q.^[11] The supplementary laws for -1 and $2 follow from analogous applications of the underlying Gauss lemma (of which Eisenstein's is a variant for odd arguments), counting the relevant residues or fractional parts exceeding p/2. For \left( \frac{-1}{p} \right), the residues are p - k for k = 1 to (p-1)/2, all exceeding p/2, so the count is (p-1)/2 and \left( \frac{-1}{p} \right) = (-1)^{(p-1)/2}.^[13] For \left( \frac{2}{p} \right), the residues $2k \mod p for k = 1 to (p-1)/2 yield a count whose parity is (p^2 - 1)/8 \mod 2, so \left( \frac{2}{p} \right) = (-1)^{(p^2 - 1)/8}.^[11] Combining these with the reciprocity law for odd primes gives the full set of criteria for quadratic residuosity.^[13]

Analytic Proofs Using Gauss Sums

Evaluation of Quadratic Gauss Sums

The quadratic Gauss sum for an odd prime p is defined as

\tau_p = \sum_{x=0}^{p-1} \left( \frac{x}{p} \right) \zeta^{x},

where \left( \frac{\cdot}{p} \right) denotes the Legendre symbol and \zeta = e^{2\pi i / p} is a primitive pth root of unity. This sum arises in analytic proofs of quadratic reciprocity as a key object whose evaluation encodes information about the distribution of quadratic residues modulo p.^[14] To determine the magnitude, consider |\tau_p|^2 = \tau_p \overline{\tau_p}. Expanding the product yields

|\tau_p|^2 = \sum_{x=0}^{p-1} \sum_{y=0}^{p-1} \left( \frac{x}{p} \right) \left( \frac{y}{p} \right) \zeta^{x - y},

since \overline{\zeta^z} = \zeta^{-z}. Substituting h = x - y \pmod{p} and fixing h, the inner sum over x becomes p times the indicator that h \equiv 0 \pmod{p} adjusted by the character property, but more directly, using the orthogonality of the additive characters \sum_{x} \zeta^{(x-y)k} = p \delta_{k \equiv 0 \pmod{p}} and the non-triviality of the quadratic character, the double sum simplifies to p. Thus, |\tau_p|^2 = p.^[15] A deeper evaluation reveals that \tau_p^2 = (-1)^{(p-1)/2} p. To see this, compute \tau_p^2 = \sum_{x,y} \left( \frac{xy}{p} \right) \zeta^{x+y}. The substitution z = x + y and w = xy leverages the multiplicativity of the Legendre symbol, leading to a sum over quadratic residues and non-residues that pairs terms via the character sum \sum_{k=1}^{p-1} \left( \frac{k}{p} \right) = 0. After reindexing and applying the property \left( \frac{-1}{p} \right) = (-1)^{(p-1)/2}, the result follows from the vanishing of non-principal character sums. This equation confirms the magnitude since |(-1)^{(p-1)/2} p| = p, and provides the phase information.^[14] The exact value of \tau_p is then \sqrt{p} if p \equiv 1 \pmod{4} (where (p-1)/2 is even, so \tau_p^2 = p) and i \sqrt{p} if p \equiv 3 \pmod{4} (where (p-1)/2 is odd, so \tau_p^2 = -p and the principal branch is taken). The positive real square root is conventionally chosen for the former case, ensuring consistency with explicit computations for small primes like p=5 (\tau_5 = \sqrt{5}) and p=3 (\tau_3 = i \sqrt{3}). Alternative proofs invoke a finite-field analog of Poisson summation by completing the sum via Fourier analysis over \mathbb{F}_p, where the quadratic character acts as a non-trivial multiplier, yielding the same closed form through inversion formulas.^[15] For p=2, the Legendre symbol is not defined in the usual sense, but the supplementary law for reciprocity treats \left( \frac{2}{p} \right) separately as (-1)^{(p^2-1)/8}, and the Gauss sum is formally \tau_2 = 1 + \left( \frac{1}{2} \right) e^{\pi i}, though extensions via the Kronecker symbol yield \tau_2 = 0 or adjusted values in limiting cases; it is handled as a base case without the full sum evaluation.^[14]

Derivation for Prime Pairs

To derive quadratic reciprocity for distinct odd primes p and q, consider the twisted quadratic Gauss sums defined as

g(a, p) = \sum_{x=0}^{p-1} \exp\left( \frac{2\pi i \, a x^2}{p} \right).

From the evaluation in the previous section, g(1, p) = \tau_p = \epsilon_p \sqrt{p}, where \epsilon_p = 1 if p \equiv 1 \pmod{4} and \epsilon_p = i if p \equiv 3 \pmod{4}. A key property is that g(a, p) = \left( \frac{a}{p} \right) \tau_p for a \not\equiv 0 \pmod{p}, which follows from the character sum identity

\sum_{k \bmod p} \left( \frac{k}{p} \right) \exp\left( \frac{2\pi i \, k b}{p} \right) = \left( \frac{b}{p} \right) \tau_p

for b \not\equiv 0 \pmod{p}, obtained via orthogonality of Dirichlet characters modulo p.^[16] Thus, g(q, p) = \left( \frac{q}{p} \right) \tau_p and g(p, q) = \left( \frac{p}{q} \right) \tau_q. There is a multiplicative identity relating these sums: g(q, p) g(p, q) = \tau_{pq}, where \tau_{pq} = g(1, pq). Substituting yields

\left( \frac{q}{p} \right) \tau_p \cdot \left( \frac{p}{q} \right) \tau_q = \tau_{pq},

\left( \frac{p}{q} \right) \left( \frac{q}{p} \right) = \frac{\tau_{pq}}{\tau_p \tau_q} = \frac{\epsilon_{pq}}{\epsilon_p \epsilon_q}.

The phases satisfy \epsilon_p \epsilon_q / \epsilon_{pq} = (-1)^{(p-1)/2 \cdot (q-1)/2}, since the exponent counts the number of primes congruent to 3 modulo 4 (each contributing a factor of i, with i^2 = -1). Therefore,

\left( \frac{p}{q} \right) \left( \frac{q}{p} \right) = (-1)^{(p-1)/2 \cdot (q-1)/2},

which is the law of quadratic reciprocity.^[16] The case when one prime is 2 requires a separate treatment, as the sums must account for the even modulus. The supplementary law is \left( \frac{2}{p} \right) = (-1)^{(p^2-1)/8} for odd prime p. This follows from evaluating a Gauss sum in \mathbb{Q}(\zeta_8), using the primitive 8th root of unity \zeta_8 = \exp(2\pi i / 8) and the quadratic character modulo 8, which restricts to a sum over quadratic residues modulo p via the relation \zeta_8 + \zeta_8^{-1} = \sqrt{2} and properties of the residue indicator. The phase analysis yields the exponent (p^2-1)/8, equivalent to (p-1)/2 \cdot (p+1)/4 \pmod{2}.^[17]

Algebraic Number Theory Proofs

Setup in Cyclotomic Fields

The algebraic proof of quadratic reciprocity via cyclotomic fields begins by considering the cyclotomic extension \mathbb{Q}(\zeta_p), where p is an odd prime and \zeta_p denotes a primitive p-th root of unity, satisfying \zeta_p^p = 1 and the minimal polynomial \Phi_p(x) = (x^p - 1)/(x - 1) = \sum_{k=0}^{p-1} x^k.^[18]^[19] This field extension has degree [\mathbb{Q}(\zeta_p) : \mathbb{Q}] = \phi(p) = p-1, where \phi is Euler's totient function, and its Galois group is isomorphic to (\mathbb{Z}/p\mathbb{Z})^\times.^[18]^[19] The ring of integers of \mathbb{Q}(\zeta_p) is \mathbb{Z}[\zeta_p], which serves as the integral closure of \mathbb{Z} in this extension and admits a power basis \{1, \zeta_p, \zeta_p^2, \dots, \zeta_p^{p-2}\}.^[18]^[19] For an odd prime q \neq p, the factorization of the ideal (q) in \mathbb{Z}[\zeta_p] depends on the Legendre symbol (q/p), which determines whether q splits, remains inert, or ramifies in the extension.^[18]^[20] Specifically, if (q/p) = 1, then q splits into (p-1)/f distinct prime ideals, where f is the order of q modulo p; if (q/p) = -1, then q remains inert as a prime ideal; and ramification occurs only if q = p, where (p) factors as (1 - \zeta_p)^{p-1}.^[19]^[20] This splitting behavior is governed by the factorization of the cyclotomic polynomial \Phi_p(x) modulo q, with the number of irreducible factors equal to the index of q in (\mathbb{Z}/p\mathbb{Z})^\times.^[19] The cyclotomic field \mathbb{Q}(\zeta_p) contains a unique quadratic subfield, obtained via Gaussian periods or fixed fields of subgroups of index 2 in the Galois group, which is \mathbb{Q}(\sqrt{(-1)^{(p-1)/2} p}).^[18]^[20] This subfield, often denoted \mathbb{Q}(\sqrt{p^*}) with p^* = (-1)^{(p-1)/2} p, is the fixed field of the subgroup of squares in (\mathbb{Z}/p\mathbb{Z})^\times and has discriminant p^*.^[18]^[19] Traces from \mathbb{Q}(\zeta_p) to this quadratic subfield play a role in evaluating quadratic symbols through norm maps and residue class considerations.^[20] Regarding arithmetic structure, \mathbb{Z}[\zeta_p] has class number 1 for sufficiently small p (e.g., p < 23), though in general it is a principal ideal domain only conditionally; Dedekind's discriminant theorem confirms the discriminant of \mathbb{Z}[\zeta_p] is (-1)^{(p-1)/2} p^{p-2}, aiding in ramification analysis.^[18]^[19] A key aspect of the setup is the factorization of the principal ideal (q) in \mathbb{Z}[\zeta_p] as a product of prime ideals \mathfrak{p}_1 \cdots \mathfrak{p}_g, where the prime ideals \mathfrak{p}_i lying above q are determined by the Frobenius conjugacy class in the Galois group, linking directly to the residue symbol evaluation in reciprocity.^[19]^[20] This ideal decomposition provides the algebraic foundation for relating the splitting of q in the cyclotomic extension to the quadratic residuosity of p modulo q.

Role of Frobenius Automorphisms

In the algebraic number theory proof of quadratic reciprocity, the Galois group of the cyclotomic extension \mathbb{Q}(\zeta_p)/\mathbb{Q}, where \zeta_p is a primitive p-th root of unity and p is an odd prime, is isomorphic to the multiplicative group (\mathbb{Z}/p\mathbb{Z})^\times.^[21] This group has order p-1 and is generated by automorphisms \sigma_a for a \in (\mathbb{Z}/p\mathbb{Z})^\times, defined by their action \sigma_a(\zeta_p) = \zeta_p^a.^[22] The isomorphism identifies the group element corresponding to a with the automorphism raising \zeta_p to the a-th power, providing a concrete realization of the Galois action on the roots of the p-th cyclotomic polynomial.^[20] For an odd prime q \neq p, the Frobenius element \mathrm{Frob}_q in this Galois group is the automorphism \sigma_q, which satisfies the property that it induces the map x \mapsto x^q on the residue field of any prime ideal above (q) in the ring of integers of \mathbb{Q}(\zeta_p).^[21] This element is well-defined because the extension is unramified at q, ensuring that the Frobenius is independent of the choice of prime ideal above (q).^[18] A key property is that \sigma_q(\zeta_p) = \zeta_p^q, which connects the order of \sigma_q in the Galois group to the multiplicative order of q modulo p.^[22] The action of the Frobenius extends naturally to the unique quadratic subfield of \mathbb{Q}(\zeta_p)/\mathbb{Q}, which is \mathbb{Q}(\sqrt{p^*}) where p^* = (-1)^{(p-1)/2} p.^[20] The reciprocity map associates to q the restriction of \sigma_q to this subfield, which is the non-trivial automorphism sending \sqrt{p^*} \mapsto -\sqrt{p^*} precisely when \left( \frac{q}{p} \right) = -1, the Legendre symbol indicating that q is a quadratic non-residue modulo p.^[21] For unramified primes q \neq p, the inertia group at any prime above (q) is trivial, reflecting the absence of ramification, while the decomposition group is cyclic and generated by the Frobenius element \sigma_q, whose order determines the residue field degree and thus the splitting behavior.^[18] This structure links the local Galois action to the global reciprocity law through the quadratic character's evaluation.^[22]

Completion via Ideal Factorization

In the algebraic proof of quadratic reciprocity within cyclotomic fields, the completion relies on computing norms of specific ideals and leveraging unique factorization in the ring of integers to relate prime splitting behavior to the Legendre symbol. Consider the cyclotomic field \mathbb{Q}(\zeta_p) for an odd prime p, where \zeta_p is a primitive p-th root of unity. The ideal (1 - \zeta_p) in the ring of integers \mathbb{Z}[\zeta_p] has norm N((1 - \zeta_p)) = p, as this ideal is prime and lies above the rational prime p, which ramifies totally in the extension.^[21] For an odd prime q \neq p, the prime ideals \mathfrak{q}_i above q in \mathbb{Z}[\zeta_p] each have norm q^f, where f is the multiplicative order of q modulo p (the inertia degree), and there are (p-1)/f such ideals due to the Galois action. These norms encode the decomposition of q and connect to the Frobenius automorphism from the prior analysis of the Galois group. The quadratic subfield of \mathbb{[Q](/page/Q)}(\zeta_p) is \mathbb{[Q](/page/Q)}(\sqrt{p^*}), where p^* = (-1)^{(p-1)/2} p, which has discriminant p^* and serves as the fixed field of the subgroup of squares in \mathrm{Gal}(\mathbb{[Q](/page/Q)}(\zeta_p)/\mathbb{[Q](/page/Q)}) \cong (\mathbb{Z}/p\mathbb{Z})^\times. The Legendre symbol (q/p) equals 1 if and only if q splits completely in this quadratic subfield, meaning the prime ideals above q have norm q (inertia degree 1), which occurs precisely when q is a quadratic residue modulo p.^[21] Conversely, the splitting of p in \mathbb{[Q](/page/Q)}(\sqrt{q^*}), with q^* = (-1)^{(q-1)/2} q, determines (p/q) similarly, relating the norms in the quadratic extension to the reciprocity condition through ideal factorization.^[23] To finalize the relation, the Artin symbol (q / \mathbb{Q}(\zeta_p)/\mathbb{Q}) = \sigma_q, defined by its action \sigma_q(\zeta_p) = \zeta_p^q on unramified primes q, restricts to the quadratic subfield via the conductor-discriminant formula for abelian extensions. This restriction yields the Frobenius element in \mathrm{[Gal](/page/Gal)}(\mathbb{Q}(\sqrt{p^*})/\mathbb{Q}), which is the identity if and only if (q/p) = 1, equating the symbol to the splitting condition in the subfield. The norm computations confirm that the product of the norms of the prime ideals above q equals q^{p-1}, preserving the global degree and linking the local behaviors across fields. For the supplementary laws involving q = 2 and the symbol (-1/p), the splitting of 2 in the quadratic subfield is considered: 2 splits if p \equiv \pm 1 \pmod{8}, is inert otherwise, determining (2/p) = (-1)^{(p^2-1)/8} via the splitting behavior, while (-1/p) = (-1)^{(p-1)/2} follows from the action on the quadratic subfield involving the sign adjustment in p^*.^[21] These cases integrate into the main law by adjusting the conductor to include the relevant primes. The proof concludes by combining these elements: the reciprocity (p/q)(q/p) = (-1)^{(p-1)/2 \cdot (q-1)/2} arises from the explicit comparison of the restricted Artin symbols in the quadratic subfields, using the isomorphism of the Galois group to units modulo p and the cohomological structure of the extension, or directly via the explicit reciprocity map in class field theory.^[23] This yields the full law for odd primes, with supplementary laws ensuring consistency.