Episode 2 - Dave Richeson

This transcript is provided as a courtesy and may contain errors.

Evelyn Lamb: Welcome to My Favorite Theorem. I’m your host Evelyn Lamb. I am a freelance math writer usually based in Salt Lake City but currently based in Paris. And this is your other host.

KK: I’m Kevin Knudson, professor of mathematics at the University of Florida.

EL: Every episode we invite a mathematician on to tell us about their favorite theorem. This week our guest is Dave Richeson. Can you tell us a little about yourself, Dave?

Dave Richeson: Sure. I’m a professor of mathematics at Dickinson College, which is in Carlisle, Pennsylvania. I’m also currently the editor of Math Horizons, which is the undergraduate magazine of the Mathematical Association of America.

EL: Great. And so how did you get from wherever you started to Carlisle, Pennsylvania?

DR: The way things usually work in academia. I applied to a bunch of schools. Actually, seriously, my wife knew someone in Carlisle, Pennsylvania. My girlfriend at the time, wife now, and she saw the list of schools that I was applying to and said, “You should get a job at Dickinson because I know someone there.” And I did.

KK: That never happens!

EL: Wow.

DR: That never happens.

KK: That never happens. Dave and I actually go back a long way. He was finishing his Ph.D. at Northwestern when I was a postdoc there.

DR: That’s right.

KK: That’s how old-timey we are. Hey, Dave, why don’t you plug your excellent book.

DR: A few years ago I wrote a book called Euler’s Gem: The Polyhedron Formula and the Birth of Topology. It’s at Princeton University Press. I could have chosen Euler’s Formula as my favorite theorem, but I decided to choose something different instead.

KK: That’s very cool. I really recommend Dave’s book. It’s great. I have it on my shelf. It’s a good read.

DR: Thank you.

EL: Yeah. So you’ve told us what your favorite theorem isn’t. So what is your favorite theorem?

DR: We have a family joke. My kids are always saying, “What’s your favorite ice cream? What’s your favorite color?” And I don’t really rank things that way. This was a really challenging assignment to come up with a theorem. I have recently been interested in π and Greek mathematics, so currently I’m fascinated by this theorem of Archimedes, so that is what I’m giving you as my favorite theorem. Favorite theorem of the moment.

The theorem says that if you take a circle, the area of that circle is the same as the area of a right triangle that has one leg equal to the radius and one leg equal to the circumference of the circle. Area equals 1/2 c x r, and hopefully we can spend the rest of the podcast talking about why I think this is such a fascinating theorem.

KK: I really like this theorem because I think in grade school you memorize this formula, that area is π r2, and if you translate what you said into modern terminology, or notation, that is what it would say. It’s always been a mystery, right? It just gets presented to you in grade school. Hey, this is the formula of a circle. Just take it.

DR: Really, we have these two circle formulas, right? The area equals π r2, and the circumference is 2πr, or the way it’s often presented is that π is the circumference divided by the diameter. As you said, you could convince yourself that Archimedes theorem is true by using those formulas. Really it’s sort of the reverse. We have those formulas because of what Archimedes did. Pi has a long and fascinating history. It was discovered and rediscovered in many, many cultures: the Babylonians, the Egyptians, Chinese, Indians, and so forth. But no one, until the Greeks, really looked at it in a rigorous way and started proving theorems about π and relationships between the circumference, the diameter, and the area of the circle.

EL: Right, and something you had said in one of your emails to us was about how it’s not even, if you ask a mathematician who proved that π was a constant, that’s a hard question.

DR: Yes, exactly. I mean, in a way, it seems easy. Pi is usually defined as the circumference divided by the diameter for any circle. And in a way, it seems kind of obvious. If you take a circle and you blow it up or shrink it down by some factor of k, let’s say, then the circumference is going to increase by a factor of k, the diameter is going to increase by a factor of k. When you do that division you would get the same number. That seems sort of obvious, and in a way it kind of is. What’s really tricky about this is that you have to have a way of talking about the length of the circumference. That is a curve, and it’s not obvious how to talk about lengths of curves. In fact, if you ask a mathematician who proved that the circumference over the diameter was the same value of π, most mathematicians don’t know the answer to that. I’d put money on it that most people would think it was in Euclid’s Elements, which is sort of the Bible of geometry. But it isn’t. There’s nothing about the circumference divided by the diameter, or anything equivalent to it, in Euclid’s Elements.

Just to put things in context here, a quick primer on Greek mathematics. Euclid wrote Elements sometime around 300 BCE. Pythagoras was before that, maybe 150 years before that. Archimedes was probably born after Euclid’s Elements was written. This is relatively late in this Greek period of mathematics.

KK: Getting back to that question of proportionality, the idea that all circles are similar and that’s why everybody thinks π is a constant, why is that obvious, though? I mean, I agree that all circles are similar. But this idea that if you scale a circle by a factor of k, its length scales by k, I agree if you take a polygon, that it’s clear, but why does that work for curves? That’s the crux of the matter in some sense, right?

