courseshub.world · Lives in Mathematics and Physics

Carl Friedrich Gauss

Johann Carl Friedrich Gauß

A course in two strands: the life of a bricklayer’s son from Brunswick who became the director of the Göttingen observatory, and the mathematics he left behind in number theory, analysis, statistics, geometry and physics.

Born 30 April 1777, Brunswick Died 23 February 1855, Göttingen Masterpiece Disquisitiones Arithmeticae, 1801 Level advanced undergraduate → graduate
The 17th roots of unity \(\zeta^k\). Gauss split them into the eight with \(k\) a square mod 17 (filled) and the eight without (open). Each set sums to a root of \(x^2+x-4=0\): the first step in constructing the 17-gon.
Lesson 00

How to use this course

Carl Friedrich Gauss worked for six decades and left a mark on almost every part of mathematics and much of physics. A full survey would fill a library. This course follows his main lines of work in roughly the order he took them up: number theory and algebra in his youth, astronomy and statistics in his thirties, geodesy and differential geometry in his forties, and physics in his fifties. Each strand is still alive in modern mathematics, and the lessons try to show the bridge from his formulation to today’s.

Prerequisites for Part II
  • Elementary number theory: divisibility, primes, congruences.
  • First courses in linear algebra, abstract algebra (groups, fields) and complex numbers.
  • Multivariable calculus; for Lesson 09, curves and surfaces in \(\mathbb R^3\).
  • For Lesson 10, vector calculus and the divergence theorem.

Each technical lesson opens with a paragraph for the general reader, then gives precise statements, proof sketches and exercises with folded solutions. Gauss wrote in Latin and later in German, with his own notation. We use modern notation throughout and note where it differs from his.

Reference

Timeline

1777Born 30 April in Brunswick, in the Duchy of Brunswick-Wolfenbüttel, to Gebhard Dietrich Gauss and Dorothea Benze.
1788Enters the Gymnasium with the support of his teacher J. G. Büttner and the assistant Martin Bartels.
1792Enters the Collegium Carolinum in Brunswick with a stipend from Duke Carl Wilhelm Ferdinand.
1795Begins studies at the University of Göttingen.
179630 March: first entry in his mathematical diary, the construction of the regular 17-gon. In April, a proof of quadratic reciprocity.
1798Leaves Göttingen without a degree; returns to Brunswick.
1799Doctorate from the University of Helmstedt, with Johann Friedrich Pfaff as assessor; thesis on the fundamental theorem of algebra.
1801Disquisitiones Arithmeticae published. In December, Ceres is recovered close to his predicted position.
18059 October: marries Johanna Osthoff.
1806Duke Carl Wilhelm Ferdinand is mortally wounded at the battle of Jena-Auerstedt.
1807Appointed professor of astronomy and director of the observatory at Göttingen, posts he holds until his death.
1809Theoria motus corporum coelestium: orbit determination, least squares, the normal law. Johanna dies on 11 October.
18104 August: marries Minna Waldeck.
1816Moves into the new Göttingen observatory.
1818Commissioned to carry out a geodetic survey of the Kingdom of Hanover.
1821–25Summers of field work on the Hanover triangulation; invents the heliotrope (1821). Computations continue into the 1840s.
1823Theoria combinationis observationum on the theory of errors.
1828Disquisitiones generales circa superficies curvas: Gaussian curvature and the Theorema Egregium.
1831Wilhelm Weber comes to Göttingen as professor of physics. Minna dies on 12 September.
1832First absolute measurement of the Earth’s magnetic field. Second memoir on biquadratic residues introduces the Gaussian integers.
1833With Weber, builds an electromagnetic telegraph linking the observatory and the physics institute.
1837Weber is dismissed as one of the Göttingen Seven.
1838Copley Medal of the Royal Society.
1839–40Allgemeine Theorie des Erdmagnetismus; Allgemeine Lehrsätze on inverse-square forces.
1849Golden jubilee of his doctorate; fourth proof of the fundamental theorem of algebra.
185410 June: hears Bernhard Riemann’s habilitation lecture on the foundations of geometry.
1855Dies in his sleep in Göttingen on 23 February, aged 77. Buried in the Albani cemetery.
Part I · Formation
Lesson 01

Brunswick, 1777–1795

Johann Carl Friedrich Gauss was born on 30 April 1777 in Brunswick, the capital of a small German duchy. His father, Gebhard Dietrich Gauss, worked at a series of manual trades: gardener, bricklayer, butcher, and keeper of accounts for a burial society. His mother, Dorothea Benze, could barely read. He had an elder half-brother from his father’s first marriage. Nothing in the household pointed toward learning.

The stories of his early ability are many and mostly come from Gauss himself in old age. The best known is set in his primary school, where the teacher J. G. Büttner set the class to add the integers from 1 to 100 and the young Gauss found the total at once by pairing terms. Whatever the exact details, Büttner and his young assistant Martin Bartels saw that the boy needed more than the school could give. Bartels, later a professor at Kazan where he taught Nikolai Lobachevsky, studied with him and helped him into the Gymnasium in 1788.

The Duke’s stipend

In 1791 Gauss was presented to Carl Wilhelm Ferdinand, Duke of Brunswick, who granted him a stipend. It paid for three years at the Collegium Carolinum (1792–1795), a school between a gymnasium and a university, and later for his studies at Göttingen. The Duke’s support lasted until his death in 1806, and Gauss dedicated the Disquisitiones Arithmeticae to him.

At the Collegium Gauss read Newton, Euler and Lagrange, and began a habit he kept for life: computing large tables by hand to find patterns. By counting primes in blocks he arrived, at about fifteen, at the guess that the density of primes near \(x\) is about \(1/\log x\), the content of the prime number theorem. He also rediscovered quadratic reciprocity empirically and began work on the arithmetic-geometric mean. None of this was yet proved.

