简单完美的六和麻烦的七

　　数字6很有意思，有很多简洁、优美的性质。比方很多人都知道，6是最小的完全数，也就是说，它的全部“真约数（小于它本身的约数）”的和与积是相等的。而且它的真约数之和、之积恰等于它本身。有人说这是因为上帝在6天之内造出了整个世界，而也有人说，正是因为6是完全数，所以上帝创造世界需要六天。但是６的有意思的性质远不止这些。

　　比如说，对于所谓“费马猜想（现在是费马定理了）”来说，n=6是第一个无需专门证明即可知

　　没有正整数解的情况。这是因为只要我们证明了n=3没有正整数解，那么n=6没有正整数解乃是顺理成章的事情。

　　既然提到费马猜想，我们不妨把眼光转向几何：圆内接正六边形是最容易作的多边形，即使只用圆规，六等分一个圆也不会增加难度。这当然是因为圆内接正六边形的边长等于圆半径。而正是因为这一点，我们可以从正六边形开始逐渐逼近圆，以此来计算圆周率。这就是刘徽《九章算术注》中的做法。而我们知道，在立体几何里，正六边形还和正方体有着密切的联系，比如可以从正方体里作一个正六边形的截面。另外，最简单的多面体——正四面体——具有6条棱，最普通的几何体——长方体——具有6个面等等，都说明6这个数字的确很有意思。

　　刘徽

　　相比之下，7就麻烦多了。虽然历史上很多人对7情有独钟，比如音阶、星期乃至竹林七贤、过去七佛、七大奇迹、北斗七星、七巧板、哥尼斯堡七桥问题等等地方都会遇到7，但除了后两者都和数学关系不大。在数学上，7可以算是最小的麻烦数。

　　比如，一个数除以7，如果除不尽，那么它循环节居然达到了“惊人”的6位。我现在还记得当年刚学循环小数时计算1÷7的恐怖经历。这在除数小于13的数字里是最长的。根据抽屉原则我们知道，如果两个整数无法整除，那么分母为n时，循环节最多为(n-1)位，数字7完美地诠释了这一点。不过后来我从一本数学读物上学了一招，可以方便地计算1-6除以7的循环节：

　　如图，里圈数字是被除数，外圈数字是按顺时针排列的循环节，对照如下：

　　这些循环节有个共同的奇妙特性，那就是前三位和后三位加一起恰好是999，类似的性质也可以在其它循环小数中遇到。这是初等数论中很有代表性的结论。可以说，因为我们有7这个最小的“麻烦数”，数论上一些不容易察觉到的性质就有了一个很好、随手可得的例证。这大概就是7给我们的正面意义吧。我们再来看看几何：正七边形还是第一个不能用尺规做出的正多边形。但是很多资料语焉不详，比如我手头一本书说的是“单用直尺和圆规几乎不可能做出”，难道说尺规联合使用就能做出了？也许那本书的作者确实是这么认为的，因为那本书上就记载着这样一个做法——取圆内接正三角形边长的一半为该圆内接正七边形的边长（见下左图）：

　　不过仔细算一下，或者在数学软件里度量一下就知道，这仅是近似做法。上右图是资料1中列举的另一种近似做法：可以记做“下七八，上四三，九七在中间；角下五，肩上九，一一点二左右手。”

　　为什么不能用尺规画出正七边形？原因是这其中需要用到解三次方程。而折纸可以实现这一点，所以可以用折纸来制作真正的正七边形，但是也很麻烦，大家可以阅读资料2。不但如此，正七边形的“麻烦”还在于它的边长需要动用复数工具，虽然最后的结果肯定会消去虚数单位i，但是表达式里却需要始终带着这么个东西。有兴趣者可以查阅下面的资料3。虽然我们不能用尺规做出正七边形，但是如果已经给我们一个正七边形，我们却有把握用尺规做出一个与之面积相等的正方形。这是因为正七边形可以分成十四个全等的直角三角形，从而拼成一个矩形，而做出与已知矩形面积相等的正方形，则是简单的。

　　在立体几何里，可以证明，没有任何几何体恰好有七条棱。这个证明方法就留给读者了。这是7这个数字“麻烦”的又一例。欢迎大家提供更多的有关6和7的内容。

　　参考资料：

　　1. 趣味几何，蒋声、陈瑞琛编，上海教育出版社2001年版；

　　2. 用正方形纸片折出等边三角形http://www.matrix67.com/blog/archives/4152；

　　3. 正多边形与圆，中国数学会上海分会，中国数学研究委员会编，上海教育出版社1959年版。