シルヴェスター–ガライの定理

4×4の格子点の3つのordinary line。
シルヴェスター–ガライの定理（シルヴェスター–ガライのていり、Sylvester–Gallai theorem）は、幾何学において、平面上の有限個の点のうち、ちょうど2点のみを通るまたはすべての点を通る直線が存在する事を示す定理。1893年にこの問題を提起したジェームス・ジョセフ・シルヴェスターと、1944年に最初の証明を発表したティボル・ガライに因んで命名された。
平面上の有限個の点のうち、ちょうど2点のみを通る直線は date=2024年9月 と呼ばれる。シルヴェスタ–ガライの定理を別の方法で表現すると、平面上の有限個の点であって少なくとも1つの点が他の2点と共線でなければ、その有限個の点の集合は ordinary line を持つ、となる。より強い定理によれば、（すべての点が一直線上にある、ということがない）有限個の点の集合には、線型数以上の ordinary line が存在する。ordinary line を発見するアルゴリズムの時間計算量は、n点の集合に対してO(n log n)である。

**歴史**
シルヴェスタ–ガライの定理は、first=J. J. によって提起された。last=Kelly は、シルヴェスターはComplex projective plane上の三次曲線の9つの変曲点が、9点と12直線のlabel=配置（Hesse configuration）を成すという代数幾何学の問題に触発されたことを示唆している。シルヴェスター–ガライの定理はこの9つの変曲点がすべて実座標を持つことは不可能であることを示している2006。
は、シルヴェスター–ガライの定理の短い証明を発見したと主張したが、発表する時点ですでに、証明が不完全であることが指摘されていた。first=Eberhard は、定理の射影幾何学的な双対を示すことで、正確で強力な定理を得た。first=Paul は、メルヒオールの証明に気づかぬまま1990、定理を予想として述べ、 その後にティボル・ガライや他の数学者が証明した。
1951年の評論では、エルデシュは「ガライの定理」の名を使用した。1954年には、Leonard Blumenthalの評論で「シルヴェスター–ガライの定理」という名称が使われた。

**同値な定理**
ordinary line の存在問題は、ユークリッド平面の代わりに射影平面で考えることで、ordinary line の双対となる点の問題としても考えることができる。射影平面は通常のユークリッド平面上の点に"無限遠"を付加することで構築される。しかし、無限遠に付加された点は、ordinary line を持たない点の集合を作るのに役立つわけではない。射影平面上の任意の有限個の点が、点と直線の接続関係の同様の組み合わせパターンを持つユークリッド点の集合に変換されるためである。したがって、ユークリッド平面と射影平面のどちらかに存在する交点と直線のパターンは、もう一方の平面にも存在する。にもかかわらず、射影的な観点によって点と直線の配置を簡単に述べることができる。特に、Duality (projective geometry)を使用することができることが重要である。この双対性の下、ordinary line の存在は、非自明な配置Arrangement of linesの有限個の直線上の、上の有限個の点（date=2024年9月）の存在に置き換えることができる。ここで直線の配置が自明であるとは、すべての直線が共点であることで、非自明であるとは、ある ordinary point がちょうど2直線に属する状態を示す1990。
ファイル:Rhombo-hexagonal_dodecahedron.png|サムネイル|長菱形十二面体。赤い平行四辺形状の面は5線の配置のordinary pointsに一致する。シルヴェスター–ガライの定理と同意な定理は、すべてのゾーン多面体上が少なくとも1つ以上の平行四辺形を持つことを示す。
直線の配置はゾーン多面体（date=2024年9月と呼ばれる直線の有限集合のミンコフスキー和から成る多面体）と近い組み合わせ的構造を持つ。この関係において、ゾーン多面体の対面の組は、射影平面上の直線の配置の交点と各 generator に対応する。対面の組の個数は、交点の数の2倍である。
例えば、長菱形十二面体は5本の generator を持つゾーン多面体で、六角形の対面の組が2つ、平行四辺形の対面の組が4つ存在する。5本の直線の配置の対応において、3直線の組の2つが交差し、六角形の対面に対応する。また、残りの直線は ordinary point で交差し、平行四辺形の対面の組に対応する。ゾーン多面体の観点から、シルヴェスター-ガライの定理を言い換えると、すべてのゾーン多面体は1つ以上の）平行四辺形を持つ、となる。より強力には、平面上のn点の集合は少なくとも個の ordinary lines を持ち、 n本の generator を持つゾーン多面体は少なくとも個の平行四辺形の面を持つことが保証される1968。

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