DR: Yeah, that’s it. I think one mathematician I read called this “inherited knowledge.” This is something that was known for a long time, and it was rediscovered in many places. I think “obvious” is sort of, as we all know from doing math, obvious is a tricky word in math. It’s obvious meaning lots of people have thought of it, but if you actually have to make it rigorous and give a proof of this fact, it’s tricky. And so it is obvious in a sense that it seems pretty clear, but if you actually have to connect the dots, it’s tricky. In fact, Euclid could not have proved it in his Elements. He begins the Elements with his famous five postulates that sort of set the stage, and from those he proves everything in the book. And it turns out that those five postulates aren’t enough to prove this theorem. So one of Archimedes’ contributions was to recognize that we needed more than just Euclid’s postulates, and so he added two new postulates to those. From that, he was able to give a satisfactory proof that area=1/2 circumference times radius.

KK: So what were the new postulates? DR: One of them was essentially that if you have two points, then the shortest distance between them is a straight line, which again seems sort of obvious, and actually Euclid did prove that for polygonal lines, but Archimedes is including curves as well. And the other one is that if you have, it would be easier to draw a picture. If you had two points and you connected them by a straight line and then connected them by two curves that he calls “concave in the same direction,” then the one that’s in between the straight line and the other curve is shorter than the second curve. The way he uses both of those theorems is to say that if you take a circle and inscribe a polygon, like a regular polygon, and you circumscribe a regular polygon, then the inscribed polygon has the shortest perimeter, then the circle, then the circumscribed polygon. That’s the key fact that he needs, and he uses those two axioms to justify that.

EL: OK. And so this sounds like it’s also very related to his some more famous work on actually bounding the value of π.

DR: Yeah, exactly. We have some writings of his that goes by the name “Measurement of a Circle.” Unfortunately it’s incomplete, and it’s clearly not come down to us very well through history. The two main results in that are the theorem I just talked about and his famous bounds on π, that π is between 223/71 and 22/7. 22/7 is a very famous approximation of π. Yes, so these are all tied together, and they’re in the same treatise that he wrote. In both cases, he uses this idea of approximating a circle by inscribed and circumscribed polygons, which turned out to be extremely fruitful. Really for 2,000 years, people were trying to get better and better approximations, and really until calculus they basically used Archimedes’ techniques and just used polygons with more and more and more and more sides to try to get better approximations of π.

KK: Yeah, it takes a lot too, right? Weren’t his bounds something like a 96-gon?

DR: Yeah, that’s right. Exactly.

KK: I once wrote a Geogebra applet thing to run to the calculations like that. It takes it a while for it to even get to 3.14. It’s a pretty slow convergence.

DR: I should also plug another mathematician from the Greek era who is not that well known, and that is Eudoxus. He did work before Euclid, and big chunks of Euclid’s Elements are based on the work of Eudoxus. He was the one who really set this in motion. It’s become known as the method of exhaustion, but really it’s the ideas of calculus and limiting in disguise. This idea of proving these theorems about shapes with curved boundaries using polygons, better and better approximations of polygons. So Eudoxus is one of my favorite mathematicians that most people don’t really know about.

KK: That’s exactly it, right? They almost had calculus.

DR: Right.

KK: Almost. It’s really pretty amazing.

DR: Yes, exactly. The Greeks were pretty afraid of infinity.

KK: I’m sort of surprised that they let the method of exhaustion go, that they were OK with it. It is sort of getting at a limiting process, and as you say, they don’t like infinity.

DR: Yeah.

KK: You’d think they might not have accepted it as a proof technique.

DR: Really, and maybe this is talking too much for the mathematicians in the audience, but really the way they present this is a proof by contradiction. They show that it can’t be done, and then they get these polygons that are close enough that it can be done, and that gives them a contradiction. The final style of the proof would, I think, be comfortable to them. They don’t really take a limit, they don’t pass to infinity, anything like that.

EL: So something we like to do on this podcast is ask our guest to pair their theorem with something. Great things in life are often better paired: wine and cheese, beer and pizza, so what’s best with your theorem?

DR: I have to go with the obvious: pie, maybe pizza.

KK: Just pizza? OK?

EL: What flavor? What toppings?

KK: What goes on it?

DR: That’s a good question. I’m a fan of black olives on my pizza.

KK: OK. Just black olives?

DR: Maybe some pepperoni too.

KK: There you go.

EL: Deep dish? Thin crust? We want specifics.

DR: I’d say thin crust pizza, pepperoni and black olives. That sounds great.

EL: You’d say this is the best way to properly appreciate this theorem of Archimedes, is over a slice of pizza.

DR: I think I would enjoy going to a good pizza joint and talking to some mathematicians and telling them about who first proved that circumference over diameter is π, that it was Archimedes.

Actually, I was saying to Kevin before we started recording that I actually have a funny story about this, that I started investigating this. I wanted to know who first proved that circumference over diameter is a constant. I did some looking and did some asking around and couldn’t really get a satisfactory answer. I sheepishly at a conference went up to a pretty well-known math historian, and said, “I have this question about π I’m embarrassed to ask.” And he said, “Who first proved that circumference over diameter is a constant?” I said, “Yes!” He’s like, “I don’t know. I’d guess Archimedes, but I really don’t know.” And that’s when I realized it was an interesting question and something to look at a little more deeply.

