冷启动:把 bₙ 写成 n(n+1)/aₙ
等差数列 {an} 公差 d>1,记 an=a1+(n−1)d。题给
bn=ann2+n=ann(n+1)
Sn,Tn 是 {an},{bn} 的前 n 项和。两问都是把条件翻译成关于 a1,d 的方程(等差数列的基本量),第 (2) 问多一步:先用「bn 也是等差」把 an 的形定下来。
解法一:等差基本量列方程,(2) 整除定形式分两类
(1)求通项公式
把条件用 a1,d 写开。由 3a2=3a1+a3:
3(a1+d)=3a1+(a1+2d) ⇒ 3a1+3d=4a1+2d ⇒ a1=d
于是 an=nd,从而 a1=d,a2=2d,a3=3d。算两个和:
S3=a1+a2+a3=6d
T3=a11⋅2+a22⋅3+a33⋅4=d2+2d6+3d12=d2+3+4=d9
代入 S3+T3=21:6d+d9=21,乘 d 得 6d2−21d+9=0,即 2d2−7d+3=0,(2d−1)(d−3)=0。由 d>1 取 d=3(见求出公差后漏用范围取舍,d=21 舍)。故 a1=3,
an=3n(n∈N∗)
(2)由 bₙ 等差定 aₙ 的形式,分两类求 d
怎么想到的。 {bn} 等差 ⇒ bn 是 n 的一次式。设 an=pn+q(p=d>1),则
bn=pn+qn(n+1)
要它是 n 的一次多项式,分母 pn+q 必须整除分子 n(n+1)。而 n(n+1) 的根是 0,−1,所以 pn+q 的根 −pq 只能取 0 或 −1,即 q=0 或 q=p。这就把 an 的形式钉成两类(分类讨论):
- 类 A:an=tn(t=d),此时 bn=tn+1。
- 类 B:an=k(n+1)(k=d),此时 bn=kn。
类 A(an=tn,bn=tn+1,d=t>1):
S99=n=1∑99tn=t⋅299⋅100=4950t
T99=n=1∑99tn+1=t1n=1∑99(n+1)=t1⋅2(2+100)⋅99=t5049
由 S99−T99=99:4950t−t5049=99,除以 99 得 50t−t51=1,即 50t2−t−51=0,(50t−51)(t+1)=0。由 t>1 取 t=5051(t=−1 舍)。
类 B(an=k(n+1),bn=kn,d=k>1):
S99=n=1∑99k(n+1)=k⋅5049,T99=n=1∑99kn=k4950
由 S99−T99=99:5049k−k4950=99,除以 99 得 51k−k50=1,即 51k2−k−50=0,(k−1)(51k+50)=0,根 k=1 或 k=−5150,都不满足 k>1 —— 此类无解。
综合,d=5051。

这题的关键在哪。 (1) 是基本量的常规列方程;真正的戏在 (2) 的「整除定形式」:bn=ann(n+1) 要等差,就逼着 an 的常数项只能是 0 或等于公差,于是 an 只可能是 tn 或 k(n+1)——看懂这一步,两类就自然冒出来,而不是凭空猜两种设法。两类走完同一套「代入 S99−T99 解二次方程 + 用 d>1 取舍」,类 A 留下 5051、类 B 整类无解。
🕳️ 避坑
- d>1 要处处用:(1) 的 2d2−7d+3=0 舍 d=21;(2) 类 A 的 50t2−t−51=0 舍 t=−1;类 B 的 51k2−k−50=0 两根 1,−5150 都不 >1,整类无解——这三处任何一处忘了范围,答案就错(见求出公差后漏用范围取舍)。
- T3 别算错分母:b2=a26=2d6=d3、b3=3d12=d4,约分后分子是 2,3,4 而非 2,6,12。
- 整除那步的方向:是「分母 pn+q 整除分子 n(n+1)」,靠 n(n+1) 的两个根 0,−1 定 q,别反过来去凑 bn 的差为常数(也能做,但方程更繁)。
故(1)an=3n (n∈N∗);(2)d=5051。