欧几里得方程图解法原理简称“欧氏几何”。几何学的一门分科。公元前3世纪,古希腊数学家欧几里得把人们公认的一些几何知识作为定义和公理,在此基础上研究图形的性质,推导出一系列定理,组成演绎体系,写出《几何原本》,形成了欧氏几何。在其公理体系中,最重要的是平行公理,由于对这一公理的不同认识,导致非欧几何的产生。按所讨论的图形在平面上或空间中,分别称为“平面几何”与“立体几何”。
欧式几何的传统描述是一个公理系统,通过有限的公理来证明所有的“真命题”。
欧式几何的五条公理是:
1、任意两个点可以通过一条直线连接。
2、任意线段能无限延长成一条直线。
3、给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆。
4、所有直角都全等。
5、若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角和,则这两条直线在这一边必定相交。
这五条“显然”的公理是平面几何的基石,我们也是仰仗这些公理干掉了一道道几何题目。但机智的你有没有发现第五公设(平行公设)和前面的四个公设比较起来,文字叙述冗长,而且不那么显而易见,有违数学的简洁美感呢?
在《几何原本》中,证明前28个命题并没有用到这个公设,这很自然引起人们考虑:这条啰哩八嗦的公设是否可由其他的公理和公设推出,也就是说,平行公设可能是多余的。
那个时代被誉为“数学王子”的高斯也发现了第五公设不能被证明,同时也涉足了非欧几何学的研究。但高斯害怕这种理论会遭到当时教会力量的打击和迫害,不敢公开发表自己的研究成果,只是在书信中向朋友表示了自己的看法,并没有公开支持罗巴切夫斯基的新理论。