【百道编按】央视《加油！向未来》节目科学顾问、中科院物理所曹则贤研究员创作的《一念非凡：科学巨擘是怎样炼成的》一书于2016年出版，该书用独特的视角，带领读者们聆听哲学、数学和物理学领域科学巨擘的伟大成就，重温大师们研究过程中灵光乍现的时刻，了解伟大科学创造过程中的脚手架遗迹。
《青少年科学素养文库·一念非凡：科学巨擘是怎样炼成的》
点击图书封面可在三大网店购买
出版社：外语教学与研究出版社
作者：曹则贤 著
出版时间：2016年05月
今天是3月14日，即所谓的“π日” （Pi day）。 2011年，国际数学协会正式宣布，将每年的3月14日设为国际数学节。π不仅仅在几何学、数论和统计学等方面有着广泛的应用，同时也在宇宙学、热力学、力学和电磁学等领域中大放异彩。所以今天小编就带大家（回想起被数学支配的恐惧）一起感受圆和圆周率的魅力吧。
某不存在的网站上庆祝π日的Doodle，2010年3月14日。
01 “π”什么
π的中文名字是圆周率，是一个数学常数，定义为圆的周长和其直径的比值，约等于3.1415926535897......。大约在18世纪中期之后，人们开始用希腊字母π来指代它，所以有时也会拼写为“pi”。
圆周率π的朴素定义（不朴素的定义详见下文）
关于π的值3.1415926535897......，它是一个无理数（也就是说π是无限不循环小数），同时也是一个超越数（所谓“超越数”，是指不满足任何整系数多项式方程的实数的数）。
“超越数”这个名字出自欧拉1748年的评论：“它们超越代数方法所及的范围之外。”但直到1844年，超越数的存在性才被法国数学家刘维尔证明。
02 “圆”可不可以不圆？
不知道有没有小伙伴会与小编有类似的问题，圆形可不可以不是圆的呢？如果圆形不是圆的，那么世界又会发生什么变化呢？
要弄清这个问题，首先让我们从定义出发，想一想“圆”到底是个什么东东？
生活中圆形的东西比比皆是，不过为了让文章的叙述更为科学，我们借用小学生数学课上对于圆的定义：“在一个平面内，一动点以一定点为中心，以一定长度为距离旋转一周所形成的封闭曲线叫做圆。”
当然各位看官自然不是小学生，所以我们改用更为高级一点的语言描述一下这个问题。根据欧几里德的《几何原本》定义，圆是在同一平面内到定点的距离等于定长的点的集合。
圆的标准方程。两个方程所代表圆的区别在于圆心的位置和半径的大小。
由此看来，一切问题的出发点都可以归结到两点之间的距离。那么问题来了，距离的本质是什么？
这里我们引入范数的概念。简单而言，范数可以认为是“距离”或者“长度”概念的推广。而在众多范数中，p-范数与我们的生活最为接近。
范数的严格定义，有兴趣的同学可以参考任意一本书名中带有“泛函分析”字样的教科书。
p-范数，又称为lp-范数，“l”这里指的是法国数学家亨利·勒贝格（Henri Léon Lebesgue）。这里留一道家庭作业，为什么p-范数定义中要求p大于等于1？
前面讲到的p=2的情形（欧几里德范数），实际上就对应了我们日常生活中所说的“距离”，即在笛卡尔坐标系下两点间的距离公式。当然平面几何中不需要n维向量，只需要二维向量（x,y）就足够了。
二维平面上的两点间距离公式。细心的小伙伴可能已经发现距离公式和前面提到的圆的方程非常相似。事实上，这里给出的两个公式恰好对应前面图中的两个圆。
现在让我们再次回到单位圆的问题，考虑一下在不同范数下单位圆的形状有何不同。
当p取不同数值时，“单位圆”的形状。考虑到所有的圆形都可以视为单位圆改变圆心位置和/或改变半径后的产物，所以为了方便起见，这里就给出单位圆的形状。
显然随着p的增大，“单位圆”也就变得越来越胖，而且经历了“由方变圆又变方”的奇妙旅程。
03 π能不能不等于3.1415926......
既然“单位圆”都可以不是圆的,那么我们不禁要问，π能不能不等于3.1415926......呢？
这个问题其实就已经有点接近数学家的恶趣味了，不过还是在文章的最后简要地讲一讲吧。
我们首先考虑极限情况，也就是让p趋近于无限大，那么我们就得到了下面的图形。考虑到圆的面积S等于π乘以半径的平方。由于下面这个图形也属于“单位圆”，所以它的半径就是1，于是我们就得到了上面图形的面积S数值上等于π！由于S这里等于4，所以这种情况下π=4？！
上面所讲的虽然有些无厘头，但是最终π=4的结论是没有问题的。考虑到p=1的时候得到的图形本质是跟p趋于无穷时没有什么不同，所以p=1同样应该对应π=4。这里推荐C. L. Adler 与 James Tanton发表在《The College Mathematics Journal》上的文章：
Adler, C. L. , and J. Tanton . "π is the Minimum Value for Pi." The College Mathematics Journal 31.2(2000): 102-106.
这里我们用Mathematica软件重现了一下文章的结果。
上面图像是范数p的取值与π关系。横坐标为范数p的取值，纵坐标是在不同范数的情况下“圆周率”的取值。图像是依据下面展示的公式绘制的。最后给出一组具体的数值供同学们参考。
由此可见，虽然π本身似乎可以乱动，但是3.1415926......确乎有着某种特殊的意义，至少它是所有可能的π中最小的一个。
看完今天的科普，大家会不会觉得有些意犹未尽呢？想要了解更多科学家脑洞大开的奇思妙想，敬请关注央视《加油！向未来》节目科学顾问、中科院物理所曹则贤研究员的力作——《一念非凡：科学巨擘是怎样炼成的》。
（内容来源：外语教学与研究出版社；本文编辑：云云）
发表评论前，请先[点此登录]