直径3の円Aの中に直径1の円が重ならないように8個入るか
⇔直径2の円の中に8個の点を配置して、どの2点間の距離も1以上となるようにできるか

下図から、領域Sには高々1点しか入らない。よって、残りの円環領域に7個の点が入ることに
なる。ところで、この円環領域は6個のパイン形領域Pに分かれるので、これら6個のうちある
パイン形領域には2つ以上の点が入ることになる。ところが、パイン形領域には高々1個の
点しか入れることができないので、矛盾。
ttp://tamago.donburi.org/src/up3069.png

こんな感じか?