Four times as big
If you roll a circle inside a circle that’s 4 times as big, we get an astroid:
Puzzle 1. How many times does the rolling circle turn as it rolls all the way around?
By the way: don’t confuse an astroid with an asteroid. They both got their names because someone thought they looked like stars, but that’s where resemblance ends!
You can get an astroid using this funny parody of the equation for a circle:
Or, if you don’t like equations, you can get a quarter of an astroid by letting a ladder slide down a wall and taking a time-lapse photo!
In other words, you get a whole astroid by taking the envelope of all line segments of length 1 going from some point on the x axis to some point on the y axis!
Three times as big
If the fixed circle is just 3 times as big as the one rolling inside it, we get an deltoid:
Puzzle 2. Now how many times does the rolling circle turn as it rolls all the way around?
By the way: it looks like we’re back to naming curves after body parts… but we’re not: both this curve and the muscle called a deltoid got their names because they look like the Greek letter delta:
Puzzle 3. Did the Greek letter delta get that name because it was shaped like a river delta, or was it the other way around?
As you might almost expect by now, if you’ve been reading this whole series, there are weird relations between the deltoid and the astroid.
For example: take a deltoid and shine parallel rays of light at it from any direction. Then the envelope of these rays is an astroid!
• Xah Lee, Deltoid catacaustic movie.
I don’t completelly understand the rays going through the deltoid, in either the picture or the movie. It looks like those rays are getting refracted, but that would be a diacaustic, not a catacaustic. ,I think they’re formed by continuing reflected rays to straight lines that go through the deltoid. If you didn’t do that you wouldn’t get a whole astroid, just part of one.
Anyway, at the very least you get part of an astroid, which you can complete to a whole one. And then, as you rotate the light source, the astroid you get rolls around the deltoid in a pleasant manner! This is nicely illustrated here:
• Deltoid catacaustic, Wolfram Mathworld.
You can also get a deltoid from a deltoid! Draw all the osculating circles of the deltoid—that is, circles that match the deltoid’s curvature as well as its slope at the points they touch. The centers of these circles lie on another, larger deltoid:
We summarize this by saying that the evolute of a deltoid is another deltoid.
This raises a question which unfortunately I’m too lazy to answer myself. So, I’ll just pose it as a puzzle:
Puzzle 4. Is the set of traces of matrices lying in SU(4) a filled-in astroid? In simpler terms, consider the values of that we can get from complex numbers with and Do these values form a filled-in astroid?
Twice as big
But now comes the climax of today’s story: what happens when we let a circle roll inside a circle that’s exactly twice as big?
Now you can see the rolling circle turn around once as it rolls all the way around the big one.
More excitingly, if we track a point on the rolling circle, it traces out a straight line! Can you see why? Later I’ll give a few proofs.
This gadget is called a Tusi couple. You could use it to convert a rolling motion into a vibrating one using some gears. Greg Egan made a nice animation showing how:
The Tusi couple is named after the Persian astronomer and mathematician Nasir al-Din al-Tusi, who discovered it around 1247, when he wrote a commentary on Ptomely’s Almagest, an important astronomical text:
If two coplanar circles, the diameter of one of which is equal to half the diameter of the other, are taken to be internally tangent at a point, and if a point is taken on the smaller circle—and let it be at the point of tangency—and if the two circles move with simple motions in opposite direction in such a way that the motion of the smaller is twice that of the larger so the smaller completes two rotations for each rotation of the larger, then that point will be seen to move on the diameter of the larger circle that initially passes through the point of tangency, oscillating between the endpoints.
I don’t quite understand why he was interested in this, but it has something to do with using epicycles to build linear motion out of circular motion. It also has something to do with the apparent motion of planets between the Earth and the Sun.
Later Copernicus also studied the Tusi couple. He proved that the moving point really did trace out a straight line:
However, many suspect that this was not a true rediscovery: al-Tusi had also proved this, and some aspects of Copernicus’ proof seem too similar to al-Tusi’s to be coincidence:
• George Saaliba, Whose science is Arabic science in Renaissance Europe?, Section 2: Arabic/Islamic science and the Renaissance science in Italy.
• I. N. Veselovsky, Copernicus and Nasir al-Din al-Tusi, Journal for the History of Astronomy 4 (1973), 128–130.
In fact, the Tusi couple goes back way before al-Tusi. It was known to Proclus back around 450 AD! Apparently he wrote about it in his Commentary on the First Book of Euclid. Proclus is mainly famous as a philosopher: people think of him as bringing neo-Platonism to its most refined heights. Given that, it’s no surprise that he also liked math. Indeed, he said:
Wherever there is number, there is beauty.
And of course this is what I’ve been trying to show you throughout this series.
Why the Tusi couple works
So, here are three proofs that a Tusi couple really does trace out a straight line. I posed this as a puzzle on Google+, and here are my favorite three answers. I like them because they’re very different. Since people have thought about Tusi couples since 450 AD, I doubt any of these proofs are original to the people I’m mentioning here! Still, they deserve credit.
The first, due to Omar Antolín Camarena, is in the style of traditional Euclidean geometry.
Let O be the center of the big circle. Let A be the position of the traced point at the instant t when it’s the point of tangency between the circles, let B be its position at some future time t′ and let C be the point of tangency at that same time t′. Let X be the center of the small circle at that future time t′.
We want to prove A, B and O lie on a line. To do this, it suffices to show that the angle AOC equals the angle BOC:
Want: ∠BOC = ∠AOC
The arc AC of the big circle has the same length as the arc BC of the small circle, since they are both the distance rolled between times t and t′. But the big circle is twice as, so the angle BXC on the little circle must be twice the angle AOC on the big circle:
Know: ∠BXC = 2 ∠AOC
But it’s a famous fact in Euclidean geometry that the angle BXC is twice the angle BOC:
Know: ∠BXC = 2 ∠BOC
From the two equations we know, the one we want follows!
Here’s the proof of that ‘famous fact’, in case you forgot it:
The second proof is due to Greg Egan. He distilled it down to a moving picture:
It’s a ‘proof without words’, so you may need to think a while to see how it shows that the Tusi couple traces out a straight line.
The third proof is due to Boris Borcic. It uses complex numbers. Let the big circle be the unit circle in the complex plane. Then the point of contact between the rolling circle and the big one is:
so the center of the rolling circle is:
Since the rolling circle turns around once clockwise as it rolls around the big one, the point whose motion we’re tracking here:
is equal to:
So, this point moves up and down along a vertical line, and its height equals the height of the point of contact,
But the same sort of argument shows that if we track the motion of the opposite point on the rolling circle, it
So, this opposite point moves back and forth along a horizontal straight line… and its horizontal coordinate equals that of the point of contact!
You can see all this clearly in the animation Borcic made:
The point of contact, the tip of red arrowhead, is The two opposite points on the rolling circle are and So, the rectangle here illustrates the fact that
It’s interesting that this famous formula is hiding in the math of the Tusi couple! But it shouldn’t be surprising, because the Tusi couple is all about building linear motion out of circular motion… or conversely, decomposing a circular motion into linear motions.
Few of these pictures were made by me, and none of the animations. For most, you can see who created them by clicking on them. The animation of the astroid and deltoid as envelopes come from here:
• Envelope, Math Images Project.
where they were made available under a GNU Free Documentation License. Here’s another animation from there:
This is a way of creating a deltoid as the envelope of some lines called ‘Wallace-Simson lines’. The definition of these lines is so baroque I didn’t dare tell it to you it earlier. But if you’re so bored you’re actually reading these credits, you might enjoy this.
Any triangle can be circumscribed by a circle. If we take any point on this circle, say M, we can drop perpendicular
lines from it to the triangle’s three sides, and get three points, say P, Q and R:
Amazingly, these points lie on a line:
This is the Wallace–Simson line of M. If we move the point M around the circle, we get lots of Wallace–Simson lines… and the envelope of these lines is a deltoid!
By the way: the Wallace–Simson line is named after William Wallace, who wrote about it, and Robert Simson, who didn’t. Don’t confuse it with the Wallace line! That was discovered by Alfred Russel Wallace.