A couple commenters quickly figured out what my previous post without words was about. The dots making up the image are at integer grid points , with the center at . There is a dot at if and only if and are relatively prime, that is, . Here is a slightly smaller version so it’s easier to see what is going on:
I learned from Lucas A. Brown that this is sometimes known as “Euclid’s Orchard”. Imagine that there is a tall, straight tree growing from each grid point other than the origin. If you stand at the origin, then the trees you can see are exactly those at grid points with . This is because if a tree is at for some , then it is blocked from your sight by the tree at : both lie exactly along the line from the origin with slope . But if a tree is at some point with relatively prime coordinates , then it will be the first thing you see when you look along the line with slope exactly .
(…well, actually, all of the above is only really true if we assume the trees are infinitely skinny! Otherwise trees will end up blocking other trees which are almost, but not quite, in line with them. So try not to breathe while standing at the origin, OK? You might knock over some of the infinitely skinny trees.)
Here’s the portion of the grid surrounding the origin, with the lines of sight drawn in along with the trees you can’t see because they are exactly in line with some closer tree. (I’ve made the trees skinny enough so that they don’t accidentally block any other lines of sight—but if we expanded the grid we’d have to make the trees even skinner.)
Now, what about the colors of the dots? Commenter Snowball guessed this correctly: each point is colored according to the number of steps needed for the Euclidean algorithm needed to reach 1. Darker colors correspond to more steps. It is interesting to note that there seems to be (eight symmetric copies of) one particularly dark radial stripe, indicated below:
In fact, the slope of this stripe is exactly ! This corresponds to the fact (first proved by Gabriel Lamé in 1844) that consecutive Fibonacci numbers are worst-case inputs to the Euclidean algorithm—that is, it takes more steps for the Euclidean algorithm to compute than for any other inputs of equal or smaller magnitude. Since the ratio of consecutive Fibonacci numbers tends to , the dots with the darkest color relative to their neighbors all lie approximately along the line with slope . What’s interesting to me is that lots of other dots that lie close to this line are also relatively dark. Why does this happen?