In this episode of our podcast My Favorite Theorem, my cohost Kevin Knudson and I were lucky enough to talk with James Tanton. Dr. Tanton is a former university mathematician and high school math teacher, but his current job title is “mathematician-at-large” of the Mathematical Association of America. You can listen to the episode here or at kpknudson.com, where there is also a transcript.

James Tanton smiles at the camera with a whiteboard behind him. He has brown hair and is wearing a blue shirt. The whiteboard is covered with shapes and dots.
Mathematician-at-large James Tanton. Credit: James Tanton

As Dr. Tanton says in the episode, he views his role as one of creating and facilitating joyful, enriching experiences with mathematics for students at all levels of mathematics learning. Right now, he is especially excited about Global Math Week, a project that brings an activity called “Exploding Dots” to classrooms around the world during the week from October 10 to 17. Last year, he says, over a million students got to play with it in their classrooms; this year, they are aiming for 10 million.

My Favorite Theorem is about theorems, so of course we talked about one on the podcast. Dr. Tanton chose Sperner’s lemma, which is related to the Brouwer fixed-point theorem that both Francis Su and Holly Krieger talked about on their episodes of the podcast. Brouwer’s fixed-point theorem says that a function from a domain with no holes to itself must have a fixed point, a point that gets taken to itself by the function. Sperner’s lemma is sort of a discrete version of that continuous theorem.

An illustration of Sperner's lemma using colors instead of letters to label the vertices of a triangulation. Sperner's lemma says that if there are an odd number of edges with a red vertex at one end and blue at the other, then there must be at least one tri-colored triangle. Credit: Pokipsy76~commonswiki (CC BY-SA 3.0)

Dr. Tanton explained how you can see the lemma for yourself. Draw a bunch of dots on a balloon, or flatten it out and draw a bunch of dots within a polygon on a piece of paper. Connect the dots into triangles in some way. Now label each point A, B, or C. No matter how you do this, on the balloon, if you find one triangle with all three letters represented on its vertices, there must be another triangle somewhere that also has all three letters. On the piece of paper, you need the additional requirement that there are an odd number of “AB” edges on the outside of the polygon. (That is, edges that connect a letter A to a letter B.) There are several different ways to state the lemma, so if you find other versions, you can have fun figuring out why they are equivalent.

Dr. Tanton also talked about how Sperner’s lemma can be used to prove the hairy ball theorem, famous largely because of its colorful name. This theorem says that on a hairy surface with no holes, like the outside of a tennis ball or coconut, there’s no way to comb the hair in a smooth way without at least one hair sticking straight up. The connection between the discrete nature of Sperner’s lemma, with its spread out dots, and the continuous hairy ball, was surprising to me.

In each episode of the podcast, we ask our guest to pair their theorem with something: food, beverage, art, music, or some other delight in life. Dr. Tanton paired Sperner’s lemma with his Aussie roots in the dessert pavlova. (Apologies to our Kiwi listeners; both Australia and New Zealand claim the pavlova, but Dr. Tanton is Australian.) You’ll have to listen to the episode to hear why this opulent meringue concoction is the perfect accompaniment to Sperner’s lemma.

You can find Dr. Tanton on Twitter and at his website. More information about Global Math Week and Exploding Dots is at the Global Math Project website and this post by Jim Propp. You can find more information about the mathematicians and theorems featured in this podcast, along with other delightful mathematical treats, at kpknudson.com and here at Roots of Unity. A transcript is available here. You can subscribe to and review the podcast on iTunes and other podcast delivery systems. We love to hear from our listeners, so please drop us a line at myfavoritetheorem@gmail.com. Kevin Knudson’s handle on Twitter is @niveknosdunk, and mine is @evelynjlamb. The show itself also has a Twitter feed: @myfavethm and a Facebook page. Join us next time to learn another fascinating piece of mathematics.

Previously on My Favorite Theorem:

Episode 0: Your hosts' favorite theorems
Episode 1: Amie Wilkinson’s favorite theorem
Episode 2: Dave Richeson's favorite theorem
Episode 3: Emille Davie Lawrence's favorite theorem
Episode 4: Jordan Ellenberg's favorite theorem
Episode 5: Dusa McDuff's favorite theorem
Episode 6: Eriko Hironaka's favorite theorem
Episode 7: Henry Fowler's favorite theorem
Episode 8: Justin Curry's favorite theorem
Episode 9: Ami Radunskaya's favorite theorem
Episode 10: Mohamed Omar's favorite theorem
Episode 11: Jeanne Clelland's favorite theorem
Episode 12: Candice Price's favorite theorem
Episode 13: Patrick Honner's favorite theorem
Episode 14: Laura Taalman's favorite theorem
Episode 15: Federico Ardila's favorite theorem
Episode 16: Jayadev Athreya's favorite theorem
Episode 17: Nalini Joshi's favorite theorem
Episode 18: John Urschel's favorite theorem
Episode 19: Emily Riehl's favorite theorem
Episode 20: Francis Su's favorite theorem
Episode 21: Jana Rordiguez Hertz's favorite theorem
Episode 22: Ken Ribet's favorite theorem
Episode 23: Ingrid Daubechies's favorite theorem
Episode 24: Vidit Nanda's favorite theorem
Episode 25: Holly Krieger's favorite theorem
Episode 26: Erika Camacho's favorite theorem