PRINCIPIA · THEOREM
基本比例定理逆——成比例 ⇒ 平行
依赖:平行线分线段成比例(基本比例定理)(正向 BPT)、过直线外一点存在唯一平行线(Playfair)(过外一点存在唯一平行线);唯一性的最底层来源是 尺子公理。
陈述
设 ,、 满足
则 。
换句话说,两条边上各取一点,只要它们把对应边切成相同的比,连接起来的那条线段就自动与第三边平行。这是 平行线分线段成比例(基本比例定理)定理("")的反向句式:把"分边比例"翻回"平行"。

帮我把这条定理写得更好
依赖:平行线分线段成比例(基本比例定理)(正向 BPT)、过直线外一点存在唯一平行线(Playfair)(过外一点存在唯一平行线);唯一性的最底层来源是 尺子公理。
设 ,、 满足
则 。
换句话说,两条边上各取一点,只要它们把对应边切成相同的比,连接起来的那条线段就自动与第三边平行。这是 平行线分线段成比例(基本比例定理)定理("")的反向句式:把"分边比例"翻回"平行"。
