A Brilliant φ link

In the comments onmy post about φ, Polymath, (whose [blog][polymath] is well worth checking out) provided a really spectacular [link involving φ][desert]. It's an excerpt from a book called "[Mathematical Gems 2][gems]", showing a problem that came from John Conway, called the "Sending Scouts into the Desert" problem.

The problem is:
Suppose you're given a checkerboard with all of the squares on the bottom filled. You're allowed to do standard checks jumps (jump over a man and remove it), but you can't jump diagonally, only up, left, or right. How far *up* can you get a man? How many men do you need to move to get that far?

To get to the first row above your men, you need to jump one man. To get two rows, you need to jump four men; three rows, you'll need 8 men; four rows, you'll need 20 men. How about five rows?

You *can't* get five rows doing up and sideways jumps. Even if you had an infinitely wide checkerboard, with as many full rows of mens as you want.

The proof, along with a nice Java applet to let you try the solvable ones, is at the link. And φ is an inextricable part of the proof!

[polymath]: http://polymathematics.typepad.com/
[desert]: http://www.cut-the-knot.org/proofs/checker.shtml
[gems]: http://www.amazon.com/gp/redirect.html?link_code=ur2&tag=goodmathbadma-…

More like this

The past couple of posts on continuity and homeomorphism actually glossed over one really important point. I'm actually surprised no one called me on it; either you guys have learned to trust me, or else no one is reading this. What I skimmed past is what a *neighborhood* is. The intuition for a…
So in the last few posts, I've been building up the bits and pieces that turn lambda calculus into a useful system. We've got numbers, booleans, and choice operators. The only thing we're lacking is some kind of repetition or iteration. In lambda calculus, all iteration is done by recursion. In…
Remember my post several weeks ago about ["The First Scientific Proof of God"?][georgie] The author, Georgie-boy Shollenberger popped up [in the comments yesterday][georgie-comments], and posted [a response][georgie-responds] on his blog. This is how he describes this blog: >This website is an…
Back when I first started this blog on blogspot, one of the first things I did was write an introduction to information theory. It's not super deep, but it was a decent overview - enough, I thought, to give people a good idea of what it's about, and to help understand why the common citations of it…

Does anyone know an easy way to complete the proof? It seems intuitive that if you can't have even a single empty space, it can't be done at all, but it'd be nice to say "and because Q, even with infinite rows of infinite columns of checkers, you can't do it".

By GreedyAlgorithm (not verified) on 16 Aug 2006 #permalink