An algebra and trigonometry–based proof of Kepler’s First Law

The proofs of Kepler’s Three Laws are usually included in textbooks for multivariable calculus. So I was very intrigued when I saw, in the Media Reviews of College Mathematics Journal, that somebody had published a proof of Kepler’s First Law that only uses algebra and trigonometry. Let me quote from the review:

Kepler’s first law states that bounded planetary orbits are elliptical. This law is presented in introductory textbooks, but the proof typically requires intricate integrals or vector analysis involving an accidental degeneracy. Simha offers an elementary proof of Kepler’s first law using algebra and trigonometry at the high school level.

https://doi.org/10.1080/07468342.2022.2026089

Once upon a time, I taught Precalculus for precocious high school students. I wish I had known of this result back then, as it would have been a wonderful capstone to their studies of trigonometry and the conic sections.

The preprint of this result can be found on arXiv. (The proof only addresses Kepler’s First Law and not the Second and Third Laws.) The actual article, for those with institutional access, was published in American Journal of Physics Vol. 89 No. 11 (2021): 1009-1011.

Square roots and Logarithms Without a Calculator: Index

I’m doing something that I should have done a long time ago: collect past series of posts into a single, easy-to-reference post. The following posts formed my series on computing square roots and logarithms without a calculator (with the latest post added).

Part 1: Method #1: Trial and error.

Part 2: Method #2: An algorithm comparable to long division.

Part 3: Method #3: Introduction to logarithmic tables.

Part 4: Finding antilogarithms with a table.

Part 5: Pedagogical and historical thoughts on log tables.

Part 6: Computation of square roots using a log table.

Part 7: Method #4: Slide rules

Part 8: Method #5: By hand, using a couple of known logarithms base 10, the change of base formula, and the Taylor approximation \ln(1+x) \approx x.

Part 9: An in-class activity for getting students comfortable with logarithms when seen for the first time.

Part 10: Method #6: Mentally… anecdotes from Nobel Prize-winning physicist Richard P. Feynman and me.

Part 11: Method #7: Newton’s Method.

Part 12: Method #8: The formula \sqrt{b} \approx \displaystyle \frac{a+b}{2\sqrt{a}}

Abraham Lincoln and Geometry

While re-reading the wonderful parallel biography Team of Rivals: The Political Genius of Abraham Lincoln by Doris Kearns Goodwin, I was reminded of this passage from Lincoln’s time on the Illinois traveling law circuit in the 1850s, the interlude between his term in the House of Representatives and his ascent to the presidency:

Life on the circuit provided Lincoln the time and space he needed to remedy the “want of education” he regretted all his life. During his nights and weekends on the circuit, in the absence of domestic interruptions, he taught himself geometry, carefully working out propositions and theorems until he could proudly claim that he had “nearly mastered the Six-books of Euclid.” His first law partner, John Stuart, recalled that “he read hard works — was philosophical — logical —mathematical — never read generally.”

[Law partner William] Herndon describes finding him one day “so deeply absorbed in study he scarcely looked up when I entered.” Surrounded by “a quantity of blank paper, large heavy sheets, a compass, a rule, numerous pencils, several bottles of ink of various colors, and a profusion of stationery,” Lincoln was apparently “struggling with a calculation of some magnitude, for scattered about were sheet after sheet of paper covered with an unusual array of figures.” When Herndon inquired what he was doing, he announced “that he was trying to solve the difficult problem of squaring the circle.” To this insoluble task posed by the ancients over four thousand years earlier, he devoted “the better part of the succeeding two days… almost to the point of exhaustion.”

Doris Kearns Goodwin, Team of Rivals: The Political Genius of Abraham Lincoln, pages 152-153

I have two thoughts on this: one mathematical, and one political (albeit the politics of the 19th century).

I must admit that I’m charmed by the mental image of Lincoln, like so many amateur (and professional) mathematicians before and after him, deeply engrossed after a hard day’s work by the classical problem of squaring the circle, described by Wikipedia as “the challenge of constructing a square with the area of a circle by using only a finite number of steps with a compass and straightedge.”

A subtle historical detail was left out of the above account, one that I would not expect a popular history book to include. While it’s known today that squaring the circle is impossible, this was not a settled question during Lincoln’s lifetime. Indeed, the impossibility of squaring the circle was settled in 1882, seventeen years after Lincoln’s death, when Ferdinand von Lindemann proved the transcendence of \pi — that \pi is not a root of any polynomial with integer coefficients. All this to say, when Lincoln spent two days attempting to square a circle, he was actually working on a celebrated open problem in mathematics that was easily understood by amateur mathematicians of the day… in much the same way that the Twin Prime Conjecture attracts attention today.

(As a personal aside: I still remember the triumph I felt a student many, many years ago when I read through this proof in Field Theory and Its Classical Problems and understood it well enough to stand at the chalkboard for the better part of an hour to present it to my teacher.)

Politically, I was reminded of the wonderful book Abraham Lincoln and The Structure of Reason by David Hirsch and Dan Van Haften. Hirsch and Van Haften argue that Lincoln’s studies of geometry were not merely for idle leisure or personal satisfaction, in the same way that people recreationally solve crossword puzzles today. Instead, they argue that Lincoln’s penchant for persuasive rhetoric was shaped (pardon the pun) by his study of geometry, and that Lincoln’s speeches tended to follow the same six-part outline that Euclid employed when writing geometric proofs in The Elements.

Predicate Logic and Popular Culture (Part 275): Florida Georgia Line

Let P be the set of all people, and let f(x) be the amount that x loves you. Translate the logical statement

\forall x \in P(f(x) \le f(\hbox{God}) \land f(x) \le f(\hbox{your mama}) \land f(x) \le f(\hbox{I})).

This matches the chorus of the crossover hit “God, Your Mama, and Me” by Florida Georgia Line, featuring the Backstreet Boys.

green line

Context: This semester, I taught discrete mathematics for the first time. Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

Predicate Logic and Popular Culture (Part 274): George Jones

Let T be the set of all times, and let L(t) be the statement “He loves her at time t. Translate the logical statement

\forall t \in T(((t < 0) \Longrightarrow L(t)) \land ((t \ge 0) \Longrightarrow \sim L(t))),

where time 0 is today.

Of course, this matches the quintessential country song “He Stopped Loving Her Today” by George Jones.

green line

Context: This semester, I taught discrete mathematics for the first time. Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

Predicate Logic and Popular Culture (Part 273): Beauty and the Beast

Let P be the set of all people, let S(x) be the statement “x is slick as Gaston,” let Q(x) be the statement “x is quick as Gaston,” and let N(x) be the statement “x‘s neck is as thick as Gaston’s neck.” Translate the logical statement

\forall x \in P \sim(S(x) \lor Q(x) \lor N(x))

This is just one example that I pulled from the silly song “Gaston” from “Beauty and the Beast.”

green line

Context: This semester, I taught discrete mathematics for the first time. Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

Predicate Logic and Popular Culture (Part 272): Beauty and the Beast

Let T be the set of all things, let D(x) be the statement “x is a dinner,” let F(x) be the statement “x is in France,” and let S(x) be the statement “x is second-best.” Translate the logical statement

\forall x \in T (D(x) \land F(x) \Longrightarrow \sim S(x))

This matches a line from the incurably catchy “Be Our Guest” from “Beauty and the Beast.”

green line

Context: This semester, I taught discrete mathematics for the first time. Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.