**ケリーの証明**
次はLeroy Milton Kellyによる証明である。2018 はケリーの証明を、数多の証明の中で"simply the best"であると述べている2018。
を共線でない点の有限集合とする。少なくともSの2点を含む直線を、connecting line と定義する。Sの有限性より、Sの要素には点と connecting line の距離が最小となるような点Pが存在する必要がある。ケリーはこのときの connecting line l が ordinary であることを背理法によって証明した2018。 
を 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が相似かつであることより、BB'はPP'より短い2018。
しかし、これはP, lの定義に矛盾する。これはlが ordinary でないとした仮定が偽であることを意味する。よって題意は示された2018。

**メルヒオールの証明**
1941年（エルデシュの問題発表とガライの証明の前）、メルヒオールは、射影平面上の非自明な直線の配置は、3つ以上の ordinary point を持つことを示した。双対性より、非自明な点の集合は3つ以上の ordinary line を持つことを意味する1941。
メルヒオールは、射影平面にlabel=埋め込まれた任意のグラフについて、オイラー標数V - E + Fは1でなければならないことに気づいた。ここで、V, E, Fはそれぞれ、グラフの頂点、辺、面の個数。射影平面上の非自明な直線の配置は、面は3辺以上で囲まれ、辺は2面で囲まれるようなグラフを定義する。そのため、label=二重に数えることで不等式を得る。この不等式によって、オイラー標数からFを取り除くことよりE ≦ 3V - 3が証明できる。しかしもし、配置上のすべての頂点が3以上の直線の交点であるならば、辺の総数は3V以上であるが、これは不等式に矛盾する。したがって、いくつかの頂点は2直線のみの交点でなければならず、メルヒオールの慎重な分析が示すように、3個以上の ordinary vertice が少なくとも不等式E ≦ 3V - 3を満たす必要がある1941。 
の指摘のように、ordinary vertex の存在に関する議論は、1944年、Norman Steenrodによって与えられた。スティーンロッドは ordinary line の問題の双対を明示的に応用した。

**メルヒオールの不等式**
同様の議論で、メルヒオールはより一般的な結果を証明することができた。任意のk ≧ 2において、をk本の直線で作られる点の個数として、次の式が成立する。1941。
 
同値な表現として次の形でも表すことができる。
 

**公理数学**
はケリーの証明のユークリッド距離の使用は不必要に強力で、"like using a sledge hammer to crack an almond"（アーモンドを砕くために大型ハンマーを使うようなものだ）と述べた。 代わりにコクセターは順序幾何学において証明を行った。コクセターの証明は1944年のスタインバーグによって与えられた証明の変形である。最小の公理集合を見つける問題は逆数学の定理を証明する必要がある。詳細はこの問題に関する研究の2009を見よ。
シルヴェスター-ガライの定理の通常の主張はConstructive analysisにおいては有効でない。構成幾何学で拒否される排中律の弱いものであるLPOLimited principle of omniscienceを意味するためである。にもかかわらず、構成解析の公理の範囲のシルヴェスター-ガライの定理の定理は定式化が可能で、ケリーの証明を構成幾何学の公理の下で、有効となるように適用することができる2016。

**ordinary lineの捜索**
ordinary line の存在のケリーの証明では、2点を通る直線と点の距離が最小となるような組を見つける事で ordinary line を見つけることができる。 2012はこの方法で力まかせ探索を用いて ordinary line を捜索する時間計算量はであることを報告した。 しかし、1989はで発見するアルゴリズムを開発した。これは、集合の中の3点からなる三角形で最小のものを探すことの副産物であった。彼らの同様の論文にて、（メルヒオールとスティーンロッドの証明を用いて）、双対の配置で ordinary point を見つける方法が同様の時間であることを示した。 1997 は最初に（ケリーの証明を必要としない方法で）1つのordinary lineを発見する時間O(n log n)の方法を開発した。同じ時間ではあるがより単純なアルゴリズムが2012によって述べられている。
のアルゴリズムはコクセターの証明をもとにしている。次の手順で示される。
# 与えられた点の凸包の頂点から点を選ぶ。
# 直線を、と他の凸包の頂点を通る直線として構築する。
# 他の与えられた点をと成す角で並べ替え、同じ角のものをグループ化する。
# グループ内のある点が孤立していれば、その点とを通る直線が ordinary である。
# それぞれの2つの連続するグループに対して、2直線を、一方のグループ内のと最も近い点と、もう一方の最も近い点を通る直線とする。
# このようにしてできた直線の集合内のそれぞれの直線に対して、との交点を取る。
# この交点がと一番近いようなが ordinary line となる。
著者らの証明のように、このアルゴリズムで ordinary line を必ず見つけることができる。4つ目のステップで見つかった場合は構成幾何学によるもの、7つ目のステップで見つかったものは背理法によるもので、もし7つ目の段階で見つかったものが ordinary line でなければ、交点らと を通る直線が ordinary line として存在するが、これは4つ目の段階で発見されるべきものである2012。

