POSTULATE V / THE LONG SENTENCE

第五公设之谜：为什么它两千年都显得格格不入

它不像“能作圆”那样局部、简短；它谈论直线无限延长后的命运。无数失败的证明，最终变成新几何的产房。

02平行 · 独立性 · 分岔

01 / ORIGINAL FORM欧几里得真正写了什么

第五公设的原意大致是：若一条直线落在两条直线上，使同侧内角之和小于两直角，那么这两条直线无限延长后，会在内角和小于两直角的那一侧相交。[2] 它不是我们今天最熟悉的“线外一点有且只有一条平行线”。后者通常称为 Playfair 公理；在合适的其他公理背景下，两者等价，但措辞与逻辑位置并不相同。

图仅帮助识别关系，不充当证明。第五公设控制的是延长到局部图形之外后，两条线是否相遇。

前四条公设描述有限步骤或局部性质；第五条包含角度条件、无限延长和未来相交，像一个本应从更简单事实推出的定理。

欧几里得直到第一卷命题 29 才明确调用它。在此前相当长的“绝对几何”段落中，许多结论无需平行公设即可建立。

于是数学家尝试把它从其他前提中证明出来。典型策略是先否定它，再期待推出矛盾；但他们常在不知不觉中引入了与第五公设等价的直觉，例如假定某类等距曲线是直线，或默认三角形内角和为 180°。

11 世纪

通过特殊四边形研究平行关系，为后来的 Saccheri 四边形方法提供思想先声。

1733

研究顶角为直角、锐角或钝角的可能性。他试图排除后两者，却在“锐角假设”下推导出许多后来属于双曲几何的结论。

1820s–1830s

不再把第五公设的否定只当反证工具，而把由此生长的体系当作独立几何研究。Lobachevsky 以“平行理论”系统发表成果。[3]

第五公设不是“太难所以还没证明”，而是在相应公理框架中不能由其余前提推出。改变它不是计算失误，而是选择另一种合法结构。

在适当的绝对几何背景中，第五公设可改写为多种等价命题：Playfair 形式的唯一平行线、三角形内角和恒为两个直角、存在任意大的相似但不全等三角形等。试图用其中任何一条“证明”第五公设，如果没有先证明它来自更弱前提，就只是把同一假设换了衣服。

等价性依赖背景公理，不能脱离语境无限搬运。这是数学史叙述中常被省略、却对逻辑理解非常关键的一层。