EL: That’s a good life lesson, too. Don’t be afraid to ask that question that you are a little afraid to ask.

KK: And also that most answers to ancient Greek mathematics involve Archimedes.

DR: Yeah. Actually through this whole investigation, I’ve gained an unbelievable appreciation of Archimedes. I think Euclid and Pythagoras probably have more name recognition, but the more I read about Archimedes and things that he’s done, the more I realize that he is one of the great, top 5 mathematicians.

KK: All right, so that’s it. What’s the top 5?

DR: Gosh. Let’s see here.

KK: Unordered. DR: I already have Archimedes. Euler, Newton, Gauss, and who would number 5 be?

KK: Somebody modern, come on.

DR: How about Poincaré, that’s not exactly modern, but more modern than the rest. While we’re talking about Archimedes, I also want to make a plug. There’s all this talk about tau vs. pi. I don’t really want to weigh in on that one, but I do think we should call π Archimedes’ number. We talk about π is the circumference constant, π is the area constant. Archimedes was involved with both of those. People may not know he was also involved in attaching π to the volume of the sphere and π to the surface area of the sphere. Here I’m being a little historically inaccurate. Pi as a number didn’t exist for a long time after that. But basically recognizing that all four of these things that we now recognize as π, the circumference of a circle, the area of a circle, the volume of a sphere, and the surface area of a sphere. In fact, he famously asked that this be represented on his tombstone when he died. He had this lovely way to put all four of these together, and he said that if you take a sphere and then you enclose it in a cylinder, so that’s a cylinder that’s touching the sphere on the sides, think of a can of soda or something that’s touching on the top as well, that the volume of the cylinder to the sphere is in the ratio 3:2, and the surface area of the cylinder to the sphere is also the ratio 3:2. If you work out the math, all four of these versions of π appear in the calculation. We do have some evidence that this was actually carried out. Years later, the Roman Cicero found Archimedes’ tomb, and it was covered in brambles and so forth, and he talks about seeing the sphere and the cylinder on Archimedes’ tombstone, which is kind of cool.

EL: Oh wow.

DR: Yeah, he wrote about it.

KK: Of course, how Archimedes died is another good story. It’s really too bad.

DR: Yeah, I was just reading about that this week. The Roman siege of Syracuse, and Archimedes, in addition to being a great mathematician and physicist, was a great engineer, and he built all these war devices to help keep the Romans at bay, and he ended up being killed by a Roman soldier. The story goes that he was doing math at the time, and the Roman general was apparently upset that they killed Archimedes. But that was his end.

KK: Then on Mythbusters, they actually tried the deal with the mirrors to see if they could get a sail to catch on fire.

DR: I did see that! Some of these stories have more evidence than others. Apparently the story of using the burning mirrors to catch ships on fire, that appeared much, much later, so the historical connection to Archimedes is pretty flimsy. As you said, it was debunked by Mythbusters on TV, or they weren’t able to match Archimedes, I should say.

KK: Well few of us can, right?

DR: Right. The other thing that is historically interesting about this is that one of the most famous problems in the history of math is the problem of squaring the circle. This is a famous Greek problem which says that if you have a circle and only a compass and straightedge, can you construct a square that has the same area as the circle? This was a challenging and difficult problem. Reading Archimedes’ writings, it’s pretty clear that he was working on this pretty hard. That’s part of the context, I think, of this work he did on π, was trying to tackle the problem of squaring the circle. It turns out that this was impossible, it is impossible to square the circle, but that wasn’t discovered until 1882. At the time it was still an interesting open problem, and Archimedes made various contributions that were related to this famous problem.

EL: Yeah.

KK: Very cool.

DR: I can go on and on. So today, that is my favorite theorem.

KK: We could have you on again, and it might be different?

DR: Sure. I’d love to.

KK: Well, thanks, Dave, we certainly appreciate you being here.

DR: I should say if people would like to read about this, I did write an article, “Circular Reasoning: Who first proved that c/d is a constant?” Some of the things I talked about are in that article. Mathematicians can find it in the College Math Journal, and it just recently was included in Princeton University Press’s book The Best Writing on Mathematics, 2016 edition. You can find that wherever, your local bookstore.

EL: And where else can our loyal listeners find you online, Dave?

DR: I spend a lot of time on Twitter. I’m @divbyzero. I blog occasionally at divisbyzero.com.


DR: That’s where I’d recommend finding me.

KK: Cool.

EL: All right. Well, thanks for being here.

DR: Thank you for asking me. It was a pleasure talking to you.

Episode 1 - Amie Wilkinson

Kevin Knudson: Welcome to My Favorite Theorem. I’m Kevin Knudson, professor of mathematics at the University of Florida, and I’m joined by my cohost.

Evelyn Lamb: I’m Evelyn Lamb. I’m a freelance writer currently based in Paris.

KK: Yeah, Paris. Paris is better than Gainesville. I mean, Gainesville’s nice and everything.

EL: Depends on how much you like alligators.

KK: I don’t like alligators that much.


