MathLabs
定理已证明

德萨格定理

命题陈述

设两个三角形 ABCABC 与 A′B′C′A'B'C' 满足直线 AA′AA' 、BB′BB' 、CC′CC' 相交于同一点 OO (两三角形关于一点透视)。那么三点 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' 共线(两三角形关于一条直线透视)。

为什么成立?

如果只在平面内讨论,由于牵涉许多不同的直线,这个命题看起来很微妙。把图形提升到三维空间后,每一个关联关系都变成了两个平面的交线,而两个不同的平面总是交于一条直线,这就迫使这三个点落在同一条直线上。

证明思路

把两个三角形看作位于 R3\mathbb{R}^3 中平面 π\pi 内,并在 π\pi 上方构造一个空间构形:一个不在 π\pi 内的点 O^\widehat{O} ,以及位于空间中两个不同平面内的三角形 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 后能还原出关于 OO 透视的原始三角形 ABCABC 与 A′B′C′A'B'C' 。

在这个空间图形中,直线 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} 的直线上),所以这两条直线相交于一点 P^\widehat{P} ;类似地,Q^\widehat{Q} 与 R^\widehat{R} 也作为边 CACA 与 ABAB 对应的交点存在于空间中。

三点 P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} 都位于包含三角形 A^B^C^\widehat{A}\widehat{B}\widehat{C} 的平面内(因为每个点都由其一对边构造而成),同时也位于包含 A′^B′^C′^\widehat{A'}\widehat{B'}\widehat{C'} 的平面内。因此 P^,Q^,R^\widehat{P}, \widehat{Q}, \widehat{R} 位于这两个平面的交线上,因为空间中任意两个不同的平面恰好交于一条直线。

把这个空间构形投影回平面 π\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