nを3以上の自然数とする。 円周上にn個の赤い点とn個の青い点を並べて, 赤い点と青い点のn組の対を端点とするn個の線分を引く。
このとき, 赤い点と青い点をどのような順序に並べ ても, n個の線分が共有点をもたないような対の選び方が存在することを証明せよ。
https://i.imgur.com/YV1Gu95.jpg