KK: This episode, we’re thrilled to welcome Amie Wilkinson of the University of Chicago. Amie’s a fantastic mathematician. Say hi, Amie, and tell everyone about yourself.

AW: Hi, everyone. So Kevin and I go way back. I’m a professor at the University of Chicago. Kevin and I first met when we were pretty fresh out of graduate school. We were postdocs at Northwestern, and now we’ve kind of gone our separate ways but have stayed in touch over the years.

KK: And, let’s see, my son and your daughter were born the same very hot summer in Chicago.

AW: Yeah, that’s right.

KK: That’s a long time ago.

AW: Right. And they’re both pretty hot kids.

KK: They are, yes. So, Amie, you haven’t shared what your favorite theorem is with Evelyn and me, so this will be a complete surprise for us, and we’ll try to keep up. So what’s your favorite theorem?

AW: Fundamental theorem of calculus.

KK: Yes.

EL: It’s a good theorem.

KK: I like that theorem. I just taught calc one, so this is fresh in my mind. I can work with this.

AW: Excellent. Probably fresher than it is in my mind.

EL: Can you tell us, remind our listeners, or tell our listeners what the fundamental theorem of calculus is?

AW: The fundamental theorem of calculus is a magic theorem as far as I’m concerned, that relates two different concepts: differentiation and integration.

So integration roughly is the computation of area, like the area of a square, area of the inside of a triangle, and so on. But you can make much more general computations of area like Archimedes did a long time ago, the area inside of a curve, like the area inside of a circle. There’s long been built up, going back to the Greeks, this notion of area, and even ways to compute it. That’s called integration.

Differentiation, on the other hand, it has to do with motion. In its earliest forms, to differentiate a function means to compute its slope, or speed, velocity. It’s a computation of velocity. It’s a way of measuring instantaneous motion. Both of these notions go way back, to the Greeks in the case of area, back to the 15th century and the people at Oxford for the computation of speed, and it wasn’t until the 17th century that the two were connected. First by someone named James Gregory, and not long after, sort of concurrently, by Isaac Barrow, who was the advisor of Isaac Newton. Newton was the one who really formalized the connection between the two.

EL: Right, but this wasn’t just a lightning bolt that suddenly came from Newton, but it had been building up for a while.

AW: Building up, actually in some sense I think it was a lightning bolt, in the sense that all of the progress happened within maybe a 30-year period, so in the world of mathematics, that’s sort of, you could even say that’s a fad or a trend. Someone does something, and you’re like, oh my god, let’s see what we can do with this. It’s an amazing insight that the two are connected.

The most concrete illustration of this is actually one I read on Wikipedia, which says that suppose you’re in a car, and you’re not the driver because otherwise this would be a very scary application. You can’t see outside of the car, but you can see the odometer. Sorry, you can’t see the odometer either. Someone’s put tape over it. But you can see the speedometer. And that’s telling you your velocity at every second. Every instance there’s a number. And what the fundamental theorem of calculus says is that if you add up all of those numbers over a given interval of time, it’s going to tell you how far you’ve traveled.

KK: Right.

AW: You could just take the speed that you see on the odometer the minute you start driving the car and then multiply by the amount of time that you travel, and that’ll give you kind of an approximate idea, but you instead could break the time into two pieces and take the velocity that you see at the time and the velocity that you see at the midpoint, and take the average of those two velocities, multiplied by the amount of time, and that’ll give you a better sense. And basically it says to compute the average velocity multiplied by the time, and you’re going to get how far you’ve gone. That’s basically what the fundamental theorem of calculus means.

KK: So here’s my own hot take on the fundamental theorem: I think it’s actually named incorrectly. I think the mean value theorem is the real fundamental theorem of calculus.

AW: Ah-ha.

KK: If you think about the fundamental theorem, it’s actually a pretty quick corollary to the fundamental theorem.

AW: Right.

KK: Which essentially just describes, well, the version of the fundamental theorem that calculus remember, namely that to compute a definite integral, “all you have to do” — and our listeners can’t see me doing the air quotes—but“all you have to do” is find the antiderivative of the function, we know how hard that problem is. That’s a pretty quick corollary of the mean value theorem, basically by the process you just described, right? You’ve got your function, and you’re trying to compute the definite integral, so what do you do? Well, you take a Riemann sum, chop it into pieces. Then the mean value theorem says over each subinterval, there’s some point in there where the derivative equals the average rate of change over that little subinterval. And so you replace with all that, and that’s how you see the fundamental theorem just drop out. This Riemann sum is essentially just saying, OK, you find the antiderivative and that’s the story. So I used to sort of joke, I always joke with my students, that one of these days I’m going to write an advanced calculus book sort of like “Where’s Waldo,” but it’s going to be “Where’s the Mean Value Theorem?”

AW: I like that.

KK: Whenever you teach advanced calculus for real, not just that first course, you start to see the mean value theorem everywhere.

AW: See, I think of the mean value theorem as being the flip side of the fundamental theorem of calculus. To me, what is the mean value theorem? The mean value theorem is a movie that I saw in high school calculus that was probably filmed in, like, 1960-something.

KK: Right. On a movie projector?

AW: Yeah, on a movie projector.

KK: A lot of our listeners won’t know what that is.

