Here are two fun problems about doughnuts.

Problem A§

Here are two doughnuts, one of which has a mouth.

Figure 1 Figure 1 Two doughnuts

Assume that the doughnuts are made of elastic film and can stretch arbitrarily, but cannot be torn. Then, the doughnut with a mouth can eat the other doughnut.

Figure 2 Figure 2 Open mouth

The small doughnut is now completely swallowed by the large doughnut.

Figure 3 Figure 3 Swallow doughnut

Now, if the two doughnuts are initially linked together, like this:

Figure 4 Figure 4 Two doughnuts

Can the doughnut with a mouth still eat the other doughnut?

Problem B§

Doughnuts can be knotted with themselves.

Figure 5 Figure 5 Knotted doughnut

Moreover, the hole in the doughnut can also be knotted.

Figure 6 Figure 6 Knotted glass doughnut

This figure looks like a glass jar, but it is essentially still a doughnut.

Of course, the reason for using glass is obvious — to see the hole in the middle. However, we imagine that this glass can stretch arbitrarily, just like an elastic film.

As topologists know, the two kinds of knots mentioned above cannot be untied, unless the doughnut is torn or the glass is broken.

Now, there is a doughnut with two holes.

Figure 7 Figure 7 Glass doughnut with two holes

The two holes inside it can be tied together into a knot.

Figure 8 Figure 8 Tied glass doughnut

So, can this knot be untied?

Answer A§

Can a doughnut eat a doughnut that is wrapped around it?

This seems impossible. We can even write down a ‘proof’: Consider two circles on the two doughnuts, shown in blue in the figure below.

Figure 9 Figure 9 Circles on the doughnuts

During elastic transformation, these two circles always lie on the surface of the two doughnuts, and are always linked together. However, if one doughnut eats the other, then these two circles will be separated.

Such separation is impossible. Therefore, we have ‘proved’ that the doughnut cannot be eaten.

This ‘proof’ seems very reasonable. But in any case, the doughnut can indeed be eaten:

First, open the mouth of the doughnut, and make an exaggerated expression.

Figure 10 Figure 10 Open mouth

Then, widen the mouth. At this point, the doughnut is actually only left with two thin bands.

Figure 11 Figure 11 Widen mouth

Now, we can slowly close the mouth that was opened.

Figure 12 Figure 12 Close mouth

Finally, the poor little doughnut is entirely swallowed by the large doughnut.

Figure 13 Figure 13 Swallow doughnut

So, where is the error in the previous ‘proof’? Notice that the two blue circles have never been separated throughout the entire process. We mistakenly assumed that the two circles would be separated after the doughnut was eaten, but this is not necessarily the case.

Also, we note that in this process, the large doughnut was flipped inside out, with its previous inner side becoming the current outer side.

So, what if the large doughnut cannot be flipped inside out? Then, the answer will be negative. The reader who knows topology can try to prove this:

Exercise

If the large doughnut is not allowed to be flipped inside out, then the large doughnut cannot eat the small doughnut.

Answer B§

Can the knotted glass doughnut be untied?

Figure 8 Figure 8′ Tied glass doughnut

If the tunnel on the left side was not there, then the answer would be no. But after adding this tunnel, the knot can actually be untied.

The first step is to move the bottom of the knotted tunnel to the wall of the left tunnel.

Figure 14 Figure 14 First step

Next, keep moving this endpoint along the top of the jar, then to the side.

Figure 15 Figure 15 Second step

Finally, move the endpoint along the side of the jar, around the back.

Figure 16 Figure 16 Third step

The knot is now untied.

Figure 7 Figure 7′ Untied knot

This solution was given by [Bing 1966], who used this example to illustrate that even familiar shapes in three-dimensional space can have very unintuitive properties.

References§

For problem A:

  • Gardner, M. (1997). Pool-ball triangles and other problems.
    Penrose tiles to trapdoor ciphers, revised edition, 119–136. Mathematical Association of America.

For problem B:

  • Bing, R. H. (1966). Mapping a 3-sphere onto a homotopy 3-sphere.
    Topology seminar Wisconsin, 1965, 89–99. Annals of Mathematics Studies 60.
    (doi) (zbMATH)