The evident pattern from my last post is that losing positions in the chocolate bar game appear to be characterized by those where the binary expansion of is the same as the binary expansion of with any number (including zero) of bits appended to the end (or vice versa): for example, , , , and so on.
Appending ones to the end of the binary expansion of corresponds to first multiplying by (which shifts it left by places, that is, adds zeros on the end), and then adding , which consists of ones in binary. In other words, losing positions where correspond to integer points satisfying
This is the equation of a line with slope and with a -intercept of . This explains the visual pattern of radiating lines, where the slope of each line is double the previous. It also explains how the lines don’t go through the origin (except for the main diagonal).
If we move to the other side and factor out , we can also rearrange the above equation as
which looks much cleaner; however, I find it much harder to work with. (Though one interesting thing it does show is that although the lines don’t go through the origin, strangely enough they do all go through the point .) In my next post, I will prove that these really are the losing positions, and I’ll stick to the characterization in terms of binary expansions.