AW: It’s a very simple little story. A guy’s driving, again it’s a driving analogy.

KK: Sure, I use these all the time too.

AW: And he stops at a toll booth to get his ticket, and the ticket is stamped with the time that he crosses the tollbooth, and then he’s driving and driving, and he gets to the other tollbooth and hands the ticket to the toll-taker, and the toll-taker says, “You’ve been speedin.’ The reason I know this is the mean value theorem.” He says it just like that, “The mean value theorem.” I wish I could find that movie. I’m sure I could. It’s so brilliant. What that’s saying is if I know the distance I’ve traveled from A to B, I could calculate what the average speed is by just taking, OK, I know how much time it took. So that second toll-taker knows (a) how much time it took, and (b), the distance because he knows the other tollbooth, right? And so he computes the average speed, and what the mean value theorem says is somewhere during that trip, you had to be traveling the average speed.

KK: Right.

AW: So, it’s sort of like I can do speed from distance, so if you took too little time to travel the distance, you had to be speeding at some point, which is so beautiful. That’s sort of the flip side. If you know the distance and the amount of time, then you know the average speed. Whereas the first illustration I gave is you’re in this car, and you can’t see outside or the odometer, but you know the average speed, and that tells you the distance.

KK: So maybe they’re the same theorem.

EL: They’re all the same.

AW: In some sense, right.

KK: I think this is why I still love teaching calculus. I’ve been doing it for, like, 25 years, but I never get tired of it. It’s endlessly fascinating.

AW: That’s wonderful. We need more calculus teachers like you.

KK: I don’t know about that, but I do still love it.

AW: Or at least with your attitude.

KK: Right. There we go. So this is actually, the fundamental theorem is just sort of a one-dimensional version. There are generalizations, yes?

AW: Yes, there are. That gets to my favorite generalization of the fundamental theorem of calculus, which is Stokes' Theorem.

KK: Yeah.

AW: So what does Stokes’ Theorem do? Well, for one thing, it explains why π appears both in the formula for the circumference of a circle and in the formula for the area of the circle, inside of the circle.

KK: That’s cool.

AW: Right? One is πr2, and the other is 2πr, and roughly speaking, suppose you differentiate with respect to r. This is sort of bogus, but it’s correct.

KK: Let’s go with it.

AW: You differentiate πr2, you get 2πr. The point is that Stokes'’ Theorem, like the fundamental theorem of calculus, relates two quantities of a geometric object, in this case a circle. One is an integral inside the object, and the other is an integral on the boundary of the object. And what are you integrating? So Stokes' Theorem says if you have something called a form, and it’s defined on the boundary of an object, and you differentiate the form, then the integral of the derivative of the form on the inside is the integral of the original form on the boundary.

EL: Yeah.

AW: And the best way to illustrate this is with a picture, I’m afraid. It’s a beautiful, the formula itself has this beautiful symmetry to it.

EL: Yeah. Well, our listeners will be able to see that online when we post this, so we’ll have a visual aid.

AW: OK. So Stokes' Theorem establishes the duality of differentiation on the one hand, which is like analysis-calculus, right, and taking the boundary of an object on the other hand.

KK: That’s geometry, right.

AW: And boundary we denote by something that looks like a d, but it’s sort of curly, and we call it del. And differentiation we denote by d. The point is that those two operations can be switched and you get the same thing. You switch those operations in two different places, you get the same thing. That duality leads to differential topology. I mean, it’s just… The next theorem that’s amazing is De Rahm’s theorem that comes out of that.

KK: Let’s not go that far.


KK: It’s remarkable. You think, in calculus 3, at the very end we teach students Stokes’ Theorem, but we sort of get there incrementally, right? We teach Green’s theorem in the plane, and then we give them the divergence theorem, right, which is still the same. They’re all the same theorem, and we never really tie it together really well, and we never go, oh, by the way, if we would unify this idea, we’d say, by the way, this is really just the fundamental theorem of calculus.

AW: Right.

KK: If you take your manifold to be a closed interval in the plane. So this makes me wonder if we need to start modernizing the calculus curriculum. On the other hand, then that gets a little New Math-y, right?

AW: No, no, I think we should totally normalize the curriculum in this way.

KK: Do you?

AW: Yeah, sure. It depends on what level we’re talking about, obviously, but I’ve always found that, OK, so, I’m going to confess the one time I taught multivariable calculus to “regular” students — granted, this was ages ago — I was so irritated by the current curriculum I couldn’t hide it.

KK: Oh, I see.

AW: But I’ve taught, lots and lots of times, multivariable calculus to somewhat more advanced students, to honors students who might become math majors, might not. And I always adopt this viewpoint, that the fundamental theorem of calculus is relating your object — your geometric object is just an interval, and it’s boundary is just two points, and differentiation-integration connects the difference of values of functions at two points with the integral over the interval.

KK: Then that gets to the question of, is that the right message for everyone? I could imagine this does work well with students who might want to be math majors. But in an engineering school, for example. I haven’t taught multivariable in maybe 15 years, but I’m tending to aim at engineers. But engineers, they don’t work outside of three dimensions, for the most part. Would this really be the right way to go? I don’t know.

