Show that a disk cannot be tiled completely and without overlap using only finitely many smaller disks. (A disk here contains its boundary)
I came up with this problem while reading about the Apollonian gasket. My little brother's original solution (cleaned up somewhat by myself) went as follows: Assume that we have a valid finite tiling. Note that every nondegenerate disk has infinitely points on its circumference. Consider any disk $O$ in the tiling. Each disk that disk $O$ touches, touches $O$'s circumference at exactly one point. But the space around $O$ must be filled, so every point along its circumference must touch another disk (if it did not, there would necessarily be some $\epsilon>0$ such that for a distance $<\epsilon$ from the circumference of $O$, there exists a point not covered by a disk, which would make it a non-complete tiling, which would be a contradiction). Thus there must be infinitely many disks touching $O$, which contradicts our assumption that there were only finitely many disks in the tiling. Therefore no such tiling exists.
Are there any alternative proofs that there must be infinitely many disks in such a tiling? I was so struck by my brother's elegant proof (slightly nonrigorous as it may be) that I haven't come up with any alternatives, but I'd really like to know if any exist. (Making the above proof more rigorous would be helpful too.)