I am interested in magic tricks whose explanation requires deep mathematics. The trick should be one that would actually appeal to a layman. An example is the following: the magician asks Alice to choose two integers between 1 and 50 and add them. Then add the largest two of the three integers at hand. Then add the largest two again. Repeat this around ten times. Alice tells the magician her final number $n$. The magician then tells Alice the next number. This is done by computing $(1.61803398\cdots) n$ and rounding to the nearest integer. The explanation is beyond the comprehension of a random mathematical layperson, but for a mathematician it is not very deep. Can anyone do better?

48$\begingroup$ I am informed that Persi Diaconis is the correct person to answer this question. $\endgroup$ – Sam Nead Dec 26 '09 at 0:09

19$\begingroup$ I have discussed this question with Persi. He could not come up with anything significant (though he did not think about it very long). $\endgroup$ – Richard Stanley Dec 26 '09 at 16:30

20$\begingroup$ I've also heard Persi talk about this subject, and my guess is that he would say that the requirements of "deep mathematics" and "would actually appeal to a layman" are nearly incompatible in practice. $\endgroup$ – Mark Meckes Dec 27 '09 at 13:54

8$\begingroup$ Whenever I see this question's title, I can hardly resist opening a complementary "Deep mathematics based on magic tricks" community wiki. $\endgroup$ – Torsten Schoeneberg May 16 '13 at 7:51

6$\begingroup$ Isn't it risky to do magic tricks that require a member of the audience to carry out a computation? What do you do if Alice botches the computation? $\endgroup$ – bof Dec 8 '14 at 7:04
"The best card trick", an article by Michael Kleber. Here is the opening paragraph:
"You, my friend, are about to witness the best card trick there is. Here, take this ordinary deck of cards, and draw a hand of five cards from it. Choose them deliberately or randomly, whichever you preferbut do not show them to me! Show them instead to my lovely assistant, who will now give me four of them: the 7 of spades, then the Q of hearts, the 8 of clubs, the 3 of diamonds. There is one card left in your hand, known only to you and my assistant. And the hidden card, my friend, is the K of spades."

28$\begingroup$ Martin Gardner gave an interesting variant of this in one of his books, where the volunteer also gets to choose which 4 of the 5 cards the assistant hands to the mathematician. This seems like only 4!=24 pieces of information to convey one of 48 cards: the extra bit is whether the assistant passes the cards right side up or upside down. $\endgroup$ – David E Speyer Feb 2 '10 at 13:19

1

4$\begingroup$ That's a really nifty trick... I wonder if I can find an "assistant" to help me run this soon! $\endgroup$ – Gwyn Whieldon May 16 '10 at 7:48

9$\begingroup$ I have done that trick once. The audience was a high shcool class. When I announced the fifth card, that was an ovation, a success beyond my hopes. Then I explained the combinatorial trick and asked the bestinmaths scholar to reproduce it; and he did! $\endgroup$ – Denis Serre Nov 10 '11 at 9:57

2$\begingroup$ So far I've read only the abstract. It strikes me that the assistant can choose not only one of 24 orders in which to hand you the four cards, but also which four to give you. That's additional information. But I still don't know how it's going to work. $\endgroup$ – Michael Hardy Jul 15 '14 at 0:44
This was fascinating for me. Somehow the man takes a bagel and with one cut arrives with two pieces that are interlocked. Whether this qualifies as "magic" I dunno (it's hard to say once the trick's been explained), but it sure seems like it to me.
It doesn't hurt that I love bagels, and have the opportunity to perform this with friends/family/nonmath people and can teach a little about problems/topology/counterintuitive facts about the universe.

16$\begingroup$ I was amused by the connected bagel that resulted when my friend cut along a Mobius strip instead of a fulltwisted strip. $\endgroup$ – Elizabeth S. Q. Goodman Feb 11 '10 at 6:50

1$\begingroup$ As soon as I saw the first image in the link I thought "this must be a toral knot of type $(1,1)$ !" (or how knot theorists call those beasts..) $\endgroup$ – Qfwfq Nov 8 '11 at 2:26

$\begingroup$ @Qfwfd: I think it was a Hopf link on the surface of the bagel, and Hopf's link Seifert surface inside the bagel. $\endgroup$ – Michael Sep 12 '13 at 17:00

$\begingroup$ @ElizabethS.Q.Goodman: The cut should be full twist to produce 2 interlocked slices. A Mobuis cut would produce a single slice that's twice as long as the bagel. That's because, well, Mobius strip has one side, and therefore both sides of the Mobius cut belong to the same slice. $\endgroup$ – Michael Mar 2 '15 at 21:55

$\begingroup$ Exactly Michael, unfortunately he didn't know that until after the fact. $\endgroup$ – Elizabeth S. Q. Goodman Jun 2 '15 at 4:42
I saw this trick demonstrated at a math camp once. When it works, it is extremely impressive to nonmathematicians and mathematicians alike.
Have a volunteer shuffle a deck of cards, select a card, show it to the audience, and shuffle it back into the deck. Take the deck from him, and fling all of the cards into the air. Grab one as it falls, and ask the volunteer if it is his card.
1 in 52 times (this is the deep mathematics part), the card you grab will be the card the volunteer selected. Even most statisticians should be amazed at this feat. Just make sure you never perform this trick twice to the same audience.

5

24

9$\begingroup$ Well, 51 in 52 times (this is an equally deep mathematical part), the trick won't work. $\endgroup$ – Michael Sep 12 '13 at 17:09

