2
大学数学基礎解説
文献あり

平面上の二色の点群と、同じ色の点のみを通る直線の存在について

233
0

本記事では1970年にG. D. Chakerian GDCにより示された二色に塗り分けられた平面上の点群に関する以下の定理をご紹介します.

2次元平面上に有限個の点があり, 赤か青の色が付いている.

ただし, 以下の図のように一直線上に全ての点が並んでいないものとする.

このとき, 2点以上の同じ色の点だけを通る直線を引くことが出来る.

とてもシンプルな定理ですが, 自明ではありません. また点の数を増やせば, 同じ色の点だけを通る直線の候補が大きく変わり得るため, 帰納法をうまく使うことは出来ません. しかし以下の方針でとても鮮やかに証明することができます.

まず以下のように, 2次元平面上の点群を2次元球面に射影します.
平面上の点の球面への射影 平面上の点の球面への射影
さらに, S2R3上の原点を中心に持つ2次元球面と思い, 以下の図のように, 2次元球面上の点pS2R3(およびpの対蹠点pとの組)から, 大円(球の中心を通る平面と球面との交線)Cを, C={qS2p,q=0}として1:1対応させます.
球面上の点と大円の対応 球面上の点と大円の対応

ここで, 「平面上の点群が同一直線上にある」「球面へ射影した点群が同一大円上にある」「それぞれの点に対応する大円が共通の交点を持っている」ということに注意します.

したがって, 元々の主張は次の球面S2上のグラフの主張に帰着されます. ('一直線上に全ての点が並んでいない'という条件から単純グラフで考えれば十分であることに注意してください. )

定理の言い換え

S2上に3つ以上の赤か青の大円があり, 大円どうしの交点を'頂点'として, さらに頂点と頂点を結ぶ大円の弧を'辺'としたグラフが単純グラフであるとき, 必ず同じ色の辺のみを接合する頂点を持つ.

ここで, グラフの記号を整理します. グラフGの頂点からなる集合をV, 辺からなる集合をE, 面からなる集合をFとして, それぞれの個数を#V,#E,#Fで表します. また, k個の辺からなる面の個数をfkと表します.
グラフの例 グラフの例

#V3となる単純グラフには2個以下の辺からなる面は存在しないことから, 以下が成り立つことに注意します.
#F=f3+f4+f5+,2#E=3f3+4f4+5f5+
ここで, 異なる色の辺に挟まれた角のことを'異色角'と呼ぶことにしましょう. さらに, vVに対して, c(v)vを頂点として持つような異色角の個数とします. 例えば以下の図のような頂点の場合, c(v)=4となります.

この準備のもとで, 背理法により定理の言い換えを証明しましょう.
全ての大円どうしの交点において,必ず異なる色の大円と交わっていると仮定します. すると, 各頂点vVに対して, 4c(v)が成立します. したがって,異色角の個数のトータルを考えると,
4#VvVc(v)(1)
となります. また, k個の辺からなる面において, 異色角となる内角の個数は, kが奇数ならばk1個, kが偶数ならば k個が最大となります.

よって,
vVc(v)2f3+4f4+4f5+6f6+6f7+(2)
となります. また,
2f3+4f4+4f5+6f6+6f7+2f3+4f4+6f5+8f6+10f7+=2(3f3+4f4+5f5+)4(f3+f4+f5+)=4#E4#F(3)
より, (1),(2),(3)をまとめると, #V#E+#F0となります. これはオイラーの多面体定理#V#E+#F=2と矛盾します.

参考文献

投稿日:202429
更新日:2024212
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Mathお
Mathお
44
6126

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中