Ex Libris

Apostol's ice-cream-cone proof — click image for the entire page.

In high school, the fact that the conic sections are derived from the cone was mentioned in passing, but they were defined in the plane by their equations and tied to their focal properties. So seeing the Dandelin spheres in Apostol fifty years ago was a revelation, effective and surpassingly elegant. He called it the ice-cream-cone proof, virtually a proof by picture that a cone cut obliquely by a plane results in an ellipse as defined by its focal property. The book in question is Calculus, Volume I, by Tom Apostol^[1], among my top three favorite books all-time, first for math. Originally published by Blaisdell in 1961 in large format — unusual in that day, 10" x 7" — Apostol did not condescend, but did not batter you either. After many miles, you look back on an old teacher and think, he did that perfectly, not fully comprehending yourself that he taught you once and for all what mathematical taste is one day in 1965. The book is deeply informed by history altogether apart from the historical introductions, economical and suggestive of hidden depths as they are. Some subjects are one with their own history, philosophy for example, and math is a little like that.

Paul Erdős ~1993.

Bertrand's Conjecture is:

For every integer \( n > 1 \), there is a prime number \( p \) such that:\[ n < p < 2n. \]

It's simple and easy to understand and seems certain, considering the plethora of primes (an infinite number!) and how dense they are — about 6% of all integers in the vicinity of 10,000,000, for example, and reasonably distributed. All the same, it took real work to prove it. Bertrand made the conjecture offhandedly in a celebrated paper in 1845 based on examining numbers up to 6,000,000.^[1] Chebyshev proved it convincingly in 1852 and in a way foreshadowing further developments — this is where he introduced \( \theta(x) = {\sum_{p \leq x} \log p} \)^[2]; Chebyshev's proof was inspired but involved some forbidding calculations leading to the thought, "Surely this can be done easier". It can, as Paul Erdős proved in 1932 in his first published article at the age of 19^[3].

Think of a square in the plane and how it can be rotated around its center to coincide with its original position. There are four rotations altogether — 90°, 180°, 270°, and 360° clockwise, the last bringing the square back to its original configuration. You wouldn't even know the square had been moved unless the corners were somehow distinguished. Starting at the upper left, number the corners 1, 2, 3, 4 in clockwise fashion in order to track the rotations, so that a 90° rotation is identified with the cyclic permutation \( (1 2 3 4) \). In essence, you're rotating around a z axis perpendicular to the plane through the center of the square. You can also rotate around an x, or horizontal, axis through the center of the square. The square comes out of the plane, but is pinned at the middles of the left and right edges as it rotates around that axis through space by 180° — the result is the same whichever way the rotation proceeds, the permutation \( (1 4) (2 3) \). There is a similar vertical rotation, and rotations around each diagonal. These eight rotations form a group, the rigid motions of the square, and the same can be done for any regular polygon. These are the dihedral groups, \( D_4 \) in the case of the square. \( D_n \) has \( 2n \) elements and these groups are nice concrete examples of finite groups.

State Journal front page — Sep 4, 1952.

Scott Milfred is out the other day with Newspaper has stood for public good — for 175 years, meaning the paper he is the editorial page editor of, the Wisconsin State Journal. These folks seem to realize they are almost down for the count and are scurrying around trying to justify themselves and their often baleful enterprise before the final round. Milfred has a taste for authoritarianism (centrist authoritarianism though, no worries), so perhaps it's no surprise to see him taking liberties on the subject of Joe McCarthy and the State Journal — not a 100% supporter!

It is almost beyond belief reading of the antics of the late Senator from Wisconsin, how he cowed the press and political elite, becoming virtual co-president of the republic. Criticize Ted Cruz all you want, he is a statesman compared to McCarthy, a drunken buffoon and known as such by anyone who had ever been in the same room with him. I recommend Richard Rovere's timeless account^[1], written shortly after the fact. Rovere calls McCarthy a gifted demagogue in the first sentence and follows with "no bolder seditionist ever moved among us — nor any politician with a surer, swifter access to the dark places of the American mind."

A. L. Cauchy 1789 - 1857

The history of any subject is like a great river, the central channel meandering but ultimately driving down to the sea, with side branches veering off here and there along the shore to make their own way. Some of those rivulets find their way back to the main course, others peter out in a swamp, the two exchanging places as blockages and torrential rains come into play. Powerful underground springs interact with topography and gravity to govern the web of flowing water in mysterious ways. And all changing year by year as Mark Twain said of the old Mississippi.

