1701012050
1701012051
假设某个整数之比（借用古希腊人的习惯，我们设这个整数之比为α/β）可以表示该对角线的长度，也就是说，α、β为整数，且α/β=。为简单起见，我们假设α和β是可以得出这个比值的最小整数，也就是说，这两个整数可以构成2/3这种形式的比，而不是4/6或200/300这种形式的比。
1701012052
1701012053
为了避免棘手的除法运算，我们采用了一种老办法：等式两边同时乘以β。由此得到：
1701012054
1701012055
1701012056
α=β×
1701012057
1701012058
接下来，左右两边进行平方运算，以消去平方根：
1701012059
1701012060
α2=β2×2
1701012061
1701012062
到目前为止，我们使用的都是中学学过的简单数学知识（古希腊人的做法略有不同，但结果是一样的）。古希腊人知道，任何数乘以2，积都是偶数。因此，上述等式的右边是一个偶数，这就意味着α2也是一个偶数。由此可知，α是偶数，因为奇数的平方肯定是奇数。
1701012063
1701012064
所有的偶数都可以被2整除，因此α2可以被4整除。这就说明β2×2也可以被4整除，从而证明β2可以被2整除，也就是说，β2是偶数。既然β2是偶数，那么β也一定是偶数，也就是说，它可以被2整除。
1701012065
1701012066
1701012067
1701012068
我们的目的就要达到了。从上述证明可知，α和β都可以被2整除，因此它们就不可能像最初假设的那样，是比值等于的最小整数。也就是说，我们经过证明发现，最小的两个整数并不是最小，从而说明原命题在逻辑上不成立。因此，我们可以确定比值等于的整数是不存在的。
1701012069
1701012070
1701012071
1701012072
对于现代人而言，根本不是什么问题，我们可以若无其事地使用这个数，也可以把这条对角线的长度表示成小数形式，还可以根据需要保留小数的位数，例如，1.414 213 562…。但是，对于有整数情结的毕达哥拉斯学派而言，他们没有任何选择。现在，我们把这样的数称作无理数，原因是它不能表示成整数之比的形式。而对毕达哥拉斯学派而言，这些数似乎真的对理性基础构成了威胁，至少在他们将数字与几何图形联系到一起时，会让他们遭遇麻烦。据说，可怜的希帕索斯因为泄露无理数的秘密而惨遭报复，被扔到水里淹死了。实际上，当时的几何学研究完全不同于数字研究。在毕达哥拉斯学派的心目中，两者之间的区别非常大，几何图形似乎与数字毫不相干。他们认为，几何学是一种直观概念，而不是一个数字概念。
1701012073
1701012074
1701012075
现在，在提到这些除整数以外的数时，无论是像这种无理数，还是表示成十进制序列的有理数，例如把2/3写成0.666 666…的形式，我们都可以称之为“实数”。我们可以得心应手地使用无理数乃至所有实数。手动计算已经在很大程度上被计算机取而代之，事实证明，实数的处理毫无难度可言。人们通常根据设备的计算能力，对这些数字进行四舍五入的处理，因此0.666 666…（其中“…”表示该数可以无休止地写下去）就会在最后一位小数上进行四舍五入，变成0.666 667。
1701012076
1701012077
总的来说，我们不清楚实数是不是“真实”的——考虑到它与宇宙的本质直接相关，而不是一个数学概念。在数学中，圆的周长与直径的比值是无理数π，但是在现实世界中，我们从来没有也不可能完美地实现这个比值。即使我们通过某种方法画出一个完美的圆，但是鉴于它是由原子构成的，我们仍然需要考虑粒度问题。无论物质世界之中的这个圆是如何构造的，无论它是一块圆形金属还是纸上画出来的图形，都不会具有完美的连续性。这就意味着我们永远无法在我们构建的实物与数学的预言之间建立理想的一一对应关系。
1701012078
1701012079
当然，我们可以将物质排除在外，只考虑空间自身的问题。但是，现代物理学告诉我们，即使空间也可能存在粒度问题，并不是完全连续的，至多只能在普朗克长度这个量级实现量子化。普朗克长度是不可测量的极小长度，约等于10–35米，是最小的原子——氢原子直径的10的25次方分之一。然而，现实世界的这种不可避免的粗糙性在数学世界中却根本不存在。在那里，一切都有可能，数值的连续性更是惯常现象。宇宙可能无边无际，某些量子特性可能与实数保持一致，但这仅仅是一种可能，而实数很有可能只是现实世界的一种近似表示。
1701012080
1701012081
然而，古希腊数学家并不了解物质世界的这种特性。他们没有花费太多精力去寻找一种可以与现实世界精确吻合的形式数学，而是一头扎进理论数学的研究之中。在这个与尘世隔绝的完美世界里，有一个神秘的代表人物——欧几里得。
1701012082
1701012083
[1]亲和数指一对存在特殊关系的数。一般来讲，如果两个数中任何一个数都是另一个数的真因数之和，则称这两个数是亲和数。——译者注
1701012084
1701012085
[2]有的数学家认为，所有数字都非常重要。但如果你认为某些数值小的数字不那么重要，那么这些数字也会因为小而变得重要。
1701012086
1701012087
[3]1英里≈1.61千米。——编者注
1701012088
1701012089
1701012090
1701012091
1701012092
数学世界的探奇之旅 [:1701011746]
1701012093
数学世界的探奇之旅 第4章 欧几里得：几何定理的完美证明
1701012094
1701012095
1701012096
1701012097
1701012098
上学时，如果你接触过几何学，并且在解题结束时以胜利者的姿态（或者怒气冲冲地）写下QED（拉丁语“quod erat demonstrandum”的缩写，意为“证明完毕”）这个表示几何证明过程结束的传统标志，就说明你正走在欧几里得所指引的道路上。在大约2 000年的时间里，他的著作《几何原本》一直是至高无上的数学教科书。但是，关于欧几里得本人，我们却知之甚少。有的学者甚至认为根本不存在这样一个人，欧几里得只是代表若干作者的一个虚构的姓名。我们仅知道他的著作出自托勒密一世在亚历山大创建的那所无与伦比的学校，欧几里得（如果他确实存在）是这所学校的一个重要人物。欧几里得是当时公认的名师，他的那部代表作是他授课所用的教科书。在撰写这部书时，他没有打算收录那些惊天动地的新发现，而是收集了那些已有的知识。然而，这些知识的编排方式却给人留下了极其深刻的印象。
1701012099