1701012112
2. 一条直线可以无限延长；
1701012113
1701012114
3. 以任一点为圆心，任意长为半径，可以作一个圆；
1701012115
1701012116
4. 所有直角都相等；
1701012117
1701012118
5. 一条直线和另外两条直线相交，若两个内角之和小于180°，则这两条直线一定相交。
1701012119
1701012120
5条公理是：
1701012121
1701012122
1. 等于同量的量彼此相等；
1701012123
1701012124
2. 等量加等量，其和仍相等；
1701012125
1701012126
3. 等量减等量，其差仍相等；
1701012127
1701012128
4. 彼此能重合的物体是全等的；
1701012129
1701012130
5. 整体大于部分。
1701012131
1701012132
这些公设和公理大多是显而易见的常识，但是数学证明的严谨性要求我们不得进行不必要的假设。证明过程不接受常识作为论据。在数学世界中，我们可以做出在现实世界中不成立的假设，这是数学世界特有的有利条件之一。例如，我们从定义中可以看出，直线“只有长度，没有宽度”。而在现实世界中，线条肯定是有宽度的。直线的定义把我们置身于一个无法真实存在的世界之中。
1701012133
1701012134
此外，至少有一条公设对数学特有的环境做出了若干假设。这些假设没有出现在公理之中，是因为欧几里得从未想过这方面的问题。欧几里得的第五公设（该公设的意思是不平行的直线就会相交，但其语言表达异常复杂，它暗藏的意思就是平行的直线不会相交）在欧几里得研究的平面上的确是正确的，但对于在现实世界中更加常见的曲面，这条公设却不一定正确。例如，我们沿着朝北的方向，作若干条与地球赤道垂直的直线。这些直线就是地球的经线，在它们到达北极时就会相交，但是在赤道这个位置上，它们确实是互相平行的直线。所以，第五公设在平面上是成立的，但是在曲面上却不适用。
1701012135
1701012136
欧几里得几何学必须具备的一个基本条件是平行线不相交，否则它就会轰然倒塌。直到19世纪，人们才提出了适用于现实世界中的曲面的非欧几何。当时，除了测量地球表面以外，非欧几何的实用性似乎十分有限。但是，后来的事实证明，在爱因斯坦开始研究广义相对论时，非欧几何的研究领域已经延伸至多维曲面，并成为一种非常重要的研究工具。
1701012137
1701012138
想到数学可以彻底摆脱我们所在的物质世界继续存在并发挥作用，我们不禁要问，欧几里得的研究对象是现实世界吗？答案是否定的。但是，这并不说明他的研究就毫无价值。欧几里得几何学为现实世界绘制了一幅逼真的画像，非常珍贵，但它描绘的却不是一个真实的世界。也许最能说明欧几里得定理与现实世界具体对象之间关系的就是柏拉图的那个隐喻。这位成名时间比欧几里得早几百年的哲学家设想了一个犹如天堂般完美的宇宙，在这个世界里，欧几里得研究的那些数学概念是可以存在的。这些完美的图形和物体具有某种超现实性，而我们在现实世界里感知的那些图形和结构仅仅是这些纯净原型的投影。
1701012139
1701012140
具体来说，柏拉图用投射在山洞中的影子打比方。在他眼中，不完美的三角形就是在纯正数学世界的强光照射下，一个完美三角形留在山洞中的模糊阴影。他的这种理解有一定道理。这并不是说数学从某种意义上讲比现实世界更加真实或者更加完美，而是说宇宙过于复杂，我们很难将它惟妙惟肖地表现出来。因此，数学通常只能是真实宇宙的一种近似表现。整数在现实世界可以找到完全对应的对象，而分数则不可以。同样，现实世界是由原子和线条构成的，这些线条不仅有宽度，而且不是毫无瑕疵的直线，因此几何图形也不是现实世界的完美表现。
1701012141
1701012142
洞中影子的不完美特点（数学证明中的完美图形与我们在现实生活中处理、体验的那些对象之间的区别），在“失踪的正方形”这个令人费解的难题上得到了充分体现。
1701012143
1701012144
1701012145
1701012146
1701012147
在这幅图中，两个图形看起来一模一样，只是它们各部分所处的位置不同。可以看出，下面的图形中有一个空白格，这说明下面图形与上面图形的面积并不相同。柏拉图的完美图形是不会出现这种情况的，但是在模糊、朦胧的现实世界中，画出来的线条都不精确，因此我们难免遇到这种情况。在上面的图形中，较小三角形的左边的角与较大三角形的左边的角看起来度数相同，但实际上并不相同。重新排列之后，那个空白格就是这个极其微小的差别造成的。
1701012148
1701012149
随着不断深入研究数学与现实世界的相互关系，我们越发清楚地看到在科学研究中使用模型的意义。模型就像在现实基础上制作的玩具。宇宙是一个庞大的存在，即使其中一个很小的部分（例如人）也有非常复杂的结构。在了解宇宙奥秘、确定其物理构成时，我们通常需要做简化处理，降低研究对象的复杂程度。
1701012150
1701012151
模型可以是看得见摸得着的具体表现，例如太阳仪。在计算机问世之前，这种简洁的太阳系机械模型一直深受欢迎。然而，我们使用的模型大多是由一系列方程或者数学系统构成的“数学模型”。它们具有现实世界中物体的某些特征，但是处理起来要简单得多。现在，人们通常会通过计算机编程来建立这样的模型，尽管很多科研人员仍然更青睐以简单（或比较简单的）方程式为核心的模型。
1701012152
1701012153
我们将在后续章节深入讨论这些模型。从本质上看，它们表示的都是柏拉图理想世界中的宇宙的整体或部分情况。它们不是真实的事物，而是真实事物简单化、完善化的产物。有时，这些模型被称作“原型”，这个名称使我们不由得想起中世纪对柏拉图思想的美妙描述——“类型和影子”。只不过，柏拉图把相互关系弄颠倒了。在他的想象中，先有真实存在的完美对象，例如三角形，然后才有我们在日常生活中遇到的有瑕疵的影子。根据柏拉图的理解，我们周围世界的真实程度比不上理想世界。但是，科学家建立模型时，情况则正好相反，有瑕疵、有限制条件的是他们建立的模型。科学模型与科学理论是自然世界的数学投影，比真实系统要简单得多。
1701012154
1701012155
柏拉图的山洞本身就是一个模型，它毫无疑问是山洞外世界的一个表现，但这不能说明任何问题。你也可以说数学就是大家共同创作的一部科幻小说，是一个所有数学家都愿意和谐共处的精神世界。但是，这个世界不允许存在科幻小说的天马行空，这里的所有规则都必须明文规定并得到一致认可。任何数学内容，只要遵从了这些规则，就会得到认可，无论它是否与现实世界存在相似之处。但是，经常有人提到一个事实：很多数学内容不仅与现实世界有相似之处，而且在反映现实世界真实情况这个方面具有异乎寻常的能力。其中的原因可能仅仅在于数学的基本结构中有很大一部分（例如整数运算的本质）是基于对现实的反映，但是，在我们摸清了数学世界的真实情况后，我们就会重新思考是否有其他原因。
1701012156
1701012157
即使是在完美图形这个壁垒森严的世界里，欧几里得的门徒们也在化圆为方的道路上遭遇了滑铁卢。他们的内心有一个情结，想凭借一个圆规和一把直尺画出世间万物。他们想，是否可以画出一个正方形，它的面积恰好等于圆这个最简单、最完美的图形？这个想法令古希腊人难以释怀，他们甚至赋予那些埋头钻研这个难题的人一个专门的称呼——“化圆为方者”（tetragonidzein）。尽管这个称呼听起来很威风，但他们的努力不过是一种不自量力的行为。
1701012158
1701012159
1701012160
现代人都知道，在计算圆的准确面积时，古希腊人遭遇了另一个比更重要的无理数——圆周率（π）。圆周率不仅是无理数，而且是超越数，也就是说，我们无法通过一个有限方程得出它的精确值。（我们可以用方程表示圆周率的值，但是这些方程都是无穷级数，因此，我们甚至无法用方程来表示圆周率的精确值。）
1701012161