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