シルヴェスター–ガライの定理とは？わかりやすく解説

シルヴェスター–ガライの定理（シルヴェスター–ガライのていり^[1]、英: Sylvester–Gallai theorem）は、幾何学において、平面上の有限個の点のうち、ちょうど2点のみを通るまたはすべての点を通る直線が存在する事を示す定理^[2]^[3]。1893年にこの問題を提起したジェームス・ジョセフ・シルヴェスターと、1944年に最初の証明を発表したティボル・ガライに因んで命名された。

平面上の有限個の点のうち、ちょうど2点のみを通る直線は ordinary line^{[訳語疑問点]} と呼ばれる。シルヴェスター–ガライの定理を別の方法で表現すると、平面上の有限個の点であって少なくとも1つの点が他の2点と共線でなければ、その有限個の点の集合は ordinary line を持つ、となる。より強い定理によれば（非共線的な）有限個の点の集合には、点の個数に比例する数個の ordinary line が存在する。ordinary line を発見するアルゴリズムの時間計算量は、 $n$ 点の集合に対して $O (n log n)$ である。

歴史

シルヴェスター–ガライの定理は、J. J. Sylvester (1893) によって提起された。シルヴェスターが、複素射影平面（英語版）上の三次曲線の9つの変曲点は9点と12直線の配置（英語版）（ヘッセ配置（英語版））を成すという代数幾何学の問題に触発されたことを、 Kelly (1986) は示唆している。シルヴェスター–ガライの定理はこの9つの変曲点がすべて実座標を持つことは不可能であることを示している^[4]。

H. J. Woodall (1893a, 1893b) は、シルヴェスター–ガライの定理の短い証明を発見したと主張したが、発表する時点ですでに、証明が不完全であることが指摘されていた。Eberhard Melchior (1941) は、定理の射影幾何学的な双対を示すことで、正確で強力な定理を得た。Paul Erdős (1943) は、メルヒオールの証明に気づかぬまま^[5]、定理を予想として述べ、その後にティボル・ガライや他の数学者が証明した^[6]。

1951年の評論で、エルデシュは「ガライの定理」の名を使用した^[7]。1954年には、レナード・ブルーメンタール（英語版）の評論で「シルヴェスター–ガライの定理」という名称が使われた^[8]。

同値な定理

ordinary line の存在問題は、ユークリッド平面の代わりに射影平面 $RP 2$ で考えることで、ordinary line の双対となる点の問題としても考えることができる。射影平面は通常のユークリッド平面上の点に"無限遠"を付加することで構築される。ただし、無限遠点によって ordinary line を持たない点の集合が作られるわけではない。射影平面上の任意の有限個の点が、同様の点と直線の接続関係のパターンを持つユークリッド点の集合に変換されるためである。ユークリッド平面または射影平面のどちらかに存在する交点と直線のパターンは、もう一方の平面にも存在する。にもかかわらず、射影的な観点によって点と直線の配置を簡単に述べることができる。特に、射影幾何学の双対性（英語版）を使用することができることが重要である。この双対性の下、 $RP 2$ 上の ordinary line の存在は、有限個の直線の非自明な配置（英語版）における、 ordinary point^{[訳語疑問点]} の存在に置き換えることができる。ここで直線の配置が自明であるとはすべての直線が共点であることで、非自明であるとはある ordinary point がちょうど2直線に属する状態を示す^[5]。

直線の配置はゾーン多面体（ generator^{[訳語疑問点]}と呼ばれる直線の有限集合のミンコフスキー和から成る多面体）と近い組合せ的構造を持つ。この関係において、ゾーン多面体の対面の組は、射影平面上の直線の交点と各 generator に対応する。対面の組の個数は、交点の数の2倍である。

