I … regard it as mysterious that an object moving in an inverse square force law traces out a conic section. There are lots of ways to prove it, of course. Newton did it using Euclidean geometry. My homework problems above give two other ways. The one using the Runge-Lenz vector is pretty… but I’m still looking for the truly beautiful way, where you leave the room saying: “Inverse square force law… conic sections… of course! Now the connection is obvious!” – John Baez, Mysteries of The Gravitational 2-Body Problem
I’m not ready to going to give the beautiful proof Baez has been searching for throughout a long career in mathematical physics. I’d like to, but I’m not brilliant enough to be that easy to understand. Instead, I’m going to talk about some middle school math.
I’ve found that in most circumstances, if I’m willing to sit and be confused for long enough, I can normally understand what people are trying to tell me about math. That’s nice. It doesn’t work that way for everyone, and I’m glad I was lucky enough to be able to enjoy it, to the extent I can. But more than knowing the answer to a difficult problem, we humans like to know where the answer comes from.
Suppose, for example, I tell you that the solution to
It’s easy to verify – just plug the purported solution back into the original equation and you’ll see that it works. But if you have a soul you’ll wonder where in Hell I got that from. (Which is the sort of thinking that, ironically, will cost you your soul due to blasphemy.) Actually where I got it from was my seventh grade math teacher. But I should have gotten it by drawing a picture.
We start with . It looks like this:
Next is . Where is in that picture? is the side of the square, so if we add on to that with a rectangle of width , we’ll have a region , which is the left hand side of the original equation.
But that is not really fair to the other side of the square, who didn’t get any region added on. Let’s be symmetric about this, and add to both sides.
That’s the left hand side of the equation. The right hand side is just .
The thing on the left, though, is so damn close to being tractable. It’s almost a square. Once we’ve drawn this picture, it’s natural to “complete the square” by adding in that little region that’s .
Now let’s do some morphing and stretch that right hand side out into whatever shape we want. Also a square, perhaps?
Great. Now we have two squares that are the same size. Therefore, the lengths of their edges are the same. And the length of the edge on the right hand side is just the square root of the area . The length of the edge of the square on the left is , so equating them gives
Now let and . Then .
Aaaaaaaaaaaw PHOOEY! I don’t know what the square root of two is. I am a Pythagorean and lived thousands of years ago. I believe that everything is ratios of integers and that you can’t eat beans because they resemble a fetus! But wait, I do have a little trick to get good rational approximations of root two. The trick is to make a table with two columns, and use a rule to generate new entries as you go down. It looks like this:
The rule is, to put a new entry in the left hand column, add the two entries in the row above it. To put a new entry in the right hand column, again go to the row above, but this time add twice the left hand column to the right hand column. Just try; you’ll see.
The miraculous part comes when you divide the right hand column by the left. Let’s do this again.
It’s getting suspiciously close to root two. It’s not hard to verify that the table isn’t going to make a mistake; it will get closer and closer to root two. First we’ll write down formulas explaining the rule. Call the entry in the left column and row and right column . Then the rule is
Because we think the ratio is going towards , let . Then algebra tells you (on simplification)
from which we see that the ratio converges to root two, oscillating above and below it each iteration.
The method is a general one for extracting square roots. Simply let and you’ll extract the square root of . It’s similar to an even-simpler method for finding rational approximations to the golden ratio – take successive terms of the Fibonacci sequence, which converges to the exponential of the golden ratio plus a constant. But I don’t see where it comes from.
I suppose we could write the iteration equations as a matrix, and talk about having as an eigenvector, etc. But the only reason I think to do that is that linear algebra and calculus are about the only math I know, so I try to use them for everything. If we start by assuming we’re going to find some rule that lets us make a table to find rational approximations of root two, it’s not hard to believe someone would come upon the rule. But who would get this idea of the table (or some similar equivalent idea) in the first place? I don’t know. But I’m happy people told me about it.
And this is only one of many ways to extract a square root. We could guess-and-check at will, trying first 1.5, then 1.4, then 1.45, then 1.42, then 1.41, then 1.415, etc. That’s a very intuitive rule, although a poor one from an efficiency standpoint. Or we could use some other rule to generate a new guess. For example, first take a guess at root two. Then average your guess with . This generates a new, better guess. Repeating the process creates a sequence of rationals that converges to root two, just like the original method did. This new guess, though, has a wonderfully-intuitive explanation, and is almost obvious. It’s Newton’s method. I’ve seen one or two other methods that were more complicated – enough that I didn’t care to work through them in great detail when, after all, I can tell Wolfram Alpha to do whatever I want. (Well, not quite. Just now I told it to make me a sandwich, and it replied that it was assuming that “sandwich” was a city in Massachusetts).
So sometimes things make a lot of sense. Sometimes they only make a medium amount. Bit by bit, as I learn, the sphere of things that makes sense gradually expands. On the other hand, the sphere of things I heard about but don’t make sense expands even faster, and on top of that, the sphere of things I’ve heard about but understand so poorly I can’t even claim the results don’t make sense to me, since I don’t know what the results are saying, outstrips them all.