定理已证明
德萨格定理
命题陈述
设两个三角形 与 满足直线 、 、 相交于同一点 (两三角形关于一点透视)。那么三点 、 、 共线(两三角形关于一条直线透视)。
为什么成立?
如果只在平面内讨论,由于牵涉许多不同的直线,这个命题看起来很微妙。把图形提升到三维空间后,每一个关联关系都变成了两个平面的交线,而两个不同的平面总是交于一条直线,这就迫使这三个点落在同一条直线上。
证明思路
把两个三角形看作位于 中平面 内,并在 上方构造一个空间构形:一个不在 内的点 ,以及位于空间中两个不同平面内的三角形 与 ,使得直线 、 、 都经过 ,并且把这个空间图形投影回 后能还原出关于 透视的原始三角形 与 。
在这个空间图形中,直线 与直线 都位于由 张成的平面内(因为 与 分别位于经过 与 的直线上),所以这两条直线相交于一点 ;类似地, 与 也作为边 与 对应的交点存在于空间中。
三点 都位于包含三角形 的平面内(因为每个点都由其一对边构造而成),同时也位于包含 的平面内。因此 位于这两个平面的交线上,因为空间中任意两个不同的平面恰好交于一条直线。
把这个空间构形投影回平面 ,会把 变为 并保持共线性,因为从一点出发的投影把任意直线映为直线。因此 在 中共线,这正是德萨格定理。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- 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