例えば、長菱形十二面体は5本の generator を持つゾーン多面体で、六角形の対面の組が2つ、平行四辺形の対面の組が4つ存在する。5本の直線の配置の対応において、3直線の組の2つが交差し、六角形の対面に対応する。また、残りの直線は ordinary point で交差し、平行四辺形の対面の組に対応する。ゾーン多面体の観点から、シルヴェスター-ガライの定理を言い換えると、すべてのゾーン多面体は1つ以上の平行四辺形を持つ、となる。より強力には、平面上の $n$ 点の集合が少なくとも $t 2 (n)$ 個の ordinary line を持つとき、 $n$ 本の generator を持つゾーン多面体は少なくとも $2 t 2 (n)$ 個の平行四辺形の面を持つことが保証される^[9]。

証明

シルヴェスター-ガライの定理はさまざな方法で証明されてきた。ガライの1944年の証明は、ユークリッド幾何学と射影幾何学を交互に切り替えて、点を傾きが0に近い ordinary line に変換するというものである（詳しくはBorwein & Moser (1990)を参照されたい）。1941年のメルヒオールの証明では、射影幾何学の双対性を用いて、問題を直線の配置に置き換え、オイラーの多面体公式を使った。リロイ・ミルトン・ケリー（英語版）の証明は、0でない最小の距離にある点を繋ぐ直線は ordinary になることを背理法によって示した。またスタインバーグ (Steinberg) の先行の証明に続いてコクセターは、ガライとケリーの証明に現れた傾きと距離という計量の概念を不必要とする代わりに、順序幾何学（英語版）の公理を使った定理のみを使用して証明した。

ケリーの証明

次はリロイ・ミルトン・ケリー（英語版）による証明である。Aigner & Ziegler (2018) はケリーの証明を、数多の証明の中で"simply the best"であると述べている^[10]。

$S$ を共線でない点の有限集合とする。少なくとも $S$ の2点を含む直線を、connecting line と定義する。 $S$ の有限性より、 $S$ の要素には点と connecting line の距離が最小となるような点 $P$ が存在する必要がある。ケリーはこのときの connecting line $l$ が ordinary であることを背理法によって証明した^[10]。

$l$ を ordinary でないと仮定しよう。 $l$ は少なくとも $S$ に属する3点以上を通る必要がある。これら共線点のうち2つ以上は、 $l$ への $P$ の直交射影 $P'$ に関して同じ側にある。この2点を $B, C$ と定義する。ただし、 $C, B, P'$ はこの順で並んでいるとする。 $m$ を $CP$ を通る connecting line、 $B'$ を $B$ の $m$ への直交射影とすれば、 $△ PP'C, △ BB'C$ が相似かつ $|△ PP'C | > |△ BB'C |$ であることより、 $BB'$ は $PP'$ より短い^[10]。

しかし、これは $P, l$ の定義に矛盾する。これは $l$ が ordinary でないとした仮定が偽であることを意味する。よって題意は示された^[10]。

メルヒオールの証明

1941年（エルデシュの問題発表とガライの証明の前）、メルヒオールは、射影平面上の非自明な直線の配置は、3つ以上の ordinary point を持つことを示した。双対性より、非自明な点の集合は3つ以上の ordinary line を持つことを意味する^[11]。

メルヒオールは、射影平面に埋め込まれた（英語版）任意のグラフについて、オイラー標数 $V - E + F = 1$ でなければならないことに気づいた。ここで、 $V, E, F$ はそれぞれ、グラフの頂点、辺、面の個数。射影平面上の非自明な直線の配置は、面は3辺以上で囲まれ、辺は2面で囲まれるようなグラフを定義する。そのため、二通りに数える（英語版）ことで不等式 $F \leq 2 E / 3$ を得る。この不等式によって、オイラー標数から $F$ を取り除くことより $E \leq 3 V - 3$ が証明できる。しかしもし、配置上のすべての頂点が3つ以上の直線の交点であるならば辺の総数は $3 V$ 以上であるが、これは不等式に矛盾する。したがって、いくつかの頂点は2直線のみの交点でなければならず、メルヒオールの慎重な分析が示すように、3個以上の ordinary な頂点が少なくとも不等式 $E \leq 3 V - 3$ を満たす必要がある^[11]。