AW: First of all, it’s good for turning students who are interested in calculus, who are interested in math, into math majors. So for me, that’s an effective tool.

KK: I absolutely believe that.

AW: Yeah, I don’t know about engineering students. They really have a distinct set of needs.

KK: Right.

AW: I mean, social scientists, for example, work regularly in very high dimensions, and I have taught this material to social scientists back at Northwestern, and that was also, I think, pretty successful.

KK: Interesting. Well, that’s a good theorem. We love the fundamental theorem around here.

EL: The best things in life are often better together. So one of the things we like to do on My Favorite Theorem is to ask our guests to pick a pairing for their theorem, a fine wine or tea, beer, ice cream, piece of music, so what would you like to pair with the Fundamental Theorem of Caclulus?

AW: Something like a mango, maybe.

EL: A mango!

AW: Something where you have this organic, beautiful shape that, if you wanted to understand it analytically, you would have to use calculus. So first of all, mango is literally my favorite.

KK: I love them too. Oh, man.

AW: Ripe mango. It has to be good. Bad mango is torture.

KK: This is one of the perks of living in Florida. We have good mangoes here.

AW: What I love about the mango is it’s a natural form that is truly not spherical. It’s a fruit that has this clearly organic and very smooth shape. But to describe it, I don’t even know.

KK: It’s not a solid of revolution.

AW: I don’t know why it grows like that.

KK: Well the pit is weird, right? The pit’s sort of flat.

AW: Yeah.

KK: Why does it grow like that? That’s interesting. Because most things, like an avocado, for example, it’s sort of pear-shaped, and the pit is round.

AW: An avocado is another example of a beautiful organic shape that is not perfectly spherical. So yeah, and I love avocado as well, so maybe I could have a mango-avocado salad.

EL: Oh, yeah. Really getting quite gourmet.

KK: And this goes to the fundamental theorem, right? Because you have to chop that up into pieces, which, I mean.

AW: Right?

KK: It’s sort of the Riemann sum of your two things.

AW: And they’re very hard, both of them are very hard to get the fruit out, reasonably difficult to get the fruit out of the shell.

KK: You know the deal, right? You cut it in half first and then you dice it and scoop it out, right?

AW: You mean with the mango, right?

KK: You do with an avocado, too. Yeah.

AW: You know, I’ve never thought to do that with an avocado.

KK: Yeah, you cut the avocado, take a big knife and just cut it and then split it open, pop the pit out, and then just dice it and scoop it out.

AW: Oh. I usually just scoop and dice, but you’re right. In the mango you do the same, but then you start turning it inside out, and it looks like a hand grenade. So beautiful.

KK: You do the same thing with the avocado, and just scoop it. See?

AW: That’s a really interesting illustration, too, because when you turn inside out the mango, you can see these cubes of fruit that are spreading apart. You sort of can see how by changing the shape of the boundary, you change radically the sort of volume enclosed by the boundary. Because those things spread apart because of the reversed curvature.

EL: Yeah.

KK: Now I’m getting hungry.

AW: Yeah.

EL: Yeah, that’s the problem with these pairings, right? We record an episode, and then we all have to go out to eat.

AW: Of course a more provincial kind of thing, a more everyday object, piece of fruit, would be, as you said, pear. That’s more connected to Isaac Newton.

EL: True, yeah.

AW: Apples.

KK: The apples falling on his head, yeah. Cool. Well, this was fun, Amie. Thanks for joining us. Anything else you want to add? Any projects you want to plug? We try to give everybody a chance to do that. What are you working on these days?

AW: My area is dynamical systems, which..

KK: Is hard!

AW: It’s hard, but it’s also connected very closely. It’s not that hard.

KK: Smale said it’s hard.

AW: It’s connected very closely to the fundamental theorem. I study how things change over time.

KK: Right.

AW: So I’ve been helping out, or I don’t know if I’ve actually been helping, but I’ve been talking a lot with some physicists who build particle accelerators, and we’re trying to use tools from pure mathematics to design these accelerators more effectively.

EL: Oh wow.

AW: To keep the particles inside the accelerator, moving in a focused beam.

EL: Nice.

AW: It’s a direct application of certain areas of smooth dynamical systems.

KK: Very cool. You never know where your career is going to take you.

AW: It’s very fun.

KK: That’s part of the beauty of mathematics, you never know where it’s going to lead you.

EL: Thanks so much for joining us on My Favorite Theorem.

AW: Thank you for having me. It’s been a lot of fun.

KK: Thanks for listening to My Favorite Theorem, hosted by Kevin Knudson and Evelyn Lamb. The music you’re hearing is a piece called Fractalia, a percussion quartet performed by four high school students from Gainesville, Florida. They are Blake Crawford, Gus Knudson, Dell Mitchell, and Baochau Nguyen. You can find more information about the mathematicians and theorems featured in this podcast, along with other delightful mathematical treats, at Kevin’s website, kpknudson.com, and Evelyn’s blog, Roots of Unity, on the Scientific American blog network. We love to hear from our listeners, so please drop us a line at myfavoritetheorem@gmail.com. Or you can find us on Facebook and Twitter. Kevin’s handle on Twitter is @niveknosdunk, and Evelyn’s is @evelynjlamb. The show itself also has a Twitter feed. The handle is @myfavethm. Join us next time to learn another fascinating piece of mathematics.

