Men of Mathematics (46 page)

The
Disquisitiones
was the first of Gauss' masterpieces and by some considered his greatest. It was his farewell to pure mathematics as an exclusive interest. After its publication in 1801 (Gauss was then twenty four), he broadened his activity to include astronomy, geodesy, and electromagnetism in both their mathematical and practical aspects. But arithmetic was his first love, and he regretted in later life that he had never found the time to write the second volume he had planned as a young man. The book is in seven “sections.” There was to have been an eighth, but this was omitted to keep down the cost of printing.

The opening sentence of the preface describes the general scope of the book. “The researches contained in this work appertain to that part of mathematics which is concerned with integral numbers, also fractions, surds [irrationals] being always excluded.”

The first three sections treat the theory of congruences and give in particular an exhaustive discussion of the binomial
congruence x
ⁿ
m A
(mod
p
), where the given integers n,
A
are arbitrary and
p
is prime; the unknown integer is
x.
This beautiful
arithmetical
theory has many resemblances to the corresponding
algebraic
theory of the binomial
equation x
ⁿ
=
A,
but in its peculiarly arithmetical parts is incomparably richer and more difficult than the algebra which offers no analogies to the arithmetic.

In the fourth section Gauss develops the theory of quadratic residues. Here is found the first published
proof
of the law of quadratic reciprocity. The proof is by an amazing application of mathematical induction and is as tough a specimen of that ingenious logic as will be found anywhere.

With the fifth section the theory of
binary quadratic forms
from the arithmetical point of view enters, to be accompanied presently by a discussion of
ternary
quadratic forms which are found to be necessary for the completion of the binary theory. The law of quadratic reciprocity plays a fundamental part in these difficult enterprises. For the first forms named the general problem is to discuss the solution in integers x,
y
of the indeterminate equation

ax
²
+ 2bxy + cy
²
= m,

where
a, b, c, m
are any given integers; for the second, the integer solutions x,
y, z
of

ax
²
+
2bxy + cy
²
+
2dxz
+
2eyz +fz
²
= m,

where
a,
6,
c, d, e, f, m,
are any given integers, are the subject of investigation. An easy-looking but hard question in this field is to impose necessary and sufficient restrictions upon
a, c, f, m
which will ensure the existence of a solution in integers x,
y, z
of the indeterminate equation

ax
²
+
cy
²
+ fz
²
= m.

The sixth section applies the preceding theory to various special cases, for example the integer solutions x,
y
of
mx
²
+ ny
²
=
A,
where m,
n, A
are any given integers.