Aigner & Ziegler (2018) の指摘のように、ordinary な頂点の存在に関する議論は、1944年にノーマン・スティーンロッドによっても与えられた。スティーンロッドは ordinary line の問題の双対を明示的に応用した^[12]。

メルヒオールの不等式

同様の議論で、メルヒオールはより一般的な結果を証明することができた。任意の $k \geq 2$ において、 $t k$ を $k$ 本の直線で作られる点の個数として、次の式が成立する。^[11]。

$\displaystyle \sum _{k\geq 2}(k-3)t_{k}\leq -3.$

n / 2

より少ない ordinary lineを持つ有名な例。

シルヴェスター-ガライの定理は点の配置について ordinary line の存在は述べているが、ordinary line の個数については述べていない。 $t 2 (n)$ を $n$ つの共線でない点の集合の ordinary line の最小の個数とする。メルヒオールの証明では $t 2 (n) \geq 3$ が示された。 de Bruijn and Erdős (1948) は $n$ が増えると $t 2 (n)$ は無限大へ発散していくと考えた。Theodore Motzkin (1951) は $t 2 (n) \geq \sqrt n$ を証明して、予想が正しいことを示した。Gabriel Dirac (1951) は $t 2 (n) \geq ⌈ n / 2 ⌉$ を予想した。これは現在ディラック–モツキン予想 (Dirac–Motzkin conjecture) と呼ばれている（詳細はBrass, Moser & Pach (2005, p. 304)を参照）。 Kelly & Moser (1958) は $t 2 (n) \geq 3 n / 7$ を証明している。

ディラックの予想した下限は漸近的には最もよいもので、4より大きい偶数 $n$ には対応する上限 $t 2 (n) \leq n / 2$ がある。Károly Böröczky による上限に達した構成は、射影平面上の正 $m$ 角形の頂点と頂点の組で決定される方向の無限遠点 $m$ 個（延べ $n = 2 m$ 個）から成る。正 $m$ 角形の点から2点を選ぶ組は $m (m - 1) / 2$ 個あるが、 $m$ つのみの方向が定まる。この配置では $m$ 個の ordinary line が存在し、頂点 $v$ とそれに隣り合う2頂点と共線な無限遠点を結ぶ直線になる。実射影平面の任意の有限の配置として、この構成を ordinary line の数を変えずにすべての点が有限点となるように変換することができる^[17]。

奇数 $n$ において、ディラックの予想の下限 $t 2 (n) = n - 1 / 2$ に一致する例は2つしか知られていない。1つはKelly & Moser (1958)の考案した正三角形の頂点、重心、辺の中点の7点から成る構成である。この7点は ordinary line を3つのみ持つ。3つの ordinary line を単一の直線に置き換える配置（英語版）はユークリッド平面上では実現しないが、ファノ平面（英語版）として知られる有限の射影空間を形成する。この接続関係のために、ケリー-モーザーの例は non-Fano configuration としても呼ばれる^[18]。他の例にマッキー (McKee) の考案した^[17] 、1辺を共有する2つの正五角形の頂点と、共有辺の中点と4つの無限遠点の延べ13点から成る配置がある。これは6つの ordinary line を持つ。Böröczky の構成を修正すれば、奇数 $n$ 個の点で $3⌊ n / 4 ⌋$ 個の ordinary line を持つ配置が導かれれる^[19]。

Csima & Sawyer (1993) は $n$ が7である場合を除き、 $t 2 (n) \geq ⌈ 6 n / 13 ⌉$ が成立することを証明した。漸近的には、証明された上限 $n / 2$ の $12 / 13 \approx 92.3%$ である。 $n = 7$ の場合、ケリー-モーザーの例 $t 2 (7) \leq 3$ が反例となって除外される。しかし、Csima–Sawyerの境界が $n = 7$ においても有効だったならば、 $t 2 (7) \geq 4$ が主張されただろう。

