パップスの六角形定理

**パップスの定理**または**パップスの六角形定理**（パップスのろっかくけいていり、）とはアレキサンドリアのパップスの名を冠する定理の一つである。

* 点とがそれぞれ共線であるとき、との交点を、との交点を、との交点として、は共線である。またこの線をパップス線（）という。または六角形の3本の主対角線の交点である。

この定理は任意の射影平面上で成立するが、非可換体上では成立しない。パップスの定理の成り立つ射影平面はパップス平面（）と呼ばれる。

先述の六角形について、ならば（パップス線は無限遠直線となって）2番目の図の様に、アフィン幾何学におけるパップスの定理を得る。

パップス線と直線が共点ならば、を得る。

によれば、共点な直線と、とは異なる点で共点な直線において、直線の交点とを結ぶ直線を、とを結ぶ直線を、とを結ぶ直線をとすれば、は共点である（で2直線の交点を示す）。

パップスの定理はパスカルの定理の特別な場合である。パスカルの定理に出現する円錐曲線を2直線に退化させれば、パップスの定理を得る。パスカルの定理はまた、ケイリー＝バッハラッハの定理の特別な場合である。

はパップスの定理に出現する9つのである。一般には、パップス線は直線との交点を通らない。 この配置は自己双対性を持つ。したがって直線はのような双対の性質を持ち、の共線はの共点と対応する。パップス配置のはと呼ばれる。パップスグラフは18個の頂点と27個の辺を持つ2部のなグラフである。

## 証明

アフィン形式で、ある座標設定でのパップスの定理が証明されれば、それを適当に射影することで、一般のパップスの定理を証明できる。

ではとを区別する必要がある。また、単純な証明のためには、座標設定を巧く行わなければならない。

**場合1**: が点で交わる場合。図の様に座標を設定する。

よりを、より得る。故に、の傾きはであるから、と平行である。

**場合2**:である場合（小定理）。次の様に座標を設定する。

から、とを得て、が証明される。

## 同次座標を用いる証明
系で、点の座標を次のように設定する。

直線の方程式をそれぞれとすれば、点はある数を用いて

と書ける。直線の方程式はそれぞれとなる。したがってこの3直線が一点で交わることはと同値である。

直線の方程式はそれぞれとなり、一点で交わる条件はである。可換であるから。ゆえにの共点の条件は他の8本の線が共点であることとなる。これは、の共線と同値である。

この証明によって、パップスの定理の成立には可換性が必要であることが分かる。ドイツの数学者、ゲルハルト・ヘッセンベルクはデザルグの定理を含んでいることを示した。一般に、射影平面において、パップスの定理の成立と可換体であることは同値である。パップスの定理を含まない射影平面は非可換なデザルグ射影平面で、 である。

同次座標による証明はの共線は起こらないことを条件としている。が共線である場合は別の証明を用いる必要がある。

## 双対
よりパップスの定理の双対も成り立つ。

6本の直線がを中心とする束を成すように選ぶ。

:  X:= (A\cap b) (a\cap B), 
:  Y:= (c\cap A) (C\cap a), 
:  Z:= (b\cap C) (B\cap c)

は点で共点である。左の図は射影幾何学、右の図はアフィン幾何学による表現である。アフィン幾何学の方ではは無限遠点である。が上にあれば、パップスの定理の"dual little theorem"を得る。

File:Pappus-dual-proj-ev.svg|リンク=https://en.wikipedia.org/wiki/File:Pappus-dual-proj-ev.svg|射影形式の双対の定理
File:Pappus-dual-aff-ev.svg|リンク=https://en.wikipedia.org/wiki/File:Pappus-dual-aff-ev.svg|アフィン形式の双対の定理

アフィン形式の小定理で得る点が上にある、つまり無限遠点である場合、トムセンの定理を得る。トムセンの図形は射影平面の公理の決定に大きな役割を果たす。トムセンの図形の閉形の証明は"little theorem"の証明により行われる。しかし、次のように、より簡単で直接的な証明も存在する。トムセンの定理の主張には*接続、交差、平行*のみが用いられるためにアフィン写像によって不変である。三角形の頂点の座標をと置く。また最初の点をとする。6回の操作を経て最後の点がに戻ることを証明すればよい。

Thomsen-kl-d-pap-ev.svg|トムセンの図形（三角形と点） 。
Thomsen-beweis.svg|証明に用いる図


## パップスの定理の他の主張

パップスの定理とその双対の他の特徴づけに次の主張がある。

* 六角形の6つの頂点が3点ずつ2本の直線上にあるとき、六角形の主対角線の交点は共線である。
* 9つの点を行列に書き直して、パーマネントとして評価する。1,2行目と、その6つの"対角"が共線ならば3行目も共線である。

: つまり直線があったとき、パップスの定理は直線の存在を主張している。行列に双対の形式を当てはめると、などは共点な直線となる。

* 2つの直線上にそれぞれ3つの異なる点があるとする。一方の直線上の点ともう一方の直線上の点を1対1に対応させる。このとき、対応していない点を結ぶ直線はある直線上で交わる。
**
* 2つの三角形が2通りの対応で配景であるとき、3つ目の対応でも配景である。が共点で且つが共点ならば、も共点である。

## 起源
これらの性質の最も早い形はパップスの著書のVIIの性質138,139,141,143で知られていた。また、これらの性質はエウクレイデスの *Porisms* の巻VIIの一部にある補題XII,XIII,XV,XVIIである。

エウクレイデスの書にある補題は今日では複比として知られる概念を用いて証明されている。また、先の3つの補題も利用されている。一つ目は補題IIIである。 (パップスの記述とは、と、と、と、とが対応している)。 

3つの共点線があって、がで交わっている。またはと平行である。このとき

である。これらは今日、等式として次の様に表される。

最右辺 ( と の積) は、共線点に対して複比として知られるもので、とも書かれる。つまりで交わる3線のうち、の取り方は複比と無関係であることが示された。

直線がを通るどの辺（直線）にあたるかは重要ではない。特に図を変えれば、以下の様になることもある（補題X） 。

先述のようにである。パップスはこれを証明しなかったが、 補題Xはこの構図の逆「2つの複比が等しく図の様にがで交わるとすれば、点は共線である」を表している。 

が交わらない場合は複比をの様に書くことができる。パップスはこれを補題XIで示している。

当時の記法では DE.ZH : EZ.HD :: GB : BEとなるが、これは

という表現に等しい。

次の図は補題XIIである。

この図は補題XIIIと意味する所は同じだがが辺の延長にある点で交わっている。どのような場合でも、を通る直線がを通る直線と交わっているとすれば (そして複比の不変性を利用すれば）、補題IIIとXIを次のように得る。

を通る直線がを通る直線と交わっているとすれば、

を得る。したがってである。また補題Xより、は共線である。これは、六角形の主対角線の交点の共線を表している。

補題XVとXVIIは、直線の交点をとして、の共線を示している。これは六角形の主対角線の交点の共線を示している。 

## 脚注

### 注釈

### 出典

## 参考文献

* 
* 
* 
* 
* 
* 
* 
* 
* 

## 関連項目

* メネラウスの定理
* デザルグの定理
* ブリアンションの定理

## 外部リンク

* Pappus's hexagon theorem at cut-the-knot
* Dual to Pappus's hexagon theorem at cut-the-knot
* Pappus’s Theorem: Nine proofs and three variations
*