In the seventh and last section, which many consider the crown of the work, Gauss applies the preceding developments, particularly the theory of binomial congruences, to a wonderful discussion of the algebraic equation
x
ⁿ
= 1, where
n
is any given integer, weaving together arithmetic, algebra, and geometry into one perfect pattern. The equation
x
ⁿ
= 1 is the
algebraic
formulation of the geometric problem to construct a regular polygon of
n
sides, or to divide the circumference of a circle into
n
equal parts (consult any secondary text book on algebra or trigonometry); the
arithmetical congruence x
^M
≡ 1
(mod
p
), where
m, p
are given integers, and
p
is prime, is the thread which runs through the algebra and the geometry and gives the pattern its simple meaning. This flawless work of art is accessible to any student who has had the usual algebra offered in school, but the
Disquisitiones
is not recommended for beginners (Gauss' concise presentation has been reworked by later writers into a more readily assimilable form).

Many parts of all this had been done otherwise before—by Fermat, Euler, Lagrange, Legendre and others; but Gauss treated the whole from his individual point of view, added much of his own, and deduced the isolated results of his predecessors from his general formulations and solutions of the relevant problems. For example, Fermat's beautiful result that every prime of the form 4n + 1 is a sum of two squares, and is such a sum in only one way, which Fermat proved by his difficult method of “infinite descent,” falls out naturally from Gauss' general discussion of binary quadratic forms.

“The
Disquisitiones Arithmeticae
have passed into history,” Gauss said in his old age, and he was right. A new direction was given to the higher arithmetic with the publication of the
Disquisitiones,
and the theory of numbers, which in the seventeenth and eighteenth centuries had been a miscellaneous aggregation of disconnected special results, assumed coherence and rose to the dignity of a mathematical science on a par with algebra, analysis, and geometry.

The work itself has been called a “book of seven seals.” It is hard reading, even for experts, but the treasures it contains and (partly conceals) in its concise, synthetic demonstrations are now available to all who wish to share them, largely the result of the labors of Gauss' friend and disciple Peter Gustav Lejeune Dirichlet (18051859), who first broke the seven seals.

Competent judges recognized the masterpiece for what it was immediately.
Legendre
^III
at first may have been inclined to think that Gauss had done him but scant justice. But in the preface to the second edition of his own treatise on the theory of numbers (1808), which in large part was superseded by the
Disquisitiones,
he is enthusiastic. Lagrange also praised unstintedly. Writing to Gauss on May 31, 1804 he says “Your
Disquisitiones
have raised you at once to the rank of the first mathematicians, and I regard the last section as containing the most beautiful analytical discovery that has been made for a long time. . . . Believe, sir, that no one applauds your success more sincerely than I.”

Hampered by the classic perfection of its style the
Disquisitiones
was somewhat slow of assimilation, and when finally gifted young men began studying the work deeply they were unable to purchase copies, owing to the bankruptcy of a bookseller. Even Eisenstein, Gauss' favorite disciple, never owned a copy. Dirichlet was more fortunate. His copy accompanied him on all his travels, and he slept with it under his pillow. Before going to bed he would struggle with some tough paragraph in the hope—frequently fulfilled—that he would wake up in the night to find that a re-reading made everything clear. To Dirichlet is due the marvellous theorem, mentioned in connection with Fermat, that every arithmetical progression

a, a
+
b
,
a
+ 2
b
,
a
+ 3
b, a +
4
b
, . . . ,

in which
a, b
are integers with no common divisor greater than 1, contains an infinity of primes. This was proved by analysis, in itself a miracle, for the theorem concerns integers, whereas analysis deals with the
continuous,
the
non-integral.

Dirichlet did much more in mathematics than his amplification of the
Disquisitiones,
but we shall not have space to discuss his life. Neither shall we have space (unfortunately) for Eisenstein, one of the brilliant young men of the early nineteenth century who died before their time and, what is incomprehensible to most mathematicians, as the man of whom Gauss is reported to have said, “There have been but three epoch-making mathematicians, Archimedes, Newton, and Eisenstein.” If Gauss ever did say this (it is impossible to check) it
deserves attention merely because he said it, and he was a man who did not speak hastily.

Before leaving this field of Gauss' activities we may ask why he never tackled Fermat's Last Theorem. He gives the answer himself. The Paris Academy in 1816 proposed the proof (or disproof) of the theorem as its prize problem for the period 1816-18. Writing from Bremen on March 7, 1816, Olbers tries to entice Gauss into competing: “It seems right to me, dear Gauss, that you should get busy about this.”

But “dear Gauss” resisted the tempter. Replying two weeks later he states his opinion of Fermat's Last Theorem. “I am very much obliged for your news concerning the Paris prize. But I confess that Fermat's Theorem as an isolated proposition has very little interest for me, because I could easily lay down a multitude of such propositions, which one could neither prove nor dispose of.”

Gauss goes on to say that the question has induced him to recall some of his old ideas for a great extension of the higher arithmetic. This doubtless refers to the theory of algebraic numbers (described in later chapters) which Kummer, Dedekind, and Kronecker were to develop independently. But the theory Gauss has in mind is one of those things, he declares, where it is impossible to foresee what progress shall be made toward a distant goal that is only dimly seen through the darkness. For success in such a difficult search one's lucky star must be in the ascendency, and Gauss' circumstances are now such that, what with his numerous distracting occupations, he is unable to give himself up to such meditations, as he did “in the fortunate years 1796-1798 when I shaped the main points of the
Disquisitiones Arithmeticae.
Still I am convinced that if I am as lucky as I dare hope, and if I succeed in taking some of the principal steps in that theory, then Fermat's Theorem will appear as only one of the least interesting corollaries.”

Probably all mathematicians today regret that Gauss was deflected from his march through the darkness by “a couple of clods of dirt which we call planets”—his own words—which shone out unexpectedly in the night sky and led him astray. Lesser mathematicians than Gauss—Laplace for instance—might have done all that Gauss did in computing the orbits of Ceres and Pallas, even if the problem was of a sort which Newton said belonged to the most difficult in mathematical astronomy. But the brilliant success of Gauss in these matters
brought him instant recognition as the first mathematician in Europe and thereby won him a comfortable position where he could work in comparative peace; so perhaps those wretched lumps of dirt were after all his lucky stars.

*  *  *

The second great stage in Gauss' career began on the first day of the nineteenth century, also a red-letter day in the histories of philosophy and astronomy. Since 1781 when Sir William Herschel (17381822) discovered the planet Uranus, thus bringing the number of planets then known up to the philosophically satisfying seven, astronomers had been diligently searching the heavens for further members of the Sun's family, whose existence was to be expected, according to Bode's law, between the orbits of Mars and Jupiter. The search was fruitless till Giuseppe Piazzi (1746-1826) of Palermo, on the opening day of the nineteenth century, observed what he at first mistook for a small comet approaching the Sun, but which was presently recognized as a new planet—later named Ceres, the first of the swarm of minor planets known today.

By one of the most ironic verdicts ever delivered in the agelong litigation of fact versus speculation, the discovery of Ceres coincided with the publication by the famous philosopher Georg Wilhelm Friedrich Hegel (1770–1831) of a sarcastic attack on astronomers for presuming to search for an eighth planet. Would they but pay some attention to philosophy, Hegel asserted, they must see immediately that there can be precisely seven planets, no more, no less. Their search therefore was a stupid waste of time. Doubtless this slight lapse on Hegel's part has been satisfactorily explained by his disciples, but they have not yet talked away the hundreds of minor planets which mock his Jovian ban.

It will be of interest here to quote what Gauss thought of philosophers who busy themselves with scientific matters they have not understood. This holds in particular for philosophers who peck at the foundations of mathematics without having first sharpened their dull beaks on some hard mathematics. Conversely, it suggests why Bertrand A. W. Russell (1872- ), Alfred North Whitehead (1861) and David Hilbert (1862- ) in our own times have made outstanding contributions to the philosophy of mathematics: these men are mathematicians.

Writing to his friend Schumacher on November 1, 1844, Gauss says
“You see the same sort of thing [mathematical incompetence] in the contemporary philosophers Schelling, Hegel, Nees von Essenbeck, and their followers; don't they make your hair stand on end with their definitions? Read in the history of ancient philosophy what the big men of that day—Plato and others (I except Aristotle)—gave in the way of explanations. But even with Kant himself it is often not much better; in my opinion his distinction between analytic and synthetic propositions is one of those things that either run out in a triviality or are false.” When he wrote this (1844) Gauss had long been in full possession of non-Euclidean geometry, itself a sufficient refutation of some of the things Kant said about “space” and geometry, and he may have been unduly scornful.