パップスの六角形定理

ファイル:Pappus-proj-ev.svg|サムネイル|パップスの六角形定理:六角形AbCaBcに対して、点X,Y,Zが共線である（パップス線）。
アフィン形式のパップスの定理
パップスの定理またはパップスの六角形定理（パップスのろっかくけいていり、Pappus's hexagon theorem）とはアレキサンドリアのパップスの名を冠する定理の一つである。- とがそれぞれ共線であるとき、との交点を, との交点を、との交点として、は共線である。またこの線をパップス線（Pappus line）という。または六角形の3本の主対角線の交点である。
この定理は任意の射影平面上で成立するが、非可換体上では成立しない。パップスの定理の成り立つ射影平面はパップス平面（pappian planes）と呼ばれる。
先述の六角形について、ならば（パップス線は無限遠直線となって）2番目の図の様に、アフィン幾何学におけるパップスの定理を得る。
パップス線と直線が共点ならば、little version of Pappus's theoremを得る。
によれば、共点な直線と、とは異なる点で共点な直線において、直線の交点とを結ぶ直線を、とを結ぶ直線を、とを結ぶ直線をとすれば、は共点である（で2直線の交点を示す）。
パップスの定理はパスカルの定理の特別な場合である。パスカルの定理に出現する円錐曲線を2直線に退化させれば、パップスの定理を得る。パスカルの定理はまた、ケイリー＝バッハラッハの定理の特別な場合である。
はパップスの定理に出現する9つのconfigurationである。一般には、パップス線は直線との交点を通らない。 この配置は自己双対性を持つ。したがって直線はのような双対の性質を持ち、の共線はの共点と対応する。パップス配置のLevi graphはPappus graphと呼ばれる。パップスグラフは18個の頂点と27個の辺を持つ2部のlabel=距離正則なグラフである。

**証明**
パップスの定理の証明
アフィン形式で、ある座標設定でのパップスの定理が証明されれば、それを適当に射影することで、一般のパップスの定理を証明できる。
ではとを区別する必要がある。また、単純な証明のためには、座標設定を巧く行わなければならない。
場合1:  が点で交わる場合。図の様に座標を設定する。

の平行よりを、の平行よりを得る。故に、は傾きであるから、と平行である。
場合2:  である場合(小定理)。次の様に座標を設定する。
. 
とから、とを得て、が証明される。

**同次座標を用いる証明**
系で、点の座標を次のように設定する。
 .
直線の方程式をそれぞれ とすれば、点 はあるを用いて
 
と書ける。直線の方程式はそれぞれとなる。したがってこの3直線が一点で交わることはと同値である。
直線の方程式はそれぞれとなり、一点で交わる条件はである。可換であるから。故にの共点の条件は他の8本の線が共点であることとなる。これは、 の共線と同値である。
この証明によって、パップスの定理の成立には可換性が必要であることが分かる。ドイツの数学者、ゲルハルト・ヘッセンベルクはデザルグの定理を含んでいることを示した。一般に、射影平面において、パップスの定理の成立と可換体であることは同値である。パップスの定理を含まない射影平面は非可換なデザルグ射影平面で、Non-Desarguesian plane である。
同次座標による証明はの共線は起こらないことを条件としている。が共線である場合は別の証明を用いる必要がある。

**双対**
よりパップスの定理の双対も成り立つ。
6本の直線がを中心とする束を成すように選ぶ。
 
 
 
は点で共点である。左の図は射影幾何学、右の図はアフィン幾何学による表現である。アフィン幾何学の方ではは無限遠点である。が上にあれば、パップスの定理の"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 figure (points                          1          ,          2          ,          3   ,          4          ,          5          ,          6                         {\displaystyle \color {red}1,2,3,4,5,6}    of the triangle                        P        Q        R                {\displaystyle PQR}    ) as dual theorem of the little theorem of Pappus (                       U                {\displaystyle U}    is at infinity, too !).|トムセンの図形（三角形と点) 。
ファイル:Thomsen-beweis.svg|証明に用いる図

**パップスの定理の他の主張**
ファイル:Pappus_hexagon.svg|サムネイル|△XcC,△BbYはで配景
パップスの定理とその双対の他の特徴づけに次の主張がある。- 六角形の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である。 (パップスの記述とは、GとΓ、DとΔ、JとΘ、LとΛが対応している)。 
 Pappus-collection-7-129
3つの共点線AB,AG,ADがあって、JB,JEがJで交わっている。またKLはAZと平行である。このとき
 KJ : JL :: (KJ : AG & AG : JL) :: (JD : GD & BG : JB).
である。これらは今日、等式として次の様に表される。
 KJ/JL = (KJ/AG)(AG/JL) = (JD/GD)(BG/JB).
最右辺 ( JD : GD と BG : JBの積) は、共線点J, G, D, Bに対して複比として知られるもので、(J, G; D, B)とも書かれる。つまりAで交わる3線のうち、JDの取り方は複比と無関係であることが示された。
 (J, G; D, B) = (J, Z; H, E).
直線JEがAを通るどの辺（直線）にあたるかは重要ではない。特に図を変えれば、以下の様になることもある（補題X） 。
 Pappus-collection-7-136
先述のように(J, G; D, B) = (J, Z; H, E)である。パップスはこれを証明しなかったが、 補題Xはこの構図の逆「2つの複比が等しく図の様にBE,DHがAで交わるとすれば、点G,A,Zは共線である」を表している。 
JK,AGが交わらない場合は複比を (J, ∞; K, L) = (J, G; D, B)の様に書くことができる。パップスはこれを補題XIで示している。
 Pappus-collection-7-137
当時の記法ではDE.ZH : EZ.HD :: GB : BEとなるが、これは
 (D, Z; E, H) = (∞, B; E, G).
という表現に等しい。
次の図は補題XIIである。
 Pappus-collection-7-138
この図は補題XIIIと意味する所は同じだがBA,DGが辺の延長にある点Nで交わっている。どのような場合でも、Gを通る直線がAを通る直線と交わっているとすれば (そして複比の不変性を利用すれば）、補題IIIとXIを次のように得る。
 (G, J; E, H) = (G, D; ∞ Z).
Dを通る直線がBを通る直線と交わっているとすれば、
 (L, D; E, K) = (G, D; ∞ Z).
を得る。したがって(E, H; J, G) = (E, K; D, L)である。また補題Xより、H,M,Kは共線である。これは、六角形ADEGBZの主対角線の交点の共線を表している。
補題XVとXVIIは、直線HK,BGの交点をMとして、A,M,Gの共線を示している。これは六角形BEKHZGの主対角線の交点の共線を示している。 

**関連項目**
 メネラウスの定理- デザルグの定理- ブリアンションの定理

**出典**

**参考文献**
 Citation|和書|title=Introduction to Geometry|last=Coxeter|first=Harold Scott MacDonald|author-link=Harold Scott MacDonald Coxeter|year=1969|edition=2nd|publisher=John Wiley & Sons|location=New York|isbn=978-0-471-50458-0|mr=123930- jstor=2031794- location=Berlin- location=New York- issn=1432-1807- location=Berlin- location=New York- editor2-first=A.- isbn=0-85440-245-4

**外部リンク**
  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- Cite web |url=https://manabitimes.jp/math/1375 |title=平面幾何の美しい定理4つ |access-date=2024-7-24 |publisher=高校数学の美しい物語