前两天无聊拿电脑跑了遍模拟,随机抽两个正整数判断有没有大于1的公约数,跑了一百万次,互质的比例稳定在0.608上下。直觉上"撞上公因数"好像挺容易,2、3、5这些因子到处都是,结果反倒是互不相干占了六成多。
这个数6/π²≈0.6079看着眼生,拆开却很妙。欧拉证巴塞尔问题得到1+1/4+1/9+…=π²/6,记做ζ(2)。每个素数p对"不被p整除"贡献因子(1-1/p²),把全体素数这么一乘,恰好收拢成1/ζ(2)=6/π²。本来只该属于圆和周期的π,就这么缝进了整数与概率的关系里。
课本把数论、分析、几何拆成一章章,可数学底下好像有暗线连着。随手丢两个数字进去,捞起来的却是π,这种事比考试题有意思太多了。