Algebraic Symmetries
III. Neue Entdeckungen.
Es ist jedem der Geometrie bekannt, dass
verschiedene ordentliche Vielecke, namentlich das
Dreyeck, Viereck, Funfzehneck, und die,welche durch
wiederholte Verdoppelung der Seitenzahl eines derselben
entstehen, sich geometrisch construiren lassen. So weit
war man schon zu Euklids Zeit, und es scheint, man habe
sich seitdem allgemein , dass das Gebiet der
Elementargeometrie sich nicht weiter erstrecke: wenigstens
kenne ich keinen Versuch, ihre Grenzen
auf dieser Seite zu erweiten.
Desto mehr, mich, verdient die Entdeckung
Aufmerksamkeit, dass ausser jenen ordentlichen Vielecken
noch eine Menge anderer, z. B,. das Siebenzehneck, einer geometrischen
Construction ist. Diese Entdeckung ist
eigentlich nur ein Corollarium einer noch nicht ganz vollendeten
Theorie von Umfange, und sie soll,
sobald diese ihre Vollendung erhalten hat, dem Publicum
vorgelegt werden.
C. F. Gauss, a. Braunschweig,
Stud. der Mathematik zu .
Es verdient angemerkt zu werden, dass Hr. Gauss
jetzt in seinem 18ten Jahr steht, und sich hier in Braunschweig
mit eben so gl¨ucklichem Erfolg der Philosophie
und der classischen Litteratur als der
Mathematik
gewidmet hat.
Den 18 April 96.
E. A. W. Zimmermann, Prof.
Die Allgemeine Literatur-Zeitung
From Meyers Lexikon:
This review appeared in Jena from 1785 to 1803 and in Halle from 1804 to 1849
and
was a leading organ of German classical and romantic literature. Goethe,
Schiller and
Kant were among the editors and authors. It moved to Halle as a result of an e
ort of
the romantics to increase their control over the review and was replaced in
Jena, on the
initiative of Goethe by the Jenaische Allgemeine Literatur-Zeitung.
Gauss
Gauss, who was born in 1777, wrote the Disquisitones between 1796 and 1798, thus
between his nineteenth and twenty- first years. It did not appear until 1801. It
contains a
great deal in the way both of theorems and theories, the most important being:
1. Proof of law of quadratic reciprocity. The statement was already known at
the
time, but even the best of the eighteenth century mathematicians were unable to
find a
proof. It remains a central mathematical theorem.
2. Developed the theory of binary quadratic forms. In particular, he
introduced
the notion of composition of quadratic forms and established its properties .
Although
in some respects, namely in the context of the notion of ideal number,
composition has
become a common working tool of all algebraists and number -theorists, Gauss's
theory
itself is still difficult and little known. His form of the theory would appear
to be that best
suited to computation.
3. Cyclotomic fields. The construction of the regular heptadecagon, and,
more generally,
the analysis of the numbers formed from roots of unity . This is thus one of the
earliest manifestations of Galois theory. Gauss presumably knew more than he
included
in the book, but he, apparently, published very little more on the subject.
His thesis of 1799 established, in effect and for the first time, that every
polynomial
equation has a root.
As the root may be complex and the thesis did not refer to
complex numbers, the formulation
of the thesis was necessarily somewhat different . I have already emphasized that
this
is a basic mathematical fact.
These are all theories and results to which the contributions of Gauss are
clear. In
addition , he appears to have occupied himself as a very young man, even as an
adolescent,
with other important problems and observations, for example, with the nature of
geometries
in which the parallel axiom of Euclid is not satisfied and with the
arithmetic -geometric
mean, which is both an elementary and an advanced topic. Here, however, the
evidence is
different. It consists of Gauss's recollections as a somewhat saturnine older
man, so that
it appears to be difficult to disentangle what he himself discovered later, what
he learned
from other authors as an adolescent { he had an early and extensive acquaintance
with the
work of various leading eighteenth century mathematicians { as well as what he
learned
later, from what he discovered early. One could certainly spend a lot of time
with Gauss's
Collected Works and with his correspondence, reflecting on these matters.
One extremely useful reference is a diary that Gauss kept between 1796 and 1814,
with 146 entries that record his principal discoveries. The lemniscate function
to which, as
I noticed, Gauss alludes in the first lines of chapter 7 of the Disquisitiones
appears several
times . I was asked what Gauss what may have meant with his allusion to the
lemniscate.
A brief examination of the diary and of the collected works, which contain ample
editorial
comments, makes perfectly clear what Gauss knew. Although it is a digression
from my
main purpose, it is worthwhile to tarry a little on the matter.
The goal of this year's lectures is after all to communicate, starting at the
beginning,
some genuine mathematical understanding, beyond the gee-whiz or what I refer to
as the
Jack Horner manner, of recent achievements in number theory, and it would be a
shame,
since we are now in a position to appreciate a more detailed explanation of
Gauss's allusion,
to let slip the occasion of acquiring more concrete information.
Gauss was an overwhelming presence in nineteenth century mathematics, Even
though
he exerted little active influence. The German pre-eminence in mathematics as a
whole,
and in certain domains such as number theory in particular, that lasted
throughout the
nineteenth century and until the early thirties is due in good part to him,
although the
Prussian university system was probably also a significant factor. I have not
studied these
matters. Oddly enough it appears to have been
Weil who was most thoroughly
imbued with the aspirations of German number theory, both through direct,
personal
experience as a young man during the twenties and through his studies of variou
nineteenth
century authors. Simplifying, for the purposes of brevity, an elaborate
development in
which a large number of mathematicians took part, one might say that he not only
brought
it intact through the war at its highest level but also was the principal source
of its
transformation into the theories that were finally and successfully exploited in
the proof
of Fermat's theorem.
His major contribution was, oddly enough, a set of conjectures, the Weil
conjectures,
now demonstrated, but by others. He is, in various comments to his papers, quite
explicit
about the relation of these conjectures to Gauss and the lemniscate.
I quote from Weil's Two lectures on number theory, past and present, an essay I
recommend to your attention.
"In 1947, in Chicago, I felt bored and depressed and, not knowing what to do, I
started reading
Gauss's two memoirs on biquadratic residues, which I had never read
before....This
led me in turn to some conjectures."
A few lines later Weil draws attention to the very last
entry in Gauss's diary, an entry to
which we shall come in a moment.
Digression
The digression at first sight seems to demand some knowledge of the
calculus, but it does not. I first write down a formula that may be familiar
to some, but not to all. No matter! Do not puzzle over the left side. It is
no more than the mathematician's usual fastidious way of writing down the
length of the arc from the point (1, 0) on the circle to the point (x, y) and
that is what we mean by θ, which of course has to be measured in radians,
thus in units in which the radius is 1, but that is the unit chosen. If
then y = sin( θ). If y = 1 then θ= π/2.
We now do something similar for the lemniscate, a curve
defined by the
equation
The lemniscate is the curve in the form of a bow. The
point (x, y) is the
point where the line through the points (0, 0) and (1, u) cut the curve. The
length of the curve from (1, 0) to the point (x, y) is expressed mathematically
as
Once again, there is no need to be troubled by the
integral. It is again just a
way of expressing the length of an arc of a curve. Observe that θ plays
here
the role of the angle in a circle measured in radians. Gauss wrote
If u = 1, then θ is some number that I call, following Gauss,
. Thus
is the length of the upper loop on the right
running from (1, 0) to (0, 0).
Constructing a regular triangle, a regular pentagon, or a
regular heptadecagon
is the problem of dividing the total circumference of the circle into
three, five or seventeen arcs of equal length. We could consider the same
problem for the lemniscate, taking the initial point, which is now important
as it was not, because of symmetry, for the circle, to be the point (0, 1). In
an entry for March 19, 1797 Gauss notes that this leads to an equation for
u of degree m2, whereas for the circle it was an equation of degree
m. In
the cases already considered, m was 3 or 5. We remove one easy root, u = 0
corresponding to the first point of division. This leads to equations of degree
m − 1 or for a lemniscate m2 − 1. In a later entry, apparently for
April 15,
he observes there is a problem of separating the real roots of this equation
from the complex. He is seeking the real roots. The corresponding equation
for the circle, thus for y, has only real roots. It is the numbers x + iy that
are complex. The real roots of the equation of degree m2−1 give the
division
points and there are m− 1 of them.
In an entry dated March 21, he observes implicitly (all the entries are
cryptic) that these m − 1 roots are numbers that can be constructed with a
ruler and compass .
Prev | Next |