PRINCIPIA · THEOREM
梅涅劳斯定理——横截线分三边比之积 = 1
依赖:平行线分线段成比例(基本比例定理)定理(平行线分线段成比例(基本比例定理))、平行线唯一性(过直线外一点存在唯一平行线(Playfair))。
陈述
设 ,一条横截线 与三角形三条边所在的直线分别相交于点 、、——具体地:
并约定 、、 中至少有一个落在边的延长线上(否则 不可能既穿过三角形又同时切到三条边的内部)。则三组分边比的连乘等于 (无符号):
若用有向比(沿同一方向取正负),则连乘等于 ——这正是塞瓦定理给共点情形的 的"对偶"。

帮我把这条定理写得更好