似た結果にベックの定理（英語版）がある。これは少数の点の直線の数と一本の直線上の点の個数が対応することを述べている^[20]。

ベン・グリーンとテレンス・タオは、十分大きい点の集合に対して（適当に $n 0$ を選択したとき $n > n 0$ となるようにして）、ordinary line の数は確かに少なくとも $n / 2$ となること示した。更に、 $n$ が奇数ならば、ordinary line の数はある定数 $C$ が存在して少なくとも $3 n / 4 - C$ となる。したがって、Böröczky による構成は最良であったことが判明した。ordinary line の個数の最小化は、グリーンとタオが十分大きい場合について証明した、3点を通る直線の個数の最大化問題である Orchard-planting problem (Orchard-planting problem) にも深く関係している^[21]。ordinary point を探すような双対の状態において、擬似直線の配置の ordinary point の最小を考えることができる。この場合においては、Csima-Sawyerの $⌈ 6 n / 13 ⌉$ の下限は有効であるが^[22]、グリーンとタオの漸近的な境界 $n / 2$ が有効であるかは知られていない。

connecting lineの数

ポール・エルデシュの気づきのように、シルヴェスター-ガライの定理は共線でない $n$ 点の集合について少なくとも $n$ つの異なる直線が決定できることを意味する。この結果はド・ブラウン-エルデシュの定理（英語版）として知られる。基本的な場合としては、 $n = 3$ の場合が自明である。値の大きい $n$ については、（残りの点がすべて共線とならないように注意して）1本の ordinary line とその直線上の2点のうち1点を削除して、 $n$ 点の場合を $n - 1$ 点の場合から演繹できる。よって、定理は数学的帰納法から示すことができる。ニアペンシル (near-pencil) と呼ばれる $n - 1$ 個の共線点と、それらと共線でないある1点から成る配置が下限の例となる^[19]。

一般化

シルヴェスター-ガライの定理は、ユークリッド平面平面上の色付きの点の集合や、代数的または距離空間によって定義される点と直線の系に一般化できる。より一般にはこれら定理のバリエーションは、ordinary line を持たない点の集合を避けるため、有限集合に対するものとなっている。

色付きの点

色付きの点におけるシルヴェスター-ガライの定理は、1960年代中期にロナルド・グラハムが提起し、ドナルド・ニューマン（英語版）が広めた。 2つの色に分けられた（すべてが同一直線上にはない）有限の点の集合について、2つ以上のすべて同色の点を通る直線が存在するかどうかを考える。集合と集合族の言葉では、（すべてが同一直線上にはない）有限の点の共線部分集合の族は性質B（英語版）を持つことはできないと表現できる。証明はセオドア・モツキン（英語版）によって成されたが、公表はされなかった。最初に証明を公表したのはChakerian (1970)である^[23]。

非実座標

ヘッセ配置（英語版）。2点を通る直線は3つ目の点を通る。シルヴェスター-ガライの定理は、この配置はユークリッド平面では実現できないが、複素射影平面（英語版）では実現できることを示す。

ユークリッド平面または射影平面が実数の組、すなわち座標を用いて定義できるように（ユークリッド平面は直交座標系、射影平面は同次座標系（英語版））、点と直線の系の抽象的な類似物は、他の数体系と座標を用いて定義できる。シルヴェスター-ガライの定理は有限体上でこのように定義された幾何学では適用できない。つまりファノ平面（英語版）のような有限幾何学において、すべての点の集合の ordinary line は存在しない^[10]。

