用程序如何判断是不是素数(给定区间ab)(1)

用程序如何判断是不是素数(给定区间ab)(2)

用程序如何判断是不是素数(给定区间ab)(3)

用程序如何判断是不是素数(给定区间ab)(4)

用程序如何判断是不是素数(给定区间ab)(5)

用程序如何判断是不是素数(给定区间ab)(6)

用程序如何判断是不是素数(给定区间ab)(7)

用程序如何判断是不是素数(给定区间ab)(8)

用程序如何判断是不是素数(给定区间ab)(9)

用程序如何判断是不是素数(给定区间ab)(10)

用程序如何判断是不是素数(给定区间ab)(11)

至此,有关素数定理的证明似乎应该结束了,但故事还没有完。因为塞尔伯格和埃尔多斯对素数定理的证明虽然初等,却过于繁杂和冗长,不符合数学家的审美标准。又过了30多年,克莱瓦尔(Korevaar)在1982年发现了一个更为简单和巧妙的证明。他的证明过程只有短短的几页,也只涉及到复变函数中的一些初等事实。现在的问题是数学家会对这个证明十分满意吗?毕竟克莱瓦尔的证明对高中生来说仍非易事。考虑到现代数学的不断发展以及数学家们的精益求精,我们有理由期待在不久的将来,人们会找到素数定理的一个更为简洁的直观的证明。当然,这个证明最好只用到一些简单的微积分知识,以便高中生和大学低年级学生都能够加以品味和欣赏。

-------本文完--------

注:本文选自《数学的100个基本问题》.

往期精彩:

一页纸告诉你什么是卡尔曼滤波素数总可以由某个多项式给出吗?香农熵(Shannon entropy)公式

亲和数对究竟是有限的还是无限的?

控制系统的所有性质在可逆线性变换下仍保持不变吗?

英文赏析01

一个奇妙的数论问题:完全数

Luenberger 观测器和分离性原理

梅森数

动态反馈的优越性

费马数

Hurwitz矩阵和耗散矩阵是等价的吗?

中国剩余问题

MIT(麻省理工)线性代数课程01

对偶原理

算术基本定理

高增益与干扰抑制

听院士报告--数学的春天来了,机遇在哪里?

中国—芬兰联合课程06—数值仿真

证明开普勒三大定律

曲线究竟是几维的?

内模原理与输出调节

闲聊黎曼几何

自抗扰控制举例

一个神秘的常数

关于控制学科发展的若干思考

PID 控制浅谈

什么是卡尔曼滤波?

卡塔兰猜想与柯召

冰雹猜想

波动方程的Matlab数值模拟

,