**ordinary lineの個数**
より少ない ordinary lineを持つ有名な例。
シルヴェスター-ガライの定理は点の配置について ordinary line の存在は述べているが、ordinary line の個数については述べていない。をnつの共線でない点の集合のordinary lineの最小の個数とする。メルヒオールの証明ではが示された。year=1948 はnが増えるにつれては無限大へ発散していくと考えた。year=1951 はを証明して、予想が正しいことを示した。  year=1951 はを予想した。これは現在ディラック–モツキン予想（Dirac–Motzkin conjecture）と呼ばれている（詳細はp=304を参照）。 1958 は を証明している。
Böröczkyの10点と5本の ordinary linesの配置の例。
ディラックの予想した下限は漸近的には最もよいもので、4超過の偶数nの上限と対応する。Károly Böröczkyによる上限を達成した構築は、射影平面上の正多角形|正m角形の頂点と頂点の組で決定される方向の無限遠点m個（延べ1=n = 2m個）から構築される。これらの点の組は個あるが、m個のみの方向を決定する。この配置ではm個の ordinary line を持ち、頂点vとそれに隣り合う2頂点と共線な無限遠点を結ぶ点になる。実射影平面の任意の有限の配置のように、この構成は ordinary line の数を変えずにすべての点が有限点となるように帰ることができる。
奇数nにおいて、ディラックの予想の下限に一致する例は2つしか知られていない。1つは1958の考案した正三角形の頂点、重心 、辺の中点の7点から成る構成である。この7点は ordinary line を3つのみ持つ。3つの ordinary line を持つConfiguration (geometry)はユークリッド平面上では単一の直線に置き換えることはできないが、Fano planeとして知られる有限の射影空間を構成する。この接続関係のために、ケリー-モザーの例は non-Fano configuration としても呼ばれる。他の例にマッキー（McKee）の考案した 、1辺を共有する2つの正五角形の頂点と、共有辺の中点と4つの無限遠点の延べ13点から成る配置がある。これは6つの ordinary line を持つ。Böröczky の構成を修正すれば、奇数n個の点で個の ordinary line を持つ配置が導かれれる。
はnが7である場合を除き、 が成立することを証明した。漸近的には、証明された上限のである。 の場合、ケリー-モザーの例が反例となって除外される。しかし、Csima–Sawyerの境界がにおいても有効だったならば、が主張されただろう。
似た結果にlabel=ベックの定理がある。これは少数の点の直線の数と一本の直線上の点の数が対応されることを延べている1983。
ベン・グリーンとテレンス・タオは、十分大きい点の集合に対して（適当にを選択したときとなるようにして）、ordinary line の数は確かに少なくともとなること示した。更に、 nが奇数ならば、ordinary line の数はある定数Cが存在して少なくともとなる。したがって、Böröczky による構成は最良であったことが判明した。ordinary line の個数の最小化は、グリーンとタオが十分大きい場合について証明した、3点を通る直線の個数の最大化問題である Orchard-planting problemOrchard-planting problemにも深く関係している2013。ordinary point を探すような双対の状態において、擬似直線の配置の ordinary point の最小を考えることができる。この場合においては、Csima-Sawyerのの下限は有効であるが2008、グリーンとタオの漸近的な境界が有効であるかは知られていない。

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

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