Lesson 02

Göttingen and the Disquisitiones, 1795–1801

In October 1795 Gauss went to the University of Göttingen, chosen over the Duke’s own university at Helmstedt for its library. The professor of mathematics was Abraham Gotthelf Kästner, whom Gauss did not admire. His closest friend there was the Hungarian student Farkas Bolyai, with whom he corresponded for the rest of his life.

He was still undecided between mathematics and classical philology. The question was settled on 30 March 1796, when he found that the regular 17-gon can be constructed with ruler and compass (Lesson 04). No new constructible polygon had been found since Euclid. On the same day he began a mathematical diary. Its 146 short entries, kept until 1814, record discoveries he often never published. One entry of July 1796 reads, in effect, “Eureka: every number is a sum of three triangular numbers.” The diary was found in 1897 and published by Felix Klein in 1903.

Degree and book

Gauss left Göttingen in 1798 without a degree. At the Duke’s wish he took a doctorate at Helmstedt, where Johann Friedrich Pfaff, the leading German mathematician of the day, assessed his thesis. It was awarded in 1799 without an oral examination. The thesis gave a proof of the fundamental theorem of algebra and a sharp critique of earlier attempts by d’Alembert, Euler and Lagrange (Lesson 07).

His great book, the Disquisitiones Arithmeticae, appeared in Leipzig in 1801 after delays at the printer. Its seven sections cover congruences, primitive roots, quadratic reciprocity with the first complete proof, the theory of binary quadratic forms, and the division of the circle. It turned number theory from a collection of results by Fermat, Euler, Lagrange and Legendre into a systematic subject. A planned eighth section was never published in his lifetime.

Lesson 03

Ceres and the move to Göttingen, 1801–1809

On 1 January 1801 Giuseppe Piazzi at Palermo found a faint moving object, which he named Ceres. He followed it for a few weeks before it vanished into the glare of the Sun. Astronomers had only a short arc of observations and no method that could fit an orbit to them. Gauss, aged 24, developed a new method of orbit determination and sent a prediction to Franz Xaver von Zach. On 31 December 1801 von Zach found Ceres close to the predicted place, and Heinrich Olbers confirmed it the next evening.

The success made Gauss famous across Europe. Olbers became a close friend and a lifelong correspondent, and through astronomy Gauss came to know Friedrich Wilhelm Bessel, whose career he later helped by arranging an honorary doctorate from Göttingen in 1811. From 1804 he corresponded with a “Monsieur Le Blanc” on number theory. In 1807, when French troops occupied Brunswick, the writer revealed herself as Sophie Germain, who had asked a French general to make sure Gauss came to no harm.

Family and appointment

On 9 October 1805 Gauss married Johanna Osthoff, the daughter of a Brunswick tanner. Their son Joseph was born in 1806 and their daughter Wilhelmine in 1808. In 1806 Duke Carl Wilhelm Ferdinand was mortally wounded at Jena-Auerstedt, and Gauss’s stipend was at risk. He accepted an offer from Göttingen, then in the Kingdom of Westphalia, and in November 1807 became professor of astronomy and director of the observatory.

The year 1809 brought both triumph and disaster. He published Theoria motus corporum coelestium, the systematic account of his orbit methods, with the method of least squares and the normal law of errors (Lesson 08). On 11 October Johanna died, a month after giving birth to their son Louis, who died a few months later. In 1810 Gauss married her friend Minna Waldeck. They had three children: Eugen, Wilhelm and Therese.

Part II · The mathematics
Lesson 04

The 17-gon and cyclotomy

For the general reader. The Greeks could construct regular polygons with 3, 4, 5 and 15 sides using ruler and compass, and could double the number of sides. For two thousand years nobody added to the list. At eighteen Gauss showed that a 17-sided polygon can also be drawn, and explained exactly which polygons can.

Goals
  • Translate constructibility into a statement about field extensions of degree a power of 2.
  • Build Gauss periods and use them to solve \(x^{17}=1\) by square roots.
  • State the Gauss–Wantzel theorem.

Constructibility

A point is constructible from \(0\) and \(1\) exactly when its coordinates lie in a tower \(\mathbb Q=K_0\subset K_1\subset\cdots\subset K_m\) with each \([K_{i+1}:K_i]=2\). Constructing the regular \(n\)-gon is the same as constructing \(\cos(2\pi/n)\), or the complex number \(\zeta_n=e^{2\pi i/n}\).

Theorem (Gauss 1801; Wantzel 1837)

The regular \(n\)-gon is constructible with ruler and compass if and only if \(n=2^k p_1\cdots p_r\) with \(k\ge0\) and the \(p_j\) distinct Fermat primes, that is primes of the form \(2^{2^m}+1\).

Gauss proved sufficiency in Section VII of the Disquisitiones and stated necessity; Pierre Wantzel published a proof of necessity in 1837. The known Fermat primes are 3, 5, 17, 257 and 65537.

Gauss periods for \(p=17\)

Let \(p\) be prime and \(\zeta=\zeta_p\). The powers \(\zeta,\zeta^2,\dots,\zeta^{p-1}\) are permuted cyclically by \(\zeta\mapsto\zeta^g\) for a primitive root \(g\) mod \(p\). For \(p=17\) take \(g=3\); the powers of 3 mod 17 are

\[ 1,3,9,10,13,5,15,11,16,14,8,7,4,12,2,6. \]

Gauss summed \(\zeta^k\) over every second exponent in this list, giving two periods of eight terms:

\[ \eta_0=\sum_{k\in\{1,2,4,8,9,13,15,16\}}\zeta^k,\qquad \eta_1=\sum_{k\in\{3,5,6,7,10,11,12,14\}}\zeta^k. \]

