In a lecture titled "Where are the real numbers?" before the Nationale Wiskunde Dagen 2008 I adressed the problem of proving that the set of rational numbers is strictly smaller than the set of real numbers. Surely there are many proofs, such as showing that square root of 2 is irrational or use the fact that rational numbers have periodic decimal expansions. A third one, which I particularly liked, is accompanied by pictures. In particular, playing with these pictures raises a number of questions which goes down quite deeply into the theory of diophantine approximation.
Here is the idea. Consider the real line between 0 and 1. We now cover up the rational number p/q with a colored disk centered at p/q. We do this for all rational numbers and hope that after doing this a number of points will be left uncovered, thus proving that there are more real numbers than rational numbers. Of course this is a naive approach which is certainly doomed to failure if we take all disks equally big. Therefore we let the radius of the disks depend on the value of the denominator q.
We now let you do the following increasingly difficult problems.
Out of curiosity I asked myself the following question. Suppose we cover every rational point (p/q,r/q) in the unit square by a disk. What would the result then be? For reasons from diophantine approximation it turns out that disk radius of the form c/q^1.5 is the best choice. The results for 0.3/q^1.5 and 0.1/q^1.5 are displayed at the top of this page.
Of course you may want to experiment yourself with different disk sizes and see what happens. To that end you should have a postscript viewer installed on your computer (ghostview is a good choice) and download the following two postscript files: