Some geometric legerdemain by Argentine magician Norberto Jansenson. (Thanks, Ron.)

# Science & Math

# The Hydra Game

Hercules is battling a hydra. He manages to sever a head, but finds that a new head is generated according to the following rule: We move down one segment from the point where the head was severed and make a copy of the entire subtree above that point. Worse, the rate is increasing — the *n*th stroke of Hercules’ sword produces *n* new subtrees.

What will happen? The situation certainly looks dire, but, amazingly, Hercules cannot lose. No matter how large the hydra is, and no matter the order in which he severs the heads, he will always kill the hydra in finitely many turns.

Why? With each step, the complexity in the network is migrating toward the root — and that can’t continue forever. “We basically say that whenever something goes on *K* steps away from the root, it’s infinitely times worse than anything that is going on *K*-1 steps away from the root,” Comenius University computer scientist Michal Forišek explains in *Slate*.

“Now, whenever you kill a head, you very slightly simplified something that is *K* steps away. And even though you get a lot of new stuff in return, all that stuff is only *K*-1 steps away, and hence the entire result is still simpler than it was before.”

(Laurie Kirby and Jeff Paris, “Accessible Independence Results for Peano Arithmetic,” *Bulletin of the London Mathematical Society* 14 [1982], 285-293.)

# In a Word

idoneous

adj. apt, fit, or suitable

tripudiary

adj. pertaining to dancing

Hermit crabs adopt other creatures’ castoff shells for protection. But as they grow, crabs must move into successively larger shells. This produces a curious phenomenon: When a crab finds a shell that’s too big for it, it waits nearby. Other crabs may accumulate, forming a little conga line of dissatisfied shell seekers. Finally a “Goldilocks” crab arrives — a crab large enough to claim the new shell — and now each waiting crab can move into the shell abandoned by its larger neighbor. By cooperating to share a scarce resource, the whole species benefits.

The same thing happens in human societies — when one person finds a new apartment, car, or job, she leaves behind her old one, and the vacancy passes down through society until the final unit is cast away or destroyed. It’s called a vacancy chain.

(Thanks, Duncan.)

# Easy Pi

Here’s a simple algorithm that Yoshiaki Tamura and Yasumasa Kanada used to calculate π to 16 million places. It’s based on Gauss’ study of the arithmetic-geometric mean of two numbers. “Instead of using an infinite sum or product, the calculation goes round and round in a loop,” writes David Wells in *The Penguin Dictionary of Curious and Interesting Numbers*. “It has the amazing property that the number of correct digits approximately doubles with each circuit of the loop.” Start with these values:

Then follow these instructions:

The last instruction prints the first approximation to π; then you loop up to the top and run through the instructions again.

Running through the loop just three times gives an approximation to π that’s already correct to 5 decimal places:

Loop 1: 2.9142135

Loop 2: 3.1405797

Loop 3: 3.1415928

And running the loop a mere 19 times gives π correct to more than 1 million decimal places.

# Paperwork

Three ancient problems are famously impossible to solve using a compass and straightedge alone: doubling the cube, trisecting an angle, and squaring the circle. Surprisingly, the first two of these can be solved using origami.

In the first, doubling the cube, we’re given the edge of one cube and asked to find the edge of a second cube whose volume is twice that of the first; if the first cube’s edge length is 1, then we’re trying to find . Begin by folding a square of paper into three equal panels (here’s how). Then draw up bottom corner P as shown above, so that it’s touching the top edge while the bottom of the first crease, Q, touches the second crease as shown. Now point P divides the top edge into two segments whose proportions are 1 and .

To trisect an angle, begin by marking the angle in one corner of a square (here’s it’s CAB). Make a horizontal fold, PP’, anywhere across the square. Then divide the space below this crease in half with another crease, QQ’. Fold the bottom left corner up so that corner A touches QQ’ (at A’) and P touches AC. Now A’AB is one-third of the original angle, CAB.

The first of these constructions is due to Peter Messer, the second to Hisashi Abe. Strictly speaking, each uses creases to produce a marked straightedge, which is not allowed in classical construction, but they’re pleasingly simple solutions to these vexing problems. There’s more at origami wizard Robert Lang’s website.

# A New Angle

I just ran across this in an old *Math Horizons* article — Andy Liu, vice president of the International Mathematics Tournament of the Towns, calls it “one all-time favorite geometric gem.” Given the four angles shown, compute angle CAD. “It sounds like a trivial exercise at first, and therein lies its charm.”