The first set is the squares mod 17. Then \(\eta_0+\eta_1=-1\), and a direct count gives \(\eta_0\eta_1=-4\). So \(\eta_0,\eta_1\) are the roots of \(x^2+x-4=0\):

\[ \eta_0=\frac{-1+\sqrt{17}}{2},\qquad \eta_1=\frac{-1-\sqrt{17}}{2}. \]

Splitting each period again into two periods of four terms, then of two terms, gives quadratic equations at each stage. The two-term period \(\zeta+\zeta^{-1}=2\cos(2\pi/17)\) is reached after four square roots. The final formula is

\[ 16\cos\frac{2\pi}{17}=-1+\sqrt{17}+\sqrt{34-2\sqrt{17}}+2\sqrt{17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}}. \]

In modern terms, \(\mathrm{Gal}(\mathbb Q(\zeta_p)/\mathbb Q)\cong(\mathbb Z/p)^\times\) is cyclic of order \(p-1\), and the periods generate the fixed fields of its subgroups. When \(p-1=2^N\) there is a chain of subgroups of index 2, and so a tower of quadratic extensions. Gauss found this structure thirty years before Évariste Galois.

Exercise 4.1Carry out Gauss’s method for \(p=5\) with periods \(\eta_0=\zeta+\zeta^4\), \(\eta_1=\zeta^2+\zeta^3\). Deduce \(\cos 72^\circ\).

Show solution
\(\eta_0+\eta_1=\zeta+\zeta^2+\zeta^3+\zeta^4=-1\), and \(\eta_0\eta_1=\zeta^3+\zeta^4+\zeta^6+\zeta^7=\zeta^3+\zeta^4+\zeta+\zeta^2=-1\). So the periods are roots of \(x^2+x-1=0\). Since \(\eta_0=2\cos72^\circ>0\), \(\eta_0=\frac{-1+\sqrt5}{2}\) and \(\cos72^\circ=\frac{\sqrt5-1}{4}\).

Exercise 4.2List the \(n\) with \(3\le n\le 20\) for which the regular \(n\)-gon is constructible. Why is the 9-gon not constructible?

Show solution
\(3,4,5,6,8,10,12,15,16,17,20\). The 9-gon fails because 3 appears squared. Equivalently, \([\mathbb Q(\zeta_9):\mathbb Q]=\varphi(9)=6\) is not a power of 2, so \(\cos 40^\circ\), which generates a subfield of degree 3, cannot lie in a tower of quadratic extensions.

Exercise 4.3Verify \(\eta_0\eta_1=-4\) for \(p=17\) by counting: the product is a sum of 64 terms \(\zeta^{a+b}\). How many times does each exponent occur?

Show solution
Since \(-1\) is a square mod 17, both sets are closed under negation, so \(a+b\equiv0\) never occurs with \(a\) a square and \(b\) a non-square. Multiplying \(b\) by a square permutes the non-squares, so the number of pairs with \(a+b\equiv c\) depends only on whether \(c\) is a square. If each of the 16 nonzero residues occurs \(m\) times, \(16m=64\) and \(m=4\). Hence \(\eta_0\eta_1=4(\eta_0+\eta_1)=-4\).
Lesson 05

Congruences and quadratic reciprocity

For the general reader. Gauss introduced the notation \(a\equiv b \pmod m\), which treats remainders as numbers in their own right. With it he proved a law that Euler and Legendre had seen but could not establish: whether \(p\) is a perfect square in the arithmetic of remainders mod \(q\) is tied by a simple rule to whether \(q\) is a square mod \(p\). Gauss called it the theorema aureum, the golden theorem.

Goals
  • Work with the Legendre symbol and Euler’s criterion.
  • State quadratic reciprocity and its supplements.
  • Prove it with Gauss sums.

For an odd prime \(p\) and \(a\not\equiv0\), the Legendre symbol \(\left(\frac ap\right)\) is \(+1\) if \(a\) is a square mod \(p\) and \(-1\) otherwise. Euler’s criterion says \(\left(\frac ap\right)\equiv a^{(p-1)/2}\pmod p\), so the symbol is multiplicative in \(a\).

Theorem (quadratic reciprocity; Gauss, 1796, published 1801)

For distinct odd primes \(p,q\),

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

Moreover \(\left(\frac{-1}p\right)=(-1)^{(p-1)/2}\) and \(\left(\frac2p\right)=(-1)^{(p^2-1)/8}\).

Gauss gave the first proof in the Disquisitiones, by a long induction, and published or left eight proofs in all. The proof below uses the sums he studied in 1801–1811.

Proof with Gauss sums

Let \(\zeta=e^{2\pi i/p}\) and \(g=\sum_{a=1}^{p-1}\left(\frac ap\right)\zeta^a\). A short computation gives \(g^2=p^*\), where \(p^*=(-1)^{(p-1)/2}p\). Work in the ring \(\mathbb Z[\zeta]\) modulo \(q\). On one side,

\[ g^{q}=g\,(g^2)^{\frac{q-1}2}=g\,(p^*)^{\frac{q-1}2}\equiv\left(\frac{p^*}q\right)g \pmod q. \]

On the other side, the Frobenius rule \((x+y)^q\equiv x^q+y^q\) gives

\[ g^q\equiv\sum_a\left(\frac ap\right)\zeta^{aq}=\left(\frac qp\right)\sum_a\left(\frac{aq}p\right)\zeta^{aq}=\left(\frac qp\right)g \pmod q. \]

Since \(g^2=\pm p\) is invertible mod \(q\), we may cancel \(g\): \(\left(\frac qp\right)=\left(\frac{p^*}q\right)=\left(\frac{-1}q\right)^{\frac{p-1}2}\left(\frac pq\right)\), which is the law.