Episode 0 - Your Hosts' Favorite Theorems

KK: Welcome to My Favorite Theorem. I’m Kevin Knudson, and I’m joined by my cohost.

EL: I’m Evelyn Lamb.

KK: This is Episode 0, in which we’ll lay out our ground rules for what we’re going to do. The idea is every week we’ll have a guest, and that guest will tell us what his or her favorite theorem is, and they’ll tell us some fun things about themselves, and Evelyn had good ideas here. What else are we going to do?

EL: Yeah, well, with any great thing in life, pairings are important. So we’ll find the perfect wine, or ice cream, or work of 19th century German romanticism to include with the theorem. We’ll ask our guests to help us with that.

KK: Since this is episode 0, we thought we should probably set the tone and let you know what our favorite theorems are. I’m going to defer. I’m going to let Evelyn go first here. What’s your favorite theorem?

EL: OK, so we’re recording this on March 23rd, which is Emmy Noether’s birthday, her 135th, to be precise. I feel like I should say Noether’s theorem. It’s a theorem in physics that relates, that says basically conserved quantities in physics come from symmetries in nature. So time translation symmetry yields conservation of energy and things like that. But I’m not going to say that one. I’m sorry, physics, I just like math more.

So I’m going to pick the uniformization theorem as my favorite theorem.

KK: I don’t think I know that theorem. Which one is this?

EL: It’s a great theorem. When I was doing math research, I was working in Teichmüller theory, which is related to hyperbolic geometry. This is a theorem about two-dimensional surfaces. The upshot of this theorem is that every two-dimensional surface can be given geometry that is either spherical, flat — so, Euclidean, like the flat plane — or hyperbolic. The uniformization itself is related to simply connected Riemann surfaces, the ones with no holes, but using this theorem you can show that 2-d surfaces with any number of holes have one of these kinds of 2-d geometry. This is a great theorem. I just love that part of topology where you’re classifying surfaces and everything. I think it’s nice A little of the history is that it was conjectured by Poincaré in 1882 and Klein in 1883. I think the first proof was by Poincaré in the early 1900s. There are a lot of proofs of it that come from different approaches.

KK: Now that you tell me what the theorem is, of course I know what it is. Being a topologist, I know how to classify surfaces, I think.

That is a great theorem. There’s so much going on there. You can think about Riemann surfaces as quotients of hyperbolic space, and you have all this fun geometry going. I love that theorem. In fact, I’m teaching our graduate topology course this year, and I didn’t do this. I’m sorry. I had to get through homology and cohomology. So yeah, surfaces are classified. We know surfaces.

So what are you going to pair this with?

EL: So my pairing is Neapolitan ice cream. I’m going a bit literal with this. Neapolitan ice cream is the ice cream that has part of it vanilla, part of it chocolate, and part of it strawberry. So this theorem says that surfaces come in three flavors.

KK: Nice.

EL: When I was a little kid, when we had our birthday parties at home, my mom always let us pick what ice cream we wanted to have, and I always picked Neapolitan so that if my friends liked one of the flavors but not the others, they could have whichever flavor they wanted.

KK: You’re too kind.

EL: Really, I’m just such a good-hearted person.

KK: Clearly.

EL: Yeah, Neapolitan. Three flavors of surfaces, three flavors of ice cream.

KK: Nice. Although nobody ever eats the strawberry, right?

EL: Yeah, I love strawberry ice cream now, but yeah, when I was a little kid chocolate and vanilla were a little more my thing.

KK: I remember my mother would sometimes buy the Neapolitan, and I remember the strawberry would just sit there, uneaten, until it got freezer burn, and we just threw it away at that point.

EL: I guess the question is, which of the kinds of geometry is strawberry?

KK: Well, vanilla is clearly flat, right?

EL: Yeah, that’s good. I guess that means strawberry must be spherical.

KK: That seems right. It’s pretty unique, right? Spherical geometry is kind of dull, right? There’s just the sphere. There’s a lot more variation in hyperbolic geometry, right?

EL: Yeah, I guess so. I feel like there are more different kinds of chocolate-flavored ice cream, and hyperbolic, there are so many different hyperbolic surfaces.

KK: Right. Here in Gainesville, we have a really wonderful local ice cream place, and twice a year they have chocolate night, and they have 32 different varieties of chocolate.

EL: Oh my gosh.

KK: So you can go and you can get a ginormous bowl of all 36 flavors if you want, but we usually get a little sample of eight different flavors and try them out. It’s really wonderful. I think that’s the right classification.

EL: OK. So Kevin?

KK: Yes?

EL: What is your favorite theorem?

KK: Well, yeah, I thought about this for a long time, and what I came up with was that my favorite theorem is the ham sandwich theorem. I think it’s largely because it’s got a fun name, right?

EL: Yeah.