また、シルヴェスター-ガライの定理は複素数や四元数の組の座標を持つ幾何学においても直接は成立しないが、より複雑な類似物であれば成立する。例えば、複素射影平面（英語版）には、9つの点（三次曲線の変曲点）の配置であるヘッセ配置（英語版）がある。ヘッセ配置において ordinary line は存在しない。このような配置は、シルヴェスター-ガライ配置（英語版）として知られ、ユークリッド平面上では成立しえない。シルヴェスター-ガライの定理の他の方法で述べると、シルヴェスター-ガライ配置が共線性を保ちつつユークリッド平面に埋め込まれるとき、配置内の点は常に一本の直線上にある、となる。したがってヘッセ配置の例は、シルヴェスター-ガライの定理が複素射影平面（英語版）では偽であることを示している。一方で、Kelly (1986) はシルヴェスター-ガライの定理の複素数への類似物として、シルヴェスター-ガライ配置（英語版）を複素射影平面に埋め込んだ時、すべての点は2次元部分空間上になければならないことを示した。つまり、アフィン包を全体空間とする3次元複素空間上の点の集合は必ず1つの ordinary line を持たなければならない。実際には ordinary line の個数は点の個数に比例する^[24]。同様に、Elkies, Pretorius & Swanepoel (2006) はシルヴェスター-ガライ配置（英語版）を四元数で定義される空間に埋め込むとき、それらの点は必ず3次元部分空間上になければならないことを示した。

マトロイド

ユークリッド平面上の点の任意の集合とそれらを繋ぐ直線は、階数3の有向マトロイド（英語版）の成分と平面に抽象化される。実数でない数体系で定義される幾何学の点と直線はマトロイドを成すが、必ずしも有向マトロイドである必要はない。この状況において、Kelly & Moser (1958)の ordinary line の個数の下限の結果は、有向マトロイドへ一般化できる。 $n$ 個の要素を持つ階数3の有向マトロイドは、2点を通る直線を少なくとも $3 n / 7$ 個持つ。あるいは、より少数の2点を通る直線の持つ階数3のマトロイドは無向である必要がある^[25]。 2点のみを通る直線がないようなマトロイドはシルヴェスターマトロイド（英語版）と呼ばれる。関連して、7点と3つの ordinary line を持つケリー-モーザー配置は、GF(4)表現可能マトロイド（英語版）における禁止マイナー（英語版）を構成する^[18]。

距離幾何学

シルヴェスター-ガライの定理の他の一般化において、Chvátal (2004)によって任意の距離空間へ予想が行われ、Chen (2006)によって解決された。この一般化では、距離空間上の3点が三角不等式の等号を満たすとき共線であると定義され、直線は、既に直線上にある2点と共線である点の全体の集合であると定義された。ChvátalとChenによる一般化によればすべての有限距離空間には、すべての点を含むような直線かただ2点のみを通る直線が存在することが示された^[26]。

脚注

[脚注の使い方]

^ 蟹江, 幸博『新訂版　数学用語英和辞典: 和英索引付き』近代科学社、2020年12月2日。ISBN 978-4-7649-0624-2。
^ Chvátal, Vašek 著、秋山仁, 小舘崇子酒井利訓, 徳永伸一訳『ポール・エルデス：離散数学の魅力: 伝説の講義』近代科学社、2023年8月25日。 ISBN 978-4-7649-0662-4。
^ ベラ・ボロバシュ著、川辺治之訳『ボロバシュ数学の技法』丸善出版、2022年。 ISBN 978-4-621-30731-1。
^ Elkies, Pretorius & Swanepoel (2006).
^ ^a ^b Borwein & Moser (1990).
^ Steinberg et al. (1944); Erdős (1982).
^ MR 0041447
^ MR 0056941
^ Shephard (1968).
^ ^a ^b ^c ^d ^e Aigner & Ziegler (2018).
^ ^a ^b ^c Melchior (1941).
^ Aigner & Ziegler (2018, p. 92); スティーンロッドの証明は Steinberg et al. (1944) に要約されている。
^ Aigner & Ziegler (2018); Pambuccian (2009).
^ Coxeter (1948); Pambuccian (2009).
^ Mandelkern (2016).
^ Mukhopadhyay & Greene (2012).
^ ^a ^b Crowe & McKee (1968).
^ ^a ^b Geelen, Gerards & Kapoor (2000).
^ ^a ^b Pach & Sharir (2009)
^ Beck (1983).
^ Green & Tao (2013).
^ Lenchner (2008).
^ この変種における歴史については Grünbaum (1999) を参照。
^ Basit et al. (2019).
^ Björner et al. (1993).
^ Chvátal (2004); Chen (2006); Pambuccian (2009)

