NASA 真的需要多少位圆周率?
从航天导航的实际精度出发,看多保留一位小数,算出的距离会差多少。
从一条圆周,到小数、证明和算 π 的种种办法。
从一张方格纸、一盒火柴讲起,再看看人们为什么要算那么多位 π。
在方格纸上画一个圆,数一数圆里有多少格,边缘的半格拼起来算。把估出的面积除以半径的平方,就得到一个 π 的近似值。换张格子更细的纸,看看第二次会不会更准。
Reddit · r/learnmath 原帖 ↗在圆里画一个正六边形,再把边数翻倍。每多割一次,圆和多边形之间的空隙就小一些。作者照着刘徽的思路手算了一遍,一千七百年前的办法,今天用纸笔还能跟得上。
Hacker News 原帖 ↗把一个圆正好套进正方形里,再往方框里均匀随机撒点。落在圆里的比例乘以 4,就能估算 π。先撒一百个点,再撒一万个,看看两次结果各有多大偏差。
Hacker News 原帖 ↗在纸上画一排等距平行线,线距取一根火柴的长度。随手撒下许多根,数有多少根压到了线。在理想的随机试验里,压线的比例约是 2 除以 π。
Reddit · r/todayilearned 原帖 ↗让靠墙的小块静止,另一块朝它滑过去。假定没有摩擦,碰撞也不损失能量。两块的质量比取 1、100、10000,块与块、块与墙的碰撞加起来,依次是 3、31、314。可以先让听众猜猜下一项。
Hacker News 原帖 ↗用横线和竖线绕出一圈台阶,台阶越细,轮廓越像圆。可这些横竖线加起来,始终和最外层方框一样长。眼睛看到形状靠近了,周长却保留了折线走过的那些弯。
Hacker News 原帖 ↗拿杯口、锅盖和车轮来比,大圆的周长和直径一起变长,它们的比值却一样。讨论里还有人从三角函数或积分出发。同一个数,可以从几扇不同的门走进去。
Reddit · r/math 原帖 ↗半径为 1 的圆,面积就写成 π,这已经给出了精确值。只有在要交给计算器、量尺或施工图时,才要决定保留几位小数。可以拿三分之一来比,写成分数时它就已经很清楚了。
Reddit · r/askscience 原帖 ↗如果只能沿球面走,你可以把北极当圆心,把赤道当一条圆周。把沿球面从北极到赤道的距离当半径,再用赤道周长除以两倍半径,结果是 2。这个游戏演示让人走进弯曲空间,亲眼看几何规则如何改变。
Hacker News 原帖 ↗在常用写法里,一整圈是 2π 弧度,四分之一圈是 π/2。提议用 τ 表示一整圈的人,会把后者写成 τ/4。让两套记号各画一个钟面,就能看出双方在争什么。
Hacker News 原帖 ↗圆的周长可以用 π 来写。约翰·贝兹从一条形似 ∞ 的曲线出发,也用弧长引出一个常数。把圆压成椭圆之后,还能只用一个固定的数算周长吗?
Hacker News 原帖 ↗在复平面上,从 1 出发沿单位圆转半圈,落点是 −1。欧拉公式里的 π 正好告诉你转了多少。先画出这条半圆,再看 e 的 πi 次方,比直接背等式容易记。
Hacker News 原帖 ↗用 π 算一个大圆的周长,末位误差会随着直径一起放大。NASA 的例子把这件事落到航天导航所需的精度上。先问要算多远、容许差多少,再决定该留下几位。
Hacker News 原帖 ↗想象你要估一条环形跑道的长度。3.14 方便做小数乘法,22/7 遇到能被 7 整除的直径又很好算。原帖收集各种近似值,比较的是在什么场合值得多费一步。
Reddit · r/math 原帖 ↗把 355 除以 113,会得到 3.141592920…,开头的 3.141592 和 π 一样。分子分母都只有三位数,拿来和 22/7 做一次长除法,很容易看出这个分数的妙处。
Reddit · r/todayilearned 原帖 ↗许多计算器会直接取一个预先存好的近似值。机器内部保留的位数,也可能比屏幕显示的多。可以试着用 π 键和手输 3.14 各算一次同样的圆面积。
Reddit · r/explainlikeimfive 原帖 ↗在常用的米和秒里,这两个数都接近 9.8。一根长约一米的摆,来回一次大约要两秒,摆的公式刚好把这些数连起来。把米改成厘米,再看看这个巧合还在不在。
Hacker News 原帖 ↗把 1 减去 1/3,加上 1/5,再减去 1/7,如此交替下去,结果会靠近 π/4。这个办法很慢。一串只有分数的算式,为什么会和圆有关?
Reddit · r/askscience 原帖 ↗无限长、从某处起也不会循环的小数,仍然可以故意避开某些数字。只要想象一个用 0 和 1 写成、永远不循环的数,就知道无理性本身回答不了这道题。π 是否包含所有有限数字串,目前仍无定论。
Reddit · r/explainlikeimfive 原帖 ↗先数一万位里各有多少个 0 到 9,再改数两位一组的 00 到 99。前者看着均匀,后者仍是新问题。证明 π 在十进制下正规,要处理任意长度的数字串和无限延伸的小数位。
Reddit · r/math 原帖 ↗给 0 到 9 各选一种颜色,然后按小数位的顺序铺像素。几行数字很难看出什么,铺成一整张图后,眼睛会不自觉地找条纹。看完也可以问,换个排法,同一串数字会呈现出什么样子?
Reddit · r/todayilearned 原帖 ↗先把《威利在哪里?》里的小人图案变成数字,再去 π 的小数里找。好玩的地方在于,图案怎么编码、允许多少细节,都会改变你究竟在找什么。
Hacker News 原帖 ↗试想要保存一句话,先把它编成数字,再记下这串数字在 π 里从哪一位出现。取回时去那个位置重读。这个文件系统的麻烦在于,光是找地址和存地址,就可能费不少工夫。
Hacker News 原帖 ↗平时做长除法,得从第一位一路算下去。有些 π 的公式允许你直接提取很远的十六进制数位。讲给普通人听,可以先用翻字典比一比,从头读一遍和直接翻到某一页,是两种不同的本事。
Reddit · r/askscience 原帖 ↗算得再远,最后也只能拿到有限多位。数学上的办法是研究什么样的数会写成有限或循环小数,再用无理性证明排除这两种可能。这个问题很适合拿来讲观察和证明的区别。
Reddit · r/askscience 原帖 ↗先假设 π 可以写成整数之比。证明设计了一个量,照这个假设算下去,它必须是整数,同时又严格夹在 0 和 1 之间。公式可以慢慢读,矛盾在哪里倒是一眼就能看见。
Hacker News 原帖 ↗十进制的 10 表示一个十,二进制的 10 表示一个二。顺着这个规则,在以 π 为底的记法里,π 就写成 10。有限不有限,和你选的记法有关。无理性问的是它能否写成两个整数之比。
Reddit · r/mathematics 原帖 ↗先算 √2 加上 −√2,两个无理数的和一下变成了 0。这个反例只告诉我们,单靠两者都是无理数还解不出原题。π+e 究竟是否无理,至今仍是个未解决的问题。
Hacker News 原帖 ↗发帖人试着把切开的圆摊成长条,再想办法拼出等面积的方形。这个直觉很适合画出来讨论。古典题目还加了一道限制,只用无刻度直尺和圆规,且只做有限步。
Reddit · r/mathematics 原帖 ↗在纸上画一个半径为 1 的半圆。沿弧走过的长度正好是 π,把这段弧长写成积分,就得到一个精确表达式。即使还没学过积分,也能先从图上知道答案应该是多少。
Reddit · r/mathematics 原帖 ↗威廉·尚克斯在 1873 年公布了 π 的 707 位小数,后人核对发现,前 527 位是对的。手边若有两份长得几乎一样的答案,要怎么查出谁漏算了一步?
Reddit · r/todayilearned 原帖 ↗现代电脑把大数运算藏在现成工具里。拿 Intel 4004 来算,程序得仔细安排怎样把大数拆开、进位,再拼回去。读这篇可以从小学竖式讲起,机器再小,也得处理同样的进位。
Hacker News 原帖 ↗九行是读者眼前的程序长度,背后仍有大量大整数运算。可以把它和计算器上的 π 键并排讲,一个直接拿到常用精度,一个要实际生成长得多的数字串。
Hacker News 原帖 ↗论文里的表达式与 π 有一丝差别,小到能让前面极多位都相同。把 3.14159 和 3.14158 并排写,先看两数如何有一段相同开头,再想象这段开头延长到数十亿位。
Hacker News 原帖 ↗当答案长到这个地步,硬盘、读取速度和检查结果都变成了难题。文章记录 Google Cloud 的一次计算,讲的既有公式,也有怎样让机器把如此长的数字一路写下去。
Hacker News 原帖 ↗人眼逐位对照不现实。讨论里提到用独立计算交叉检查,或对特定位置单独验算。抽查几处能发现什么,又有哪些错需要更全面的核对?
Reddit · r/mathematics 原帖 ↗人们早就会算圆周率,符号 π 却晚得多。威廉·琼斯在 1706 年用过这个记号,后来欧拉的著作帮助它流行。同一个数,大家为什么需要统一叫法?
Hacker News 原帖 ↗1897 年,有人把一套化圆为方的主张提交给州议会,其中的比例暗示 π 等于 3.2。提案在众议院通过,后来被州参议院搁置。数学题突然有了议程和表决,这比一句「差点立法改 π」更值得讲。
Reddit · r/todayilearned 原帖 ↗按月、日、年的顺序写成 3/14/15,再接上 9:26:53,正好拼出 3.141592653 的数字。这个日期梗和数学一样讲究顺序,换一种写日期的习惯,彩蛋就藏起来了。
Reddit · r/todayilearned 原帖 ↗作者记下自己练习背诵的过程。读的时候可以顺手试试,把一串陌生数字拆成几个短块,再把每块和一个熟悉的图像或声音连起来。隔一会儿回想,看看哪种线索最管用。
Hacker News 原帖 ↗迈克·基思的《Not A Wake》把圆周率的数位藏进单词的长度。句子仍要读得通,还要服从数字给出的限制。可以给听众 3、1、4 三个数,请他们先试写三个相应长度的英文单词。
Reddit · r/todayilearned 原帖 ↗一次空中书写表演用飞机画出了圆周率开头的一千位。想象抬头时只能看见其中一段,你得一边找开头,一边等数字被风吹散。飞机飞走以后,这串数字还会在天上留多久?
Hacker News 原帖 ↗从航天导航的实际精度出发,看多保留一位小数,算出的距离会差多少。
从秒摆的周期公式出发,追问这个近似与长度、时间单位有什么关系。
A wonderful coincidence or an expected connection: why π² ≈ g 外链资料 ↗
讨论区区分了有限数字串是否出现、出现频率以及为什么有限样本无法解决这类问题。
一款非欧几何版《毁灭战士》把空间曲率变成能走进去的几何课。
Non-Euclidean Doom: what happens to a game when pi is not 3.14159 (2022) [video] 外链资料 ↗
《Tau 宣言》主张用一整圈的弧度 τ=2π 来写公式。讨论追问换一套记号能简化哪些式子。
No, really, pi is wrong: The Tau Manifesto (Tau Day, 2010) 外链资料 ↗
约翰·贝兹从形似 ∞ 的双纽线谈起。读者进一步把这个与 π 相似的常数,同椭圆积分和地图投影联系起来。
讨论从内存限制出发,介绍能直接提取某些进位制数位的公式,也问到十进制是否有同样的办法。
Is it possible to calculate nth digit of pi for any n in a limited amount of memory?
把用 π 写出的精确值,与计算器显示的有限位近似分开。
Can we ever know the exact area of a circle if the decimal part of pi is infinite?
从一份简短证明入手。证明的关键是构造出一个必须为整数、却严格介于 0 与 1 之间的量。
用复平面上的旋转理解欧拉公式。转过 π 弧度,恰好从 1 走到 −1。
讨论从代码本身延伸到大整数、级数和运行开销。适合对计算方法感兴趣的读者。
讨论源于一篇 1999 年的论文。作者解释了特殊近似式为何能在误差露出来之前连续给出大量正确数字。
Get Billions of Correct Digits of Pi from a Wrong Formula (1999) [pdf] 外链资料 ↗
这则经典反例适合用来讲极限。图形越来越接近时,周长仍可能不收敛到极限图形的周长。
讨论聚焦一次具体的纪录计算,以及磁盘、运行时间和验证如何影响结果。
Pi calculation world record with over 202T digits 外链资料 ↗
把图案编码成数字,再去 π 的展开中查找。这个点子也引出一个数学问题,哪些数字串能保证出现?
圆的周长和直径之比是一个入口。讨论还涉及积分、三角函数以及从分析出发的定义。
从一个初学者的提问出发,讨论延伸到严格证明以及弯曲空间中圆周长与直径的比。
πfs 把数据编码成在 π 展开中的位置。读这则讨论,可以看清找位置和存位置要付出的代价。
在平行线格上随机落针,统计有多少根针碰到线。这个几率把随机试验与圆周率连了起来。
比较落在圆内和方形内的点数,就能估算面积之比。这个方法容易演示,也容易看见采样误差。
用手算、估算或写程序时,精度和计算代价不同。讨论比较了一批分数和其他近似式。
What is the best *useful* approximation of π?
讨论比较通常使用的整数进位制,以及允许以 π 本身作底数时会发生什么。
Pi is an irrational, does it have exact value in any other number system?
从方格纸估面积讲到收敛级数,适合想亲手算出前几位的人。
把「小数位没有循环」和「各数字串按预期频率出现」分开,这是两个不同的问题。
Why is proving (or disproving) pi being a normal number so difficult?
讨论把注意力放在怎样存放和读取超长小数,以及这类数据能怎样用来做实验。
Google Cloud Platform’s Pi API – With access to 750B digits of Pi 外链资料 ↗
问题从常见的 22/7、355/113 转向 π 的幂,讨论什么叫好得出乎意料的有理逼近。
Maybe powers of π don't have unexpectedly good approximations? 外链资料 ↗
从 Chudnovsky 公式到存储和校验,把超长小数当作一项工程来读。
Even more pi in the sky: Calculating 100T digits of pi on Google Cloud 外链资料 ↗
两块物体在直线上与彼此和墙做弹性碰撞。把质量比设为 1、100、10000……,碰撞次数就会依次给出 π 的前一位、两位、三位……。
同样是描述圆,一派从整圈的角度出发,一派从圆的周长、直径和面积出发。
碰撞模型和量子搜索之间的联系,可以通过同一种几何旋转来理解。
Pi Connects Colliding Blocks to a Quantum Search Algorithm 外链资料 ↗
18 条相关评论