$\begingroup$ This is why quantum postselection is useful! Just destroy the universe if the trick fails... $\endgroup$ – Mario Carneiro Apr 11 at 10:24
Five unrelated items:
Mobius strip
One of the best mathematical tricks is what happens when you cut a Mobius strip in the middle. (Look here) (And what happens when you cut it again, and when you cut it not in the middle.) This is truly mind boggling and magicians use it in their acts. And it reflects deep mathematics.
Diaconis mind reading trick
I also heard from Mark Gorseky this description of a mathematical based card game
"Mark described a card trick of Diaconis where he takes a deck of cards, gives it to a person at the end of the room, lets this person “cut” the deck and replace the two parts, then asks many other people do the same and then asks people to take one card each from the deck. Next Diaconis is trying to read the mind of the five people with the last cards by asking them to concentrate on the cards they have. To help him a little against noise coming from other minds he asks those with black cards to step forward. Then he guesses the cards each of the five people have.
Mark said that Diaconis likes to perform this magic with a crowd of magician since it violates the basic rule: “never let the cards out of your control”. This trick is performed (with a reduced deck of 32 cards) based on a simple linear feedback shift register. Since all the operations of cuting and pasting amount to cyclic permutations, the 5 red/black bits are enough to tell the cylic shift and no genuine mind reading is required."
I think there is a paper by Goresky and Klapper about a version of this magic and relations to shift registers.
The Link Illusion
I heard a wonderful magic from Nahva De Shalit. You tie a string between the two hands of two people and link the two strings. The task is to get unlinked.
This ties with what I heard from Eric Demaine about the main principle behined many puzzles (Some of which he manufectured with his father whan he was six!)
Symmetry Illusion
Sometimes things are not as symmetric as they may look.
commutatorsbased magic
(I heard this from Eric Demaine and from Shahar Mozes.) If we hang a picture (or boxing gloves) with one nail, once the nail falls so does the picture. If we use two nails then ordinarily if one nails falls the picture can still hangs there. Mathematics can come for the rescue for the following important task: use five nails so that if any one nail falls so does the picture.

$\begingroup$ I haven't heard the term linear feedback shift register, but I think this is equivalent to a de Bruijn sequence: en.wikipedia.org/wiki/De_bruijn_sequence $\endgroup$ – Ian Agol Mar 11 '10 at 21:26

$\begingroup$ Look here en.wikipedia.org/wiki/Linear_feedback_shift_register it is not deBruijn sequences $\endgroup$ – Gil Kalai Mar 12 '10 at 8:09

4$\begingroup$ They stand up if they have a red card and stay seated if they have a black card. That'll tell him (for example) that he's looking at the sequence of cards corresponding to 01100 or 11001, etc. He has the cyclic order of the cards he handed out memorized, and just reads of the corresponding card names. $\endgroup$ – Gwyn Whieldon May 16 '10 at 0:31

1$\begingroup$ +1 for the Diaconis mind reading trick. $\endgroup$ – Eric Naslund Oct 13 '11 at 11:36

1$\begingroup$ For the hanging trick, there is a spoiler on Alex Eremenko's homepage: math.purdue.edu/~eremenko/howto.html $\endgroup$ – Margaret Friedland Nov 7 '11 at 19:56
Persi Diaconis and Ron Graham just published Magical Mathematics. The book contains a plethora of magic tricks rooted in deep mathematics.

2

$\begingroup$ Hey! I saw this trick in a book of card tricks when I was a kid... I never knew it was invented by Kruskal! $\endgroup$ – Vectornaut Apr 26 '10 at 5:35
The following trick uses some relatively deep mathematics, namely cluster algebras. It will probably impress (some) mathematicians, but not very many laypeople.
Draw a triangular grid and place 1s in some two rows, like the following except you may vary the distance between the 1s:
1 1 1 1 1 1 1
. . . . . .
. . . . . . .
. . . . . .
. . . . . . .
. . . . . .
1 1 1 1 1 1 1
Now choose some path from the top row of 1s to the bottom row and fill it in with 1s also, like so:
1 1 1 1 1 1 1
1 . . . . .
. 1 . . . . .
1 . . . . .
. 1 . . . . .
. 1 . . . .
1 1 1 1 1 1 1
Finally, fill in all of the entries of the grid with a number such that for every 2 by 2 "subsquare"
b
a d
c
the condition $adbc=1$ is satisfied, or equivalently, that $d=\frac{bc+1}{a}$. You can easily do this locally, filling in one forced entry after another. For example, one might get the following:
1 1 1 1 1 1 1
1 2 3 2 2 1
. 1 5 5 3 1 .
1 2 8 7 1 .
. 1 3 11 2 1 .
. 1 4 3 1 .
1 1 1 1 1 1 1
The "trick" is that every entry is an integer, and that the pattern of 1s quickly repeats, except upsidedown. If you were to continue to the right (and left), then you would have an infinite repeating pattern.
This should seem at least a bit surprising at first because you sometimes divide some fairly large numbers, e.g. $\frac{5\cdot 11+1}{8} = 7$ or $\frac{7\cdot 3+1}{11} = 2$ in the above picture. Of course, the larger the grid you made initially, the larger the numbers will be, and the more surprising the exact division will be.
Incidentally, if anyone can provide a reference as to why this all works, I'd love to see it. I managed to prove that all of the entries are integers, and that they're bounded, and so there will eventually be repetition. However, the repetition distance is actually a simple function of the distance between the two rows of 1, which I can't prove.