出典

Aigner, Martin; Ziegler, Günter M. (2018), “Chapter 11. Lines in the plane and decomposition of graphs”, Proofs from THE BOOK (6th ed.), Springer, Theorem 1, pp. 77–78, doi:10.1007/978-3-662-57265-8_11, ISBN 978-3-662-57265-8
Basit, Abdul; Dvir, Zeev; Saraf, Shubhangi; Wolf, Charles (2019), “On the number of ordinary lines determined by sets in complex space”, Discrete & Computational Geometry 61 (4): 778–808, arXiv:1611.08740, doi:10.1007/s00454-018-0039-4, MR 3943495
Beck, József (1983), “On the lattice property of the plane and some problems of Dirac, Motzkin, and Erdős in combinatorial geometry”, Combinatorica 3 (3–4): 281–297, doi:10.1007/BF02579184, MR 0729781
Björner, Anders; Las Vergnas, Michel; Sturmfels, Bernd; White, Neil; Ziegler, Günter M. (1993), Oriented matroids, Encyclopedia of Mathematics and its Applications, 46, Cambridge: Cambridge University Press, p. 273, ISBN 0-521-41836-4, MR 1226888
Borwein, P.; Moser, W. O. J. (1990), “A survey of Sylvester's problem and its generalizations”, Aequationes Mathematicae 40 (1): 111–135, doi:10.1007/BF02112289, MR 1069788
Brass, Peter; Moser, William; Pach, János (2005), Research problems in discrete geometry, Berlin: Springer, ISBN 0-387-23815-8
de Bruijn, N. G.; Erdős, P. (1948), “A combinatioral [sic] problem”, Indagationes Mathematicae 10: 421–423, MR 0028289
Chakerian, G. D. (1970), “Sylvester's problem on collinear points and a relative”, American Mathematical Monthly 77 (2): 164–167, doi:10.2307/2317330, JSTOR 2317330, MR 258659, https://jstor.org/stable/2317330
Chen, Xiaomin (2006), “The Sylvester–Chvátal theorem”, Discrete & Computational Geometry 35 (2): 193–199, doi:10.1007/s00454-005-1216-9, MR 2195050
Chvátal, Vašek (2004), “Sylvester–Gallai theorem and metric betweenness”, Discrete & Computational Geometry 31 (2): 175–195, doi:10.1007/s00454-003-0795-6, MR 2060634
Coxeter, H. S. M. (1948), “A problem of collinear points”, American Mathematical Monthly 55 (1): 26–28, doi:10.2307/2305324, JSTOR 2305324, MR 24137, https://jstor.org/stable/2305324
Coxeter, H. S. M. (1969), “12.3 Sylvester's problem of collinear points”, Introduction to Geometry (2nd ed.), New York: John Wiley & Sons, pp. 181–182, ISBN 0-471-50458-0
Crowe, D. W.; McKee, T. A. (1968), “Sylvester's problem on collinear points”, Mathematics Magazine 41 (1): 30–34, doi:10.2307/2687957, JSTOR 2687957, MR 0235452, https://jstor.org/stable/2687957
Csima, J.; Sawyer, E. (1993), “There exist $6n/13$ ordinary points”, Discrete & Computational Geometry 9: 187–202, doi:10.1007/BF02189318, MR 1194036
Dirac, G. (1951), “Collinearity properties of sets of points”, Quarterly Journal of Mathematics 2: 221–227, Bibcode: 1951QJMat...2..221D, doi:10.1093/qmath/2.1.221, MR 0043485
Edelsbrunner, Herbert; Guibas, Leonidas J. (1989), “Topologically sweeping an arrangement”, Journal of Computer and System Sciences 38 (1): 165–194, doi:10.1016/0022-0000(89)90038-X, MR 990055
Elkies, Noam; Pretorius, Lou M.; Swanepoel, Konrad J. (2006), “Sylvester–Gallai theorems for complex numbers and quaternions”, Discrete & Computational Geometry 35 (3): 361–373, arXiv:math/0403023, doi:10.1007/s00454-005-1226-7, MR 2202107
Erdős, P. (1943), “Problem 4065”, American Mathematical Monthly 50 (1): 65–66, doi:10.2307/2304011, JSTOR 2304011, https://jstor.org/stable/2304011
Erdős, P. (1982), “Personal reminiscences and remarks on the mathematical work of Tibor Gallai”, Combinatorica 2 (3): 207–212, doi:10.1007/BF02579228, MR 0698647
Geelen, J. F.; Gerards, A. M. H.; Kapoor, A. (2000), “The excluded minors for GF(4)-representable matroids”, Journal of Combinatorial Theory, Series B 79 (2): 247–299, doi:10.1006/jctb.2000.1963, MR 1769191, オリジナルの2010-09-24時点におけるアーカイブ。
Green, Ben; Tao, Terence (2013), “On sets defining few ordinary lines”, Discrete & Computational Geometry 50 (2): 409–468, arXiv:1208.4714, doi:10.1007/s00454-013-9518-9, MR 3090525
Grünbaum, Branko (1999), “Monochromatic intersection points in families of colored lines”, Geombinatorics 9 (1): 3–9, MR 1698297
Kelly, L. M. (1986), “A resolution of the Sylvester–Gallai problem of J. P. Serre”, Discrete and Computational Geometry 1 (2): 101–104, doi:10.1007/BF02187687, MR 0834051
Kelly, L. M.; Moser, W. O. J. (1958), “On the number of ordinary lines determined by $n$ points”, Canadian Journal of Mathematics 10: 210–219, doi:10.4153/CJM-1958-024-6, MR 0097014
Lenchner, Jonathan (2008). Sylvester-Gallai results and other contributions to combinatorial and computational geometry (Ph.D. Thesis).
Mandelkern, Mark (2016), “A constructive version of the Sylvester–Gallai theorem”, Acta Mathematica Hungarica 150: 121–130, arXiv:2402.03662, doi:10.1007/s10474-016-0624-z, MR 3542040
Melchior, E. (1941), “Über Vielseite der Projektive Ebene”, Deutsche Mathematik 5: 461–475
Motzkin, Th. (1951), “The lines and planes connecting the points of a finite set”, Transactions of the American Mathematical Society 70 (3): 451–464, doi:10.2307/1990609, JSTOR 1990609, MR 0041447, https://jstor.org/stable/1990609
Mukhopadhyay, A.; Agrawal, A.; Hosabettu, R. M. (1997), “On the ordinary line problem in computational geometry”, Nordic Journal of Computing 4 (4): 330–341, MR 1607014
Mukhopadhyay, Asish; Greene, Eugene (2012), “The ordinary line problem revisited”, Computational Geometry: Theory and Applications 45 (3): 127–130, doi:10.1016/j.comgeo.2011.10.003, MR 2853475
Pach, János; Sharir, Micha (2009), “Chapter 1. Sylvester–Gallai Problem: The Beginnings of Combinatorial Geometry”, Combinatorial Geometry and Its Algorithmic Applications: The Alcalá Lectures, Mathematical Surveys and Monographs, 152, American Mathematical Society, pp. 1–12
Pambuccian, Victor (2009), “A reverse analysis of the Sylvester–Gallai theorem”, Notre Dame Journal of Formal Logic 50 (3): 245–260, doi:10.1215/00294527-2009-010, MR 2572973
Shephard, G. C. (1968), “Twenty problems on convex polyhedra, part I”, The Mathematical Gazette 52 (380): 136–156, doi:10.2307/3612678, JSTOR 3612678, MR 231278, https://jstor.org/stable/3612678
Steinberg, R.; Buck, R. C.; Grünwald, T.; Steenrod, N. E. (1944), “Three point collinearity (solution to problem 4065)”, American Mathematical Monthly 51 (3): 169–171, doi:10.2307/2303021, JSTOR 2303021, https://jstor.org/stable/2303021
Sylvester, J. J. (1893), “Mathematical question 11851”, The Educational Times 46 (383): 156
Woodall, H. J. (1893a), “Mathematical question 11851 answered”, The Educational Times 46 (385): 231
Woodall, H. J. (1893b), “Mathematical question 11851 answered”, Mathematical Questions and Solutions from the Educational Times 59: 98

