按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
题。”
程诺耸耸肩，笑道，“不啊，我现在脑子里就有许多新想法。”
两人默默对视一眼，皆是怀疑程诺话语的真实性。
一人狐疑的问道，“程诺同学，那能不能随便给我们举几个栗子？”
程诺往篝火中心挪了挪，换了个舒服的坐姿，慢悠悠的开口，“当然没问题。”
程诺竖起了一根手指，“第一个，利用互素序列进行证明。”
两人也很好奇程诺究竟会说些什么，竖起耳朵倾听。
“你们想一下，假如能找到一个无穷序列，其中任意两项都是互素的，即所谓互素序列，那就等于证明了素数有无穷多个——因为每一项的素因子都彼此不同，项数无穷，素因子的个数、从而素数的个数，自然也就无穷。”
“那什么样的序列既是无穷序列又是互素序列？”一人忍不住问道。
程诺打了响指，笑呵呵的开口说道，“其实这个序列你们应该都听说过，数学家哥德巴赫在给数学家欧拉的一封信中，提到了一个完全由费马数：Fn = 2^2^n ＋ 1 n = 0， 1，。。。组成的序列这个概念，通过Fn … 2 = F0F1···Fn…1这个公式，可以证明费马数之间是彼此互素的。”
“以上，利用费马数组成的序列，就可以轻松得到素数无限的一个证明法。”程诺语气停顿了一下，开口说道，“下面我说第二个。”
“等一下！”一位队友大声叫停了程诺，急忙从背后的书包里拿出一摞草稿纸，将程诺提出的第一个证明法记下以后，才不好意思的对程诺说道，“你继续吧。”
他这么大声，自然引起了旁边许多学校的注意。
于是当众人看到剑桥大学这边两位天资横溢的博士生，此时却宛若小学生一般，仰着头期待着那边程诺讲话，皆是一脸的疑惑之色。
但时间紧迫，众人的视线只是在剑桥大学的队伍上停留了几秒时间，便匆匆接着自己的埋头苦算。
“呃，那我接着说。”程诺接着说道，“我第二个想出的办法是利用素数的分布进行求证。”
“法国数学家阿达马和比利时数学家瓦莱…普森于 1896 年证明的素数定理中指出，N 以内的素数个数πN的渐近分布为πN~ N/lnN，N/lnN随 N 趋于无穷……”
“……由上，可得知对任意正整数 n ≥ 2，至少存在一个素数 p 使得 n <； p <； 2n。”程诺边说，一旁那位队友便在纸上唰唰的记着，双眼中满是掩饰不住的兴奋之色。
本以为程诺能提出一个新方向的证明方法，已经是实属难得，可未曾料想，程诺一口气直接提出了两个。
但程诺让两人的惊讶还在继续。
程诺瞥见记录的那位队友已经记完，清了清嗓子，开口道，“再说第三个。”
“还有？”队友诧异出声。
“当然还有。”程诺笑呵呵的说道，望着揉着手腕的队友，“这才哪到哪！”
“第三种，利用代数数论的知识证明。利用代数数论手段证明素数有无穷多个的出发点之一是利用所谓的欧拉φ函数。”
“对任一正整数 n，欧拉φ函数的取值φn定义为：φn：=不大于 n 且与 n 互素的正整数的个数。对任一素数 p，φp= p … 1，这个是因为 1，。。。， p … 1 这 p … 1 个不大于 p 的正整数显然都跟 p 互素。”
“然后，对两个不同的素数 p1 和 p2，φp1p2=p1 … 1p2 … 1，这是因为……”
第四百四十五章 九个方向（）
445章
“这是因为，从 1 到 p1p2 这 p1p2 个正整数中， p1， 2p1，， p2p1 这 p2 个正整数跟 p1p2 有共同素因子 p1； p2， 2p2，， p1p2 这 p1 个正整数跟 p1p2 有共同素因子 p2；其余全都跟 p1p2 互素。”
“由此，可以得到φp1p2为 p1p2 … p2 … p1，上述的推理可以无穷重复，进而表明素数有无穷多个。”
仅仅不到四五分钟的时间，程诺已经不停歇的说出三个利用新方向的证明法，让两位队友不禁大开眼界。
要这三个证明法都仅仅是欧里几得证明法的变种的话，两位顶多会认为程诺对欧里几得证明法研究颇深而已，倒升不起任何崇拜之意。
但三个证明法全部都不同于欧里几得那种整数乘起来再做点加减法的证明，而是另辟蹊径，分别利用“互素序列”、“素数分布”、“代数数论”三个完全不同的方向进行拓展。
程诺说出的三个证明法都不算太过复杂，甚至还可以说是简单的过分。
但越简单，越让两人吃惊不已。
对于一个命题的证明过程，无论是哪个数学家，都希望当然是越简单越好。
别看许多高大上的数学定理的证明过程都是无比复杂，但那群数学家们也不愿意这样啊！
还不是因为找不到更加简单的证明方法。
越简单，就越容易让人理解。但对于数学家的要求越高。
同一个定理，一个能用一页论文将其证明的数学家，比之要用五页论文才能将其证明的数学家，学术水平至少要高上一倍。
也因此，两人现在看待程诺的眼神，宛若是看待一只怪物。
这家伙……真的只是一个研究生？
本以为程诺的实力只是和他们两人在伯仲之间而已。如今感觉，就程诺现在表现出来的实力，在他们学校担任副教授都够格了吧！
“有水吗，有点口渴了。”在两人还是思索之际，程诺哑着嗓子问道。
“哦哦，我这里有水。”一人急忙将背包里的一瓶矿泉水递了过去。
“谢了。”
程诺咕咚咕咚喝了半瓶，等嗓子里那种不适感过去，道，“之前说到哪了，哦，我讲完第三个证明法了，下面说第四个。”
程诺忘了一眼在那握笔准备记录的队友道，“如果累了的话，可以让他帮你。”
说完，程诺便接着上面开始讲。
“第四个，利用解析数论的证明，这个方法和我上面用代数数论的证明方法有异曲同工之妙，你们都知道，欧拉乘积公式是：Σnn…s =Πp1 … p…s…1 s &ap；gt； 1，左侧经解析延拓后，可变为解析数论中极重要的函数：黎曼ζ函数ζs。”
“对于 s = 1，欧拉乘积公式的左侧是被称为调和级数的发散级数……”
程诺清了清嗓子，继续说，“上面这几个都是和数论有关的，下面我再说几个其他领域方向的证明方法。”
在两人瞠目结舌下，程诺娓娓说道，“第五个，可以利用组合证明的方法。证明的思路是这样的：任何正整数 n 都可写成 n = rs2 的形式，其中 r 是不能被任何大于 1 的平方数整除的正整数， s2 则是所有平方数因子的乘积。假如素数只有 n 个，则在 r 的素数分解中……”
“呃，程诺，你能不能再讲一遍。”负责记录的那位学生挠挠头，略显尴尬的说道，“我刚才光顾得愣神，忘了记录了。”
程诺无奈的耸耸肩，“好吧，我再说一遍，这次你们可要认真听。”
篝火的火光映在程诺侧脸上，显得光辉无比。
程诺座下两位博士生宛若乖宝宝般齐齐点头，一副学生虚心受教的姿态。
“……第六个，利用拓扑的方法证明。”
两人顿时疑窦丛生。
程诺察觉到他们疑惑的小眼神，哈哈笑了笑，“我明白你们心中的疑惑，拓扑学似乎和数论是两个很不想干的领域，为什么我却这么说。等我讲完，你们就清楚了。”
“我们可以定义整数集上的一个拓扑，其开集由且仅由空集？及算术序列 a？＋ b a ≠ 0 和 b 皆为整数的并集组成。不难证明，如此定义的开集满足拓扑的定义，即：……”
“……由此，便得知素数有无穷多个。你们现在明白了吗？”
两人齐齐小鸡啄米般点头，脑中不断回味着程诺的话语。
但程诺并没有留给两人太多回味的时间。
在脑海中简单过一遍思路，程诺便讲述下一个证明法。
如今半小时的时间差不多已经过去一半，不抓紧的时间的话，还真的有可能讲不完。
“第七个，利用素数在信息、编码等领域的应用进行证明。过程很简单，正整数 n 都可分解为素数的连乘积：n = p11·p22”
“……第八个，利用函数的方向证明，设 n为可整除 n 的不同素数的个数，假如素数只有有限多个，其连乘积为 p，则显然对