这一招在做什么
对数列 {an} 作相邻两项之差,得到一阶差分 Δan=an+1−an;对差分再作差分,得到二阶差分 Δ2an,依此类推。如果 p 阶差分是一个非零常数,就称 {an} 为 p 阶等差数列。(一阶等差数列就是普通的等差数列。)
关键事实:p 阶等差数列的通项恰好是 n 的 p 次多项式。因为 (n+1)p−np 的最高次项抵消了,每作一次差分,多项式的次数就降一次。
- 一行一行地作差分,直到出现常数行。
- 在常数行末尾再写一个同样的常数,从下往上加回去:得到下一项。
- 用表的左边一列写出通项(牛顿公式):
an=a1+Δa1Cn−11+Δ2a1Cn−12+⋯+Δpa1Cn−1p.
先猜后证
立方数列 1,8,27,64,125,216 作差分。到第三阶差分时,那一行常数是多少?
先选定答案,才能看到结论。
✓ 猜对了!✗ 和你想的不一样——这正是值得停一下的地方。
一阶:7,19,37,61,91;二阶:12,18,24,30;三阶:6,6,6。
一般地,np 的 p 阶差分是常数 p!(3!=6)。原因:每差分一次,最高次项系数乘上当时的次数。
换成 1,16,81,256,625,1296(四次方)试试:常数行是 4!=24。
跟着做一遍
例:1, 5, 14, 30, 55 的通项
第 1 / 5 步 -
一阶差分 相邻两项相减:4,9,16,25。还不是常数,但看着眼熟。
Δan: 4, 9, 16, 25
-
二阶差分
-
三阶差分是常数
-
往回加,预测下一项
-
还原通项
为什么左边一列就够了?Cn−1k 在 n=1,2,…,k 时都是 0,在 n=k+1 时是 1。所以牛顿公式在 n=1 时只剩 a1,在 n=2 时只剩 a1+Δa1=a2……它是一个“逐项对准”的公式,正好和差分表的结构配套。
什么时候不灵
结论:差分若干次后一定得到常数 ← 还成立吗?
an=2n3−n:三阶差分是常数 2⋅3!=12。
an=2n−1 不是多项式。一直差分下去看看。
每一行都和第一行一模一样:2n−2n−1=2n−1,差分不改变它。指数数列永远减不到常数——差分法只对“多项式型”的数列有效。
练一练
数列 3,7,13,21,31,… 是二阶等差数列。求它的第 6 项。
提示 · 方法一阶差分 4,6,8,10,二阶差分是常数 2。
提示 · 第一步下一个一阶差分是 10+2=12。
写出上题数列的通项 an。
提示 · 方向它是二次多项式。用左边一列:a1、Δa1、Δ2a1 各是多少?
提示 · 方法an=3+4(n−1)+2Cn−12。
提示 · 第一步2Cn−12=(n−1)(n−2)=n2−3n+2。
完整解答an=3+4n−4+n2−3n+2=n2+n+1。验证:a1=3,a2=7,a5=31。
求 1⋅2+2⋅3+3⋅4+⋯+10⋅11。
提示 · 方向把部分和 S1,S2,S3,… 算出来作差分。它是几阶等差数列?
提示 · 方法Sn 的一阶差分是 (n+1)(n+2),二次;所以 Sn 是三次多项式。
提示 · 第一步Sn:2,8,20,40,70,三阶差分是常数 2。还原得 Sn=3n(n+1)(n+2)。
完整解答S10=310⋅11⋅12=440。(也可以裂项:k(k+1)=31[k(k+1)(k+2)−(k−1)k(k+1)]。)
数列 an=2n3−n 的三阶差分是一个常数。不列表,直接说出这个常数,并说明理由。
提示 · 方法每作一次差分,次数降一,所以 −n 在两次差分后就变成 0;只需看 2n3。
提示 · 第一步Δn3=3n2+3n+1,最高次项系数从 1 变成 3。
完整解答n3 的三阶差分是 3!=6(每差分一次,最高次系数乘上当前次数:1→3→6→6),所以 2n3−n 的三阶差分是 2⋅6=12。