2$\begingroup$ The fact you are looking for is that, in a finite type cluster algebra, if you mutate each vertex once in the order given by the orientation of the Dynkin diagram, the resulting operation has period h+2, where h is the Coxeter number. See front.math.ucdavis.edu/0111.3053 $\endgroup$ – David E Speyer Feb 2 '10 at 13:28

7$\begingroup$ I'm not sure what level you want an answer on. My preferred proof for this particular case is to notice that the numbers you are getting are the Plucker coordinates of a point in G(2,n), and that presentation makes it obvious that they will be periodic modulo n. $\endgroup$ – David E Speyer Feb 2 '10 at 13:31

1$\begingroup$ For those who might be interested in information about the mathematics of "freeze patterns" you can start with the references here: mathworld.wolfram.com/FriezePattern.html and there are additional ones via Mathscinet. Perhaps surprisingly this circle of ideas is related to triangulated plane polygons. $\endgroup$ – Joseph Malkevitch Feb 6 '10 at 17:09

$\begingroup$ Worth noting long after the fact: a version of this frieze pattern also works with nimaddition rather than multiplication (i.e., $a\oplus d = (b\oplus c) + 1$) and can acutally be applied to computing the values of positions in Welter's game; this shows up, IIRC, in On Numbers And Games. $\endgroup$ – Steven Stadnicki Jun 7 '16 at 0:14
A late addition: The Fold and OneCut Theorem. Any straightline drawing on a sheet of paper may be folded flat so that, with one straight scissors cut right through the paper, exactly the drawing falls out, and nothing else. Houdini's 1922 book Paper Magic includes instructions on how to cut out a 5point star with one cut. Martin Gardner posed the general question in his Scientific American column in 1960.
For the proof, see Chapter 17 of Geometric Folding Algorithms: Linkages, Origami, Polyhedra. We include instructions for cutting out a turtle, which, in my experience, draws a gasp from the audience. :)
The coffee mug trick
Give a coffee mug (full if you're brave) to someone and ask them to rotate 360 degrees without spilling the (real or imaginary) coffee, so that their hand ends up in the same position.
This is impossible, so you get to smirk while they contort themselves and become more and more baffled (this works better with more than one person since it turns into a kind of "competition")
Finally, take the cup and show that while it's impossible to turn it once (as has been "proven"), it's possible to turn it twice (!) and end up in the same position.
Has to do with the fundamental group of SO(3) being $\mathbb{Z}/2\mathbb{Z}$, and when we require the cup to stay upright we end with a nontrivial loop.

1$\begingroup$ Sometimes called the "plate trick" or the "belt trick". $\endgroup$ – Sam Nead Oct 11 '10 at 8:54

4$\begingroup$ And then, you pretend that the mug is an electron and your arm tracks its spin. $\endgroup$ – Elizabeth S. Q. Goodman Nov 8 '11 at 7:04

8$\begingroup$ An easier solution than the plate trick: Stand up, pick up the mug, and walk in a circle around it. $\endgroup$ – Sam Nead Apr 7 '12 at 14:44
Here is a general trick that you can use to make yourself look like you have an amazing memory.
Start with a finite abelian group $(G,+)$ in which you are comfortable doing arithmetic. Be sure to know the sum $$g^* = \sum_{g \in G} g.$$
Take a set $S$ of $G$ physical objects with an easily computable set isomorphism $$ \varphi : S \longrightarrow G.$$ Allow your audience to remove one random element from $a \in S$ and then shuffle $S$ without telling you what $a$ is. [Shuffling means we need $G$ to be abelian.]
Now inform your audience that you are going to look briefly at each remaining element of $S$ and remember exactly which elements you saw, and determine by process of elimination which element of $S$ was removed.
Now glace through all the remaining elements of $S$ one by one and keep a "running total" to compute $$ \varphi(a) = g^*  \sum_{s \in S\{a\}} \varphi(s).$$
Finally apply $\varphi^{1}$ and obtain $a.$
Note that $\varphi$ is not "canonical" in the sense there are definitely choices to be made. On the other hand in should be "natural" in the sense that you should be very comfortable saying $s = \varphi(s).$
The prototypical example is to take $G$ to be $\Bbb Z / 13 \Bbb Z \times V_4,$ $S$ to be a standard deck of 52 cards, and $\varphi(s)$ to be $( \text{rank}(s) , \text{suit}(s) )$.

$\begingroup$ What's the obvious group operation on suits? $\endgroup$ – Qiaochu Yuan Jun 15 '10 at 10:08

$\begingroup$ It's not canonical, but once you choose an identity e there is a unique operation isomorphic to the Klein four group. Use the following rules about working in V_4. 1. a + e = e + a = a for all a in V_4. 2. a + a = e for all a in V_4. 3. If a and b are distinct nonidentity elements then their sum is the third distinct nonidentity element. This does the trick. I usually take e to be Spades, but it doesn't really matter. $\endgroup$ – Jamie Weigandt Jun 18 '10 at 22:56

$\begingroup$ am I missing something or is $\sum_{g\in G}g$ always the unit element in the abelian group $(G,+)$? $\endgroup$ – Toink May 12 '13 at 19:37

2$\begingroup$ The sum of all elements of a finite abelian group is nonzero if and only if the 2Sylow subgroup of this group is a nontrivial cyclic. $\endgroup$ – Anton Klyachko May 12 '13 at 22:39
This trick exploits the thinness of coins.

2$\begingroup$ I remember this  a nice trick! Very similar to betting someone "I can walk through this piece of paper." [Holding up a piece of letter paper]. So this is a real mathematical trick; it uses the interaction between length and area. Is there a way to make a deeper version? $\endgroup$ – Sam Nead Jan 17 '10 at 14:38
You can use hamming codes to guess a number with lying allowed. For example, here is a way to guess a number 015 with 7 yesorno questions, and the person being questioned is allowed to lie once. (The full cards are here).

$\begingroup$ i was going to post a similar "mindreading" card trick which uses binary encoding (in radices) and finds the user card in 34 questions. But there is a variation of this trick as in here for example where the trick is that the original cards are totaly different from the final cards shown (so it will always work), But they look alike because they share some of the same bits (e.g color or card symbol) $\endgroup$ – Nikos M. Mar 1 '15 at 1:59
Audience asked to choose an integer from 0 to 1000. Ask to give remainder when divided by 7, 11, and 13 respectively.
Magician gives original integer by Chinese Remainder Theorem.
Works because 7×11×13=1001.

1

2$\begingroup$ I've changed the 3 to a 13. @Jason: since the post is Community Wiki, you could have changed the 3 to a 13 as well. $\endgroup$ – Anton Geraschenko Dec 26 '09 at 6:56

$\begingroup$ I'm still not used to the community wiki mode  but I'll try to keep it in mind for the future. Thanks! $\endgroup$ – Jason DeVito Jan 4 '10 at 2:42
Here is a card trick from Edwin Connell's Elements of Abstract and Linear Algebra, page 18 (it can be found online). I always do this trick to my undergraduate number theory class in the first minutes of the first day. A few weeks later, after they've learned some modular arithmetic, we come back to the trick to see why it works. I quote from Connell:
"Ask friends to pick out seven cards from a deck and then to select one to look at without showing it to you. Take the six cards face down in your left hand and the selected card in your right hand, and announce you will place the selected card in with the other six, but they are not to know where. Put your hands behind your back and place the selected card on top, and bring the seven cards in front in your left hand. Ask your friends to give you a number between one and seven (not allowing one). Suppose they say three. You move the top card to the bottom, then the second card to the bottom, and then you turn over the third card, leaving it face up on top. Then repeat the process, moving the top two cards to the bottom and turning the third card face up on top. Continue until there is only one card face down, and this will be the selected card."
When I do this trick, I always use big magician's cards (much easier for an audience to see), but a regular deck works too. To get to the trick faster, I skip the first part and just pick 7 cards myself, showing them all the cards so they see nothing is funny (like two ace of spades or something). I then spread the cards in one hand facedown and let a student pick one and show it to everyone else but me before I take it back face down. When the student is showing the cards to the class I move the rest of the cards behind me so that before I get the card back I already have the rest behind my back.
You need to make sure students at the side of the room won't be able to see what you're doing behind your back (namely, putting the mystery card on the top of the deck), so stand close to the board. Practice this with yourself many times first to be sure you can do it without screwing up. The hard part is remembering to keep the last card you reached in the count on the top of the deck; that same card will be used when you start the count in the next round. If you stick it on the bottom before counting off cards again then you'll mess everything up. For instance, if someone picks the number 3 then I start counting from the top of the deck and say (with hand movements in brackets) "One [put it under], two [put it under], three [turn it over, put it on top FACE UP and stop]. This [show faceup card to everyone] is not your card. [Put it back faceup on top] One [now put it under], two [put it under], three [turn over and put on top FACE UP and stop]. This etc. etc."
Connell advises telling people to pick up a number from 1 to 7 but not allow 1. In practice there's no need to tell people not to pick 1. They never do (it's never happened to me). They don't pick 7 either. And if they did pick 1, well, just turn over the top card and you're done! Again, that never really happens.




