千万不要迷信规律——大反例合集.docx

千万不要迷信规律：大反例合集 数学猜想并不总是对的，错误的数学猜想不占少数。关键在于，有时反例太 大，找出反例实在是太困难了。这篇日志收集了很多“大反例”的例子， 里面提 到的规律看上去非常诱人，要试到相当大的数时才会出现第一个反例。 千万不要迷信规律 圆上有n个点，两两之间连线后，最多可以把整个圆分成多少块? 上图显示的就是n分别为2、3、4的情况。可以看到，圆分别被划分 成了 2块、4块、8块。规律似乎非常明显：圆周上每多一个点，划分出来 的区域数就会翻一倍。 事实上真的是这样吗？让我们看看当 n = 5 时的情况: 3aI1Q果然不出所料，整个圆被分成了 16块，区域数依旧满足2n-1 时，大家都会觉得证据已经充分，不必继续往下验证了吧。偏偏就在 意外出现了：的规律。此n = 6 时,3IS1214112120IT 3 a n 14 12 16 16 II 1Q 果然不出所料，整个圆被分成了 16块，区域数依旧满足2n-1 时，大家都会觉得证据已经充分，不必继续往下验证了吧。偏偏就在 意外出现了： 的规律。此 n = 6 时, 3 IS 12 14 11 21 20 IT IB 23 37 22 SI 30 此时区域数只有31个。 最有名的素数生成公式 n是正整数时，n2 + n + 41算出来的结果分别是：似乎总是素1772 年， n是正整数时，n2 + n + 41 算出来的结果分别是： 似乎总是素 面是当 面是当 n 较小的时候， n 与 2 n - 2 的值。 面是当 面是当 n 较小的时候， n 与 2 n - 2 的值。 43, 47, 53, 61, 71, 83, 97, 113, 131, 151, 173, 197, 223, 251, 281, 313, 347, 383, 421, 461, 503, 547, 593, 641, 691, 743, 797, 853, 911, 971, 1033, 1097, 1163, 1231, 1301, 1373, 1447, 1523, 1601 这些数全都是素数。第一次例外发生在 2 = 40 2 + 40 + 40 + 1 = (40 + 1)(40 + 1) = 41 = 40 的时候，此时 40 2 + 40 + 41 X 41 o xn - 1 的因式分解 x 2 - 1 分解因式后等于 (x + 1)(x - 1) 。 x 20 - 1 分解因式后等于 (x - 1) (x + 1) (x 642 - x + x - x + 1) 2 + 1) (x 32 3 + x 2 4 3 2 8 - x + 1) (x 4 + x 3 + x2 + x + 1) (x 8 n xn - 1 100 x 100 - 1 因式分解后各项系数都只有可能是 1 或者 ，均没有发现反例，终于放心大胆地做出 n = 105 的情 对于所有的正整数 n ， -1 吗？据说有人曾经算到了 了这个猜想。悲剧的是，这个猜想是错误的，第一个反例出现在 况， x 105 - 1 分解出来等于 (x - 1) (x (x 8 - x 7 (x 24 - x - x + 1) (x - x - x x5 + x 48 + x 28 26 - x 2 5+ x 23 + x 2 + x + 1) (x 4 - x 19 - x 3 + x 18 + x 47 + x 46 - x 43 - x 24 22 - x - x + x + 1) 20 + x 17 + x + x + 1) (x 6 + x 5 5 + x 4 4 + x 3 + x 2 + x + 1) 12 11 9 8 6 4 3 + 1) - x + x x + x - x + x - x 14 13 1 2 1 1 10 8 7 65 ■ x + x ■ x + x - x + x - x + x 40 39 36 35 34 33 32 31 x ■ x + x + x + x + x + x + x 15 14 13 12 9 8 2 7 6 + x + x + x - x - x - x - x - 2 16 + x 43 4 + x 3 + x - x + 1) (x 17 16 - x + x 42 41 42 - 2 x 41 以 2 为底的伪素数 : :5 7) 2 2 3 6 4 14 5 30 6 62 1 126 9 254 g 510 10 1022 11 2046 12 4094 1l3 B190 ，当且仅当n是一个素数。如果真2n可以用二分法速似乎有这样的规律：n ，当且仅当n是一个素数。如果真 2n可以用二分法速 是这样的话，我们无疑有了一种超级高效