**色付きの点**
色付きの点におけるシルヴェスター-ガライの定理は、1960年代中期にロナルド・グラハムが提起し、Donald J. Newmanが広めた。 2つの色に分けられた（すべてが同一直線上にはない）有限の点の集合について、2つ以上のすべて同色の点を通る直線が存在するかどうかを考える。  集合と集合族の言葉では、（すべてが同一直線上にはない）有限の点の共線部分集合の族はProperty Bを持つことはできない、と表現できる。証明はTheodore Motzkinによって発表されたが、公表はされなかった。最初に証明を公表したのは1970である。

**非実座標**
ファイル:Hesse_configuration.svg|代替文=A 3 by 3 grid of points, with 8 straight lines through triples of points and four more curves through triples of points on the broken diagonals of the grid|サムネイル|Hesse configuration。２点を通る直線は3つ目の点を通る。 シルヴェスター-ガライの定理は、この配置はユークリッド平面では実現できないが、Complex projective planeでは実現できることを示す。
ユークリッド平面または射影平面が実数の組、座標を用いて定義できるように（ユークリッド平面は直交座標系、射影平面はHomogeneous coordinates）、 点と直線の系の抽象的な類似物は、数と座標を用いて定義できる。シルヴェスター-ガライの定理は有限体上でこのように定義された幾何学では適応できない。つまりFano planeのような有限幾何学において、すべての点の集合の ordinary line は存在しない2018。
また、シルヴェスター-ガライの定理は複素数や四元数の組の座標を持つ幾何学においても直接は成立しないが、より複雑な類似物であれば成立する。例えば、Complex projective planeには、9つの点（三次曲線の変曲点）の配置であるHesse configurationがある。この配置における ordinary line は存在しない。このような配置は、Sylvester–Gallai configurationとして知られ、ユークリッド平面上では成立することはない。  シルヴェスター-ガライの定理の他の方法で述べると、シルヴェスター-ガライ配置が共線性を保ちつつユークリッド平面に埋め込まれるとき、配置内の点は常に一本の直線上にある、となる。したがってヘッセ配置の例は、Complex projective planeでは偽であることが分かる。 しかし、1986はシルヴェスター-ガライの定理の複素数への類似物として、 Sylvester–Gallai configurationを複素射影平面に埋め込んだ時、すべての点は2次元部分空間上になければならないことを示した。つまり、 アフィン包が全体の空間であるような3次元複素空間上の点の集合は必ず1つの ordinary line を持ち、また ordinary line の線型数を持たなければならない2019。同様に、2006 はSylvester–Gallai configuration四元数で定義される空間に埋め込むとき、それらの点は必ず3次元部分空間上になければならないことを示した。

**マトロイド**
ユークリッド平面上の点の任意の集合とそれらを繋ぐ直線は、ランク3のOriented matroidの成分と平面に抽象化される。実数でない数の体系で定義される幾何学の点と直線はマトロイドを成すが、必ずしも有向マトロイドを成すわけではない。この状況において、1958の ordinary line の個数の下限の結果は、有向マトロイドへ一般化できる。ランク3のn成分の有向マトロイドは、個の、2点を通る直線を持つ。あるいは、より少数の2点を通る直線の持つランク3のマトロイドは無向である必要がある。 2点のみを通る直線がないようなマトロイドはSylvester matroidと呼ばれる。関連して、7点と3つの ordinary line を持つケリー-モザー配置は、label=GF(4)表現可能マトロイドにおけるlabel=禁止マイナーを構成する。

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

**脚注**