$\begingroup$ Sure, and I wouldn't say that either. Read again what I wrote in the last paragraph of my answer: when doing the trick I tell people to pick a number from 1 to 7. They've never picked 1. $\endgroup$ – KConrad Jul 19 '15 at 8:32
The coffee mug trick is also called the Philipine Wine Trick and should be related to the Dirac String Trick, which you can find by a web search, for example here and also in my presentation Out of Line, where rotations in 3space are related to the Projective Plane.
A knot trick, I am not sure you would call it magic, has been shown to children and academics in many places. It requires a pentoil knot of width 20" (say 100cm) made of copper tubing, about 0.25" (7mm) diameter (made by a university workshop) shown in the following diagram, but without the arrows and labels:
It also needs some nice flexible boating rope. The rope is wrapped round the $x,y$ pieces according to the rule $$R=xyxyxy^{1}x^{1}y^{1}x^{1}y^{1} $$ and the ends tied together, as in the following picture:
A member of the audience is then invited to come up and manipulate the loop of rope off the knot, starting by turning it upside down. This justifies the rule $R=1$. Of course the rule is the relation for the fundamental group of complement of the pentoil, which can, for the right audience, be deduced from the relations at each crossing given by the diagram
and can be easily demonstrated with the knot and rope. (The picture has no base point and so seems to me related more to the notion of fundamental groupoid than fundamental group.)
It is also of interest to have a copper trefoil rather than pentoil around to compare the relations. One warning: the use of rope does not really model the fundamental group or groupoid, so be careful with a demo for the figure eight knot!
I did the demo for one teenager and he said:"Where did you get that formula?" This demo knot has been well travelled, for many different types of audience; on one occasion the airline lost my luggage with the rope and I had to ask the taxi from the airport to to stop at a hardware store for me to buy d=some clothesline. I devised this trick for an undergraduate course in knot theory in the late 1970s.
You can also see a Knot Exhibition whose aim is to use the notion of knot to explain some basic methods of mathematics to the general public.
I would like to thank all the contributors on this page. I have been putting together a new MathaMagic show for the 912 grade level and have found some fantastic material here. If I get a decent video of the show I'll be sure to post a link here so you can play the "What concept is behind this trick?" game.
I have modified some of your ideas severely. For example. Craig Feinstein's suggestion was a commercial effect that asks the volunteer to pick one of a hundred different cities typed out on ten cards. The volunteer finds the city's name on two different cards which the magician looks at casually. You can then instantly tell him the name of the city he has mentally picked.
In my version, I instruct him not to ever let me see the city's name on the cards and yet I can still easily predict his choice!
Here is my favorite trick based on the deep principal of Set theory. Ok, maybe it is not too deep but the results are astounding!
Taking a deck of cards, you mention you have a prediction about these cards. That means it is very important to give the cards a really random shuffle. You then give your volunteer half the deck and you both shuffle your half decks thoroughly. Tell your volunteer to take a small amount(515) of cards from his half of the deck, turn them upside down and give them to you. you do the same to him (doesn't matter how many cards you turn upside down as long as there is some left in your hand) You then both shuffle the cards you have received into the deck in your hands in there upside down state. so at this point both people will have some cards right side up some cards upside down. You will follow the same procedure two more times. It doesn't matter how many or what cards he or you are turning upside down and giving away. After all this is done put both half decks of cards together again (IMPORTANT: turn your entire half deck over when you place it on top of his) Now you spread the cards out across a table top. They should be a seemingly random mix of upside down and rigtside up cards. You then unfold your prediction slip which says something like: 11 cards will be black, 15 cards will be red, 6 will be clubs and 5 will be hearts and the hearts will also form a royal Flush!
They will be astounded by your amazingly detailed prediction. What happens is that all the face up cards are the ones that were originally in your half deck. This trick is self working. All you do is to pick out which cards you want in your half of the deck and place them at the top of the deck to start. Then just give him the random bottom half of the deck and you keep the preset ones.
Any questions? Just email me at kevin@hallsofmagic.com
I gave a talk about card shuffling to a general audience recently and wanted to memorise a "randomlooking" deck so as to motivate a correct definition of what it means for a deck to be random. Most magicians actually use memory tricks to learn off the deck but I thought it would be much cleverer to order the cards in the obvious way, and then find a recursive sequence of length 52 containing all of 1 to 52. In the end, caught for time I settled on using the Collatz recursive relation with seed 18  this allowed me to name off 21 distinct cards effortlessly and when I held up the deck prior to the demonstration, the audience voted that the deck was random. Can anyone think of a suitable recursive sequence with the desired property? We can either take a randomlooking order and a "regular" recursive sequence but I think it would be much better to find an easy to compute recursive sequence that "looks random" when using a more canonical order simply because if we can remember a "random looking order" we're pretty much going to have to remember the whole deck  the problem I'm exactly trying to avoid.
PS: I did one of the simpler Diaconis tricks. A deck is riffle shuffled three times, the top card shown to the audience, inserted into the deck, and after laying the cards out on the table the top card can be easily recovered by looking at the descents. The key is that the order of the deck is known beforehand  a simple demonstration that three shuffles does not suffice to mix up a deck of cards (with respect to variation distance).

1$\begingroup$ If you're somewhat good at mental arithmetic and binary conversion you can do a simple 6bit linear shift register in your head, using the first two bits to encode suit and last four bits to encode the face of the card, skipping a number if the face > 13. $\endgroup$ – orlp Mar 24 '18 at 6:10
I hope this is contribution is appropriate; I think that a nice puzzle based on Hamming codes discussed a little here: http://ocfnash.wordpress.com/2009/10/31/yetanotherprisonerpuzzle/
is the following:
A room contains a normal 8×8 chess board together with 64 identical coins, each with one “heads” side and one “tails” side. Two prisoners are at the mercy of a typically eccentric jailer who has decided to play a game with them for their freedom. The rules are the game are as follows.
The jailer will take one of the prisoners (let us call him the “first” prisoner) with him into the aforementioned room, leaving the second prisoner outside. Inside the room the jailer will place exactly one coin on each square of the chess board, choosing to show heads or tails as he sees fit (e.g. randomly). Having done this he will then choose one square of the chess board and declare to the first prisoner that this is the “magic” square. The first prisoner must then turn over exactly one of the coins and exit the room. After the first prisoner has left the room, the second prisoner is admitted. The jailer will ask him to identify the magic square. If he is able to do this, both prisoners will be granted their freedom
Two persons, A and B, perform this trick. The public (or one from the public) chooses two natural numbers and give A the sum and B the product. A and B will ask each other, alternatively, the only single question "Do you know the numbers?" answering only yes or no until both find the numbers. There is a strategy such that for any input and only doing this, A and B will manage to find the original numbers.
I have never seen magicians actually performing this, but is perfectly doable.
This was a problem in the shortlist of the proposed problem for some international mathematical olympiad. Unfortunately I don't remember which. If someone remembers or finds it. Tell us please. i would also like to know.

1$\begingroup$ If "the public" consists of mathematicians/wiseguys, the two natural numbers might have a few million digits, and it might take A and B a while to complete the trick. $\endgroup$ – Gerry Myerson Jul 13 '10 at 4:52

$\begingroup$ Well, you don't need to be mathematician or wise to have that guess. Now, remember that one guy has the product and as soon as he know the numbers the guy with the sum gets lots of information. For that one, what it matter is the number of factors. $\endgroup$ – O.R. Jul 13 '10 at 11:28

$\begingroup$ Are the yesorno answers by A and B required to be truthful? Or could they just use them to tell each other, in binary, the sum or product that they know? $\endgroup$ – Andreas Blass Nov 10 '11 at 14:16

$\begingroup$ @Andreas: Yes, and more than truthful, they should be well thought. So when one of them answers 'no' it means that he has not enough information to deduce the two numbers. Yes, there are many ways of cheating if they agree to do so beforehand. But it is probably hard to agree saying the numbers in binary by only saying 'yes' or 'no' and asking if the other knows the numbers. I don't remember if the original wording of the problem had something to avoid cheating but the cool thing is that they can actually deduce the two numbers, fairly, just from the answers. $\endgroup$ – O.R. Dec 16 '11 at 18:54

1$\begingroup$ I fail to see how this is true. I don't see that $A$ and $B$ can manage to find the numbers in case that the numbers are $3$ and $4$. This is even assuming that it's common knowledge that the given numbers are distinct. Without this simplification, I believe that there's a smaller counterexample: the numbers $3$ and $3$. What am I missing? $\endgroup$ – Ingo Blechschmidt Aug 12 '16 at 19:06
Here's an example of a magic trick that works with high probability, based on a careful analysis of the riffle shuffle, in which an audience member performs a number of riffle shuffles and then moves a single card, and the magician guesses which card has been moved.
Not so much a magic trick as a math trick, in that I can prove it works in theory but I have never tried it in practice.
Take a very long onedimensional frictionless billiard table, with a wall at one end. Away from the wall, place a billiard ball with mass $10^{2n}$ for $n$ positive. Between that ball and the wall, place another billiard ball with mass $1$. Then start the heavy ball rolling slowly towards the light one. Of course, they bounce, setting the light one traveling quickly towards the wall, which it bounces off, and then it hits the heavy ball, etc., until all the momentum from the heavy ball has been transferred and it starts rolling away.
Assume that all collisions are perfectly elastic. Then at the end of the day, there will be finitely many collisions. Indeed, the number of collisions will calculate the digits of $\pi$, in the sense that there will be $\lfloor \pi \times 10^n \rfloor$ collisions.
I prefer this method of calculating $\pi$ much better than the probabilistic one.

7$\begingroup$ This reminds me of a joke that ends in a mathematician explaining his solution to a real world problem starting with "let $C$ be a spherical chicken..." $\endgroup$ – Mariano SuárezÁlvarez Jan 4 '10 at 4:07

$\begingroup$ @Mariano: Thanks :) I was hoping that "Take a very long onedimensional frictionless billiard table" would have the same effect. $\endgroup$ – Theo JohnsonFreyd Jan 4 '10 at 4:16

