第五公设的早期探索
之前在介绍欧几里得与《几何原本》时，有一条也许是整部《几何原本》
中最吸引眼球的命题未曾展开说明，那便是大名鼎鼎的“公设5”（Postulate
5）——也即第五公设（The Fifth Postulate）。不过我们曾许诺“不久之后会有单独介绍”，现在就让我们兑现许诺，来介绍一下第五公设及对它的探索。为避免偏离时间顺序太远，我们的介绍将只涵盖早期探索——确切地说，是所谓非欧几何（non−Euclidean geometry）诞生之前的探索。至于非欧几何，则将留作未来话题。