标题: 数学女孩

https://mp.weixin.qq.com/s/IpsETdwW1DrJbT-I0X52bw

十年前我买过纸版的《数学女孩》，日本数学家结城浩的作品，写得很有意思。

开篇不久就出现了男一、女一、女二，前两者是高一新生，后者低一级。女二似乎暗
恋学长(男一)，男一似乎对女一有点慕强心理，女一是大女主高冷型的。智商排序是，
女一强于男一强于女二。三人不清不楚地混在一起，日常以在图书馆探讨数学为主，
非常症能量。女二接近男一时，用的由头就是请教数学。TA们的老师则是一变态，时
不时给TA仨出点正经数学题，为难TA们。全书在一种暖昧与智慧并存的诡异青春氛围
中展开，略过数学部分，你当它是一本青春言情小说，也算得上。

但是，不要误会，这是一套很好的数学科普书籍。我陆续买过前4册，第5册实在不想
买了，因为家里没什么多余的空间放书。幸而后来掌握了电子书获取技能，于是收集
到5册电子版。

此书不适合小学生看，过去我一度以为也不适合初中生看。但自从见识了小小四她们
的教学进度，修正一下看法，此书非常非常适合初中生看。十年前我看过第1册，最
近重读，又有新感悟，毕竟从2025年7月开始，系统性拣回中学数学中。

开篇不久，遇到一个数列，问"6,2,8,2,10,18"的下一项是多少？我已然忘了后续内
容其实会揭晓迷底，又或者这次心态起了变化，想自虐。当时坐在一个走廊里，没有
纸笔，脑子也不好使，硬想。想了十分钟，没想出来，掏出手机，把此题发给了小小
四。我了解她，她肯定会试试。发完没两分钟，突然明白了出题者在问什么。

在数学上，对于任意有限个给定的数，始终可以构造出一个多项式通项公式，使得该
公式在前几项的值精确等于这些给定数。那些找规律填下一个数的智力题，从严格数
学意义上讲，没有唯一标准答案，你可以随便瞎编下一个数，然后用数学办法硬造出
一个通项公式来证明你是对的。

假设已知m个数，a1～am，用拉格朗日插值法得到

f(x)=∑[k=1,m](ak*∏[(j=1,j≠k),m](x-j)/(k-j))

这里x取实数，但对于数列有，ai=f(i) i∈[1,m]。

得到f(x)后，可进一步构造无数种通项公式

h(x)=f(x)+[∏[j=1,m](x-j)]*g(x)

此处g(x)可是任意函数。

更快的办法是，牛顿前向差分法。

an=a1+C(n-1,1)*Δa1+C(n-1,2)*(Δa1)^2+...+C(n-1,m-1)*(Δa1)^(m-1)
an=∑[k=0,m-1](C(n-1,k)*(Δa1)^k)

因纯文本排版，(Δa1)^k表示k阶差分，而非幂。约定零阶差分即a1本身。

若a1～am为整数，an必为整数。

即使不考虑多项式插值法，也有无数简单解。比如，"6,2,8,2,10,18,60,20,80,20,
100,180,600,..."，算不算一种规律？

当然，此数列的出题者实际出了一道脑筋急转弯，他肯定没有预设做题人会用多项式
插值法。

再看另一个数列，"6,15,35,77"，出题者的意图是

2*3 | 3*5 | 5*7 | 7*11 | 11*13

而我第一眼看到它时，想的是

6 | 2*6+3 | 2*15+5 | 2*35+7 | 2*77+9

尽管这样解释时6显得很无厘头，但第一项取任意值也不是什么不可接受的事。

这种事类似打CTF，有人给了非预期解。

关于所谓数列求下一顶，以前在《闲谈门萨式测试与高阶等差数列》中也提过。这次
重点不是这个，只是以此为例，提一下《数学女孩》这本书。家里有喜欢数学的孩子
时，不妨给TA看看，真地很有意思。