nを3以上の自然数とする。1辺の長さが2の正n角形Sと半径がrの円Oがある。
r＞1/tan(π/n)のとき、OはSに含まれないことを示せ。(こんなの当たり
前のようだが、厳密に証明しようとすると……まあ、それなりに当たり前。)