外部リンク

Malkevitch, Joseph (2003), “A discrete geometrical gem”, AMS Feature Column (American Mathematical Society), オリジナルの2006-10-10時点におけるアーカイブ。
Weisstein, Eric W. “Ordinary Line”. mathworld.wolfram.com (英語).
Proof presentation by Terence Tao at the 2013 Minerva Lectures
複素版Sylvester-Gallaiの定理と超平面配置の対数的ベクトル場の分裂型 - 阿部拓郎

[1] 蟹江, 幸博『新訂版　数学用語英和辞典: 和英索引付き』近代科学社、2020年12月2日。ISBN 978-4-7649-0624-2。

[2] Chvátal, Vašek 著、秋山仁, 小舘崇子酒井利訓, 徳永伸一訳『ポール・エルデス：離散数学の魅力: 伝説の講義』近代科学社、2023年8月25日。 ISBN 978-4-7649-0662-4。

[3] ベラ・ボロバシュ著、川辺治之訳『ボロバシュ数学の技法』丸善出版、2022年。 ISBN 978-4-621-30731-1。

[FOOTNOTEElkiesPretoriusSwanepoel2006-4] Elkies, Pretorius & Swanepoel (2006).

[FOOTNOTEBorweinMoser1990-5] Borwein & Moser (1990).