Gauss’s sign

From \(g^2=p^*\) one knows \(g\) up to sign. Gauss proved that \(g=\sqrt p\) when \(p\equiv1\pmod4\) and \(g=i\sqrt p\) when \(p\equiv3\pmod4\). He told Olbers in 1805 that settling this sign had cost him years; the proof appeared in 1811.

Exercise 5.1Is 13 a square mod 17? If so, find a square root.

Show solution
Since \(13\equiv1\pmod 4\), \(\left(\frac{13}{17}\right)=\left(\frac{17}{13}\right)=\left(\frac4{13}\right)=1\). Searching, \(8^2=64=3\cdot17+13\), so \(x\equiv\pm8\).

Exercise 5.2Show that 3 is a square mod an odd prime \(p\ne3\) exactly when \(p\equiv\pm1\pmod{12}\).

Show solution
\(\left(\frac3p\right)=(-1)^{\frac{p-1}2}\left(\frac p3\right)\). The first factor is \(+1\) iff \(p\equiv1\pmod 4\); the second is \(+1\) iff \(p\equiv1\pmod3\). The product is \(+1\) when both agree: \(p\equiv1\pmod{12}\) or \(p\equiv 11\pmod{12}\).

Exercise 5.3Compute the Gauss sum for \(p=3\) directly and check the sign.

Show solution
The squares mod 3 are \(\{1\}\), so \(g=\zeta-\zeta^2=2i\sin(2\pi/3)=i\sqrt3\), in agreement with \(p\equiv3\pmod4\).
Lesson 06

Quadratic forms and Gaussian integers

For the general reader. Which numbers can be written as \(x^2+y^2\), or \(x^2+5y^2\)? Fermat, Euler and Lagrange had partial answers. In the longest section of the Disquisitiones Gauss built a full theory of such expressions. Later he extended arithmetic itself to numbers \(a+bi\), and found that primes and factorization still make sense there.

Goals
  • Reduce binary quadratic forms and compute class numbers.
  • Understand composition and the class group.
  • Factor in \(\mathbb Z[i]\) and derive Fermat’s two-squares theorem.

Forms and reduction

A binary quadratic form is \(f(x,y)=ax^2+bxy+cy^2\) with integer coefficients and discriminant \(D=b^2-4ac\). (Gauss wrote \(ax^2+2bxy+cy^2\) and used the determinant \(b^2-ac\).) Two forms are properly equivalent if one becomes the other under a substitution \((x,y)\mapsto(\alpha x+\beta y,\gamma x+\delta y)\) with \(\alpha\delta-\beta\gamma=1\). Equivalent forms represent the same integers.

Theorem (Lagrange, Gauss)

Every positive definite form with \(D<0\) is properly equivalent to exactly one reduced form, one with \(|b|\le a\le c\), and \(b\ge0\) if \(|b|=a\) or \(a=c\). There are finitely many reduced forms of each discriminant; their number is the class number \(h(D)\).

Gauss’s deepest contribution here is composition: a rule that combines two classes of discriminant \(D\) into a third. In modern language, the classes of primitive forms of discriminant \(D\) form a finite abelian group, isomorphic to the ideal class group of the quadratic order of discriminant \(D\). Gauss also grouped classes into genera according to the values they take modulo \(D\), and proved that the number of genera is a power of 2.

Gauss’s class number problem

Gauss conjectured that only finitely many negative discriminants have a given class number. For class number 1 the fundamental discriminants are \(-3,-4,-7,-8,-11,-19,-43,-67,-163\). That this list is complete was proved by Kurt Heegner (1952), Alan Baker and Harold Stark (1966–67).

Gaussian integers

In his second memoir on biquadratic residues (1832) Gauss studied the ring \(\mathbb Z[i]=\{a+bi\}\), arguing that the law of biquadratic reciprocity can only be stated naturally there. He showed it has division with remainder for the norm \(N(a+bi)=a^2+b^2\), hence unique factorization.

Theorem (primes of \(\mathbb Z[i]\))

Up to the units \(\pm1,\pm i\), the primes of \(\mathbb Z[i]\) are: \(1+i\); the rational primes \(p\equiv3\pmod 4\); and the factors \(\pi,\bar\pi\) of each rational prime \(p=\pi\bar\pi\equiv1\pmod4\).

Corollary (Fermat): an odd prime is a sum of two squares iff \(p\equiv1\pmod4\). Gauss’s picture of \(a+bi\) as a point in the plane, defended in his 1831 announcement of this memoir, did much to make complex numbers respectable.

Exercise 6.1Reduce the form \(10x^2+34xy+29y^2\).

Show solution
\(D=34^2-4\cdot10\cdot29=-4\). The substitution \(x\mapsto x-2y\) sends \((a,b,c)\) to \((a,\,b-4a,\,4a-2b+c)=(10,-6,1)\). The swap \((x,y)\mapsto(-y,x)\) gives \((1,6,10)\). Then \(x\mapsto x-3y\) gives \((1,0,1)\). The form is equivalent to \(x^2+y^2\), as it must be since \(h(-4)=1\).

Exercise 6.2Show that \(h(-20)=2\) by listing the reduced forms.

Show solution
Reduced forms satisfy \(3a^2\le 4ac-b^2=20\), so \(a\le2\). For \(a=1\): \(b=0\), \(c=5\). For \(a=2\): \(b\) is even, \(b=0\) gives \(c=5/2\), and \(b=2\) gives \(c=3\). So the reduced forms are \(x^2+5y^2\) and \(2x^2+2xy+3y^2\). The prime 3 is represented by the second form only.

Exercise 6.3Factor 13 and 65 into Gaussian primes. In how many ways is 65 a sum of two squares?

