套路

按谁的幂展开就换谁作元

题目要把 f(x)f(x) 写成 ∑ak(x−a)k\sum a_k(x-a)^{k} 的样子——那就令 t=x−at=x-a、回代 x=t+ax=t+a。问题立刻变成「把一个关于 tt 的普通多项式展开」,aka_k 就是 tkt^{k} 的系数,一个都不用猜。

解题套路

看到目标形如

f(x)=a0+a1(x−a)+a2(x−a)2+⋯+an(x−a)n,f(x)=a_0+a_1(x-a)+a_2(x-a)^2+\cdots+a_n(x-a)^n,

三步:

  1. 认出基底。括号里那一整块就是新元。(x−a)(x-a) 的 aa 是让括号为零的那个数—— 写成 (1+x)(1+x) 时括号为零处是 x=−1x=-1,所以 a=−1a=-1,新元是 t=x+1t=x+1。
  2. 令 t=x−at=x-a,回代 x=t+ax=t+a。原来的 ff 变成一个关于 tt 的表达式, 把它按 tt 的幂展开(多半就是一次二项式定理)。
  3. 读系数。tkt^{k} 前面那个数就是 aka_k,问哪个取哪个,其余的不必算。

为什么这一步是白送的

{1, (x−a), (x−a)2,…,(x−a)n}\{1,\,(x-a),\,(x-a)^2,\dots,(x-a)^n\} 与 {1,x,x2,…,xn}\{1,x,x^2,\dots,x^n\} 都是 nn 次多项式空间的基底, 两者只差一次平移。所以

  • 表示一定存在(任何 nn 次多项式都写得出来),
  • 而且唯一——同一个 ff 不可能有两组不同的 aka_k。

唯一性这一句看着废话,其实很要紧:它保证三条路算出来的必然是同一组数—— 换元、逐层比系数、对恒等式求导,谁先算完都行,彼此还能互验。

它就是「在 x=ax=a 处展开」

把 x=ax=a 代进目标式,除 a0a_0 外每一项都带 (x−a)(x-a) 的正次幂而归零,于是 a0=f(a)a_0=f(a); 求一次导再代 x=ax=a 得 a1=f′(a)a_1=f'(a);一般地 ak=f(k)(a)k!a_k=\dfrac{f^{(k)}(a)}{k!}。 换句话说,「按 (x−a)(x-a) 的幂重排」与「在 x=ax=a 处展开」是同一件事的两种说法—— 这也解释了为什么对恒等式求导再代值那条路一定能给出同样的系数。

常见失手

  • 符号搞反。(1+x)(1+x) 对应 t=x+1t=x+1、x=t−1x=t-1;顺手写成 x=t+1x=t+1 就全错。 验一下最省事:新元为零时原变量应当等于 aa。
  • 只换了一半。ff 里别处的 xx 也要一并换成 t+at+a,不能留一个没换。
  • 把 aka_k 当成 xkx^{k} 的系数。aka_k 配的是 (x−a)k(x-a)^{k},两组系数完全是两回事。

共 3 道题考到本条。