[stein44-6] Steinberg et al. (1944); Erdős (1982).

[7] MR 0041447

[8] MR 0056941

[FOOTNOTEShephard1968-9] Shephard (1968).

[FOOTNOTEAignerZiegler2018-10] Aigner & Ziegler (2018).

[FOOTNOTEMelchior1941-11] Melchior (1941).

[12] Aigner & Ziegler (2018, p. 92); スティーンロッドの証明は Steinberg et al. (1944) に要約されている。

[13] Aigner & Ziegler (2018); Pambuccian (2009).

[14] Coxeter (1948); Pambuccian (2009).

[FOOTNOTEMandelkern2016-15] Mandelkern (2016).

[FOOTNOTEMukhopadhyayGreene2012-16] Mukhopadhyay & Greene (2012).

[CM68-17] Crowe & McKee (1968).

[ggk00-18] Geelen, Gerards & Kapoor (2000).

[ps09-19] Pach & Sharir (2009)

[FOOTNOTEBeck1983-20] Beck (1983).

[FOOTNOTEGreenTao2013-21] Green & Tao (2013).

[FOOTNOTELenchner2008-22] Lenchner (2008).

[23] この変種における歴史については Grünbaum (1999) を参照。

[FOOTNOTEBasitDvirSarafWolf2019-24] Basit et al. (2019).

[25] Björner et al. (1993).

[26] Chvátal (2004); Chen (2006); Pambuccian (2009)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

シルヴェスター–ガライの定理とは？ わかりやすく解説