普莱费尔公理分析及推导（综述.pdfVIP

普莱费尔公理（综述）

图1：普莱费尔公理的前：⼀条直线与⼀个不在该直线上的点

在⼏何学中，普莱费尔公理是⼀个可以替代欧⼏⾥得第五公设（平⾏公设）的公理：

在⼀个平⾯内，给定⼀条直线和⼀个不在该直线上的点，⾄多只能作⼀条过该点且与已知

直线平⾏的直线。[1]

图2：普莱费尔公理的结论：⼀条通过该点的直线，与第⼀条直线平⾏

  它在欧⼏⾥得⼏何的语境下与欧⼏⾥得平⾏公设等价[2]，并以格兰数学家约翰·普莱费尔

的名字命名。这⾥的“⾄多⼀条”这⼀限定就⾜够了，因为可以从前四条公理推导出：给定⼀条直

线L和⼀个不在L上的点P，⾄少存在⼀条平⾏线。推导过程如下：

1.作垂线：利⽤公理和已建⽴的定理，可以作出⼀条通过点P的直线，并且垂直于直线L。

2.作另⼀条垂线：再作⼀条通过点P的直线，使其垂直于第⼀条垂线。

3.得到平⾏线：由于平⾏线的定义（即根据第四条公理，内错⻆相等），这条第⼆条垂线与L

平⾏。

  该命题通常写作“存在唯⼀⼀条平⾏线”。在欧⼏⾥得的《⼏何原本》中，两条直线被称为平

⾏，当且当它们永不相交；⽽其他对平⾏线的刻画并未被使⽤。[3][4]