基于Sylvester-Gallai定理证明三维点线构型的单直线或普通线存在性

首先先明确我们要用到的二维核心定理：

Sylvester-Gallai定理：平面上的任意有限点集，若不全共线，则必存在一条恰好经过其中两个点的直线（即普通线）。

接下来我们用反证法+投影降维的思路来推导三维空间的结论：

1. 反证假设铺垫 #

假设有限点集 ( P \subset \mathbb{R}^3 ) 不全共线（也就是线构型 ( L ) 至少包含两条直线），但所有经过 ( P ) 中至少两个点的直线都经过至少3个点（即不存在普通线）。我们的目标是通过推导得出矛盾，从而推翻这个假设。

2. 构造一般位置的平面投影 #

取一个满足以下条件的平面 ( \pi )：

• ( \pi ) 不平行于任何由 ( P ) 中两点确定的直线；
• ( \pi ) 不会让 ( P ) 中任意两个点的投影重合（保证投影是单射）。

这样的平面一定存在——毕竟不满足条件的平面只是有限个平面束，不会覆盖整个三维空间。

将 ( P ) 中的每个点向 ( \pi ) 作投影（正交投影或任意单射投影均可），得到平面点集 ( P' \subset \pi )。

3. 分情况分析投影点集 #

我们针对 ( P' ) 的两种状态分别推导：

情况1：( P' ) 不全共线 #

根据Sylvester-Gallai定理，平面 ( \pi ) 中必然存在一条普通线 ( l' )，它恰好经过 ( P' ) 中的两个点 ( p'_1 ) 和 ( p'_2 )，对应原三维点集 ( P ) 中的点 ( p_1 ) 和 ( p_2 )。

因为投影是单射且 ( \pi ) 不平行于直线 ( p_1p_2 )，所以直线 ( p_1p_2 ) 的投影就是 ( l' )。而 ( l' ) 只经过 ( P' ) 中的两个点，说明直线 ( p_1p_2 ) 在三维空间中只能包含 ( P ) 中的 ( p_1 ) 和 ( p_2 ) 两个点——否则这条直线上的第三个点 ( p_3 ) 的投影 ( p'_3 ) 也会落在 ( l' ) 上，与 ( l' ) 是普通线的结论矛盾。

这直接推翻了我们“不存在普通线”的假设。

情况2：( P' ) 全共线 #

这种情况下，原三维点集 ( P ) 中的所有点都位于一个柱面上，柱面的母线平行于 ( \pi ) 的法线方向（因为所有点的投影都在 ( \pi ) 的一条直线上，原像就是过这条直线且平行于法线的直线构成的柱面）。

现在取一个不平行于柱面母线的平面 ( \sigma )（比如垂直于 ( \pi ) 的平面），平面 ( \sigma ) 与柱面的交线是一条曲线，同时会与每个母线交于恰好一个点，因此 ( P ) 中的每个点都会对应 ( \sigma ) 中的一个点，构成平面点集 ( P'' \subset \sigma )。

由于 ( P ) 不全共线，所以 ( P'' ) 也必然不全共线（否则 ( P ) 中的点都会共线，与假设矛盾）。再次应用Sylvester-Gallai定理，( \sigma ) 中存在一条普通线 ( l'' )，恰好经过 ( P'' ) 中的两个点 ( q_1 ) 和 ( q_2 )，对应原 ( P ) 中的点 ( p_1 ) 和 ( p_2 )。

同理，直线 ( p_1p_2 ) 在三维空间中只能包含 ( P ) 中的这两个点，否则会与 ( l'' ) 是普通线的结论矛盾，这又一次推翻了我们的假设。

4. 最终结论 #

两种情况都导出了矛盾，说明我们的反证假设不成立。因此，若 ( P ) 不全共线（即 ( L ) 至少包含两条直线），则 ( L ) 中必存在普通线。

内容的提问来源于stack exchange，提问作者user278039