MathLabs
定理証明済み

デザルグの定理

内容

2つの三角形 ABCABC と A′B′C′A'B'C' について、直線 AA′AA'、BB′BB'、CC′CC' が共通の点 OO で交わる(2つの三角形は点に関して透視的である)とする。このとき、3点 P=BC∩B′C′P = BC \cap B'C'、Q=CA∩C′A′Q = CA \cap C'A'、R=AB∩A′B′R = AB \cap A'B' は共線である(2つの三角形は直線に関して透視的である)。

なぜ正しいのか?

平面内だけで考えると、多くの異なる直線が絡み合うため、この主張は繊細に見える。この図を3次元空間に持ち上げると、すべての接続関係が平面同士の交わりになり、異なる2平面は常に1本の直線で交わるため、3点は必ず1つの共通の直線上に乗ることになる。

証明の概略

2つの三角形が R3\mathbb{R}^3 内の平面 π\pi にあるとみなし、π\pi の上方に空間的な配置を構成する:π\pi に属さない点 O^\widehat{O}、そして空間内の2つの異なる平面にある三角形 A^B^C^\widehat{A}\widehat{B}\widehat{C} と A′^B′^C′^\widehat{A'}\widehat{B'}\widehat{C'} を、直線 A^A′^\widehat{A}\widehat{A'}、B^B′^\widehat{B}\widehat{B'}、C^C′^\widehat{C}\widehat{C'} がすべて O^\widehat{O} を通り、かつこの空間図を π\pi に射影し戻すと元の三角形 ABCABC と A′B′C′A'B'C' が OO から透視的になるように配置する。

この空間図において、直線 B^C^\widehat{B}\widehat{C} と直線 B′^C′^\widehat{B'}\widehat{C'} はどちらも O^,B^,C^\widehat{O}, \widehat{B}, \widehat{C} が張る平面内にある(B′^\widehat{B'} と C′^\widehat{C'} はそれぞれ O^\widehat{O} と B^,C^\widehat{B}, \widehat{C} を通る直線上にあるため)ので、これら2直線は点 P^\widehat{P} で交わる。同様に、辺 CACA と ABAB に対応する交点として Q^\widehat{Q} と R^\widehat{R} が空間内に存在する。

3点 P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} はいずれも三角形 A^B^C^\widehat{A}\widehat{B}\widehat{C} を含む平面内にある(それぞれが2辺の組から作られるため)と同時に、A′^B′^C′^\widehat{A'}\widehat{B'}\widehat{C'} を含む平面内にもある。したがって P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} は、これら2平面が交わる直線上にある。なぜなら、空間内の異なる2平面は必ずちょうど1本の直線で交わるからである。

この空間配置を平面 π\pi に射影し戻すと P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} は P,Q,RP, Q, R に写り、共線性は保たれる。なぜなら、ある点からの射影は任意の直線を直線に写すからである。したがって P,Q,RP, Q, R は π\pi 内で共線であり、これがまさにデザルグの定理である。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. H. S. M. Coxeter (1974). Projective Geometry
  2. Jürgen Richter-Gebert (2011). Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry
  3. Wikipedia contributors (2026). Pascal's theorem — Wikipedia
  4. Wikipedia contributors (2026). Lam's problem — Wikipedia