# Gauss's proofs of quadratic reciprocity

Gauss gave 6 published and 2 unpublished proofs of quadratic reciprocity (see, e.g., here). I suspect this was to try to understand the "real reason" quadratic reciprocity holds (though please correct me if you know otherwise), but I'd like to know what Gauss actually thought about his different proofs. Do we know to what extent Gauss was satisfied with his proofs, or which proofs he regarded as better than others?

• I totally agree with you that his motivation was “to try to understand the "real reason" quadratic reciprocity holds”. Oct 20, 2017 at 8:16
• Wasn't Gauss kinda famous for never being satisfied with his proofs because they weren't "elegant enough" ? Oct 20, 2017 at 12:44
• Where do you get that idea from? I think he's primarily famous for his motto 'pauca sed matura' (lit. 'few but ripe'), and for living up to it.
– RP_
Oct 20, 2017 at 13:26
• @René I guess "elegant" <--> "few" here. Oct 20, 2017 at 18:50

Yes, Gauss wrote in several places about his proofs of the reciprocity theorem. Here's one really interesting passage from 1808, worth quoting at length:

[Arithmetical truths] are frequently of such a nature that they may be arrived at by many distinct paths and that the first paths to be discovered are not always the shortest. It is therefore a great pleasure after one has fruitlessly pondered over a truth and has later been able to prove it in a round-about way to find at last the simplest and most natural way to its proof. ...For a whole year [the reciprocity theorem] tormented me and absorbed my greatest efforts until at last I obtained a proof given in the fourth section of [the Disquisitiones]. Later I ran across three other proofs which were built on entirely different principles. One of these I have already given in the fifth section; the others, which do not compare with it in elegance, I have reserved for future publication. Although these proofs leave nothing to be desired as regards rigor, they are derived from sources much too remote, except perhaps the first, which however proceeds with laborious arguments and is overloaded with extended operations. I do not hesitate to say that till now a natural proof has not been produced. I leave it to the authorities to judge whether the following proof which I have recently been fortunate enough to discover deserves this description. (Translated in David Eugene Smith, A Source Book in Mathematics, Volume One (Dover, 1959), 113.)

When Gauss wrote this, he'd previously published two proofs of quadratic reciprocity (the ones appearing in DA -- the first by induction, and the second via his new theory of quadratic forms). He'd also found two more proofs which wouldn't be published until after his death (involving quadratic periods). Here, he's about to introduce what's usually known as his third proof. This is the one using Gauss's Lemma that Eisenstein would later improve and geometrize, turning it into the "lattice point counting" proof that you often see in textbooks today.

Gauss's third proof was apparently his favorite, as the passage shows. He found the earlier proofs unsatisfactory because they were either too complicated or "derived from sources much too remote". The third proof was the only one he considered natural.

Interestingly, although Gauss is often (and rightly) praised for his deep mathematics, his ideal proof was evidently a simple and transparent one rather than one of great profundity and abstractness.

The other proof about which he had some approving things to say was the "Gauss sums" proof (usually called the sixth proof due to publication order, although it was the eight and last to be discovered). This is the other one that crops up a lot today, in part because it's relatively easy to generalize to get proofs of cubic and quartic reciprocity. Gauss was very interested in finding a proof like this, which is one reason he kept looking for new approaches to QR:

From 1805 onwards I have investigated the theory of cubic and biquadratic residues... Theorems were found by induction... which had a wonderful analogy with the theorems for quadratic residues. On the other hand, for a long time all attempts at complete proofs have been futile. This was the motive for endeavoring to add yet more proofs to those already known for quadratic residues, in the hope that of the many different methods given, one or the other would contribute to the illumination of the related arguments [for higher reciprocity]. (Translated in David Cox, Primes of the Form $$x^2+ny^2$$, 2nd edition (Wiley, 2013), 78).

Here's what Gauss has to say about the sixth proof, which finally gave him what he wanted: