Mathematics 1801

Disquisitiones Arithmeticae (Arithmetical Investigations)

Carl Friedrich Gauss

He turned arithmetic into a clock and founded modern number theory.

Choose your version

In depth · the introduction

Carl Friedrich Gauss took the messy world of whole numbers and discovered it runs like a clock.

The big idea

On a clock, 9 + 5 is not 14 — it is 2. You go past 12 and wrap around to the start. Gauss made that wrapping exact and general. Pick any number n, the modulus, and from then on count two numbers as “the same” if they leave the same remainder when divided by n. He wrote it a ≡ b (mod n) and called n the modulus — the notation, and the very word, we still use today.

It sounds small, but it changes everything. A question about infinitely many integers becomes a question about a single finite clock with n marks, where patterns that were invisible suddenly stand out. Gauss's whole book is built from this one move: arithmetic on a clock.

How it came about

Gauss was a prodigy from a poor family in Brunswick, noticed early and supported by the local Duke. At eighteen he proved something no one had managed in two thousand years: that a regular 17-sided polygon can be drawn with nothing but a straightedge and compass — and that settled his choice of mathematics over languages. He kept a private diary of discoveries, and by twenty-one he had written this book.

Number theory before him was a treasure-chest of brilliant but disconnected facts, mostly from Fermat and Euler. Gauss melted them into a single ordered theory. Its crown was the law of quadratic reciprocity — a deep, surprising rule about square numbers on different clocks — which he had found at eighteen and proved here for the first time, calling it his “golden theorem.” He would later give it eight different proofs.

Why it mattered

Before the Disquisitiones, number theory was a hobby of geniuses; after it, it was a science. Gauss gave the subject a language (congruence and the ≡ sign), a method (definitions and proofs in connected order), and a set of deep theorems to build on. Generations of mathematicians — Dirichlet, Riemann, Dedekind — learned the field from this book. Gauss is said to have called mathematics the queen of the sciences, and number theory the queen of mathematics; this is the book that crowned her.

An everyday picture

Think of an ordinary 12-hour clock. Three hours after 11 o'clock is not 14 o'clock; it is 2 o'clock — you have looped once around and gone two more. That is exactly a ≡ b (mod 12). Now ask a stranger question Gauss loved: which hour-marks can you land on by squaring? 1×1 is 1, 2×2 is 4, 3×3 is 9, 4×4 is 16 which loops to 4… Some marks you can reach, some you never can. Those reachable marks are the “quadratic residues,” and the hidden rule connecting them across different clocks is Gauss's golden theorem.

Where it sits

In this Library, number theory begins with Euclid (≈300 BCE), who proved the primes never end and left us the algorithm for greatest common divisors. For two thousand years the field grew by isolated brilliance — Fermat, then Euler. Gauss is the hinge that turned those results into a system. From his book flow Dirichlet's analytic number theory, Riemann's study of the primes, and Dedekind's ideals. And the clock arithmetic of his third section is the exact arena of modern cryptography: the Diffie–Hellman key exchange and RSA both run on Gauss's clock.

The original document

Original source text

Carl Friedrich Gauss · Disquisitiones Arithmeticae · Leipzig: Gerh. Fleischer, 1801 · in Latin

The book is dedicated to Gauss's patron, Carl Wilhelm Ferdinand, Duke of Brunswick, and opens with a short preface setting its subject — the theory of integers, or “higher arithmetic” — apart from the arithmetic of everyday calculation. What follows is organised into seven sections and 366 numbered articles.

Section I · Congruent numbers in general (Art. 1–12)

If the number a measures the difference of the numbers b, c, then b and c are said to be congruent according to a; if not, incongruent; this a we call the modulus. Each of the numbers b, c are called a residue of the other in the first case, a nonresidue in the second.

This is Article 1 — the definition on which the whole book rests. Article 2 then fixes the notation we still use, choosing the sign ≡ for its likeness to equality:

Numerorum congruentiam hoc signo, ≡, in posterum denotabimus, modulum ubi opus erit in clausulis adiungentes, −16 ≡ 9 (mod. 5), −7 ≡ 15 (mod. 11).

(“We shall in future denote the congruence of numbers by this sign, ≡, attaching the modulus in parentheses where necessary.”) Every later section is built outward from this one idea.

Sections II–III · Linear congruences, and residues of powers (Art. 13–93)

Section II solves congruences of the first degree and proves the uniqueness of prime factorisation and the result now taught as the Chinese Remainder Theorem. Section III studies the powers of a number on the clock — the order of a residue, the existence of primitive roots for a prime modulus, and what is now called Fermat's little theorem.

Section IV · Congruences of the second degree — the fundamental theorem (Art. 94–152)

Here Gauss asks which numbers are perfect squares on a clock (the quadratic residues) and proves the law that governs them — the result he singled out as the theorema fundamentale and privately called his “golden theorem”. In Article 131 he states it:

If p is a prime number of the form 4n+1, then +p, but if p is of the form 4n+3, then −p, will be a residue or nonresidue of any prime number which, taken positively, is a residue or nonresidue of p.

He gave the first complete proof — Legendre had stated the law earlier, but his proof had a gap — and supplied a second, entirely different proof in the same book.

Section V · Quadratic forms (Art. 153–307)

By far the longest section: a deep theory of binary and ternary quadratic forms ax² + bxy + cy², their composition into a group-like structure, and the “genus” classification — machinery that would grow, in the next century, into algebraic number theory.

[ … ]

Section VII · The division of the circle (Art. 335–366)

The book closes with a surprise: the algebra of cutting a circle into equal parts turns out to be number theory in disguise. Gauss proves which regular polygons can be drawn with straightedge and compass — exactly those whose number of sides is a power of two times distinct Fermat primes — and in particular that the regular 17-gon is constructible, the discovery that, at eighteen, had decided him on mathematics.

Carl Friedrich Gauss · Brunswick, 1801