这些等价模式里有没有这种：欧式平面具备平移和旋转对称性，即平面P存在P->P的平移变换和旋转变换。我觉得以此出发可以证明第五公设或者同位角相等。

【 在 ble 的大作中提到: 】
: 针对你的第一问，是想证明第五公设的几个等价模式。
: 正面方向同位角相等则只有一条平行线，我们来证明它的逆否命题，有多条平行线则同位角相等不成立。
: 如果有两条以上平行线，不妨就画两条，那么过此点与平行线平行线基线画一条相交线，与基线处的同位角为 A，两条平行线的同位角为 B1，B2。
: ...................
--
FROM 117.62.134.*