Cauchy's early work on permutations was pivotal in the literal sense of that word. He harkened back to the preoccupations and problems of predecessors immediate and remote, recasting them into a new framework whose foundations last to this day and constitute the essential basis of group theory. Granted, everything in sight is a permutation group and it took some time for an abstract group theory to form and emancipate itself from early origins, even to outgrow the connection with algebraic functions and the term substitution (Cauchy's term for permutation). Camille Jordan's path-breaking book in 1870, for example, was titled Traité des substitutions et des équations algébriques, Eugen Netto's in 1882 Substitutionentheorie und ihre Anwendung auf die Algebra.

MM. Lagrange and Vandermonde are, I believe, the first who considered functions of several variables relative to the number of values they can return, when these variables are substituted for each other.

Noted historian of mathematics Carl Boyer called Euler's Introductio in Analysin Infinitorum "the foremost textbook of modern times"^[1] (guess what is the foremost textbook of all times). Published in two volumes in 1748, the Introductio takes up polynomials and infinite series (Euler regarded the two as virtually synonymous), exponential and logarithmic functions, trigonometry, the zeta function and formulas involving primes, partitions, and continued fractions. That's Book I, and the list could continue; Book II concerns analytic geometry in two and three dimensions. The Introductio was written in Latin^[2], like most of Euler's work. This article considers part of Book I and a small part. The Introductio has been massively influential from the day it was published and established the term "analysis" in its modern usage in mathematics. It is eminently readable today, in part because so many of the subjects touched on were fixed in stone from that day till this, Euler's notation, terminology, choice of subject, and way of thinking being adopted almost universally.

René Descartes in 1648.

Everyone knows that Descartes founded analytic geometry with his little essay La Géométrie, published in 1637 as an appendix and proof-of-concept for a work on philosophy, Discourse on Method. As always, the story is more complex and interesting than that. The canonical modern work in English is History of Analytic Geometry^[1] by Carl Boyer, which includes this from his much-admired antecedent Gino Loria (1862-1954):

In truth, whoever studies thoroughly the treatise of Apollonius on Conics must confess the profound analogy it bears to an exposition of the properties of the curves of second degree by means of Cartesian coordinates; not only do the fundamental properties employed by the Greek geometer to distinguish the three curves one from the other translate into the canonical equations of the same in Descartes' method, but many of the reasonings given, when translated into the ordinary language of algebra, answer to elimination, solution of equations, transformation of coordinates, and the like. What we would however seek in vain in the Greek geometer is the concept of a system of axes, given a priori, of the figure to be studied.

The predecessor of the Wisconsin State Journal was founded in Madison in 1839 when Wisconsin was a rude territory, and as Whigs they endorsed William Henry Harrison in 1840 - Wikipedia has a great write-up on this paper over the years. The State Journal played a heroic role as anti-slavery crusaders in the Glover case in Milwaukee in 1854, helping to defy the Fugitive Slave Act and spring recaptured slave Joshua Glover from jail (I remember reading about it circa 1970 in Eric Foner's Free Soil, Free Labor, Free Men and feeling oddly proud of my hometown paper). Like many Whigs, including Abraham Lincoln, they became Republicans and duly endorsed the Great Emancipator. They became a progressive and even muckraking organ in the period 1890-1916. Since then they've been a reliable right ring mouthpiece, recent timid attempts to transcend that heritage notwithstanding. They were virulent jingoists in the First World War, scurrilously attacking Fighting Bob La Follette. They were shameful McCarthyites from the get-go, endorsing him in every one of his state-wide campaigns, including the first run for Senate in 1944, when they were one of four papers to do so and the only one outside the Appleton area. They broke their workers' strike in 1977 (I was on the board of the strikers' paper, the Press Connection).

Issac Newton in 1689, at the height of his powers (age 46).

Nature and Nature's Laws lay hid in Night:
God said, 'Let Newton be!' and all was Light.

- Alexander Pope

Kepler's laws of planetary motion are:

1. The orbit of a planet is an ellipse with the Sun at one focus.
2. A line from a planet to the Sun sweeps out equal areas in equal times.
3. The square of the time of revolution of a planet is proportional to the cube of the transverse axis of its elliptical orbit, with the same constant of proportionality for all planets.