|
Part I Presentation of the Proofs of the Quadratic Reciprocity Law |
|
|
|
1 From Fermat to Legendre |
|
|
3 | (4) |
|
2 Gauss's Proof by Mathematical Induction |
|
|
7 | (8) |
|
|
15 | (26) |
|
1 Gauss's Third Proof [ 26] |
|
|
15 | (2) |
|
2 Gauss's Fifth Proof [ 28] |
|
|
17 | (2) |
|
3 Eisenstein's Geometric Proof [ 17] |
|
|
19 | (1) |
|
4 Proof by Genocchi [ 37] |
|
|
20 | (2) |
|
|
22 | (2) |
|
|
24 | (2) |
|
7 Proof by Kronecker [ 43] |
|
|
26 | (2) |
|
8 Proof by Bouniakowski [ 3] |
|
|
28 | (3) |
|
9 Proof by Schering [ 67, 68] |
|
|
31 | (2) |
|
10 Proof by Petersen [ 63, 64] |
|
|
33 | (1) |
|
|
34 | (1) |
|
|
35 | (6) |
|
4 Eisenstein's Proof Using Complex Analysis |
|
|
41 | (4) |
|
5 Proofs Using Results from Cyclotomy |
|
|
45 | (18) |
|
1 Proof by Gauss (7th Proof) [ 34] Gauss and Lebesgue (2nd Proof) [ 52] |
|
|
45 | (3) |
|
2 Gauss' Fourth Proof [ 27] |
|
|
48 | (4) |
|
3 Gauss' Sixth Proof [ 29] |
|
|
52 | (3) |
|
4 Proof by Cauchy [ 8], Cauchy Jacobi [ 56, p. 391], Jacobi Eisenstein [ 15] |
|
|
55 | (1) |
|
5 Second Proof by Eisenstein [ 14] |
|
|
56 | (4) |
|
6 Proof by Liouville [ 61] |
|
|
60 | (1) |
|
7 First Proof by Lebesgue [ 50] |
|
|
60 | (3) |
|
6 Proofs Based on the Theory of Quadratic Forms |
|
|
63 | (8) |
|
|
63 | (8) |
|
1.1 Gauss's Second Proof [ 25, art. 257], [ 12, Suppl. IV, X] |
|
|
64 | (1) |
|
1.2 Kummer's First Proof [ 48] |
|
|
65 | (3) |
|
1.3 Kummer's Second Proof [ 48] |
|
|
68 | (3) |
|
7 The Supplementary Laws of the Quadratic Reciprocity Law and the Generalized Reciprocity Law |
|
|
71 | (6) |
|
|
71 | (3) |
|
1.1 Proof of Formula (I) Using "Associate Residues" (See [ 21, p. 135], [ 25, Art. 109]), for Formula (II) Using Induction |
|
|
71 | (1) |
|
1.2 Proof of the Supplementary Laws Using Reduction |
|
|
72 | (1) |
|
1.3 Proof of the Second Supplementary Law Using Cyclotomy |
|
|
73 | (1) |
|
1.4 Proof of the Supplementary Laws Using Quadratic Forms [ 25, art. 262] |
|
|
73 | (1) |
|
2 The Generalized Reciprocity Law |
|
|
74 | (3) |
|
8 Algorithms for Determining the Quadratic Character |
|
|
77 | (8) |
|
1 Gauss's Method for Determining (a/b) [ 32, p. 59] |
|
|
77 | (2) |
|
2 The Algorithms by Eisenstein [ 13] and Lebesgue [ 51] |
|
|
79 | (2) |
|
|
79 | (1) |
|
2.2 The Algorithms of Lebesgue |
|
|
79 | (2) |
|
3 The Algorithms by Gegenbauer [ 35] |
|
|
81 | (1) |
|
|
81 | (1) |
|
4 An Algorithm by Kronecker |
|
|
82 | (3) |
|
Part II Comparative Presentation of the Principles on Which the Proofs of the Quadratic Reciprocity Law Are Based |
|
|
|
9 Gauss's Proof by Induction |
|
|
85 | (4) |
|
|
89 | (18) |
|
11 Eisenstein's Proofs Using Complex Analysis |
|
|
107 | (4) |
|
12 Proofs Using Results from Cyclotomy |
|
|
111 | (14) |
|
13 Proofs Based on the Theory of Quadratic Forms |
|
|
125 | (2) |
|
|
127 | (4) |
|
15 Proofs of the Quadratic Reciprocity Law |
|
|
131 | (32) |
Bibliography |
|
163 | (4) |
Author Index |
|
167 | (4) |
Subject Index |
|
171 | |