定理証明済み
デザルグの定理
内容
2つの三角形 と について、直線 、、 が共通の点 で交わる(2つの三角形は点に関して透視的である)とする。このとき、3点 、、 は共線である(2つの三角形は直線に関して透視的である)。
なぜ正しいのか?
平面内だけで考えると、多くの異なる直線が絡み合うため、この主張は繊細に見える。この図を3次元空間に持ち上げると、すべての接続関係が平面同士の交わりになり、異なる2平面は常に1本の直線で交わるため、3点は必ず1つの共通の直線上に乗ることになる。
証明の概略
2つの三角形が 内の平面 にあるとみなし、 の上方に空間的な配置を構成する: に属さない点 、そして空間内の2つの異なる平面にある三角形 と を、直線 、、 がすべて を通り、かつこの空間図を に射影し戻すと元の三角形 と が から透視的になるように配置する。
この空間図において、直線 と直線 はどちらも が張る平面内にある( と はそれぞれ と を通る直線上にあるため)ので、これら2直線は点 で交わる。同様に、辺 と に対応する交点として と が空間内に存在する。
3点 はいずれも三角形 を含む平面内にある(それぞれが2辺の組から作られるため)と同時に、 を含む平面内にもある。したがって は、これら2平面が交わる直線上にある。なぜなら、空間内の異なる2平面は必ずちょうど1本の直線で交わるからである。
この空間配置を平面 に射影し戻すと は に写り、共線性は保たれる。なぜなら、ある点からの射影は任意の直線を直線に写すからである。したがって は 内で共線であり、これがまさにデザルグの定理である。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- H. S. M. Coxeter (1974). Projective Geometry
- Jürgen Richter-Gebert (2011). Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry
- Wikipedia contributors (2026). Pascal's theorem — Wikipedia
- Wikipedia contributors (2026). Lam's problem — Wikipedia