第554章（1 / 3）
但时间紧迫，众人的视线只是在剑桥大学的队伍上停留了几秒时间，便匆匆接着自己的埋头苦算。
“呃，那我接着说。”程诺接着说道，“我第二个想出的办法是利用素数的分布进行求证。”
“法国数学家阿达马和比利时数学家瓦莱-普森于1896年证明的素数定理中指出，N以内的素数个数π（N）的渐近分布为π（N）~N/ln（N），N/ln（N）随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-1）（p2-1），这是因为……”
第四百四十五章 九个方向
“这是因为，从1到p1p2这p1p2个正整数中，p1，2p1，...，p2p1这p2个正整数跟p1p2有共同素因子p1；p2，2p2，...，p1p2这p1个正整数跟p1p2有共同素因子p2；其余全都跟p1p2互素。”
“由此，可以得到φ（p1p2）为p1p2-p2-p1，上述的推理可以无穷重复，进而表明素数有无穷多个。”
↑返回顶部↑
“呃，那我接着说。”程诺接着说道，“我第二个想出的办法是利用素数的分布进行求证。”
“法国数学家阿达马和比利时数学家瓦莱-普森于1896年证明的素数定理中指出，N以内的素数个数π（N）的渐近分布为π（N）~N/ln（N），N/ln（N）随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-1）（p2-1），这是因为……”
第四百四十五章 九个方向
“这是因为，从1到p1p2这p1p2个正整数中，p1，2p1，...，p2p1这p2个正整数跟p1p2有共同素因子p1；p2，2p2，...，p1p2这p1个正整数跟p1p2有共同素因子p2；其余全都跟p1p2互素。”
“由此，可以得到φ（p1p2）为p1p2-p2-p1，上述的推理可以无穷重复，进而表明素数有无穷多个。”
↑返回顶部↑