在平面几何中的公理都是一个理想状态下的条件，我们是怎么从现实中想到在这种理想条件下的公理是一定

在平面几何中的公理都是一个理想状态下的条件，我们是怎么从现实中想到在这种理想条件下的公理是一定正确的呢？现实中没有理想的直线平面角度等等啊？难道这些公理都是根据不理想的事物中抽象出开的，那我实践中却又证明不了它，怎么知道一定是正确的呢？

公理顾名思义就是公认为正确的道理，之所以公认它正确，是因为大量的实践证明它是对的，当然有朝一日有可能出现一个新的现象或者事物把它推翻了，那时它就不是公理了，诚然世界上没有完全理想的事物，但是不影响人类大脑对事物的抽象认识，从而得道理论

这些东西都可以通过软件证明的，比如直线，立体。可以通过CAD软件绘制证明，在以前。都是理想化的前提下成立的，等你以后读大学。你就能用先进的计算机技术证明

几何只是人类建造的模型，是用来模拟现实世界的。公理的正确性，是类似直接的，是模拟的规则，没有对错之分。

欧几里德的《几何原本》，一开始欧几里德就劈头盖脸地给出了23个定义，5个公设，5个公理。其实他说的公社就是我们后来所说的公理，他的公理是一些计算和证明用到的方法（如公理1：等于同一个量的量相等，公理5：整体大于局部等）他给出的5个公设倒是和几何学非常紧密的，也就是后来我们教科书中的公理。分别是： 公设1：任意一点到另外任意一点可以画直线 公设2：一条有限线段可以继续延长 公设3：以任意点为心及任意的距离可以画圆 公设4：凡直角都彼此相等 公设5：同平面内一条直线和另外两条直线相交，若在某一侧的两个内角和小于二直角的和，则这二直线经无限延长后在这一侧相交。 在这五个公设理里，欧几里德并没有幼稚地假定定义的存在和彼此相容。亚里士多德就指出，头三个公设说的是可以构造线和圆，所以他是对两件东西顿在性的声明。事实上欧几里德用这种构造法证明很多命题。第五个公设非常罗嗦，没有前四个简洁好懂。声明的也不是存在的东西，而是欧几里德自己想的东西。这就足以说明他的天才。从欧几里德提出这个公理到1800年这大约2100年的时间里虽然人们没有怀疑整个体系的正确性，但是对这个第五公设却一直耿耿于怀。很多数学家想把这个公设从这个体系中去掉，但是几经努力而无果，无法从其他公设中推到处第五公设。 同时数学家们也注意到了这个公设既是对平行概念的论述（故称之为平行公理）也是对三角形内角和的论述（即内角和公理）。高斯对这一点是非常明白的，他认为欧几里德几何式物质空间的几何，1799年他说给他的朋友的一封信中表现了他相信平行公里不能从其他的公设中推导出来，他开始认真从事开发一个新的能够应用的几何。1813年，发展了他几何，最初称为反欧氏几何，后称星空几何，最后称非欧几何。在他的几何中三角形内角可以大于180度。当然得到这样的几何不是高斯一人，历史上有三个人。一个是他的搭档，另一个是高斯的朋友的儿子独立发现的。其中一个有趣的问题是，非欧氏几何中过直线外一点的平行线可以无穷。 不久之后，俄国的一位著名数学家也发现了一个新的非欧几何，即罗氏几何。他的三角形内角和是小于180度的。 而19世纪初非欧式几何的发现，正是后来爱因斯坦发现广义相对论的基础。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息