$\begingroup$ Do you have a reference for this? I recall having seen it somewhere before, but I can't remember the exact reference anymore, maybe it was a book by Tabachnikov? $\endgroup$ – Kevin H. Lin Jan 4 '10 at 13:15

2$\begingroup$ Another trick for calculating $\pi$;, observed by David Boll (home.comcast.net/~davejanelle/mandel.html) and proven by Aaron Klebanoff (home.comcast.net/~davejanelle/mandel.pdf), is the following. Let $z_0 = 0$; then let $z_j = z_{j1}^2 + c$ where $c = .75 + \epsilon i$ for some small number $epsilon$. Then for $k \lt \pi/\epsilon + O(1)$, $z_k$ is in a circle of radius 2 around the origin; for larger $k$ it's not. (Boll came across this while investigating the Mandelbrot set. There are other points near the boundary of the set that behave similarly.) $\endgroup$ – Michael Lugo Jan 4 '10 at 16:39

1$\begingroup$ The original source seems to be G Galperin, Playing pool with $\pi$, Regular and Chaotic Dynamics 8 (2003) 375394, MR 2004j:37064. It's at turpion.org/php/full/getFT.phtml/… The author only claims that it works for $n\lt10^8$; truth for all $n$ depends upon unproven hypotheses about diophantine properties of $\pi$. $\endgroup$ – Gerry Myerson Nov 17 '10 at 3:17
Ask someone to lay out the 52 cards in a deck, face up, in 4 rows of 13 cards each, in any order the person wants. Then you can always pick 13 cards, one from each column, in such a way as to get exactly one card of each denomination (that is, one ace, one deuce, ..., one king).
As a trick, it's not up there with sawing a woman in half, but its explanation does require Hall's Marriage Theorem.

