《数学志异》主要内容包括数学悖论，第一次、第二次、第三次数学危机，哥德尔不可判定命题、混沌等非平凡问题；离散数学当中的有趣问题；数学思想与数学哲学当中的敏感问题等。如将来数学还会产生悖论与危机吗？尚未解决的数学难题是否为不可判定命题？既然是确定性系统为什么会产生紊动？愚公移山式的穷举法为什么可能无效？牛顿创立的微积分能得100分吗？数学家是些什么人？数学定理为什么要证明？等等。《数学志异》集知识性、思想性和趣味性为一体，说理直观严密，通俗易懂，充分展示数学之美妙，之深刻
更多科学出版社服务，请扫码获取。
《数学志异》读者对象为中学生、大学生、中小学教师及数学T作者
离散篇
离散数学是数学当中最美、最妙、最有人缘也最有难度的数学乐园和数学天堂。
1.1神龟龙马，洛书河图
公元前2200年，我国商周时代的《易经》中载：大禹治伏水患之后，洛河上浮出一只巨型神龟，背驮如图1 1所示的“洛书”献给大禹，作为苍天对他治水有功造福百姓的奖励。这幅天书横看、竖看和斜看，每一组由黑点子与白点子合成，总点数皆为15。后来人们把此洛书翻译成如图1-2所示的一个所谓幻方。
所谓幻方，是由1，2，3， ，n2 -1，n2组成的一个数字方阵，每数恰在此阵中出现一次，且每行之和，每列之和和两条对角线上的数字之和皆相等。
1275年，我国宋代著名数学家杨辉把洛书形象地描写为：“九子斜排，上下对易，左右相更，四维挺进，戴九履一，左三右七，二四为肩，六八为足。”破译了洛书的玄机，见图1 3。
“九子斜排”是按箭头方向分别把1，2，3；4，5，6和7，8，9排成具有右下方走向的一排，三个斜排组成一个倾斜45。角的正方形阵。
“上下对易”，指1与9对换，1移入最下空格，9移入最上空格，使得正中的头部戴了一个9的帽子，正中最低处穿了一双l字鞋，即“戴九履一”。
“左右相更”，指最右边的3与最左边的7对调，3移至左侧空格，7移至右侧空格。
至此造成一个四方阵，即“四维挺进”，又2与4分别在右上角（肩）与左上角，6与8分别在右下角（足）与左下角，即“二四为肩”“六八为足”。
杨辉的这种口诀中的关键词是“订2子斜排”“上下对易”和“左右相更”三句。图1 4和图1 5分别给出按杨辉口诀构作的5阶幻方和7阶幻方，任意奇数（大于3）阶的幻方皆可照此制作，但同阶幻方不是唯一的，高阶幻方的个数非常之巨大，例如五阶幻方就有一千多万个！另外，杨辉口诀不适用于偶阶幻方，偶阶幻方的构作十分困难。
“对易“和“相更”时，移动的步数恰为幻方的阶数，例如图1 501
离散篇④
(a)中顶上的1下降7步至33的上方邻格内，图1-5 (a)中的9下降7步至33的下方邻格内，图1-5 (a)中的7左移7步至25的左侧邻格，等等。
洛书对应的幻方史称“神农幻方”。
《易经》上又云，为奖励大禹功绩，一匹龙马从黄河跃出，把如图1 6所示的一张“河图”赠予大禹。
图1- 6(b)是相应位置上“点子”的个数，不过4个10的意思是被虚线联络的10个黑点子视为分布在它们形成的正方形的四个顶处。这样，河图的数学含量就大了：
从中心5向右加上4等于最有端的9；
从中心5向左加上3等于最左端的8；
从中心5向上加上2等于最上端的7；
从中心5向下加上l等于最下端的6。
斜着看，7J-9—2J-IO J-4 =16，8+6—3+lO+1—14，9+6—4+10+1=15，8+7—2_--IO+3=15.
洛书和河图出自四千多年前中华民族之手，是世界组合数学的最早成果，值得我们白豪；可惜它被后人神化，未能发展成系统的理论；中国几千年的封建君主统治，鼓励乃至强迫知识分子为皇帝歌功颂德，使大多数知识分子成为什么科学知识也没有，只会呼喊×××皇帝万岁的奴才，在这种社会背景之下，中国的许多本应领先的数学分支和组合数学一样，并没有发展起来。事实上，组合数学不仅是数学科学的重要分支，而且是信息产业和计算机科学的数学基础之一，现代数学教育和数学科研当中，必须给以足够的重视。
1.2 三只鸽子两个窝
三只鸽子出去觅食，晚上归巢柄息，它们共有两个窝，显然必有一个窝里至少住有两只鸽子，不然，即使每巢一只鸽子，还有一只鸽子不能回巢。一般而言，对于自然数n，n+1只鸽子佳在”个巢中，至少有一巢里不少于两只鸽子。
这一结论称为鸽笼原理或抽屉原理。
把m本书放入门个抽屉，m>粗，至少一个抽屉里放了多于本书，其中表示的整数部分。当m=n+1时，即n+l本书放入门个抽屉，至少一个抽屉里放不少于两本书。
事实上，若每个抽屉里放的书都不超过m本，则总的本数不超过m-l，与共有m本书矛盾。所以一定是有的抽屉里放了多于m-1本书。就是这么一个几乎不证白明的道理却能解千种难题，有万般应用。下面是一些应用鸽笼原理的生动实例。
①某军弹药库每天需一个班保卫，保卫排有六个班，一周内至少有一个班出勤两天。
②13人中必有两人同一个月份Ll生。
③商店里有10双皮鞋放在货架上，有11位顾客同时来购鞋，售货员给每位顾客拿出一只鞋试穿，则顾客们手中必有两只鞋恰是一双。
④从{1，2， ，2000）中选1001个数，其中必有两个，一个是另一个的整数倍。
事实上，取出的每个数可表成2”“，粗是非负整数，“是奇数，故对1到2000的每个数，“是1000个奇数1，3，5． ．1999中的数，可见在所选的1001个数中，有两个数的奇数因数“是一样的，它们是2”-“和2”z“，不妨设粗2>粗l，则2”-a÷21“一2”z-nl，即后者能被前者除尽。
⑤茌正六边形内任放七个点，则至少有两点之间的距离小于或等于该正六边形外接网的半径。连接正六边形的三条对角线如图1 7，由鸽笼原理，在图1 7的六个三角形的某个上面必然有放置的七个点中的两个，它们的距离不大于正六边形外接网的半径。
⑥把m1+m2十 十m，，-州+1个球放人n个盒子，其中m，m， ，7。皆正整数，则下面”件事至少发生一件：第一个盒子中至少有m，个球，第二个盒子中至少有m球， ，第""个盒子中至少有m。值大于r-l时，mi，m：，事实上，如果m， 事实上，若这n件事都不发生，则总球数不会超过(mi -l)+（m。-l）+ +（m。-l）一7T/l+7T/2+ +m。一n，而原来有球7T/l+7T/2+ +m。-n+1，矛盾。
⑦”（r-l）J-I个鸽子进入粗个窝，r是自然数，则至少一个窝里的鸽子不会少于r只。
⑧姐个自然数mi，m。， ，m。的平均 ，m。中至少有一个不小于r，r是自然数。i=l，2， ，加，则71+7T/2+ +m。<加r，与mi，m。， ，m，，的平均值大于r-l矛盾。
⑨任给定粗2+1个不等的实数组成的数列 “l，“2， ，“7 72+1
则此数列中至少存在由n+1个实数组成的单调递增或单调递减的子数列。
事实上，记m。是从“，开始最长的单调递增子数列的长度，若存在某个m。≥n+1，则命题⑨已成立。否则，m，a。。> >∞。+．，若不然，例如a，．<“：：，而由a。开始的递增子列的长度m。-m，再把a，，接到此子列前面，则知m，，≥m，+1一m+1，与m，，一m矛盾。至此找到由n+1个数组成的递增子序列“，，，“22， 。
例如17个数组成的数列9，8，18，20.7.5.4.6.11. 15．10. 13. 12. 19. 17. 3， 14，由命题⑨，上述数列中有4J-1=5个数组成的单调子数列，事实上，5，6，11，15，19就是一个。20，7，5，4，3是另一个。
书单推荐