Show solution
\(13=(3+2i)(3-2i)\), \(5=(2+i)(2-i)\). Then \(65=5\cdot13\), and choosing conjugates gives \((2+i)(3+2i)=4+7i\) and \((2+i)(3-2i)=8-i\). So \(65=4^2+7^2=8^2+1^2\): two essentially different ways.
Lesson 07

The fundamental theorem of algebra and the AGM

For the general reader. Every polynomial equation has a solution among the complex numbers. Gauss’s doctoral thesis gave the first proof that most mathematicians accepted. In the same years he found a fast-converging process, the arithmetic-geometric mean, that led him to the theory of elliptic functions.

Goals
  • State the fundamental theorem and follow a winding-number proof.
  • Define the AGM and prove its quadratic convergence.
  • Relate the AGM to an elliptic integral.
Fundamental theorem of algebra

Every non-constant polynomial \(p(z)\in\mathbb C[z]\) has a root in \(\mathbb C\). Hence a polynomial of degree \(n\) factors into \(n\) linear factors.

Gauss’s 1799 proof considered the real curves \(\operatorname{Re}p=0\) and \(\operatorname{Im}p=0\) and argued that they must cross. It relied on a topological fact about algebraic curves that he took as evident and that was fully justified only by Alexander Ostrowski in 1920. Gauss gave a purely algebraic second proof and an analytic third proof in 1816, and a fourth, for complex coefficients, at his jubilee in 1849.

A winding-number proof

Let \(p(z)=z^n+a_{n-1}z^{n-1}+\cdots+a_0\) with no roots. For each \(r\ge0\) the loop \(\gamma_r(t)=p(re^{it})\), \(0\le t\le2\pi\), avoids 0. Its winding number about 0 is an integer depending continuously on \(r\), hence constant. For \(r=0\) the loop is constant and the winding number is 0. For large \(r\), \(|p(z)-z^n|<|z^n|\) on \(|z|=r\), so \(p\) winds about 0 as often as \(z^n\), namely \(n\) times. So \(n=0\).

The arithmetic-geometric mean

For \(a,b>0\) set \(a_0=a\), \(b_0=b\), \(a_{k+1}=\tfrac12(a_k+b_k)\), \(b_{k+1}=\sqrt{a_kb_k}\). Both sequences converge to a common limit \(M(a,b)\).

Theorem (Gauss)

\[ \frac1{M(a,b)}=\frac2\pi\int_0^{\pi/2}\frac{d\theta}{\sqrt{a^2\cos^2\theta+b^2\sin^2\theta}}. \]

In particular \(M(1,\sqrt2)=\pi/\varpi\), where \(\varpi=2\int_0^1\frac{dt}{\sqrt{1-t^4}}\approx2.62206\) is the lemniscate constant.

Proof idea. Call the integral \(I(a,b)\). Gauss showed by the substitution \(\sin\theta=\frac{2a\sin\phi}{a+b+(a-b)\sin^2\phi}\) that \(I(a,b)=I\big(\tfrac{a+b}2,\sqrt{ab}\big)\). Iterating, \(I(a,b)=I(a_k,b_k)\to I(M,M)=\frac{\pi}{2M}\). In 1799 he compared \(M(1,\sqrt2)\) with \(\pi/\varpi\) numerically to many decimal places and wrote in his diary that this opened an entirely new field of analysis. That field, the inversion of elliptic integrals into doubly periodic functions, he developed privately; Niels Henrik Abel and Carl Gustav Jacobi published it independently in the 1820s.

Exercise 7.1Show that \(a_{k+1}-b_{k+1}=\dfrac{(a_k-b_k)^2}{4(a_{k+1}+b_{k+1})}\), so the number of correct digits roughly doubles at each step. Compute \(M(1,\sqrt2)\) to 10 digits.

Show solution
\(a_{k+1}-b_{k+1}=\tfrac12(\sqrt{a_k}-\sqrt{b_k})^2=\dfrac{(a_k-b_k)^2}{2(\sqrt{a_k}+\sqrt{b_k})^2}\), and \((\sqrt{a_k}+\sqrt{b_k})^2=a_k+b_k+2\sqrt{a_kb_k}=2(a_{k+1}+b_{k+1})\). Numerically: \((a_1,b_1)=(1.2071067812,\,1.1892071150)\), \((a_2,b_2)=(1.1981569481,\,1.1981235215)\), \((a_3,b_3)=(1.1981402347,\,1.1981402347)\). So \(M(1,\sqrt2)\approx1.1981402347\).

Exercise 7.2Using the winding-number argument, how many roots does \(p(z)=z^5+3z+1\) have in the disc \(|z|<2\)? Use the fact that the winding number of \(p\) on \(|z|=r\) counts the roots inside.

Show solution
On \(|z|=2\), \(|3z+1|\le7<32=|z^5|\), so \(p\) winds 5 times, like \(z^5\). All 5 roots lie in \(|z|<2\).
Lesson 08

Least squares and the normal law

For the general reader. Every measurement has errors. When there are more measurements than unknowns, they cannot all be satisfied exactly. Gauss proposed choosing the answer that makes the sum of squared errors as small as possible, and justified it by a theory of how errors are distributed. The bell-shaped curve that came out of his argument still carries his name.

Goals
  • Derive the normal equations.
  • Follow Gauss’s 1809 derivation of the normal distribution.
  • State the Gauss–Markov theorem.

The method

Suppose \(y=Ax+\varepsilon\), with \(A\) an \(m\times n\) matrix of full rank \(n\le m\). The least-squares estimate minimizes \(\|y-Ax\|^2\). Setting the gradient to zero gives the normal equations