$\begingroup$ Is there a way to perform it as a trick? Hall's Marriage Theorem is rather nonconstructive. $\endgroup$ – Victor Protsak May 16 '10 at 2:06

$\begingroup$ Well, it's a finite problem, so exhaustive search is always an option, albeit not a very entertaining one. In practice, it's not too hard to pull it off with just a little bit of (mental) backtracking. $\endgroup$ – Gerry Myerson May 17 '10 at 1:07

3$\begingroup$ Actually, Hall's Marriage Theorem has a constructive version: the augmentingpaths algorithm for finding a perfect matching in a bipartite graph, which runs in polynomial time. The existence of this algorithm might help explain why the problem isn't so hard in practice... $\endgroup$ – Scott Aaronson Jul 13 '10 at 4:35

$\begingroup$ What if all four aces and all four kings are in the same column? $\endgroup$ – orlp Jul 7 '17 at 20:42

$\begingroup$ @orlp, each column has only four cards in it. $\endgroup$ – Gerry Myerson Jul 8 '17 at 8:50
So two points of note.
I did not read all the posts above in detail but did do a search for the Faro Shuffle and got no results... So:
This is a shuffle where all the cards interweave absolutely perfectly (so a perfect riffle shuffle). There's quite a lot of maths behind this. For instance, 8 shuffles takes you back to the order you started shuffling the cards in. Martin Gardner talked about this a bit in at least one of his SA columns. The problem with the faro shuffle is it takes a long long time to learn... personally well over a year, and that was with the benefit of having been a practicing amateur magician for along time. Still if interested the book to look for is The Collected Works of Alex Elmsley, this really lays the foundations for mathematical faro work...
Another trick I came across whilst working towards an Ergodic Theory exam uses the Birkhoff Ergodic Theorem at its core. You can read about it in these notes: http://www.maths.manchester.ac.uk/~cwalkden/ergodictheory/lecture22.pdf
Owen.
Here is a simple trick based on group theory. Ask a person to choose four numbers from 1 to 9 and write them in a row on a piece of paper. Pause for a moment and then write a number on a piece of paper without letting the other person see what it is. Turn the paper over and place it on the table.
Now ask the person to choose two of the numbers from the list and put a line though them. Ask the person to compute a*b + a + b and put it in the list to replace the two chosen numbers.
Continue to do this until there is only one remaining number. Turn over the paper and show that the numbers match.
The simplest way of explaining this is to show that a * b + a + b is isomorphic to multiplication using the transform T(x) = x + 1. (a*b + a + b) + 1 = (a + 1)(b + 1). If we denote the operation a * b + a + b as a & b, this means that a & b is commuative and associative, just as multiplication is. For any list of numbers ai, the final number can be computed as the (a1 + 1)(a2 + 1)...(an + 1)  1.

