梅涅劳斯定理和塞瓦定理 —— 几何比例关系的完美对称

梅涅劳斯定理 (Menelaus' Theorem)

梅涅劳斯定理用于判定三角形三顶点所在边（或其延长线）上的三点是否共线。其核心在于比例关系的乘积恒等。

其中，点D、E、F分别位于三角形ABC的边BC、CA、AB（或其延长线）上。当三点共线时，该比例式成立；反之，若比例式成立，则三点共线。

注意：若使用有向线段，则乘积为-1；使用无向长度时，乘积为1。竞赛中通常采用有向线段版本，以统一处理点在延长线上的情况。

塞瓦定理 (Ceva's Theorem)

塞瓦定理用于判定从三角形三个顶点出发的三条线段是否共点。其本质是"三线共点"的代数判据。

与梅涅劳斯定理形式相同，但几何含义截然不同：此处D、E、F是边上的点，AD、BE、CF是从顶点到对边的线段。当三条线段交于一点（塞瓦点）时，比例式成立。

这是定理最精妙之处：两个定理的代数形式一致，但几何意义互补——一个管"共线"，一个管"共点"，构成平面几何中对偶性的典范。

定理的几何直觉

梅涅劳斯定理和塞瓦定理的公式看似抽象，实则蕴含深刻的几何平衡思想。

想象一个三角形ABC，若有一条直线横穿三边（或延长线），它就像一把尺子卡在三角形上，迫使各边被截得的线段比例之间存在严格约束。这种约束正是由比例乘积为1所体现。

而塞瓦定理则像是三根绳子从顶点出发，在三角形内部或外部交汇于一点。这个交点就像一个"力的平衡中心"，各边被分割的比例必须满足特定关系才能实现"共点平衡"。

这种"比例守恒"思想，贯穿整个射影几何体系，是理解更高级几何定理（如帕斯卡定理、布列安桑定理）的重要基础。