\[ A^{\mathsf T}A\,\hat x=A^{\mathsf T}y,\qquad \hat x=(A^{\mathsf T}A)^{-1}A^{\mathsf T}y. \]

Geometrically, \(A\hat x\) is the orthogonal projection of \(y\) onto the column space of \(A\). Gauss solved such systems by the elimination now named after him.

Adrien-Marie Legendre published the method first, in 1805. Gauss stated in Theoria motus (1809) that he had used it since 1795, which Legendre resented. Gauss’s use in the Ceres computations makes his claim plausible, but the printed priority is Legendre’s.

Why squares: the 1809 argument

Gauss assumed that errors have a smooth density \(\varphi\) and that, for repeated measurements of a single quantity, the most probable value is the arithmetic mean. Maximizing \(\prod_i\varphi(y_i-x)\) at \(x=\bar y\) for all samples forces \(\varphi'(\Delta)/\varphi(\Delta)=-k\Delta\), so

\[ \varphi(\Delta)=\frac{h}{\sqrt\pi}\,e^{-h^2\Delta^2}, \]

and maximizing the likelihood then means minimizing \(\sum\Delta_i^2\). Pierre-Simon Laplace soon supplied a different justification through the central limit theorem.

Theorem (Gauss 1821–1823; later named after Markov too)

If \(\mathbb E\varepsilon=0\) and \(\operatorname{Cov}\varepsilon=\sigma^2 I\), then for every vector \(c\), \(c^{\mathsf T}\hat x\) has the smallest variance among all linear unbiased estimators of \(c^{\mathsf T}x\). No normality is assumed.

This second justification, in Theoria combinationis observationum, was the one Gauss himself preferred.

Exercise 8.1Fit \(y=a+bx\) by least squares to the points \((0,1),(1,2),(2,2),(3,4)\).

Show solution
\(\sum x=6,\ \sum x^2=14,\ \sum y=9,\ \sum xy=18\), \(n=4\). Normal equations: \(4a+6b=9\), \(6a+14b=18\). The determinant is 20, so \(a=(126-108)/20=0.9\) and \(b=(72-54)/20=0.9\). The line is \(y=0.9+0.9x\).

Exercise 8.2Show that the mean minimizes \(\sum(y_i-c)^2\) while a median minimizes \(\sum|y_i-c|\). Which is more sensitive to one wild observation?

Show solution
The derivative of \(\sum(y_i-c)^2\) is \(-2\sum(y_i-c)\), zero at \(c=\bar y\). The function \(\sum|y_i-c|\) has slope (number of \(y_i<c\)) minus (number of \(y_i>c\)), which changes sign at a median. Moving one observation far away drags the mean arbitrarily far but leaves the median nearly fixed, so the mean is more sensitive.
Lesson 09

Curved surfaces and the Theorema Egregium

For the general reader. An ant living on a surface, unable to look outside it, can still tell whether the surface is curved by measuring distances and angles. Gauss proved this in 1827 and called it the Theorema Egregium, the remarkable theorem. It explains why no flat map of the Earth can be accurate and it opened the road to Riemann’s geometry and to general relativity.

Goals
  • Define Gaussian curvature extrinsically and through the Gauss map.
  • State the Theorema Egregium and compute curvature from the metric.
  • Apply Gauss’s theorem on geodesic triangles.

Let \(S\subset\mathbb R^3\) be a smooth surface with unit normal \(N\). Gauss defined curvature by the Gauss map \(N:S\to S^2\): the curvature at a point is the limiting ratio of the area of \(N(R)\) on the unit sphere to the area of a small region \(R\). Equivalently \(K=\kappa_1\kappa_2\), the product of the principal curvatures, or in terms of the two fundamental forms,

\[ K=\frac{LN-M^2}{EG-F^2}, \qquad ds^2=E\,du^2+2F\,du\,dv+G\,dv^2. \]
Theorema Egregium (Gauss, 1827, published 1828)

The Gaussian curvature \(K\) depends only on the first fundamental form \(E,F,G\) and its derivatives. Hence \(K\) is preserved by every local isometry. For orthogonal coordinates (\(F=0\)),

\[ K=-\frac{1}{2\sqrt{EG}}\left[\frac{\partial}{\partial u}\Big(\frac{G_u}{\sqrt{EG}}\Big)+\frac{\partial}{\partial v}\Big(\frac{E_v}{\sqrt{EG}}\Big)\right]. \]

Gauss proved the theorem by direct calculation: the numerator \(LN-M^2\) can be rewritten, using the equations of the surface, in terms of \(E,F,G\) and their first and second derivatives alone. In geodesic polar coordinates \(ds^2=dr^2+G(r,\theta)\,d\theta^2\) the formula becomes \(K=-\frac{(\sqrt G)_{rr}}{\sqrt G}\).

Theorem (Gauss, 1827)

For a triangle on \(S\) bounded by geodesics, with interior angles \(\alpha,\beta,\gamma\),

\[ \iint_T K\,dA=\alpha+\beta+\gamma-\pi. \]

Pierre Ossian Bonnet extended this in 1848 to regions with curved boundaries, and the global form \(\iint_S K\,dA=2\pi\chi(S)\) for closed surfaces is the Gauss–Bonnet theorem. Gauss’s work came out of his survey of Hanover (Lesson 11), where he had to project measurements on the curved Earth onto flat maps. He also thought deeply about the parallel postulate and convinced himself, without publishing, that a consistent non-Euclidean geometry exists.

Exercise 9.1On a sphere of radius \(R\), geodesic polar coordinates give \(ds^2=dr^2+R^2\sin^2(r/R)\,d\theta^2\). Compute \(K\).

Show solution
\(\sqrt G=R\sin(r/R)\), so \((\sqrt G)_{rr}=-\frac1R\sin(r/R)\), and \(K=-\frac{(\sqrt G)_{rr}}{\sqrt G}=\frac1{R^2}\).

Exercise 9.2A geodesic triangle on the sphere of radius \(R\) has three right angles. Find its area two ways.

Show solution
It is one octant of the sphere, area \(\tfrac18\cdot4\pi R^2=\tfrac{\pi}{2}R^2\). By Gauss’s theorem, \(\frac1{R^2}\cdot\text{Area}=3\cdot\frac\pi2-\pi=\frac\pi2\), giving the same answer.

Exercise 9.3Use the Theorema Egregium to explain why a sheet of paper can be rolled into a cylinder but not wrapped onto a sphere without stretching.

Show solution
Paper bends without stretching, so it undergoes isometries and keeps \(K=0\). A cylinder has \(\kappa_1=1/r\), \(\kappa_2=0\), so \(K=0\): no obstruction. A sphere has \(K=1/R^2\ne0\), so no isometry from a piece of the plane exists.
Lesson 10

Potential theory and magnetism

For the general reader. From 1831 Gauss worked with the physicist Wilhelm Weber on electricity and the Earth’s magnetism. He showed how to measure magnetic strength in absolute units of length, mass and time, and he wrote down general theorems about forces that fall off as the square of the distance. One of them, Gauss’s law, is one of Maxwell’s four equations.

Goals
  • State and apply Gauss’s law (the divergence theorem form).
  • Understand Gauss’s mean-value theorem for potentials.
  • See how the spherical-harmonic expansion separates internal and external sources of the geomagnetic field.

Flux through a closed surface

Gauss had used the divergence theorem in special cases in his 1813 memoir on the attraction of ellipsoids. For a point mass or charge the key fact is the solid-angle computation.

Gauss’s law

Let \(\mathbf E(\mathbf x)=\sum_j q_j\,\frac{\mathbf x-\mathbf x_j}{|\mathbf x-\mathbf x_j|^3}\) be the field of point sources, and \(\Sigma\) a closed piecewise smooth surface not passing through any \(\mathbf x_j\). Then

\[ \oint_\Sigma\mathbf E\cdot d\mathbf A=4\pi\sum_{\mathbf x_j\ \text{inside}\ \Sigma}q_j. \]

For a continuous density \(\rho\), equivalently \(\nabla\cdot\mathbf E=4\pi\rho\) (in SI units, \(\nabla\cdot\mathbf E=\rho/\varepsilon_0\)).

Gauss’s 1840 memoir Allgemeine Lehrsätze developed the theory of the potential \(V\) with \(\mathbf E=-\nabla V\). Among its results: a harmonic function equals its average over any sphere in its domain, and the equilibrium distribution of charge on a conductor can be found by minimizing an energy integral, an early form of what Riemann later called the Dirichlet principle.

The geomagnetic field

In Allgemeine Theorie des Erdmagnetismus (1839) Gauss wrote the magnetic potential outside a sphere of radius \(a\) as a series of spherical harmonics:

\[ V(r,\theta,\phi)=a\sum_{n\ge1}\sum_{m=0}^{n}\Big(\frac ar\Big)^{n+1}\big(g_n^m\cos m\phi+h_n^m\sin m\phi\big)P_n^m(\cos\theta). \]

Fitting the coefficients to observations, he showed that the field is overwhelmingly of internal origin. The Gauss coefficients \(g_n^m,h_n^m\) are still the standard description of the Earth’s field in the International Geomagnetic Reference Field. In honour of his absolute measurements, the CGS unit of magnetic flux density is called the gauss.

Exercise 10.1A total charge \(Q\) is spread with spherical symmetry inside a ball of radius \(R\). Use Gauss’s law to find \(|\mathbf E|\) at distance \(r>R\).

Show solution
By symmetry \(\mathbf E\) is radial with magnitude \(E(r)\). The flux through the sphere of radius \(r\) is \(4\pi r^2E(r)=4\pi Q\), so \(E=Q/r^2\): the ball acts like a point charge at its centre, the result Newton proved for gravity.

Exercise 10.2Prove the solid-angle step: for a single charge at the origin and a sphere \(\Sigma\) of radius \(r\) around it, the flux is \(4\pi q\) independent of \(r\). Then explain why the flux is 0 for a surface not enclosing the charge.

Show solution
On the sphere \(\mathbf E\cdot d\mathbf A=\frac{q}{r^2}\cdot r^2\,d\Omega=q\,d\Omega\), and \(\int d\Omega=4\pi\). Away from the origin \(\nabla\cdot\frac{\mathbf x}{|\mathbf x|^3}=0\), so if the region bounded by \(\Sigma\) excludes the charge, the divergence theorem gives flux 0.
Part III · Life and legacy
Lesson 11

Survey, telegraph and politics, 1818–1840

In 1816 Gauss moved into the new observatory at Göttingen, where he lived for the rest of his life. His mother joined the household in 1817 and lived there until her death in 1839. In 1818 the Hanoverian government asked him to survey the kingdom and connect it to the Danish survey of Heinrich Christian Schumacher, a former student and lifelong friend. From 1821 to 1825 Gauss spent his summers in the field, measuring angles between church towers and hilltops. He invented the heliotrope, a mirror instrument that reflects sunlight to a distant station, to make long sightlines visible. The survey’s computations, by least squares, occupied him for years, and the geometric problems it raised fed directly into his 1828 memoir on surfaces.

His teaching load was light and he disliked lecturing to unprepared students, but he supervised several doctoral students who became important: the astronomer Christian Ludwig Gerling, the geometer Karl von Staudt, Johann Benedict Listing, a pioneer of topology, and later Richard Dedekind and Bernhard Riemann. August Ferdinand Möbius and Johann Franz Encke also studied with him.

Weber and the Göttingen Seven

In 1831 Gauss supported the appointment of the young physicist Wilhelm Weber. The two became close collaborators. In 1832 Gauss made the first absolute measurement of the Earth’s magnetic field. In 1833 they strung a wire about a kilometre long over the roofs of Göttingen between the observatory and the physics laboratory and sent messages along it, one of the first working electromagnetic telegraphs. In 1836 they founded the Göttingen Magnetic Union, a network of observatories making simultaneous measurements.

The collaboration was broken by politics. In 1837 the new King Ernst August of Hanover revoked the liberal constitution of 1833. Seven Göttingen professors protested and were dismissed, among them Weber and the orientalist Heinrich Ewald, husband of Gauss’s daughter Wilhelmine. Gauss, conservative by temperament, did not join the protest and could not reverse the dismissals. Weber returned to Göttingen in 1849. Gauss’s second wife Minna had died in 1831 after a long illness. In 1838 the Royal Society awarded him the Copley Medal.

DiscussionGauss’s motto was pauca sed matura, “few but ripe”. He left many results unpublished, including non-Euclidean geometry and elliptic functions, which others later found independently. Discuss the costs and benefits of this habit for Gauss, for those who rediscovered his results, and for mathematics.

Lesson 12

Last years and legacy, 1840–1855

In his later years Gauss turned more to practical matters. He reorganized the Göttingen widows’ fund, studied actuarial questions and invested successfully in bonds. He learned Russian in his sixties in order to read Lobachevsky in the original. Farkas Bolyai had sent him the appendix of his son János Bolyai on non-Euclidean geometry, and in March 1832 Gauss replied that he could not praise it without praising himself, since it matched his own long-held views. The reply wounded the younger Bolyai.

In July 1849 Göttingen celebrated the fiftieth anniversary of his doctorate. For the occasion he gave his fourth proof of the fundamental theorem of algebra. Among the mathematicians present was Peter Gustav Lejeune Dirichlet. In 1851 he approved Riemann’s doctoral thesis, and in 1854 he chose, from three topics Riemann proposed for his habilitation lecture, the foundations of geometry. Riemann’s lecture of 10 June 1854 generalized Gauss’s intrinsic geometry of surfaces to any number of dimensions, and is said to have impressed the old man deeply.

Gauss’s health declined in 1854. His last outing was to see the opening of the railway from Hanover to Göttingen. He died in his sleep at the observatory on 23 February 1855, aged 77, and was buried in the Albani cemetery in Göttingen. Dirichlet was called from Berlin to succeed him.

Legacy

  • Number theory: congruences, reciprocity laws, quadratic forms and class groups, cyclotomy and Gauss sums are the starting points of algebraic number theory, from Kummer and Dedekind to class field theory.
  • Geometry: intrinsic curvature led through Riemann to modern differential geometry and to Einstein’s theory of gravity.
  • Statistics and numerics: least squares, the normal distribution, Gaussian elimination, Gaussian quadrature and an early form of the fast Fourier transform, found in his work on asteroid orbits.
  • Physics: Gauss’s law, absolute units, geomagnetic modelling; the CGS unit of magnetic flux density is named after him.
  • Collected works: the Werke, in twelve volumes (1863–1933), include his diary and many unpublished papers.

Final projectPick one result from Part II and trace it forward: state Gauss’s version, then one modern generalization (for example cyclotomy to Galois theory, quadratic forms to class groups, the Theorema Egregium to Riemannian curvature, least squares to linear regression). Explain in two pages what was gained by the generalization.

Reference

Connections

People linked to Carl Friedrich Gauss across this collection. A name without a link has no page here yet. See Carl Friedrich Gauss in the network of all 337 lives →

Teachers and advisors

  • Johann Friedrich Pfaff 1799

Students

Influenced by

Influenced

Colleagues and collaborators

Rivals

Friends

  • János Bolyai 1796-1855
  • Heinrich Christian Schumacher
  • Heinrich Wilhelm Olbers 1802-1840
  • Martin Bartels

Family

  • Heinrich Ewald

Also mentioned in this life

Fields

On CoursesHub

Reference

Sources and further reading

Biography

  1. J. J. O’Connor and E. F. Robertson, Johann Carl Friedrich Gauss, MacTutor History of Mathematics.
  2. Carl Friedrich Gauss, Wikipedia (with extensive references).
  3. Gauss’s diary, Wikipedia.
  4. W. K. Bühler, Gauss: A Biographical Study, Springer, 1981.
  5. G. W. Dunnington, Carl Friedrich Gauss: Titan of Science, 1955; reissued by the MAA, 2004.
  6. W. Sartorius von Waltershausen, Gauss zum Gedächtniss, Leipzig, 1856.

Mathematics

  1. C. F. Gauss, Disquisitiones Arithmeticae, Leipzig, 1801; English translation by A. A. Clarke, Yale, 1966.
  2. C. F. Gauss, Theoria motus corporum coelestium, Hamburg, 1809.
  3. C. F. Gauss, Disquisitiones generales circa superficies curvas, 1828; English translation, General Investigations of Curved Surfaces, Dover.
  4. C. F. Gauss, Werke, 12 vols., Göttingen, 1863–1933.
  5. D. A. Cox, Primes of the Form \(x^2+ny^2\), Wiley, 2nd ed. 2013.
  6. K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, Springer, 1990.
  7. J. M. Borwein and P. B. Borwein, Pi and the AGM, Wiley, 1987.
  8. M. P. do Carmo, Differential Geometry of Curves and Surfaces, Prentice-Hall, 1976.
  9. S. M. Stigler, The History of Statistics, Harvard, 1986.
  10. F. Lemmermeyer, Reciprocity Laws: From Euler to Eisenstein, Springer, 2000.