**出典**
title-link=Proofs from THE BOOK
*citation|title=On the number of ordinary lines determined by sets in complex space|last1=Basit|first1=Abdul|last2=Dvir|first2=Zeev|last3=Saraf|first3=Shubhangi|last4=Wolf|first4=Charles|year=2019|journal=Discrete & Computational Geometry|volume=61|issue=4|pages=778–808|arxiv=1611.08740|doi=10.1007/s00454-018-0039-4|mr=3943495|s2cid=125616042
*citation|title=On the lattice property of the plane and some problems of Dirac, Motzkin, and Erdős in combinatorial geometry|last=Beck|first=József|author-link=József Beck|year=1983|journal=Combinatorica|volume=3|issue=3–4|pages=281–297|doi=10.1007/BF02579184|mr=0729781|s2cid=31011939
*mr=1226888
*citation|title=A survey of Sylvester's problem and its generalizations|last1=Borwein|first1=P.|author1-link=Peter Borwein|last2=Moser|first2=W. O. J.|year=1990|journal=Aequationes Mathematicae|volume=40|issue=1|pages=111–135|doi=10.1007/BF02112289|mr=1069788|s2cid=122052678- isbn=0-387-23815-8
*citation|title=A combinatioral sic problem|last1=de Bruijn|first1=N. G.|author1-link=ニコラース・ホーヴァート・ド・ブラウン|last2=Erdős|first2=P.|author2-link=Paul Erdős|year=1948|url=http://www.renyi.hu/~p_erdos/1948-01.pdf|journal=Indagationes Mathematicae|volume=10|pages=421–423|mr=0028289
*citation|title=Sylvester's problem on collinear points and a relative|last=Chakerian|first=G. D.|year=1970|journal=American Mathematical Monthly|volume=77|issue=2|pages=164–167|doi=10.2307/2317330|jstor=2317330|mr=258659
*citation|title=The Sylvester–Chvátal theorem|last=Chen|first=Xiaomin|year=2006|journal=Discrete & Computational Geometry|volume=35|issue=2|pages=193–199|doi=10.1007/s00454-005-1216-9|mr=2195050|doi-access=free
*citation|title=Sylvester–Gallai theorem and metric betweenness|last=Chvátal|first=Vašek|author-link=Václav Chvátal|year=2004|journal=Discrete & Computational Geometry|volume=31|issue=2|pages=175–195|doi=10.1007/s00454-003-0795-6|mr=2060634|doi-access=free
*mr=24137
*isbn=0-471-50458-0
*citation|title=Sylvester's problem on collinear points|last1=Crowe|first1=D. W.|last2=McKee|first2=T. A.|year=1968|journal=Mathematics Magazine|volume=41|issue=1|pages=30–34|doi=10.2307/2687957|jstor=2687957|mr=0235452
*citation|title=There exist  ordinary points|last1=Csima|first1=J.|last2=Sawyer|first2=E.|year=1993|journal=Discrete & Computational Geometry|volume=9|pages=187–202|doi=10.1007/BF02189318|mr=1194036|doi-access=free
*citation|title=Collinearity properties of sets of points|last=Dirac|first=G.|author-link=Gabriel Andrew Dirac|year=1951|journal=Quarterly Journal of Mathematics|volume=2|pages=221–227|doi=10.1093/qmath/2.1.221|bibcode=1951QJMat...2..221D|mr=0043485
*citation|title=Topologically sweeping an arrangement|last1=Edelsbrunner|first1=Herbert|author1-link=Herbert Edelsbrunner|last2=Guibas|first2=Leonidas J.|author2-link=Leonidas J. Guibas|year=1989|journal=Journal of Computer and System Sciences|volume=38|issue=1|pages=165–194|doi=10.1016/0022-0000(89)90038-X|mr=990055|doi-access=free
*citation|title=Sylvester–Gallai theorems for complex numbers and quaternions|last1=Elkies|first1=Noam|author1-link=Noam Elkies|last2=Pretorius|first2=Lou M.|last3=Swanepoel|first3=Konrad J.|year=2006|journal=Discrete & Computational Geometry|volume=35|issue=3|pages=361–373|arxiv=math/0403023|doi=10.1007/s00454-005-1226-7|mr=2202107|s2cid=1647360
*citation|title=Problem 4065|last=Erdős|first=P.|author-link=Paul Erdős|year=1943|journal=American Mathematical Monthly|volume=50|issue=1|pages=65–66|doi=10.2307/2304011|jstor=2304011|department=Problems for solution: 4065–4069
*citation|title=Personal reminiscences and remarks on the mathematical work of Tibor Gallai|last=Erdős|first=P.|author-link=Paul Erdős|year=1982|url=http://www.math-inst.hu/~p_erdos/1982-22.pdf|journal=Combinatorica|volume=2|issue=3|pages=207–212|doi=10.1007/BF02579228|mr=0698647|s2cid=1135308
*citation|title=The excluded minors for GF(4)-representable matroids|last1=Geelen|first1=J. F.|author1-link=Jim Geelen|last2=Gerards|first2=A. M. H.|last3=Kapoor|first3=A.|year=2000|url=http://www.math.uwaterloo.ca/~jfgeelen/Publications/gf4.pdf|archive-url=https://web.archive.org/web/20100924110912/http://www.math.uwaterloo.ca/~jfgeelen/publications/gf4.pdf|archive-date=2010-09-24|journal=Journal of Combinatorial Theory|series=Series B|volume=79|issue=2|pages=247–299|doi=10.1006/jctb.2000.1963|mr=1769191|url-status=dead
*s2cid=15813230
*citation|title=Monochromatic intersection points in families of colored lines|last=Grünbaum|first=Branko|author-link=ブランコ・グレンバウム|year=1999|url=https://sites.math.washington.edu/~grunbaum/BG229.pdf|journal=Geombinatorics|volume=9|issue=1|pages=3–9|mr=1698297
*citation|title=A resolution of the Sylvester–Gallai problem of J. P. Serre|last=Kelly|first=L. M.|author-link=リロイ・ミルトン・ケリー|year=1986|journal=Discrete and Computational Geometry|volume=1|issue=2|pages=101–104|doi=10.1007/BF02187687|mr=0834051|doi-access=free
*citation|title=On the number of ordinary lines determined by  points|last1=Kelly|first1=L. M.|author1-link=リロイ・ミルトン・ケリー|last2=Moser|first2=W. O. J.|year=1958|journal=Canadian Journal of Mathematics|volume=10|pages=210–219|doi=10.4153/CJM-1958-024-6|mr=0097014|s2cid=123865536|doi-access=free
*access-date=
*citation|title=A constructive version of the Sylvester–Gallai theorem|last=Mandelkern|first=Mark|year=2016|journal=Acta Mathematica Hungarica|volume=150|pages=121–130|arxiv=2402.03662|doi=10.1007/s10474-016-0624-z|mr=3542040|s2cid=124023963
*citation|title=Über Vielseite der Projektive Ebene|last=Melchior|first=E.|author-link=Eberhard Melchior|year=1941|journal=Deutsche Mathematik|volume=5|pages=461–475
*citation|title=The lines and planes connecting the points of a finite set|last=Motzkin|first=Th.|author-link=セオドア・モツキン|year=1951|journal=Transactions of the American Mathematical Society|volume=70|issue=3|pages=451–464|doi=10.2307/1990609|jstor=1990609|mr=0041447|doi-access=free
*mr=1607014
*citation|title=The ordinary line problem revisited|last1=Mukhopadhyay|first1=Asish|last2=Greene|first2=Eugene|year=2012|journal=Computational Geometry: Theory and Applications|volume=45|issue=3|pages=127–130|doi=10.1016/j.comgeo.2011.10.003|mr=2853475|doi-access=free
*citation|title=Combinatorial Geometry and Its Algorithmic Applications: The Alcalá Lectures|last1=Pach|first1=János|author1-link=János Pach|last2=Sharir|first2=Micha|author2-link=Micha Sharir|year=2009|publisher=American Mathematical Society|series=Mathematical Surveys and Monographs|volume=152|pages=1–12|contribution=Chapter 1. Sylvester–Gallai Problem: The Beginnings of Combinatorial Geometry
*citation|title=A reverse analysis of the Sylvester–Gallai theorem|last=Pambuccian|first=Victor|year=2009|url=http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1257862037|journal=Notre Dame Journal of Formal Logic|volume=50|issue=3|pages=245–260|doi=10.1215/00294527-2009-010|mr=2572973|doi-access=free
*s2cid=250442107
*citation|title=Three point collinearity (solution to problem 4065)|last1=Steinberg|first1=R.|last2=Buck|first2=R. C.|last3=Grünwald|first3=T.|author3-link=Tibor Gallai|last4=Steenrod|first4=N. E.|author4-link=Norman Steenrod|year=1944|journal=American Mathematical Monthly|volume=51|issue=3|pages=169–171|doi=10.2307/2303021|jstor=2303021
*pages=156
*page=231
*page=98

**外部リンク**
 Citation|title=A discrete geometrical gem|last=Malkevitch, Joseph|year=2003|url=http://e-math.ams.org/featurecolumn/archive/sylvester1.html|archive-url=https://web.archive.org/web/20061010192721/http://e-math.ams.org/featurecolumn/archive/sylvester1.html|archive-date=2006-10-10|journal=AMS Feature Column|publisher=American Mathematical Society- title=Ordinary Line-  Proof presentation by Terence Tao at the 2013 Minerva Lectures-  複素版Sylvester-Gallaiの定理と超平面配置の対数的ベクトル場の分裂型 - 阿部 拓郎