$\begingroup$ I did not understand what the oter person should do after replacing $a,b$ in the first column with $ab+a+b$. Also, what number do you write down? $\endgroup$ – Filippo Alberto Edoardo Sep 16 '12 at 0:54
Here's another Fibonacci trick, from Benjamin & Quinn's "Proofs that really count".
The magician hands a volunteer a sheet of paper with a table whose rows are numbered from one to ten, plus a final row for the total. She asks him to fill in the first two rows with his favorite two positive integers. She then asks him to fill in row three with the sum of the first two rows, row four with the sum of row two and row three, etcetera... She then hands him a calculator and asks him to add up all ten numbers together. Before he's able to finish that, the magician has a quick look at the sheet of paper and announces the total. The magician then asks the volunteer to divide row 10 by row 9, and cut up the answer to the second decimal digit. The volunteer performs the division and says: 1.61. And the magician: "Now turn over the paper and look what I've written". The paper says: "I predict the number 1.61".
The first part of the trick uses the following wellknown Fibonacci identity:
$$\sum_{i=1}^nF_i=F_{n+2}1$$
Indeed, call $x$ the number in row 1 and $y$ the number in row 2. Then for $n \geq 3$, the number in row $n$ is $F_{n2} x+F_{n1} y$, where $F_n$ is the $n$th Fibonacci number. So the number in row 7 is $F_5 x + F_6 y=5x+8y$ and the total is $$x+y+\sum_{i=3}^{10} (F_{i2} x+F_{i1} y)= F_{10} x + F_{11} y=55x+88y$$ by the Fibonacci identity mentioned at the beginning. Therefore all the magician has to do to find the total is multiply row 7 by the number 11.
The second part of the trick uses an inequality for the freshman sum ;) of two fractions. That is, given positive fractions $\frac{a}{b}$ and $\frac{c}{d}$ such that $\frac{a}{b}<\frac{c}{d}$ we have:
$$\frac{a}{b} < \frac{a+c}{b+d} < \frac{c}{d}$$
Just note that the number in row 9 is $13x+21y$ while the number in row 10 is $21x+34y$. Hence:
$$ 1.615 \dots =\frac{21x}{13x} < \frac{21x+34y}{13x+21y} < \frac{34y}{21y}=1.619 \dots $$
Place $K$ faceddown cards on a table, blindfold yourself and ask him/her for a number $1 < n < K$. Allow him/her to flip $n$ random cards up. Cover the cards with an opaque box that has two holes for you to put your hands in and claim that you can split the cards into 2 stacks, each with same number of facedup cards.
Based on a well known logic puzzle: http://usna.edu/Users/physics/mungan/_files/documents/Scholarship/CoinPuzzle.pdf Modified the process to make it harder for audience to figure out what you did and used cards so that they will not think that you did it by differentiating the surface of the coins.
I forgot the historical name for this and I'm pretty sure this is classical and wellknown.
Consider a circular disk and remove an interior circular region, not necessarily concentric. In this annulus we play the following game. Start at any point $p_{1}$ of the outer boundary and draw a line through this point which is tangent to the inner circle. This line intersects the outer circle at another point $p_2$. Now repeat the same procedure with $p_2$ and get $p_3$. Iterating this procedure ad infinitum we either conclude that these sequence of points are periodic or not. What's true is that the periodicity or lack of it is independent of the starting point $p_1$.
I believe there is a proof involving Lefschetz fixed point theorem involving the torus but any details on this and the history of this is more than welcome.