Liu doesn’t give the solution, but he does give a hint — I’ll put that in a spoiler box in case you want to work on the problem first.

# Square Routes

If you fit Pascal’s triangle into a grid, then each cell displays the number of distinct paths that lead to that cell from the upper left (assuming only rightward and downward movements and no backtracking).

So, above, the cell marked 4 in the second row, fourth column, can be reached in 4 ways: 1-1-1-4, 1-1-3-4, 1-2-3-4, and 1-2-3-4.

# Decisions

A man who enters a public restroom has to make a complex choice quickly. He wants to choose a urinal that maximizes his chances of maintaining privacy — that is, that minimizes the chance that someone will occupy a urinal next to him. Which choice is best?

Computer scientists Evangelos Kranakis and Danny Krizanc modeled a number of strategies: lazily choosing the closest urinal that provides privacy; tacitly cooperating in the decision with other men; maximizing one’s distance from other occupants; and making the choice randomly. Happily, their findings support the general intuition:

Our main conclusion is that when faced with the decision of what urinal to choose upon entering the men’s room, in order to maximize your privacy, you should probably choose the one furthest from the door if it is available and the one next to it is unoccupied. For a vast majority of the (what we consider) natural behaviors that men choosing urinals might follow, this choice is optimal.

Related: In 1984 Donald E. Knuth noticed that the toilet paper dispensers in Stanford’s computer science department hold two rolls of tissue, both of which are available for use. Suppose there are two sorts of people in the world, those who are disposed to draw from the larger roll and those who draw from the smaller roll, and that each user takes exactly one sheet from his favored roll. What’s the expected number of sheets remaining just after one of the two rolls has been emptied? Donald E. Knuth’s Toilet Paper Problem.

(Evangelos Kranakis and Danny Krizanc, “The Urinal Problem,” in Paolo Boldi and Luisa Gargano, eds., *Fun With Algorithms: 5th International Conference, Fun 2010, Iscia, Italy, June 2010: Proceedings*.)

# Half of Everything

If two people want to split up amicably, the easiest solution is to divide their assets equally, with each partner getting 0.5. But suppose that one partner goes to a lawyer who charges a fee *f* but promises to get more, by an amount *m* + *f*, leaving his client better off by the amount *m*. If this happens, then the second partner will get only 0.5 – *m* – *f*. If the second partner engages their own lawyer then the split is equal again, except that now the lawyers’ fees must be paid:

This is an example of the so-called prisoner’s dilemma: Both sides would be better off if they left the lawyers out of it, but if one engages a lawyer than the other had better do so as well.

Now suppose that each partner can choose the amount of lawyer time to buy, and that they get a payoff that’s proportional to the amount they spend. If one spends *x* on lawyers and the other spends *y*, each measured as a fraction of the total assets, then the first partner should receive an amount given by:

An industrious divorcee can now use calculus to maximize this expression, varying *x* and keeping *y* constant. The optimum value of *x* turns out to be . If my partner spends 9%, or 0.09, of our assets on lawyers, then I should spend . Then my partner will get 0.21 of the assets, and I’ll get 0.49, and the lawyers get the rest.

Well, now what? Knowing all this, what’s our best course? If we could trust each other then we’d each pay a pittance on lawyers and get nearly 0.5 each. But I’m aware that if you pay a millionth and I pay a thousandth (still nearly a pittance), I’ll get nearly 99.9% of our assets. And simply resolving to outspend you won’t work: If you spend 0.36 then I should spend 0.24; I’ll come away with less than you, but this is the best I can do.

“Looking at the graph of , above, we (the author and reader) see that *y* = 0.25 gives us *x* = 0.25, and this gives us a sort of stability,” writes Anthony C. Robin in the *Mathematical Gazette*. “Neither partner can pull a fast one over the other, and it results in the assets being equally shared between us, them, and the lawyers. No doubt this is the reason why lawyers are so rich in our society!”

(Anthony C. Robin, “How Lawyers Make a Living,” *Mathematical Gazette* 88:512 [July 2004], 313-315.)

# Seeing and Believing

“Experience never misleads; what you are misled by is only your judgment, and this misleads you by anticipating results from experience of a kind that is not produced by your experiments.” — Leonardo