この記事は非公開化されました。
非公開前の内容要約: Sylvester-Gallaiの定理とKellyによるその証明について。
一時復元
シルべスター・ガライの定理
この問題は肯定的に解決されており、Sylvester-Gallaiの定理と呼ばれています。
集合に対して、
の2点のみを通るような直線のことを通常直線と言います。この言葉を用いればSylvester-Gallaiの定理は「
の点が同一直線上になければ通常直線が少なくとも一つは存在する」となります。
歴史的にはMelchiorが1941年に射影双対版を証明しており、Erdősがそれに気づかずに1943年に再度問題として提出し、Gallaiがそれに解答を与えました。
その後、1944年から1948年の間*1にKellyという人が最もシンプルな証明を発見しています。
Sylvester-Gallaiの定理は有名な定理で、一般化や類似の定理の研究が多数なされています。2013年にはGreenとTaoが次の定理を証明しています:
ちなみに、
山中伸弥、益川敏秀著『「大発見」の思考法』文春新書
において益川先生がこの問題について書いておられます。要約すると、名古屋大学二年の時に数学コンクールがあってその中にこの問題があった(有名問題であったことはどうやら知らなかったらしい)。そしてこの問題だけは誰も解けずに後で解答(Kellyの証明)を聴いてその簡単さ(と自分で気づかなかったこと)に腹が立ったというエピソードです。
益川先生はこれに気づかなくて腹が立ったということですが、実際の歴史では問題が提出されてから50年以上もたってから発見された証明なのです。未解決問題であっても証明が難しいとは限らないという例で時々引き合いに出される問題でもあります*2。
KellyによるSylvester-Gallaiの定理の証明
集合を平面内の点の有限集合であって、全体が同一直線上にあるようなものではないとする。
の2点を結んで出来る直線全体の集合を
とおく。このとき、
を考える。ここで、は
と
の距離を表す。同一直線上にないという仮定から
であり、明らかに有限集合である。よって、
には最小元が存在する。その最小元を実現するような直線
と点
を考える。この
が実は通常直線である。それは次のように背理法で証明できる。
図においてから
に下ろした垂線の足を
とする(
の元というわけではない)。
上に
の3点が乗っていると仮定する。このとき、少なくとも2点は
に関して同じ側にある。それらを図のように
とする(
と一致してもかまわない)。
と
を通る直線を
とすると
と
の距離は
と
の距離より小さい。これは最小性に反する。 Q.E.D.