From Josh Nichols-Barrer’s Algebra 3.5 class at AwesomeMath.
1. Let be a positive integer. Express in base 2, expressing each exponent in base 2 and so on. For example, if , write
Now replace each instance of with and subtract 1 from the result, expressing what remains in base 3 similarly:
Increment the base and subtract 1 each step:
Prove that the sequence eventually reaches 0.
2. The Tree of Life is a rooted tree with many branches. Michael the Lumberjack would like to chop it down, but he can only cut a branch at a time, at a node where it joins a lower branch or at the root. (He cuts just above the node.) However, every time the Tree loses a branch at a node not the root, any finite number of new branches grow from the next node down, each identical to what is left of the branch where Michael cut. Prove that no matter what plan Michael has or how many branches the Tree grows, Michael can finish the job.
Solutions: The idea is to associate each state in the problem with an ordinal number, show that it is decreasing, and use the fact that the ordinals are well-ordered; that is, there is no infinite decreasing sequence of ordinal numbers.
1. When the number is written in base , replace every occurence of by to get an ordinal number. For example, associate with . When we subtract 1 from the -ary expansion, we either delete an 1 in the expansion, or replace with ; replacing by we get that the corresponding ordinal number decreases.
2. Label rooted trees with ordinal numbers recursively as follows: Label a point 0, and if a tree has edges coming out of its root, where the trees obtained by deleting those edges are labeled , then label the original tree . When Michael cuts a branch, the ordinal number corresponding to the subtree rooted 1 node below has one term that changes from to where because Michael cut a branch off, and with a nonnegative integer in front because there are now copies of the branch. Thus the ordinal number corresponding to the whole tree decreases. Again we get a decreasing sequence of ordinal numbers.