I’m not sure that I will make a habit of this. It’s been a while since I did a regular Reading the Comics post, looking for mathematics topics in syndicated newspaper comic strips. I thought I might dip my toes in those waters again. Since my Pi Day essay there’ve been only a few with anything much to say. One of them was a rerun I’ve discussed before, too, a Bloom County Sunday strip that did an elaborate calculation to conceal the number 1. I’ve written about that strip twice before, in May 2016 and then in October 2016, so that’s too well-explained to need revisiting.
As it happens two of the three strips remaining were repeats, though ones I don’t think I’ve addressed before here.
What Peter Fox is doing is drawing a unit circle — a circle of radius 1 — and dividing it into a couple common angles. Trigonometry students are expected to know the sines and cosines and tangents of a handful of angles. If they don’t know them, they can work these out from first principles. Draw a line from the center of the unit circle at an angle measured counterclockwise from the positive x-axis. Find where that line you’ve just drawn intersects the unit circle. The x-coordinate of that point has the same value as the cosine of that angle. The y-coordinate of that point has the same value as the sine of that angle. And for a handful of angles — the ones Peter marks off in the second panel — you can work them out by reason alone.
These angles we know as, like, 45 degrees or 120 degrees or 135 degrees. Peter writes them as or or , because these are radian measure rather than degree measure. It’s a different scale, one that’s more convenient for calculus. And for some ordinary uses too: an angle of (say) radians sweeps out an arc of length on the unit circle. You can see where that’s easier to keep straight than how long an arc of 135 degrees might be.
Drawing this circle is a good way to work out or remember sines and cosines for the angles you’re expected to know, which is why you’d get them on a trig test.
Scott Hilburn’s The Argyle Sweater for the 27th of March summons every humorist’s favorite piece of topology, the Möbius strip. Unfortunately the line work makes it look to me like Hilburn’s drawn a simple loop of a steak. Follow the white strip along the upper edge. Could be the restaurant does the best it can with a challenging presentation.
Rina Piccolo’s Tina’s Groove for the 2nd of April makes its first appearance in a Reading the Comics post in almost a decade. The strip ended in 2017 and only recently has Comics Kingdom started showing reprints. The strip is about the numerical coincidence between 3.14 of a thing and the digits of π. It originally ran at the end of March, 2007, which like the vintage FoxTrot reminds us how recent a thing Pi Day is to observe.
3.14 hours is three hours, 8.4 minutes, which implies that she clocked in at about 9:56.
I owe Iva Sallay thanks for the suggestion of today’s topic. Sallay is a longtime friend of my blog here. And runs the Find the Factors recreational mathematics puzzle site. If you haven’t been following, or haven’t visited before, this is a fun week to step in again. The puzzles this week include (American) Thanksgiving-themed pictures.
Inverse.
When we visit the museum made of a visual artist’s studio we often admire the tools. The surviving pencils and crayons, pens, brushes and such. We don’t often notice the eraser, the correction tape, the unused white-out, or the pages cut into scraps to cover up errors. To do something is to want to undo it. This is as true for the mathematics of a circle as it is for the drawing of one.
If not to undo something, we do often want to know where something comes from. A classic paper asks can one hear the shape of a drum? You hear a sound. Can you say what made that sound? Fine, dismiss the drum shape as idle curiosity. The same question applies to any sensory data. If our hand feels cooler here, where is the insulation of the building damaged? If we have this electrocardiogram reading, what can we say about the action of the heart producing that? If we see the banks of a river, what can we know about how the river floods?
And this is the point, and purpose, of inverses. We can understand them as finding the causes of what we observe.
The first inverse we meet is usually the inverse function. It’s introduced as a way to undo what a function does. That’s an odd introduction, if you’re comfortable with what a function is. A function is a mathematical construct. It’s two sets — a domain and a range — and a rule that links elements in the domain to the range. To “undo” a function is like “undoing” a rectangle. But a function has a compelling “physical” interpretation. It’s routine to introduce functions as machines that take some numbers in and give numbers out. We think of them as ways to transform the domain into the range. In functional analysis get to thinking of domains as the most perfect putty. We expect functions to stretch and rotate and compress and slide along as though they were drawing a Betty Boop cartoon.
So we’re trained to speak of a function as a verb, acting on pieces of the domain. An element or point, or a region, or the whole domain. We think the function “maps”, or “takes”, or “transforms” this into its image in the range. And if we can turn one thing into another, surely we can turn it back.
Some things it’s obvious we can turn back. Suppose our function adds 2 to whatever we give it. We can get the original back by subtracting 2. If the function subtracts 32 and divides by 1.8, we can reverse it by multiplying by 1.8 and adding 32. If the function takes the reciprocal, we can take the reciprocal again. We have a bit of a problem if we started out taking the reciprocal of 0, but who would want to do such a thing anyway? If the function squares a number, we can undo that by taking the square root. Unless we started from a negative number. Then we have trouble.
The trouble is not every function has an inverse. Which we could have realized by thinking how to undo “multiply by zero”. To be a well-defined function, the rule part has to match elements in the domain to exactly one element in the range. This makes the function, in the impenetrable jargon of the mathematician, a “one-to-one function”. Or you can describe it with the more intuitive label of “bijective”.
But there’s no reason more than one thing in the domain can’t match to the same thing in the range. If I know the cosine of my angle is , my angle might be 30 degrees. Or -30 degrees. Or 390 degrees. Or 330 degrees. You may protest there’s no difference between a 30 degree and a 390 degree angle. I agree those angles point in the same direction. But a gear rotated 390 degrees has done something that a gear rotated 30 degrees hasn’t. If all I know is where the dot I’ve put on the gear is, how can I know how much it’s rotated?
So what we do is shift from the actual cosine into one branch of the cosine. By restricting the domain we can create a function that has the same rule as the one we want, but that’s also one-to-one and so has an inverse. What restriction to use? That depends on what you want. But mathematicians have some that come up so often they might as well be defaults. So the square root is the inverse of the square of nonnegative numbers. The inverse Cosine is the inverse of the cosine of angles from 0 to 180 degrees. The inverse Sine is the inverse of the sine of angles from -90 to 90 degrees. The capital letters are convention to say we’re doing this. If we want a different range, we write out that we’re looking for an inverse cosine from -180 to 0 degrees or whatever. (Yes, the mathematician will default to using radians, rather than degrees, for angles. That’s a different essay.) It’s an imperfect solution, but it often works well enough.
The trouble we had with cosines, and functions, continues through all inverses. There are almost always alternate causes. Many shapes of drums sound alike. Take two metal bars. Heat both with a blowtorch, one on the end and one in the center. Not to the point of melting, only to the point of being too hot to touch. Let them cool in insulated boxes for a couple weeks. There’ll be no measurement you can do on the remaining heat that tells you which one was heated on the end and which the center. That’s not because your thermometers are no good or the flow of heat is not deterministic or anything. It’s that both starting cases settle to the same end. So here there is no usable inverse.
This is not to call inverses futile. We can look for what we expect to find useful. We are inclined to find inverses of the cosine between 0 and 180 degrees, even though 4140 through 4320 degrees is as legitimate. We may not know what is wrong with a heart, but have some idea what a heart could do and still beat. And there’s a famous example in 19th-century astronomy. After the discovery of Uranus came the discovery it did not move right. For a while it moved across the sky too fast for its distance from the sun. Then it started moving too slow. The obvious supposition was that there was another, not-yet-seen, planet, affecting its orbit.
The trouble is finding it. Calculating the orbit from what data they had required solving equations with 13 unknown quantities. John Couch Adams and Urbain Le Verrier attempted this anyway, making suppositions about what they could not measure. They made great suppositions. Le Verrier made the better calculations, and persuaded an astronomer (Johann Gottfried Galle, assisted by Heinrich Louis d’Arrest) to go look. Took about an hour of looking. They also made lucky suppositions. Both, for example, supposed the trans-Uranian planet would obey “Bode’s Law”, a seeming pattern in the size of planetary radiuses. The actual Neptune does not. It was near enough in the sky to where the calculated planet would be, though. The world is vaster than our imaginations.
That there are many ways to draw Betty Boop does not mean there’s nothing to learn about how this drawing was done. And so we keep having inverses as a vibrant field of mathematics.
The past week was a light one for mathematically-themed comic strips. So let’s see if I can’t review what’s interesting about them before the end of this genially dumb movie (1940’s Hullabaloo, starring Frank Morgan and featuring Billie Burke in a small part). It’ll be tough; they’re reaching a point where the characters start acting like they care about the plot either, which is usually the sign they’re in the last reel.
Jenny Campbell’s Flo and Friends for the 26th is a joke about fumbling a bit of practical mathematics, in this case, cutting a recipe down. When I look into arguments about the metric system, I will sometimes see the claim that English traditional units are advantageous for cutting down a recipe: it’s quite easy to say that half of “one cup” is a half cup, for example. I doubt that this is much more difficult than working out what half of 500 ml is, and my casual inquiries suggest that nobody has the faintest idea what half of a pint would be. And anyway none of this would help Ruthie’s problem, which is taking two-fifths of a recipe meant for 15 people. … Honestly, I would have just cut it in half and wonder who’s publishing recipes that serve 15.
Ed Bickford and Aaron Walther’s American Chop Suey for the 28th uses a panel of (gibberish) equations to represent deep thinking. It’s in part of a story about an origami competition. This interests me because there is serious mathematics to be done in origami. Most of these are geometry problems, as you might expect. The kinds of things you can understand about distance and angles from folding a square may surprise. For example, it’s easy to trisect an arbitrary angle using folded squares. The problem is, famously, impossible for compass-and-straightedge geometry.
Origami offers useful mathematical problems too, though. (In practice, if we need to trisect an angle, we use a protractor.) It’s good to know how to take a flat, or nearly flat, thing and unfold it into a more interesting shape. It’s useful whenever you have something that needs to be transported in as few pieces as possible, but that on site needs to not be flat. And this connects to questions with pleasant and ordinary-seeming names like the map-folding problem: can you fold a large sheet into a small package that’s still easy to open? Often you can. So, the mathematics of origami is a growing field, and one that’s about an accessible subject.
Nate Fakes’s Break of Day for the 29th is the anthropomorphic-symbols joke for the week, with an x talking about its day job in equations and its free time in games like tic-tac-toe.
Bill Holbrook’s On The Fastrack for the 2nd of May also talks about the use of x as a symbol. Curt takes eagerly to the notion that a symbol can represent any number, whether we know what it is or not. And, also, that the choice of symbol is arbitrary; we could use whatever symbol communicates. I remember getting problems to work in which, say, 3 plus a box equals 8 and working out what number in the box would make the equation true. This is exactly the same work as solving 3 + x = 8. Using an empty box made the problem less intimidating, somehow.
Dave Whamond’s Reality Check for the 2nd is, really, a bit baffling. It has a student asking Siri for the cosine of 174 degrees. But it’s not like anyone knows the cosine of 174 degrees off the top of their heads. If the cosine of 174 degrees wasn’t provided in a table for the students, then they’d have to look it up. Well, more likely they’d be provided the cosine of 6 degrees; the cosine of an angle is equal to minus one times the cosine of 180 degrees minus that same angle. This allows table-makers to reduce how much stuff they have to print. Still, it’s not really a joke that a student would look up something that students would be expected to look up.
… That said …
If you know anything about trigonometry, you know the sine and cosine of a 30-degree angle. If you know a bit about trigonometry, and are willing to put in a bit of work, you can start from a regular pentagon and work out the sine and cosine of a 36-degree angle. And, again if you know anything about trigonometry, you know that there are angle-addition and angle-subtraction formulas. That is, if you know the cosine of two angles, you can work out the cosine of the difference between them.
So, in principle, you could start from scratch and work out the cosine of 6 degrees without using a calculator. And the cosine of 174 degrees is minus one times the cosine of 6 degrees. So it could be a legitimate question to work out the cosine of 174 degrees without using a calculator. I can believe in a mathematics class which has that as a problem. But that requires such an ornate setup that I can’t believe Whamond intended that. Who in the readership would think the cosine of 174 something to work out by hand? If I hadn’t read a book about spherical trigonometry last month I wouldn’t have thought the cosine of 6 a thing someone could reasonably work out by hand.
I didn’t finish writing before the end of the movie, even though it took about eighteen hours to wrap up ten minutes of story. My love came home from a walk and we were talking. Anyway, this is plenty of comic strips for the week. When there are more to write about, I’ll try to have them in an essay at this link. Thanks for reading.
Jacob Siehler suggested the term for today’s A to Z essay. The letter V turned up a great crop of subjects: velocity, suggested by Dina Yagodich, and variable, from goldenoj, were also great suggestions. But Siehler offered something almost designed to appeal to me: an obscure function that shone in the days before electronic computers could do work for us. There was no chance of my resisting.
A story about the comeuppance of a know-it-all who was not me. It was in mathematics class in high school. The teacher was explaining logic, and showing off diagrams. These would compute propositions very interesting to logic-diagram-class connecting symbols. These symbols meant logical AND and OR and NOT and so on. One of the students pointed out, you know, the only symbol you actually need is NAND. The teacher nodded; this was so. By the clever arrangement of enough NAND operations you could get the result of all the standard logic operations. He said he’d wait while the know-it-all tried it for any realistic problem. If we are able to do NAND we can construct an XOR. But we will understand what we are trying to do more clearly if we have an XOR in the kit.
So the versine. It’s a (spherical) trigonometric function. The versine of an angle is the same value as 1 minus the cosine of the angle. This seems like a confused name; shouldn’t something called “versine” have, you know, a sine in its rule? Sure, and if you don’t like that 1 minus the cosine thing, you can instead use this. The versine of an angle is two times the square of the sine of half the angle. There is a vercosine, so you don’t need to worry about that. The vercosine is two times the square of the cosine of half the angle. That’s also equal to 1 plus the cosine of the angle.
This is all fine, but what’s the point? We can see why it might be easier to say “versine of θ” than to say “2 sin(1/2 θ)”. But how is “versine of θ” easier than “one minus cosine of θ”?
The strongest answer, at the risk of sounding old, is to ask back, you know we haven’t always done things the way we do them now, right?
We have, these days, settled on an idea of what the important trigonometric functions are. Start with Cartesian coordinates on some flat space. Draw a circle of radius 1 and with center at the origin. Draw a horizontal line starting at the origin and going off in the positive-x-direction. Draw another line from the center and making an angle with respect to the horizontal line. That line intersects the circle somewhere. The x-coordinate of that point is the cosine of the angle. The y-coordinate of that point is the sine of the angle. What could be more sensible?
That depends what you think sensible. We’re so used to drawing circles and making lines inside that we forget we can do other things. Here’s one.
Start with a circle. Again with radius 1. Now chop an arc out of it. Pick up that arc and drop it down on the ground. How far does this arc reach, left to right? How high does it reach, top to bottom?
Well, the arc you chopped out has some length. Let me call that length 2θ. That two makes it easier to put this in terms of familiar trig functions. How much space does this chopped and dropped arc cover, horizontally? That’s twice the sine of θ. How tall is this chopped and dropped arc? That’s the versine of θ.
We are accustomed to thinking of the relationships between pieces of a circle like this in terms of angles inside the circle. Or of the relationships of the legs of triangles. It seems obviously useful. We even know many formulas relating sines and cosines and other major functions to each other. But it’s no less valid to look at arcs plucked out of a circle and the length of that arc and its width and its height. This might be more convenient, especially if we are often thinking about the outsides of circular things. Indeed, the oldest tables we in the Western tradition have of trigonometric functions list sines and versines. Cosines would come later.
This partly answers why there should have ever been a versine. But we’ve had the cosine since Arabian mathematicians started thinking seriously about triangles. Why had we needed versine the last 1200 years? And why don’t we need it anymore?
One answer here is that mention about the oldest tables of trigonometric functions. Or of less-old tables. Until recently, as things go, anyone who wanted to do much computing needed tables of common functions at many different values. These tables might not have the since we really need of, say, 1.17 degrees. But if the table had 1.1 and 1.2 we could get pretty close.
But trigonometry will be needed. One of the great fields of practical mathematics has long been navigation. We locate points on the globe using latitude and longitude. To find the distance between points is a messy calculation. The calculation becomes less longwinded, and more clear, written using versines. (Properly, it uses the haversine, which is one-half times the versine. It will not surprise you that a 19th-century English mathematician coined that name.)
Having a neat formula is pleasant, but, you know. It’s navigators and surveyors using these formulas. They can deal with a lengthy formula. The typesetters publishing their books are already getting hazard pay. Why change a bunch of references to instead?
We get a difference when it comes time to calculate. Like, pencil on paper. The cosine (sine, versine, haversine, whatever) of 1.17 degrees is a transcendental number. We do not have the paper to write that number out. We’ll write down instead enough digits until we get tired. 0.99979, say. Maybe 0.9998. To take 1 minus that number? That’s 0.00021. Maybe 0.0002. What’s the difference?
It’s in the precision. 1.17 degrees is a measure that has three significant digits. 0.00021? That’s only two digits. 0.0002? That’s got only one digit. We’ve lost precision, and without even noticing it. Whatever calculations we’re making on this have grown error margins. Maybe we’re doing calculations for which this won’t matter. Do we know that, though?
This reflects what we call numerical instability. You may have made only a slight error. But your calculation might magnify that error until it overwhelms your calculation. There isn’t any one fix for numerical instability. But there are some good general practices. Like, don’t divide a large number by a small one. Don’t add a tiny number to a large one. And don’t subtract two very-nearly-equal numbers. Calculating 1 minus the cosines of a small angle is subtracting a number that’s quite close to 1 from a number that is 1. You’re not guaranteed danger, but you are at greater risk.
A table of versines, rather than one of cosines, can compensate for this. If you’re making a table of versines it’s because you know people need the versine of 1.17 degrees with some precision. You can list it as 2.08488 times 10-4, and trust them to use as much precision as they need. For the cosine table, 0.999792 will give cosine-users the same number of significant digits. But it shortchanges versine-users.
And here we see a reason for the versine to go from minor but useful function to obscure function. Any modern computer calculates with floating point numbers. You can get fifteen or thirty or, if you really need, sixty digits of precision for the cosine of 1.17 degrees. So you can get twelve or twenty-seven or fifty-seven digits for the versine of 1.17 degrees. We don’t need to look this up in a table constructed by someone working out formulas carefully.
This, I have to warn, doesn’t always work. Versine formulas for things like distance work pretty well with small angles. There are other angles for which they work badly. You have to calculate in different orders and maybe use other functions in that case. Part of numerical computing is selecting the way to compute the thing you want to do. Versines are for some kinds of problems a good way.
There are other advantages versines offered back when computing was difficult. In spherical trigonometry calculations they can let one skip steps demanding squares and square roots. If you do need to take a square root, you have the assurance that the versine will be non-negative. You don’t have to check that you aren’t slipping complex-valued numbers into your computation. If you need to take a logarithm, similarly, you know you don’t have to deal with the log of a negative number. (You still have to do something to avoid taking the logarithm of zero, but we can’t have everything.)
So this is what the versine offered. You could get precision that just using a cosine table wouldn’t necessarily offer. You could dodge numerical instabilities. You could save steps, in calculations and in thinking what to calculate. These are all good things. We can respect that. We enjoy now a computational abundance, which makes the things versine gave us seem like absurd penny-pinching. If computing were hard again, we might see the versine recovered from obscurity to, at least, having more special interest.
Wikipedia tells me that there are still specialized uses for the versine, or for the haversine. Recent decades, apparently, have found useful tools for calculating lunar distances, and sight reductions. The lunar distance is the angular separation between the Moon and some other body in the sky. Sight reduction is calculating positions from the apparent positions of reference objects. These are not problems that I work on often. But I would appreciate that we are still finding ways to do them well.
I mentioned that besides the versine there was a coversine and a haversine. There’s also a havercosine, and then some even more obscure functions with no less wonderful names like the exsecant. I cannot imagine needing a hacovercosine, except maybe to someday meet an obscure poetic meter, but I am happy to know such a thing is out there in case. A person on Wikipedia’s Talk page about the versine wished to know if we could define a vertangent and some other terms. We can, of course, but apparently no one has found a need for such a thing. If we find a problem that we would like to solve that they do well, this may change.
So I did a bit of thinking. There’s a prosthaphaeretic rule that lets you calculate square roots using nothing more than trigonometric functions. Is there one that lets you calculate cube roots?
And I don’t know. I don’t see where there is one. I may be overlooking an approach, though. Let me outline what I’ve thought out.
If we suppose the number whose square we want is then we can find . The calculation on the right-hand side of this is easy; double your number and subtract one. Then to the lookup table; find the angle whose cosine is that number. That angle is two times θ. So divide that angle in two. Cosine of that is, well, and most people would agree that’s a square root of without any further work.
Why can’t I do the same thing with a triple-angle formula? … Well, here’s my choices among the normal trig functions:
Yes, I see you in the corner, hopping up and down and asking about the cosecant. It’s not any better. Trust me.
So you see the problem here. The number whose cube root I want has to be the . Or the cube of the sine of theta, or the cube of the tangent of theta. Whatever. The trouble is I don’t see a way to calculate cosine (sine, tangent) of 3θ, or 3 times the cosine (etc) of θ. Nor to get some other simple expression out of that. I can get mixtures of the cosine of 3θ plus the cosine of θ, sure. But that doesn’t help me figure out what θ is.
Can it be worked out? Oh, sure, yes. There’s absolutely approximation schemes that would let me find a value of θ which makes true, say,
But: is there a way takes less work than some ordinary method of calculating a cube root? Even if you allow some work to be done by someone else ahead of time, such as by computing a table of trig functions? … If there is, I don’t see it. So there’s another point in favor of logarithms. Finding a cube root using a logarithm table is no harder than finding a square root, or any other root.
If you’re using trig tables, you can find a square root, or a fourth root, or an eighth root. Cube roots, if I’m not missing something, are beyond us. So are, I imagine, fifth roots and sixth roots and seventh roots and so on. I could protest that I have never in my life cared what the seventh root of a thing is, but it would sound like a declaration of sour grapes. Too bad.
If I have missed something, it’s probably obvious. Please go ahead and tell me what it is.
Sunday’s comics post got me thinking about ways to calculate square roots besides using the square root function on a calculator. I wondered if I could find my own little approach. Maybe something that isn’t iterative. Iterative methods are great in that they tend to forgive numerical errors. All numerical calculations carry errors with them. But they can involve a lot of calculation and, in principle, never finish. You just give up when you think the answer is good enough. A non-iterative method carries the promise that things will, someday, end.
And I found one! It’s a neat little way to find the square root of a number between 0 and 1. Call the number ‘S’, as in square. I’ll give you the square root from it. Here’s how.
First, take S. Multiply S by two. Then subtract 1 from this.
Next. Find the angle — I shall call it 2A — whose cosine is this number 2S – 1.
You have 2A? Great. Divide that in two, so that you get the angle A.
Now take the cosine of A. This will be the (positive) square root of S. (You can find the negative square root by taking minus this.)
Let me show it in action. Let’s say you want the square root of 0.25. So let S = 0.25. And then 2S – 1 is two times 0.25 (which is 0.50) minus 1. That’s -0.50. What angle has cosine of -0.50? Well, that’s an angle of 2 π / 3 radians. Mathematicians think in radians. People think in degrees. And you can do that too. This is 120 degrees. Divide this by two. That’s an angle of π / 3 radians, or 60 degrees. The cosine of π / 3 is 0.5. And, indeed, 0.5 is the square root of 0.25.
I hear you protesting already: what if we want the square root of something larger than 1? Like, how is this any good in finding the square root of 81? Well, if we add a little step before and after this work, we’re in good shape. Here’s what.
So we start with some number larger than 1. Say, 81. Fine. Divide it by 100. If it’s still larger than 100, divide it again, and again, until you get a number smaller than 1. Keep track of how many times you did this. In this case, 81 just has to be divided by 100 the one time. That gives us 0.81, a number which is smaller than 1.
Twice 0.81 minus 1 is equal to 0.62. The angle which has 0.81 as cosine is roughly 0.90205. Half this angle is about 0.45103. And the cosine of 0.45103 is 0.9. This is looking good, but obviously 0.9 is no square root of 81.
Ah, but? We divided 81 by 100 to get it smaller than 1. So we balance that by multiplying 0.9 by 10 to get it back larger than 1. If we had divided by 100 twice to start with, we’d multiply by 10 twice to finish. If we had divided by 100 six times to start with, we’d multiply by 10 six times to finish. Yes, 10 is the square root of 100. You see what’s going on here.
(And if you want the square root of a tiny number, something smaller than 0.01, it’s not a bad idea to multiply it by 100, maybe several times over. Then calculate the square root, and divide the result by 10 a matching number of times. It’s hard to calculate with very big or with very small numbers. If you must calculate, do it on very medium numbers. This is one of those little things you learn in numerical mathematics.)
So maybe now you’re convinced this works. You may not be convinced of why this works. What I’m using here is a trigonometric identity, one of the angle-doubling formulas. Its heart is this identity. It’s familiar to students whose Intro to Trigonometry class is making them finally, irrecoverably hate mathematics:
Here, I let ‘S’ be the squared number, . So then anything I do to find gets me the square root. The algebra here is straightforward. Since ‘S’ is that cosine-squared thing, all I have to do is double it, subtract one, and then find what angle 2θ has that number as cosine. Then the cosine of θ has to be the square root.
Oh, yeah, all right. There’s an extra little objection. In what world is it easier to take an arc-cosine (to figure out what 2θ is) and then later to take a cosine? … And the answer is, well, any world where you’ve already got a table printed out of cosines of angles and don’t have a calculator on hand. This would be a common condition through to about 1975. And not all that ridiculous through to about 1990.
This is an example of a prosthaphaeretic rule. These are calculation tools. They’re used to convert multiplication or division problems into addition and subtraction. The idea is exactly like that of logarithms and exponents. Using trig functions predates logarithms. People knew about sines and cosines long before they knew about logarithms and exponentials. But the impulse is the same. And you might, if you squint, see in my little method here an echo of what you’d do more easily with a logarithm table. If you had a log table, you’d calculate instead. But if you don’t have a log table, and only have a table of cosines, you can calculate at least.
Is this easier than normal methods of finding square roots? … If you have a table of cosines, yes. Definitely. You have to scale the number into range (divide by 100 some) do an easy multiplication (S times 2), an easy subtraction (minus 1), a table lookup (arccosine), an easy division (divide by 2), another table lookup (cosine), and scale the number up again (multiply by 10 some). That’s all. Seven steps, and two of them are reading. Two of the rest are multiplying or dividing by 10’s. Using logarithm tables has it beat, yes, at five steps (two that are scaling, two that are reading, one that’s dividing by 2). But if you can’t find your table of logarithms, and do have a table of cosines, you’re set.
This may not be practical, since who has a table of cosines anymore? Who hasn’t also got a calculator that does square roots faster? But it delighted me to work this scheme out. Give me a while and maybe I’ll think about cube roots.
I haven’t got any good ideas for the title for this collection of mathematically-themed comic strips. But I was reading the Complete Peanuts for 1999-2000 and just ran across one where Rerun talked about consoling his basketball by bringing it to a nice warm gymnasium somewhere. So that’s where that pile of words came from.
Mark Anderson’s Andertoons for the 21st is the Mark Anderson’s Andertoons for this installment. It has Wavehead suggest a name for the subtraction of fractions. It’s not by itself an absurd idea. Many mathematical operations get specialized names, even though we see them as specific cases of some more general operation. This may reflect the accidents of history. We have different names for addition and subtraction, though we eventually come to see them as the same operation.
In calculus we get introduced to Maclaurin Series. These are polynomials that approximate more complicated functions. They’re the best possible approximations for a region around 0 in the domain. They’re special cases of the Taylor Series. Those are polynomials that approximate more complicated functions. But you get to pick where in the domain they should be the best approximation. Maclaurin series are nothing but a Taylor series; we keep the names separate anyway, for the reasons. And slightly baffling ones; James Gregory and Brook Taylor studied Taylor series before Colin Maclaurin did Maclaurin series. But at least Taylor worked on Taylor series, and Maclaurin on Macularin series. So for a wonder mathematicians named these things for appropriate people. (Ignoring that Indian mathematicians were poking around this territory centuries before the Europeans were. I don’t know whether English mathematicians of the 18th century could be expected to know of Indian work in the field, in fairness.)
In numerical calculus, we have a scheme for approximating integrals known as the trapezoid rule. It approximates the areas under curves by approximating a curve as a trapezoid. (Any questions?) But this is one of the Runge-Kutta methods. Nobody calls it that except to show they know neat stuff about Runge-Kutta methods. The special names serve to pick out particularly interesting or useful cases of a more generally used thing. Wavehead’s coinage probably won’t go anywhere, but it doesn’t hurt to ask.
Percy Crosby’s Skippy for the 22nd I admit I don’t quite understand. It mentions arithmetic anyway. I think it’s a joke about a textbook like this being good only if it’s got the questions and the answers. But it’s the rare Skippy that’s as baffling to me as most circa-1930 humor comics are.
Ham’s Life on Earth for the 23rd presents the blackboard full of symbols as an attempt to prove something challenging. In this case, to say something about the existence of God. It’s tempting to suppose that we could say something about the existence or nonexistence of God using nothing but logic. And there are mathematics fields that are very close to pure logic. But our scary friends in the philosophy department have been working on the ontological argument for a long while. They’ve found a lot of arguments that seem good, and that fall short for reasons that seem good. I’ll defer to their experience, and suppose that any mathematics-based proof to have the same problems.
Bill Amend’s FoxTrot Classics for the 23rd deploys a Maclaurin series. If you want to calculate the cosine of an angle, and you know the angle in radians, you can find the value by adding up the terms in an infinitely long series. So if θ is the angle, measured in radians, then its cosine will be:
60 degrees is in radians and you see from the comic how to turn this series into a thing to calculate. The series does, yes, go on forever. But since the terms alternate in sign — positive then negative then positive then negative — you have a break. Suppose all you want is the answer to within an error margin. Then you can stop adding up terms once you’ve gotten to a term that’s smaller than your error margin. So if you want the answer to within, say, 0.001, you can stop as soon as you find a term with absolute value less than 0.001.
For high school trig, though, this is all overkill. There’s five really interesting angles you’d be expected to know anything about. They’re 0, 30, 45, 60, and 90 degrees. And you need to know about reflections of those across the horizontal and vertical axes. Those give you, like, -30 degrees or 135 degrees. Those reflections don’t change the magnitude of the cosines or sines. They might change the plus-or-minus sign is all. And there’s only three pairs of numbers that turn up for these five interesting angles. There’s 0 and 1. There’s and . There’s and . Three things to memorize, plus a bit of orienteering, to know whether the cosine or the sine should be the larger size and whether they should positive or negative. And then you’ve got them all.
You might get asked for, like, the sine of 15 degrees. But that’s someone testing whether you know the angle-addition or angle-subtraction formulas. Or the half-angle and double-angle formulas. Nobody would expect you to know the cosine of 15 degrees. The cosine of 30 degrees, though? Sure. It’s .
Mike Thompson’s Grand Avenue for the 23rd is your basic confused-student joke. People often have trouble going from percentages to decimals to fractions and back again. Me, I have trouble in going from percentage chances to odds, as in, “two to one odds” or something like that. (Well, “one to one odds” I feel confident in, and “two to one” also. But, say, “seven to five odds” I can’t feel sure I understand, other than that the second choice is a perceived to be a bit more likely than the first.)
… You know, this would have parsed as the Maclaurin Series Edition, wouldn’t it? Well, if only I were able to throw away words I’ve already written and replace them with better words before publishing, huh?
Functions. They’re at the center of so much mathematics. They have three pieces: a domain, a range, and a rule. The one thing functions absolutely must do is match stuff in the domain to one and only one thing in the range. So this is where it gets tricky.
Principal.
Thing with this one-and-only-one thing in the range is it’s not always practical. Sometimes it only makes sense to allow for something in the domain to match several things in the range. For example, suppose we have the domain of positive numbers. And we want a function that gives us the numbers which, squared, are whatever the original function was. For any positive real number there’s two numbers that do that. 4 should match to both +2 and -2.
You might ask why I want a function that tells me the numbers which, squared, equal something. I ask back, what business is that of yours? I want a function that does this and shouldn’t that be enough? We’re getting off to a bad start here. I’m sorry; I’ve been running ragged the last few days. I blame the flat tire on my car.
Anyway. I’d want something like that function because I’m looking for what state of things makes some other thing true. This turns up often in “inverse problems”, problems in which we know what some measurement is and want to know what caused the measurement. We do that sort of problem all the time.
We can handle these multi-valued functions. Of course we can. Mathematicians are as good at loopholes as anyone else is. Formally we declare that the range isn’t the real numbers but rather sets of real numbers. My what-number-squared function then matches ‘4’ in the domain to the set of numbers ‘+2 and -2’. The set has several things in it, but there’s just the one set. Clever, huh?
This sort of thing turns up a lot. There’s two numbers that, squared, give us any real number (except zero). There’s three numbers that, squared, give us any real number (again except zero). Polynomials might have a whole bunch of numbers that make some equation true. Trig functions are worse. The tangent of 45 degrees equals 1. So is the tangent of 225 degrees. Also 405 degrees. Also -45 degrees. Also -585 degrees. OK, a mathematician would use radians instead of degrees, but that just changes what the numbers are. Not that there’s infinitely many of them.
It’s nice to have options. We don’t always want options. Sometimes we just want one blasted simple answer to things. It’s coded into the language. We say “the square root of four”. We speak of “the arctangent of 1”, which is to say, “the angle with tangent of 1”. We only say “all square roots of four” if we’re making a point about overlooking options.
If we’ve got a set of things, then we can pick out one of them. This is obvious, which means it is so very hard to prove. We just have to assume we can. Go ahead; assume we can. Our pick of the one thing out of this set is the “principal”. It’s not any more inherently right than the other possibilities. It’s just the one we choose to grab first.
So. The principal square root of four is positive two. The principal arctangent of 1 is 45 degrees, or in the dialect of mathematicians π divided by four. We pick these values over other possibilities because they’re nice. What makes them nice? Well, they’re nice. Um. Most of their numbers aren’t that big. They use positive numbers if we have a choice in the matter. Deep down we still suspect negative numbers of being up to something.
If nobody says otherwise then the principal square root is the positive one, or the one with a positive number in front of the imaginary part. If nobody says otherwise the principal arcsine is between -90 and +90 degrees (-π/2 and π/2). The principal arccosine is between 0 and 180 degrees (0 and π), unless someone says otherwise. The principal arctangent is … between -90 and 90 degrees, unless it’s between 0 and 180 degrees. You can count on the 0 to 90 part. Use your best judgement and roll with whatever develops for the other half of the range there. There’s not one answer that’s right for every possible case. The point of a principal value is to pick out one answer that’s usually a good starting point.
When you stare at what it means to be a function you realize that there’s a difference between the original function and the one that returns the principal value. The original function has a range that’s “sets of values”. The principal-value version has a range that’s just one value. If you’re being kind to your audience you make some note of that. Usually we note this by capitalizing the start of the function: “arcsin z” gives way to “Arcsin z”. “Log z” would be the principal-value version of “log z”. When you start pondering logarithms for negative numbers or for complex-valued numbers you get multiple values. It’s the same way that the arcsine function does.
And it’s good to warn your audience which principal value you mean, especially for the arc-trigonometric-functions or logarithms. (I’ve never seen someone break the square root convention.) The principal value is about picking the most obvious and easy-to-work-with value out of a set of them. It’s just impossible to get everyone to agree on what the obvious is.
Comic Strip Master Command gave me a light load this week, which suit me fine. I’ve been trying to get the End 2016 Mathematics A To Z comfortably under way instead. It does strike me that there were fewer Halloween-themed jokes than I’d have expected. For all the jokes there are to make about Halloween I’d imagine some with some mathematical relevance would come up. But they didn’t and, huh. So it goes. The one big exception is the one I’d have guessed would be the exception.
Bill Amend’s FoxTrot for the 30th — a new strip — plays with the scariness of mathematics. Trigonometry specifically. Trig is probably second only to algebra for the scariest mathematics normal people encounter. And that’s probably more because people get to algebra before they might get to trigonometry. Which is madness, in its way. Trigonometry is about how we can relate angles, arcs, and linear distances. It’s about stuff anyone would like to know, like how to go from an easy-to-make observation of the angle spanned by a thing to how big the thing must be. But the field does require a bunch of exotic new functions like sine and tangent and novelty acts like “arc-cosecant”. And the numbers involved can be terrible things. The sine of an angle, for example, is almost always going to be some irrational number. For common angles we use a lot it’ll be an irrational number with an easy-to-understand form. For example the sine of 45 degrees, mentioned here, is “one-half the square root of two”. Anyone not trying to be intimidating will use that instead. But the sine of, say, 50 degrees? I don’t know what that is either except that it’s some never-ending sequence of digits. People love to have digits, but when they’re asked to do something with them, they get afraid and I don’t blame them.
Keith Tutt and Daniel Saunders’s Lard’s World Peace Tips for the 30th uses sudoku as shorthand for “genius thinking”. I am aware some complain sudoku isn’t mathematics. It’s certainly logic, though, and if we’re going to rule out logic puzzles from mathematics we’re going to lose a lot of fun fields. One of the commenters provided what I suppose the solution to be. (I haven’t checked.) If wish to do the puzzle be careful about scrolling.
In Jef Mallet’s Frazz for the 2nd Caulfield notices something cute about 100. A perfect square is a familiar enough idea; it’s a whole number that’s the square of another whole number. The “roundest of round numbers” is a value judgement I’m not sure I can get behind. It’s a good round number, anyway, at least for stuff that’s sensibly between about 50 and 150. Or maybe between 50 and 500 if you’re just interested in about how big something might be. An irrational number, well, you know where that joke’s going.
Mrs Olsen doesn’t seem impressed by Caulfield’s discovery, although in fairness we don’t see the actual aftermath. Sometimes you notice stuff like that and it is only good for a “huh”. But sometimes you get into some good recreational mathematics. It’s the sort of thinking that leads to discovering magic squares and amicable numbers and palindromic prime numbers and the like. Do they lead to important mathematics? Some of them do. Or at least into interesting mathematics. Sometimes they’re just passingly amusing.
Greg Curfman’s Meg rerun for the 12th quotes Einstein’s famous equation as the sort of thing you could just expect would be asked in school. I’m not sure I ever had a class where knowing E = mc2 was the right answer to a question, though. Maybe as I got into physics since we did spend a bit of time on special relativity and E = mc2 turns up naturally there. Maybe I’ve been out of elementary school too long to remember.
Mark Tatulli’s Heart of the City for the 4th has Heart and Dean talking about postapocalyptic society. Heart doubts that postapocalyptic society would need people like him, “with long-division experience”. Ah, but, grant the loss of computing devices. People will still need to compute. Before the days of electrical, and practical mechanical, computing people who could compute accurately were in demand. The example mathematicians learn to remember is Zacharias Dase, a German mental calculator. He was able to do astounding work and in his head. But he didn’t earn so much money as pro-mental-arithmetic propaganda would like us to believe. And why work entirely in your head if you don’t need to?
Larry Wright’s Motley Classics rerun for the 5th is a word problem joke. And it’s mixed with labor relations humor for the sake of … I’m not quite sure, actually. Anyway I would have sworn I’d featured this strip in a long-ago Reading The Comics post, but I don’t see it on a casual search. So, go figure.
I didn’t make noise about it, but last Sunday’s mathematics comic strip roundup was short one day. I was away from home and normal computer stuff Saturday. So I posted without that day’s strips under review. There was just the one, anyway.
Matt Janz’s Out of the Gene Pool rerun for the 15th missed last week’s cut. It does mention the Law of Cosines, which is what the Pythagorean Theorem looks like if you don’t have a right triangle. You still have to have a triangle. Bobby-Sue recites the formula correctly, if you know the notation. The formula’s . Here ‘a’ and ‘b’ and ‘c’ are the lengths of legs of the triangle. ‘C’, the capital letter, is the size of the angle opposite the leg with length ‘c’. That’s a common notation. ‘A’ would be the size of the angle opposite the leg with length ‘a’. ‘B’ is the size of the angle opposite the leg with length ‘b’. The Law of Cosines is a generalization of the Pythagorean Theorem. It’s a result that tells us something like the original theorem but for cases the original theorem can’t cover. And if it happens to be a right triangle the Law of Cosines gives us back the original Pythagorean Theorem. In a right triangle C is the size of a right angle, and the cosine of that is 0.
That said Bobby-Sue is being fussy about the drawings. No geometrical drawing is ever perfectly right. The universe isn’t precise enough to let us draw a right triangle. Come to it we can’t even draw a triangle, not really. We’re meant to use these drawings to help us imagine the true, Platonic ideal, figure. We don’t always get there. Mock proofs, the kind of geometric puzzle showing something we know to be nonsense, rely on that. Give chalkboard art a break.
Samson’s Dark Side of the Horse for the 17th is the return of Horace-counting-sheep jokes. So we get a π joke. I’m amused, although I couldn’t sleep trying to remember digits of π out quite that far. I do better working out Collatz sequences.
Hilary Price’s Rhymes With Orange for the 19th at least shows the attempt to relieve mathematics anxiety. I’m sympathetic. It does seem like there should be ways to relieve this (or any other) anxiety, but finding which ones work, and which ones work best, is partly a mathematical problem. As often happens with Price’s comics I’m particularly tickled by the gag in the title panel.
Hilary Price’s Rhymes With Orange for the 19th of October, 2016. I don’t think there’s enough data given to solve the problem. But it’s a start at least. Start by making a note of it on your suspiciously large sheet of paper.
Norm Feuti’s Gil rerun for the 19th builds on the idea calculators are inherently cheating on arithmetic homework. I’m sympathetic to both sides here. If Gil just wants to know that his answers are right there’s not much reason not to use a calculator. But if Gil wants to know that he followed the right process then the calculator’s useless. By the right process I mean, well, the work to be done. Did he start out trying to calculate the right thing? Did he pick an appropriate process? Did he carry out all the steps in that process correctly? If he made mistakes on any of those he probably didn’t get to the right answer, but it’s not impossible that he would. Sometimes multiple errors conspire and cancel one another out. That may not hurt you with any one answer, but it does mean you aren’t doing the problem right and a future problem might not be so lucky.
Zach Weinersmith’s Saturday Morning Breakfast Cereal rerun for the 19th has God crashing a mathematics course to proclaim there’s a largest number. We can suppose there is such a thing. That’s how arithmetic modulo a number is done, for one. It can produce weird results in which stuff we just naturally rely on doesn’t work anymore. For example, in ordinary arithmetic we know that if one number times another equals zero, then either the first number or the second, or both, were zero. We use this in solving polynomials all the time. But in arithmetic modulo 8 (say), 4 times 2 is equal to 0.
And if we recklessly talk about “infinity” as a number then we get outright crazy results, some of them teased in Weinersmith’s comic. “Infinity plus one”, for example, is “infinity”. So is “infinity minus one”. If we do it right, “infinity minus infinity” is “infinity”, or maybe zero, or really any number you want. We can avoid these logical disasters — so far, anyway — by being careful. We have to understand that “infinity” is not a number, though we can use numbers growing infinitely large.
Induction, meanwhile, is a great, powerful, yet baffling form of proof. When it solves a problem it solves it beautifully. And easily, too, usually by doing something like testing two special cases. Maybe three. At least a couple special cases of whatever you want to know. But picking the cases, and setting them up so that the proof is valid, is not easy. There’s logical pitfalls and it is so hard to learn how to avoid them.
Jon Rosenberg’s Scenes from a Multiverse for the 19th plays on a wonderful paradox of randomness. Randomness is … well, unpredictable. If I tried to sell you a sequence of random numbers and they were ‘1, 2, 3, 4, 5, 6, 7’ you’d be suspicious at least. And yet, perfect randomness will sometimes produce patterns. If there were no little patches of order we’d have reason to suspect the randomness was faked. There is no reason that a message like “this monkey evolved naturally” couldn’t be encoded into a genome by chance. It may just be so unlikely we don’t buy it. The longer the patch of order the less likely it is. And yet, incredibly unlikely things do happen. The study of impossibly unlikely events is a good way to quickly break your brain, in case you need one.
I’ve hardly stopped reading the comics. I doubt I could even if I wanted at this point. But all the comics this bunch are from GoComics, which as far as I’m aware doesn’t turn off access to comic strips after a couple of weeks. So I don’t quite feel justified including the images of the comics when you can just click links to them instead.
It feels a bit barren, I admit. I wonder if I shouldn’t commission some pictures so I have something for visual appeal. There’s people I know who do comics online. They might be able to think of something to go alongside every “Student has snarky answer for a word problem” strip.
Brian and Ron Boychuk’s The Chuckle Brothers for the 8th of May drops in an absolute zero joke. Absolute zero’s a neat concept. People became aware of it partly by simple extrapolation. Given that the volume of a gas drops as the temperature drops, is there a temperature at which the volume drops to zero? (It’s complicated. But that’s the thread I use to justify pointing out this strip here.) And people also expected there should be an absolute temperature scale because it seemed like we should be able to describe temperature without tying it to a particular method of measuring it. That is, it would be a temperature “absolute” in that it’s not explicitly tied to what’s convenient for Western Europeans in the 19th century to measure. That zero and that instrument-independent temperature idea get conflated, and reasonably so. Hasok Chang’s Inventing Temperature: Measurement and Scientific Progress is well-worth the read for people who want to understand absolute temperature better.
Gene Weingarten, Dan Weingarten & David Clark’s Barney and Clyde for the 9th is another strip that seems like it might not belong here. While it’s true that accidents sometimes lead to great scientific discoveries, what has that to do with mathematics? And the first thread is that there are mathematical accidents and empirical discoveries. Many of them are computer-assisted. There is something that feels experimental about doing a simulation. Modern chaos theory, the study of deterministic yet unpredictable systems, has at its founding myth Edward Lorentz discovering that tiny changes in a crude weather simulation program mattered almost right away. (By founding myth I don’t mean that it didn’t happen. I just mean it’s become the stuff of mathematics legend.)
But there are other ways that “accidents” can be useful. Monte Carlo methods are often used to find extreme — maximum or minimum — solutions to complicated systems. These are good if it’s hard to find a best possible answer, but it’s easy to compare whether one solution is better or worse than another. We can get close to the best possible answer by picking an answer at random, and fiddling with it at random. If we improve things, good: keep the change. You can see why this should get us pretty close to a best-possible-answer soon enough. And if we make things worse then … usually but not always do we reject the change. Sometimes we take this “accident”. And that’s because if we only take improvements we might get caught at a local extreme. An even better extreme might be available but only by going down an initially unpromising direction. So it’s worth allowing for some “mistakes”.
Mark Anderson’s Andertoons for the 10th of Anderson is some wordplay on volume. The volume of boxes is an easy formula to remember and maybe it’s a boring one. It’s enough, though. You can work out the volume of any shape using just the volume of boxes. But you do need integral calculus to tell how to do it. So maybe it’s easier to memorize the formula for volumes of a pyramid and a sphere.
Berkeley Breathed’s Bloom County for the 10th of May is a rerun from 1981. And it uses a legitimate bit of mathematics for Milo to insult Freida. He calls her a “log 10 times 10 to the derivative of 10,000”. The “log 10” is going to be 1. A reference to logarithm, without a base attached, means either base ten or base e. “log” by itself used to invariably mean base ten, back when logarithms were needed to do ordinary multiplication and division and exponentiation. Now that we have calculators for this mathematicians have started reclaiming “log” to mean the natural logarithm, base e, which is normally written “ln”, but that’s still an eccentric use. Anyway, the logarithm base ten of ten is 1: 10 is equal to 10 to the first power.
10 to the derivative of 10,000 … well, that’s 10 raised to whatever number “the derivative of 10,000” is. Derivatives take us into calculus. They describe how much a quantity changes as one or more variables change. 10,000 is just a number; it doesn’t change. It’s called a “constant”, in another bit of mathematics lingo that reminds us not all mathematics lingo is hard to understand. Since it doesn’t change, its derivative is zero. As anything else changes, the constant 10,000 does not. So the derivative of 10,000 is zero. 10 to the zeroth power is 1.
So, one times one is … one. And it’s rather neat that kids Milo’s age understand derivatives well enough to calculate that.
Ruben Bolling’s Super-Fun-Pak Comix rerun for the 10th happens to have a bit of graph theory in it. One of Uncle Cap’n’s Puzzle Pontoons is a challenge to trace out a figure without retracting a line or lifting your pencil. You can’t, not this figure. One of the first things you learn in graph theory teaches how to tell, and why. And thanks to a Twitter request I’m figuring to describe some of that for the upcoming Theorem Thursdays project. Watch this space!
Charles Schulz’s Peanuts Begins for the 11th, a rerun from the 6th of February, 1952, is cute enough. It’s one of those jokes about how a problem seems intractable until you’ve found the right way to describe it. I can’t fault Charlie Brown’s thinking here. Figuring out a way the problems are familiar and easy is great.
Shaenon K Garrity and Jeffrey C Wells’s Skin Horse for the 12th is a “see, we use mathematics in the real world” joke. In this case it’s triangles and triangulation. That’s probably the part of geometry it’s easiest to demonstrate a real-world use for, and that makes me realize I don’t remember mathematics class making use of that. I remember it coming up some, particularly in what must have been science class when we built and launched model rockets. We used a measure of how high an angle the rocket reached, and knowledge of how far the observing station was from the launchpad. But that wasn’t mathematics class for some reason, which is peculiar.
1861 The Athenaeum magazine reviews Charles Dodgson's suggested new symbols for the six basic trig functions. http://t.co/0xUuDR3XPX
— On This Day in Math (@OnThisDayinMath) July 27, 2015
Today’s On This Day In Math tweet was well-timed. I’d recently read Robin Wilson’s Lewis Carroll In Numberland: His Fantastical Mathematical Logical Life. It’s a biography centered around Charles Dodgson’s mathematical work. It shouldn’t surprise you that he was fascinated with logic, and wrote texts — and logic games — that crackle with humor. People who write logic texts have a great advantage on other mathematicians (or philosophers). Almost any of their examples can be presented as a classically structured joke. Vector calculus isn’t so welcoming. But Carroll was good at logic-joke writing.
I confess that I am, too, but mostly on typographical grounds. It is very easy to write or type out “sin θ” and get something that makes one think of the sine of angle θ. And I’m biased by familiarity, after all. But Carroll’s symbols have a certain appeal. I wonder if they would help people learning the functions keep straight what each one means.
The basic element of the symbols is a half-circle. The sine is denoted by the half-circle above the center, with a vertical line in the middle of that. So it looks a bit like an Art Deco ‘E’ fell over. The cosine is denoted by the half circle above the center, but with a horizontal line underneath. It’s as if someone started drawing Chad and got bored and wandered off. The tangent gets the same half-circle again, with a horizontal line on top of the arc, literally tangent to the circle.
There’s a subtle brilliance to this. One of the ordinary ways to think of trigonometric functions is to imagine a circle with radius 1 that’s centered on the origin. That is, its center has x-coordinate 0 and y-coordinate 0. And we imagine drawing the line that starts at the origin, and that is off at an angle θ from the positive x-axis. (That is, the line that starts at the origin and goes off to the right. That’s the direction where the x-coordinate of points is increasing and the y-coordinate is always zero.) (Yes, yes, these are line segments, or rays, rather than lines. Let it pass.)
The sine of the angle θ is also going to be the y-coordinate of the point where the line crosses the unit circle. That is, it’s the vertical coordinate of that point. So using a vertical line touching a semicircle to suggest the sine represents visually one thing that the sine means. And the cosine of the angle θ is going to be the x-coordinate of the point where the line crosses the unit circle. So representing the cosine with a horizontal line and a semicircle again underlines one of its meanings. And, for that matter, the line might serve as a reminder to someone that the sine of a right angle will be 1, while the cosine of an angle of zero is 1.
The tangent has a more abstract interpretation. But a line that comes up to and just touches a curve at a single point is, literally, a tangent line. This might not help one remember any useful values for the tangent. (That the tangent of zero is zero, the tangent of half a right angle is 1, the tangent of a right angle is undefined). But it’s still a guide to what things mean.
The cotangent is just the tangent upside-down. Literally; it’s the lower half of a circle, with a horizontal line touching it at its lowest point. That’s not too bad a symbol, actually. The cotangent of an angle is the reciprocal of the tangent of an angle. So making its symbol be the tangent flipped over is mnemonic.
The secant and cosecant are worse symbols, it must be admitted. The secant of an angle is the reciprocal of the cosine of the angle, and the cosecant is the reciprocal of the sine. As far as I can tell they’re mostly used because it’s hard to typeset . And to write instead would be confusing as that’s often used for the inverse sine, or arcsine, function. I don’t think these symbols help matters any. I’m surprised Carroll didn’t just flip over the cosine and sine symbols, the way he did with the cotangent.
The versed sine function is one that I got through high school without hearing about. I imagine you have too. The versed sine, or the versine, of an angle is equal to one minus the cosine of the angle. Why do we need such a thing? … Computational convenience is the best answer I can find. It turns up naturally if you’re trying to work out the distance between points on the surface of a sphere, so navigators needed to know it.
And if we need to work with small angles, then this can be more computationally stable than the cosine is. The cosine of a small angle is close to 1, and the difference between 1 and the cosine, if you need such a thing, may be lost to roundoff error. But the versed sine … well, it will be the same small number. But the table of versed sines you have to refer to will list more digits. There’s a difference between working out “1 – 0.9999” and working with “0.0001473”, if you need three digits of accuracy.
But now we don’t need printed tables of trigonometric functions to get three (or many more) digits of accuracy. So we can afford to forget the versed sine ever existed. I learn (through Wikipedia) that there are also functions called versed cosines, coversed sines, hacoversed cosines, and excosecants, among others. These names have a wonderful melody and are almost poems by themselves. Just the same I’m glad I don’t have to remember what they all are.
Carroll’s notation just replaces the “sin” or “cos” or “tan” with these symbols, so you would have the half-circle and the line followed by θ or whatever variable you used for the angle. So the symbols don’t save any space on the line. They take fewer pen strokes to write, just two for each symbol. Writing the symbols out by hand takes three or four (or for cosecant, as many as five), unless you’re writing in cursive. They’re still probably faster than the truncated words, though. So I don’t know why precisely the symbols didn’t take hold. I suppose part is that people were probably used to writing “sin θ”. And typesetters already got enough hazard pay dealing with mathematicians and their need for specialized symbols. Why add in another half-dozen or more specialized bits of type for something everyone’s already got along without?
Still, I think there might be some use in these as symbols for mathematicians in training. I’d be interested to know how they serve people just learning trigonometry.
The coming US summer vacation suggests Comic Strip Master Command will slow down production of mathematics-themed comic strips. But they haven’t quite yet. And this week I also found a couple comics that, while not about mathematics, amused me enough that I want to include them anyway. So those bonus strips I’ll run at the end of my regular business here.
Bill Hinds’s Tank McNamara (June 6) does a pi pun. The pithon mathematical-snake idea is fun enough and I’d be interested in a character design. I think the strip’s unjustifiably snotty about tattoos. But comic strips have a strange tendency to get snotty about other forms of art.
A friend happened to mention one problem with tattoos that require straight lines or regular shapes is that human skin has a non-flat Gaussian curvature. Yes, that’s how the friend talks. Gaussian curvature is, well, a measure of how curved a surface is. That sounds obvious enough, but there are surprises: a circular cylinder, such as the label of a can, has the same curvature as a flat sheet of paper. You can see that by how easy it is to wrap a sheet of paper around a can. But a ball hasn’t, and you see that by how you can’t neatly wrap a sheet of paper around a ball without crumpling or tearing the paper. Human skin is kind of cylindrical in many places, but not perfectly so, and it changes as the body moves. So any design that looks good on paper requires some artistic imagination to adapt to the skin.
Bill Amend’s FoxTrot (June 7) sets Jason and Marcus working on their summer tans. It’s a good strip for adding to the cover of a trigonometry test as part of the cheat-sheet.
Dana Simpson’s Phoebe and her Unicorn (June 8) makes what I think is its first appearance in my Reading the Comics series. The strip, as a web comic, had been named Heavenly Nostrils. Then it got the vanishingly rare chance to run as a syndicated newspaper comic strip. And newspaper comics page editors don’t find the word “nostril” too inherently funny to pass up. Thus the more marketable name. After that interesting background I’m sad to say Simpson delivers a bog-standard “kids not understanding fractions” joke. I can’t say much about that.
Ruben Bolling’s Super Fun-Pak Comix (June 10, rerun) is an installment of everyone’s favorite literary device model of infinite probabilities. A Million Monkeys At A Million Typewriters subverts the model. A monkey thinking about the text destroys the randomness that it depends upon. This one’s my favorite of the mathematics strips this time around.
And now here’s a couple strips that aren’t mathematical but that I just liked too much to ignore. Also this lets Mark Anderson’s Andertoons get back on my page. The June 10th strip is a funny bit of grammar play.
Percy Crosby’s Skippy (June 6, rerun from sometime in 1928) tickles me for its point about what you get at the top and the bottom of the class. Although tutorials and office hours and extracurricular help, and automated teaching tools, do customize things a bit, teaching is ultimately a performance given to an audience. Some will be perfectly in tune with the performance, and some won’t. Audiences are like that.
October 2014 was my fourth-best month in the mathematics blog here, if by “best” we mean “has a number of page views”, and second-best if by “best” we mean “has a number of unique visitors”. And now November 2014 has taken October’s place on both counts, by having bigger numbers for both page views and visitors, as WordPress reveals such things to me. Don’t tell October; that’d just hurt its feelings. Plus, I got to the 19,000th page view, and as of right now I’m sitting at 19,181; it’s conceivable I might reach my 20,000th viewer this month, though that would be a slight stretch.
But the total number of page views grew from 625 up to 674, and the total number of visitors from 323 to 366. The number of page views is the highest since May 2014 (751), although this is the greatest number of visitors since January 2014 (473), the second month when WordPress started revealing those numbers to us mere bloggers. I like the trends, though; since June the number of visitors has been growing at a pretty steady rate, although steadily enough I can’t say whether it’s an arithmetic or geometric progression. (In an arithmetic progression, the difference between two successive numbers is about constant, for example: 10, 15, 20, 25, 30, 35, 40. In a geometric progression, the ratio between two successive numbers is about constant, for example: 10, 15, 23, 35, 53, 80, 120.) Views per visitor dropped from 1.93 to 1.84, although I’m not sure even that is a really significant difference.
The countries sending me the most readers were just about the same set as last month: the United States at 458; Canada recovering from a weak October with 27 viewers; Argentina at 20; Austria and the United Kingdom tied at 19; Australia at 17; Germany at 16 and Puerto Rico at 14.
Sending only one reader this month were: Belgium, Bermuda, Croatia, Estonia, Guatemala, Hong Kong, Italy, Lebanon, Malaysia, the Netherlands, Norway, Oman, the Philippines, Romania, Singapore, South Korea, and Sweden. (Really, Singapore? I’m a little hurt. I used to live there.) The countries repeating that from October were Estonia, the Netherlands, Norway, and Sweden; Sweden’s going on three months with just a single reader each. I don’t know what’s got me only slightly read in Scandinavia and the Balkans.
My most-read articles for November were pretty heavily biased towards the comics, with a side interest in that Pythagorean triangle problem with an inscribed circle. Elke Stangl had wondered about the longevity of my most popular posts, and I was curious too, so I’m including in brackets a note about the number of days between the first and the last view which WordPress has on record. This isn’t a perfect measure of longevity, especially for the most recent posts, but it’s a start.
As ever there’s no good search term poetry, but among the things that brought people here were:
trapezoid
how many grooves are on one side of an lp record?
origin is the gateway to your entire gaming universe.
cauchy funny things done
trapezoid funny
yet another day with no plans to use algebra
Won’t lie; that last one feels a little personal. But the “origin is the gateway” thing keeps turning up and I don’t know why. I’d try to search for it but that’d just bring me back here, leaving me no more knowledgeable, wouldn’t it?
As promised, I’ve got a fresh round of mathematics-themed comic strips to discuss, something that’s rather fun to do because it offers such an easy answer to the question of what to write about today. Once you have the subject and a deadline the rest of the writing isn’t so very hard. So here’s some comics with all the humor safely buried in exposition:
Allison Barrows’s PreTeena (September 24, Rerun) brings the characters to “Performance Camp” and a pun on one of the basic tools of trigonometry. The pun’s routine enough, but I’m delighted to see that Barrows threw in a (correct) polynomial expression for the sine of an angle, since that’s the sort of detail that doesn’t really have to be included for the joke to read cleanly but which shows that Barrows made the effort to get it right.
Polynomial expansions — here, a Taylor series — are great tools to have, because, generally, polynomials are nice and well-behaved things. They’re easy to compute, they’re easy to analyze, they’re pretty much easy to do whatever you might want to do. Being able to shift a complicated or realistic function into a polynomial, even a polynomial with infinitely many terms, is often a big step towards making a complicated problem easy.