第五公设的早期探索 (下篇）

让我们从普罗克洛斯开始，介绍第五公设的“证明”。普罗克洛斯在我们的科学史随笔系列中已多次出场，他被认为是最后一位古典哲学家，在他之后则是漫长的中世纪。普罗克洛斯一生著述颇丰，其中包括了对《几何原本》第1卷的评注。由于包括欧几里得在内的古希腊数学家的手稿多已不存，评注的意义愈发重要。普罗克洛斯的评注作为其中的佼佼者，是研究古希腊数学史不可或缺的资料。关于第五公设，普罗克洛斯在评注中除给出自己的“证明”外，也介绍了前人的“证明”。普罗克洛斯所介绍的前人的“证明”中，最早的一个出自一位名叫波希多尼（Posidonius）的古希腊“通才”。这也是我们迄今所知试图证明第五公设的最早努力。不过确切地说，波希多尼的努 ………………………………