非欧几何平行线相交证明

过直线外的一点,一条平行线也得不出来 。
黎曼几何是非欧几何的一种,非欧几何中平行线也可以相交 。平常所学的几何都是欧式几何,都是以欧几里得提出的五条共设为前提的 。而第五共设无法拿出事实去证明 。所以有了非欧几何 。
【非欧几何平行线相交证明】黎曼几何中的一条基本规定是:在同一平面内任何两条直线都有公共点 。在黎曼几何学中不承认平行线的存在,它的另一条公设讲:直线可以无限延长,但总的长度是有限的 。黎曼几何的模型是一个经过适当“改进”的球面 。
欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何 。这三中几何各自所有的命题都构成了一个严密的公理体系,各公理之间满足和谐性、完备性和独立性 。因此这三种几何都是正确的 。

    推荐阅读