KK: And I remember hearing about this theorem as an undergrad for the first time. This was a general topology course, and you don’t prove it in that, I think. You need some algebraic topology to prove this well. I thought, wow, what a cool thing! There’s something called the ham sandwich theorem. So what is the ham sandwich theorem? It says: say you have a ham sandwich, which consists of two pieces of bread and a chunk of ham. And maybe you got a little nuts and you put one piece of bread on top of the fridge, and one on the floor, and your ham is sitting on the counter, and the theorem is that if you have a long enough knife, you can make one cut and cut all of those things in half. Mathematically what that means is that you have three blobs in space, and there is a single plane that cuts each of those blobs in half exactly. I just thought that was a pretty remarkable theorem, and I still think it’s kind of remarkable theorem because it’s kind of hard to picture, right? Your blobs could be anywhere. They could be really far apart, as long as they have positive measure, so as long as they’re not some flat thing, they actually have some 3-d-ness to them, then you can actually find a plane that does this. What’s even more fun, I think, is that this is a consequence of the Borsuk-Ulam theorem, which in this case would say that if you have a continuous function from the 2-sphere to the plane, then two antipodal points have to go to the same place. And that’s always a fun theorem to explain to people who don’t know any mathematics, because you can say, somewhere, right now, there are two opposite points on the surface of the earth where the temperature and the humidity are the same, for example.

EL: Yeah.

KK: I love that kind of theorem, where there’s a good physical interpretation for it. And of course there are higher-dimensional analogues, but the idea of the ham sandwich theorem is great. Everybody’s had a ham sandwich, probably, or some kind of sandwich. It doesn’t have to be ham. Maybe we should be more politically correct. What’s a good sandwich?

EL: A peanut butter sandwich is a great sandwich.

KK: A peanut butter sandwich. But the peanut butter is kind of hard to get going, right? You don’t really want that anywhere except in the middle of the sandwich. You don’t want to imagine this blob of peanut butter. The ham you can kind of imagine.

EL: It’s really saying that you don’t even have to remove the peanut butter from the jar. You can leave the peanut butter in the jar.

KK: There you go.

EL: You can cut this sandwich in half.

KK: Your knife’s going to have to cut through the whole jar. It’s gotta be a pretty strong knife.

EL: Yeah. We’re already asking for an arbitrarily long knife.

KK: Yes.

EL: You don’t think our arbitrarily long knife can cut through glass? Come on.

KK: It probably can, you’re right. How silly of me. If we’re being so silly and hyperbolic, we might as well.

EL: We’re mathematicians, after all.

KK: You’re right, we are. So I thought about the pairing, too. Basically, I’ve got a croque monsieur, right?

EL: Right.

KK: You’re in France. You probably eat these all the time. So what does one have with a croque monsieur? It’s not really fancy food. So I think you’ve got to go with a beer for this, and if I’m getting to choose any beer, we have a wonderful local brewery here, First Magnitude brewery, it’s owned by a good friend of mine. They have a really nice pale ale. It’s called 72 Pale Ale. I invite everyone to look up First Magnitude Brewing on the internet there and check them out. It’s a good beer. Not too hoppy.


KK: It’s hoppy enough, but it’s not one of those West Coast IPA’s that makes your mouth shrivel up.

EL: Yeah, socks you in the face with the hops.

KK: Yeah, you don’t need all of that.

EL: So actually, if you think of the two pieces of bread as one mass of bread and the ham as its own thing, then you could also bisect the bread, the ham, and the beer with one knife.

KK: That’s right, we could do that.

EL: Yeah, if you really wanted to make sure to eat your meal in two identical halves.

KK: Right. So you have vanilla donuts and balls of chocolate, no, no, the donuts, wait a minute. The hyperbolic spaces were chocolate. This is starting to break down. But the flat geometry is the plane. But there’s a flat torus too, right? So you could have a flat donut, or a flat plane. Very cool. This is fun. I think we’re going to have a good time doing this.

EL: I think so too. And I think we’re going to end each episode hungry.

KK: It sounds that way, yeah. In the weeks to come, we have a pretty good lineup of interesting people from all areas of mathematics and all parts of the world, hopefully. I’m excited about this project. So thanks, Evelyn, for coming along with me on this.

EL: Yeah. Thank you for inviting me. I’m looking forward to this.

KK: Until next time, this has been My Favorite Theorem.

KK: Thanks for listening to My Favorite Theorem, hosted by Kevin Knudson and Evelyn Lamb. The music you’re hearing is a piece called Fractalia, a percussion quartet performed by four high school students from Gainesville, Florida. They are Blake Crawford, Gus Knudson, Dell Mitchell, and Baochau Nguyen. You can find more information about the mathematicians and theorems featured in this podcast, along with other delightful mathematical treats, at Kevin’s website, kpknudson.com, and Evelyn’s blog, Roots of Unity, on the Scientific American blog network. We love to hear from our listeners, so please drop us a line at myfavoritetheorem@gmail.com. Or you can find us on Facebook and Twitter. Kevin’s handle on Twitter is @niveknosdunk, and Evelyn’s is @evelynjlamb. The show itself also has a Twitter feed. The handle is @myfavethm. Join us next time to learn another fascinating piece of mathematics.