1$\begingroup$ I believe you are referring to Poncelet's theorem. mathworld.wolfram.com/PonceletsPorism.html $\endgroup$ – Gjergji Zaimi Dec 26 '09 at 0:50

12$\begingroup$ It is hard to see how this idea can be turned into an actual trick. It requires either infinite accuracy (if the procedure is done by drawing on paper) or lots of complicated computation. Moreover, generically there is no periodicity, and the audience will not be very impressed by the prediction of nonperiodicity. $\endgroup$ – Richard Stanley Dec 26 '09 at 16:37

1$\begingroup$ I'm not sure I agree. Choosing the circles so that the periodicity is very low, say 3 or 4, and letting a computer do the calculation at the touch of a button for audiencememberchosen initial points (a bit of a pain but definitely something you can accomplish nowadays), you can definitely turn this into something pretty interactive and fun. $\endgroup$ – Emilio Pisanty Jun 22 '12 at 11:27
Peter Suber writes:
By the way, the single best knot trick I've ever found is at pp. 9899 of Louis Kauffman's On Knots, a mathematical treatise listed below with the books on knot theory. I'm sure you've seen the trick in which someone ties an overhand knot by crossing their arms before picking up the cord, and then uncrossing them. Kauffman shows you how to do the same trick without crossing your arms first. The version of this trick in Ashley #2576 and Budworth 1977 [p. 151] is not nearly as good.
Work out how it is possible for yourselves! A link to the book is here.
[Edit: This magic trick does not rely on mathematics  instead it violates an important mathematical fact, that the trefoil is not unknotted! The Chinese rings have a similar feel, but the mathematics violated (linking number) is less deep.]

4$\begingroup$ Here's a video of that trick: math.toronto.edu/~drorbn/Gallery/KnottedObjects/WaistbandTrick/… Actually, I've tried to reproduce this trick many many times, but I've never succeeded. The trick also seems to imply that the trefoil knot is trivial, which is weird... $\endgroup$ – Kevin H. Lin Dec 26 '09 at 17:26

$\begingroup$ @ Kevin  If you look at Kauffman's book then there is a point where some disconnection takes place (8th picture on page 99). I guess in the video you pointed out, she's smooth enough to hide this switch when she shakes both her hands. Thereafter, when she pulls it we see a trefoil. But it's a nice trick nonetheless. $\endgroup$ – Somnath Basu Dec 26 '09 at 18:21

$\begingroup$ Where does the nontriviality of the fundamental group of SO(3) come in? $\endgroup$ – Kevin H. Lin Dec 27 '09 at 2:28

$\begingroup$ There's a Dirac string trick when he takes the string all the way around, but it's indeed irrelevant (nothing is framed). I wrote nonsense. I'll edit. $\endgroup$ – Daniel Moskovich Dec 27 '09 at 2:46

1$\begingroup$ Kevin Lin I would argue that nontriviality of the trefoil is deeper, because nontriviality of the Hopf link can be detected by the Gauss linking integral, which was known earlier and is less deep than anything needed to prove nontriviality of the trefoil. $\endgroup$ – Daniel Moskovich Dec 29 '09 at 12:18
Magician: "Here is a deck of 27 cards. Select one, memorize it, put it back and shuffle at libitum. Now name a number between 1 and 27 inclusive (=: N)." Then the magician deals the cards face up into three heaps. You have to tell him in which heap the selected card lies, and he quickly ramasses the three heaps. This is done three times, then he hands you the deck, and you have to count N cards from its back. The N'th card is flipped over, and it turns out to be the card you have originally selected.
This is a trick that I designed years ago and I have used it in many different occasions for amusement only or educational purpose or both. It is indeed the finial difference method to find a polynomial. Ask the person to write down a polynomial without you knowing the polynomial and even the degree of the polynomial. To keep your life easy, it would be better to keep the degree less than or equal 3. (It wouldn't be hard to let a layman know what a polynomial is just by giving two or three examples). Then you ask for some information that is essentially the value of the polynomial for 0, 1, 2, 3. As soon as you take one of the value you should calculate the difference. And in a few seconds after taking the last information, you announce not only the degree of the polynomial but also the exact polynomial.
Note 1: Finding the degree is a very important part of this trick since it convinces more knowlegable persons that you are not just solving a simultaneous equation quickly.
Note 2: I used this trick in my Calculus classes to give this seemingly paradoxical idea that "if you don't know what the function is, try to figure out how it changes."
Note 3: Of course, one can use it in many different classes for different purposes.
Note 4: I've just search the internet to see if Martin Gardner ever introduced this trick. Damn it! The answer was yes, here: "The calculus of finite differences". However, I still love to keep the credit of telling the degree for my self :)

1$\begingroup$ It is similar to Shamir's secret sharing: en.wikipedia.org/wiki/Shamir%27s_Secret_Sharing $\endgroup$ – Margaret Friedland May 15 '13 at 20:50

1$\begingroup$ If you instruct the person writing down the polynomial to only use nonnegative coefficients, then in fact two evaluations (at integral points) suffice for you to uniquely infer the polynomial, irrespective of its degree. $\endgroup$ – Ingo Blechschmidt Aug 12 '16 at 20:02