累加法
要求 $f(n)$ 能求和:如 $n$、$2^n$、$\dfrac{1}{n(n+1)}$。
求通项是数列板块的核心问题之一。本节归纳五种常见求通项的题型:累加法、累乘法、带提示的构造法、待定系数法构造、等价变形——先识别递推结构,再选择方法变形求解。
点击顶部标签切换板块,用 ← → 方向键或下方按钮逐题切换
五种核心求法 · 先识别结构再选方法
要求 $f(n)$ 能求和:如 $n$、$2^n$、$\dfrac{1}{n(n+1)}$。
要求 $f(n)$ 能求积:如 $\dfrac{n}{n+1}$、$2^n$。
有提示按提示构造;无提示用待定系数法构造新数列。
变形不复杂,常见方向:因式分解、同除系数、取对数统一结构。
识别结构 → 选择方法 → 变形构造 → 验证首项
是差式 $a_{n+1}-a_n=f(n)$,商式 $\dfrac{a_{n+1}}{a_n}=f(n)$,还是复杂式?
$f(n)$ 能求和 → 累加法;能求积 → 累乘法;题干有提示 → 按提示构造。
无提示用待定系数法构造;复杂式先等价变形(因式分解、同除系数等)。
累加、累乘结果只在 $n\ge2$ 成立,最后单独验证 $a_1$;证等比先验 $b_1\neq0$。
核心思想:识别递推结构 → 匹配方法 → 变形构造 → 验证首项。看到"差式、商式、指数式、交叉系数"等特征,先想对应的处理套路,再动手算。
已知数列 $\{a_n\}$ 满足 $a_1=1$,$a_{n+1}-a_n=n+1$,求 $\{a_n\}$ 的通项公式.
看到 $a_{n+1}-a_n=n+1$ 这样的递推公式,想到用累加法求 $a_n$:由题意,当 $n\ge2$ 时
将以上各式累加可得 $a_n-a_1=2+3+\cdots+n$,结合 $a_1=1$ 可得
又 $a_1=1$ 也满足上式,所以 $a_n=\dfrac{n(n+1)}{2}\ (n\in\mathbf{N}^*)$.
答案:$a_n=\dfrac{n(n+1)}{2}$
反思:遇到 $a_{n+1}-a_n=f(n)$ 这类递推公式,考虑用累加法求通项,别忘了检验 $a_1$ 是否满足累加的结果.
已知数列 $\{a_n\}$ 满足 $a_1=2$,且 $(n+1)a_{n+1}-na_n=2^n$,求 $\{a_n\}$ 的通项公式.
把 $na_n$ 看作 $b_n$,则 $(n+1)a_{n+1}$ 即为 $b_{n+1}$,故 $b_{n+1}-b_n=2^n$,这就是累加法的适用情形,可先求 $b_n$:
设 $b_n=na_n$,则 $b_1=a_1=2$,且 $(n+1)a_{n+1}-na_n=2^n$ 即为 $b_{n+1}-b_n=2^n$,所以当 $n\ge2$ 时
累加得 $b_n-b_1=2^1+2^2+\cdots+2^{n-1}$,故
又 $b_1=2$ 也满足上式,所以 $\forall n\in\mathbf{N}^*$,都有 $b_n=2^n$,即 $na_n=2^n$,所以 $a_n=\dfrac{2^n}{n}$.
答案:$a_n=\dfrac{2^n}{n}$
已知数列 $\{a_n\}$ 满足 $a_1=1$,且 $a_{n+1}-3a_n=2^n$,求 $\{a_n\}$ 的通项公式.
本题不是 $a_{n+1}-a_n$ 这种结构,但观察发现,可在 $a_{n+1}-3a_n=2^n$ 两端同除以 $3^{n+1}$ 变为该结构:
若将 $\dfrac{a_n}{3^n}$ 看成 $b_n$,则式①即为 $b_{n+1}-b_n=\dfrac13\left(\dfrac23\right)^n$,可用累加法先求 $b_n$:
令 $b_n=\dfrac{a_n}{3^n}$,则 $b_1=\dfrac{a_1}{3}=\dfrac13$,且 $b_{n+1}-b_n=\dfrac13\left(\dfrac23\right)^n$,所以当 $n\ge2$ 时
各式累加得
所以 $\dfrac{a_n}{3^n}=1-\left(\dfrac23\right)^n$,故 $a_n=3^n-2^n$.
答案:$a_n=3^n-2^n$
差式直接用:$a_{n+1}-a_n=f(n)$ 且 $f(n)$ 能求和($n$、$2^n$、裂项式等)→ 累加法,$a_n=f(2)+f(3)+\cdots+f(n)+a_1$。
结构改造后用:$a_{n+1}=pa_n+f(n)\ (p\neq0,\ p\neq1)$ 型,两端同除以 $p^{n+1}$,化为 $\dfrac{a_{n+1}}{p^{n+1}}-\dfrac{a_n}{p^n}=\dfrac{f(n)}{p^{n+1}}$,再用累加法求 $\left\{\dfrac{a_n}{p^n}\right\}$ 的通项,从而求得 $a_n$。
别忘了验证首项:累加结果只在 $n\ge2$ 时成立,最后必须单独检验 $a_1$ 是否满足。
已知正项数列 $\{a_n\}$ 满足 $a_1=1$,$a_{n+1}=3\left(1+\dfrac1n\right)a_n$,求数列 $\{a_n\}$ 的通项公式.
将所给递推公式变形,即可得到 $\dfrac{a_{n+1}}{a_n}=f(n)$ 这种结构,故用累乘法求 $a_n$:
故当 $n\ge2$ 时
各式累乘得 $\dfrac{a_n}{a_1}=3^{n-1}\times n$,化简得 $\dfrac{a_n}{a_1}=n\cdot3^{n-1}$,
所以 $\forall n\in\mathbf{N}^*$,都有 $a_n=n\cdot3^{n-1}$.
答案:$a_n=n\cdot3^{n-1}$
在数列 $\{a_n\}$ 中,$a_1=1$,$a_2=2$,$\dfrac{a_{n+2}}{a_n}=\dfrac{n+1}{n}$,则 $a_1a_2+a_2a_3+a_3a_4+\cdots+a_{99}a_{100}=$____.
本题给的是 $\dfrac{a_{n+2}}{a_n}$,不是 $\dfrac{a_{n+1}}{a_n}$,但结构相近,我们也试试用累乘法:由题意,当 $n\ge2$ 时
将以上各式累乘可得 $\dfrac{a_{n+1}}{a_{n-1}}\cdot\cdots\cdot\dfrac{a_4}{a_2}\cdot\dfrac{a_3}{a_1}=\dfrac{n}{n-1}\times\cdots\times\dfrac32\times\dfrac21$,所以
又 $a_1a_2=2$ 也满足上式,所以 $a_na_{n+1}=2n$ 对任意的 $n\in\mathbf{N}^*$ 都成立.
累乘后没有求出 $a_n$,而是求出了 $a_na_{n+1}$,而本题要求的恰好就是数列 $\{a_na_{n+1}\}$ 的前 $99$ 项和:
答案:$9900$
总结:若给出 $\dfrac{a_{n+1}}{a_n}=f(n)$,可用累乘法求 $\{a_n\}$ 的通项公式;若给出的是 $\dfrac{a_{n+2}}{a_n}=f(n)$,则累乘后可以求得 $a_na_{n+1}$ 的结果.
商式直接用:$\dfrac{a_{n+1}}{a_n}=f(n)$ 且 $f(n)$ 能求积($\dfrac{n}{n+1}$、$2^n$ 等)→ 累乘法,$a_n=f(2)f(3)\cdots f(n)\cdot a_1$。
隔项商式:$\dfrac{a_{n+2}}{a_n}=f(n)$ 型,累乘后得到的是 $a_na_{n+1}$ 的结果(若题目要求的恰是 $a_na_{n+1}$ 的和,直接使用)。
别忘了验证首项:累乘结果只在 $n\ge2$ 时成立,最后必须单独检验 $a_1$。
已知数列 $\{a_n\}$ 满足 $a_1=1$,$a_{n+1}=1-\dfrac{1}{4a_n}$,设 $b_n=\dfrac{2}{2a_n-1}$,证明 $\{b_n\}$ 是等差数列,并求数列 $\{a_n\}$ 的通项公式.
要证 $\{b_n\}$ 是等差数列,只需证 $b_{n+1}-b_n$ 为常数。由题意
要进一步计算此式,可将递推公式代入消去 $a_{n+1}$ 再化简。又 $a_{n+1}=1-\dfrac{1}{4a_n}$,代入式①可得
所以 $\{b_n\}$ 是公差为 $2$ 的等差数列。只要再求出 $b_1$,就能代等差数列通项公式求得 $b_n$,进而求得 $a_n$:
因为 $a_1=1$,所以 $b_1=\dfrac{2}{2a_1-1}=2$,故 $b_n=2+(n-1)\times2=2n$,即 $\dfrac{2}{2a_n-1}=2n$,
答案:$a_n=\dfrac{n+1}{2n}$
数列 $\{a_n\}$ 满足 $a_1=2$,$a_{n+1}-4a_n=2^{n+1}\ (n\in\mathbf{N}^*)$,证明 $\{a_n+2^n\}$ 是等比数列,并求 $\{a_n\}$ 的通项公式.
要证 $\{a_n+2^n\}$ 是等比数列,只需证 $\dfrac{a_{n+1}+2^{n+1}}{a_n+2^n}$ 为常数,故将条件往 $a_{n+1}+2^{n+1}$ 和 $a_n+2^n$ 凑:
不要急于将 $a_n+2^n$ 除到左侧,需先说明数列 $\{a_n+2^n\}$ 的首项不为 $0$:
又 $a_1=2$,所以 $a_1+2^1=4\neq0$,结合式①知数列 $\{a_n+2^n\}$ 的所有项均不为 $0$,故 $\dfrac{a_{n+1}+2^{n+1}}{a_n+2^n}=4$,
所以 $\{a_n+2^n\}$ 是首项和公比均为 $4$ 的等比数列,从而 $a_n+2^n=4\times4^{n-1}=4^n$,故 $a_n=4^n-2^n$.
答案:$a_n=4^n-2^n$
反思:在证明 $\{b_n\}$ 为等比数列时,得到 $b_{n+1}=qb_n$ 后,还需验证 $b_1\neq0$,请注意此细节.
数列 $\{a_n\}$ 满足 $a_1=1$,$a_2=x$,$x\in\mathbf{R}$,且 $a_{n+2}=3a_{n+1}-2a_n-n+1$.记 $b_n=a_{n+1}-a_n-n$,数列 $\{b_n\}$ 是否为等比数列?说明理由.
要看 $\{b_n\}$ 是否为等比数列,就看是否满足 $\dfrac{b_{n+1}}{b_n}$ 为常数,可由所给递推式建立 $b_{n+1}$ 与 $b_n$ 的关系:
有了 $b_{n+1}=2b_n$,只需再看 $b_1$ 是否为 $0$,就能确定 $\{b_n\}$ 是否为等比数列了:
因为 $a_1=1$,$a_2=x$,所以 $b_1=a_2-a_1-1=x-2$.
当 $x=2$ 时,$b_1=0$,所以数列 $\{b_n\}$ 不是等比数列;
当 $x\neq2$ 时,$b_1\neq0$,结合式①可得 $\{b_n\}$ 所有项均不为 $0$,所以式①可变形成 $\dfrac{b_{n+1}}{b_n}=2$,故 $\{b_n\}$ 是首项为 $x-2$,公比为 $2$ 的等比数列.
答案:$x\neq2$ 时为等比数列(首项 $x-2$,公比 $2$);$x=2$ 时不是等比数列
顺着提示做:题干让先证某数列等差/等比 → 按要证的结论反向变形递推式,证出后先求新数列的通项,再求 $a_n$。
两个细节:证等差只需 $b_{n+1}-b_n$ 为常数;证等比得到 $b_{n+1}=qb_n$ 后,必须先验证 $b_1\neq0$ 才能除过去。
数列 $\{a_n\}$ 中,$a_1=2$,$a_{n+1}=-a_n+2n+1\ (n\in\mathbf{N}^*)$,求 $\{a_n\}$ 的通项公式.
本题未提示如何构造,可用待定系数法发掘。注意到所给递推式中除 $a_{n+1}$ 和 $a_n$,余下的为关于 $n$ 的一次函数,这种结构的前后项可设为 $An+B$ 和 $A(n+1)+B$,故设
即 $a_{n+1}=-a_n-2An-A-2B$,与 $a_{n+1}=-a_n+2n+1$ 对比可得 $-2A=2$,$-A-2B=1$,解得 $A=-1$,$B=0$.
所以 $a_{n+1}-(n+1)=-a_n+2n+1-(n+1)=-a_n+n=-(a_n-n)$ ①,
此时还不能下结论 $\{a_n-n\}$ 为等比数列,需验证其首项不为 $0$:
又 $a_1=2$,所以 $a_1-1=1\neq0$,结合式①可知数列 $\{a_n-n\}$ 的所有项均不为 $0$,故 $\dfrac{a_{n+1}-(n+1)}{a_n-n}=-1$,
所以 $\{a_n-n\}$ 是首项为 $1$,公比为 $-1$ 的等比数列,从而 $a_n-n=(-1)^{n-1}$,故 $a_n=n+(-1)^{n-1}$.
答案:$a_n=n+(-1)^{n-1}$
已知数列 $\{a_n\}$ 满足 $a_1=1$,$a_{n+1}=3a_n+2^n\ (n\in\mathbf{N}^*)$,求 $\{a_n\}$ 的通项公式.
本节前面已经给出了本题的累加法解法,其实也能用待定系数法构造。注意到递推公式中除了 $a_{n+1}$ 和 $a_n$,余下的为 $2^n$,这种结构的前后项可设为 $A\cdot2^n$ 和 $A\cdot2^{n+1}$,故可设
整理得 $a_{n+1}=3a_n+A\cdot2^n$,与 $a_{n+1}=3a_n+2^n$ 对比可得 $A=1$,所以
又 $a_1=1$,所以 $\{a_n+2^n\}$ 是首项 $a_1+2^1=3$,公比为 $3$ 的等比数列,从而 $a_n+2^n=3^n$,故 $a_n=3^n-2^n$.
答案:$a_n=3^n-2^n$
核心思想:把递推式中除了 $a_{n+1}$ 和 $a_n$ 的其余部分也化成前后项,并分配给 $a_n$ 和 $a_{n+1}$,这一过程常用待定系数法来完成。
常见配法:余下是一次函数 $kn+b$ → 配 $An+B$(例5);余下是指数式 $q^n$ → 配 $A\cdot q^n$(例6、强化训练第5题解法2)。
对于构造法求通项,高考的要求较低:需要我们自行构造的,一般不复杂。
已知各项都为正数的数列 $\{a_n\}$ 满足 $a_1=1$,$a_n^2-(2a_{n+1}-1)a_n-2a_{n+1}=0$,求 $\{a_n\}$ 的通项公式.
所给递推公式结构较复杂,但观察发现若将次数相同的放一起,则可因式分解:
因为数列 $\{a_n\}$ 各项都为正数,所以 $a_n+1>0$,从而式①可化为 $a_n-2a_{n+1}=0$,故 $\dfrac{a_{n+1}}{a_n}=\dfrac12$,
所以 $\{a_n\}$ 是首项为 $1$,公比为 $\dfrac12$ 的等比数列,故 $a_n=\left(\dfrac12\right)^{n-1}\ (n\in\mathbf{N}^*)$.
答案:$a_n=\left(\dfrac12\right)^{n-1}$
反思:当递推公式较复杂时,可先对递推公式变形,将其化简,因式分解是可以考虑的方向.
数列 $\{a_n\}$ 中,若 $a_1=1$,且 $na_{n+1}-(n+1)a_n=1\ (n\in\mathbf{N}^*)$,则 $a_n=$____.
观察递推公式,若 $a_{n+1}$ 和 $n+1$ 组合,$a_n$ 和 $n$ 组合,则能构造前后项关系,可两端同除 $n(n+1)$ 实现:
把 $\dfrac{a_n}{n}$ 整体看作一个新数列,可用累加法先求出其通项,进而得到 $a_n$:
设 $b_n=\dfrac{a_n}{n}$,则 $b_1=\dfrac{a_1}{1}=1$,且式①即为 $b_{n+1}-b_n=\dfrac1n-\dfrac1{n+1}$,所以当 $n\ge2$ 时
又 $b_1=1$ 也满足上式,所以 $\forall n\in\mathbf{N}^*$,都有 $b_n=2-\dfrac1n$,即 $\dfrac{a_n}{n}=2-\dfrac1n$,所以 $a_n=2n-1$.
答案:$a_n=2n-1$
反思:像大下标对应小系数、小下标对应大系数这种“系数交叉模型”,常通过除以系数构造新数列.
数列 $\{a_n\}$ 中,若 $a_1=\dfrac13$,$2a_{n+1}a_n+a_{n+1}-a_n=0$,则 $\{a_n\}$ 的通项公式为____.
为了把递推式中的 $a_{n+1}a_n$ 分开,常两端同除以 $a_{n+1}a_n$。严谨考虑,先判断 $a_n$ 能否为 $0$:
由 $2a_{n+1}a_n+a_{n+1}-a_n=0$ 可得 $a_{n+1}(2a_n+1)=a_n$,又 $a_1=\dfrac13>0$,结合 $a_2(2a_1+1)=a_1$ 得 $a_2=\dfrac{a_1}{2a_1+1}>0$,
同理,由 $a_2>0$ 可得 $a_3>0$,由 $a_3>0$ 可得 $a_4>0$,$\cdots$,所以 $\{a_n\}$ 为正项数列,故在 $2a_{n+1}a_n+a_{n+1}-a_n=0$ 两端同除以 $a_{n+1}a_n$ 可得
故 $\left\{\dfrac{1}{a_n}\right\}$ 是公差为 $2$ 的等差数列,又 $\dfrac{1}{a_1}=3$,所以 $\dfrac{1}{a_n}=3+(n-1)\times2=2n+1$,故 $a_n=\dfrac{1}{2n+1}$.
答案:$a_n=\dfrac{1}{2n+1}$
反思:遇到含 $a_na_{n+1}$ 这种结构的递推公式,一种常见的变形思路是同除以 $a_na_{n+1}$.
先变形再处理:若题干给出的递推公式较复杂,则可对递推公式变形,化简递推公式,或构造出新数列来求通项,这类题往往变形并不复杂。
常见方法:因式分解(例7)、同除系数(例8)、同除某一项 / 乘积项(变式)、取对数统一结构(强化训练第9题)。
在数列 $\{a_n\}$ 中,$a_1=2$,$a_n=a_{n-1}+\lg\dfrac{n}{n-1}\ (n\ge2)$,则 $a_{100}=$____.
观察递推式发现可变形成 $a_n-a_{n-1}=f(n)$ 这种结构,故考虑用累加法求 $a_{100}$:
因为 $a_n=a_{n-1}+\lg\dfrac{n}{n-1}$,所以 $a_n-a_{n-1}=\lg\dfrac{n}{n-1}$,故
以上各式相加得
又 $a_1=2$,所以 $a_{100}=a_1+2=4$.
答案:$4$
法布里·贝罗研究多光束干涉在薄膜理论中的应用时,用光波依次透过 $n$ 层薄膜,记光波的初始功率为 $P_0$,$P_k$ 为光波经过第 $k$ 层薄膜后的功率,假设在经过第 $k$ 层薄膜时光波的透过率 $T_k=\dfrac{P_k}{P_{k-1}}=\dfrac{1}{2^k}$,其中 $k=1,2,3,\cdots,n$,为使得 $\dfrac{P_n}{P_0}\ge2^{-2024}$,则 $n$ 的最大值为( )
A.$31$ B.$32$ C.$63$ D.$64$
看到条件中的 $\dfrac{P_k}{P_{k-1}}=\dfrac{1}{2^k}$,想到通过累乘法构造出目标不等式中的 $\dfrac{P_n}{P_0}$:
在 $\dfrac{P_k}{P_{k-1}}=\dfrac{1}{2^k}$ 中分别取 $k=1,2,3,\cdots,n$ 得 $\dfrac{P_1}{P_0}=\dfrac{1}{2^1}$,$\dfrac{P_2}{P_1}=\dfrac{1}{2^2}$,$\cdots$,$\dfrac{P_n}{P_{n-1}}=\dfrac{1}{2^n}$,将以上各式相乘得
从而 $\dfrac{P_n}{P_0}\ge2^{-2024}$ 即为 $2^{-\frac{n(1+n)}{2}}\ge2^{-2024}$,故 $-\dfrac{n(1+n)}{2}\ge-2024$,所以 $n^2+n\le4048$ ①,
数字 $4048$ 较大,不方便直接解上述不等式,但观察发现 $n^2+n$ 随 $n$ 的增大而增大,故可代值尝试:记 $f(n)=n^2+n$,则
所以满足不等式①的 $n$ 的最大值为 $63$.
答案:C($63$)
数列 $\{a_n\}$ 满足 $a_1=1$,$a_{n+1}=2a_n+1$,设 $b_n=a_n+1$,证明 $\{b_n\}$ 是等比数列,并求 $\{a_n\}$ 的通项公式.
要证 $\{b_n\}$ 是等比数列,即证 $\dfrac{b_{n+1}}{b_n}$ 为常数,也即证 $\dfrac{a_{n+1}+1}{a_n+1}$ 为常数,故先由所给递推公式把 $a_{n+1}+1$ 和 $a_n+1$ 凑出来:
因为 $a_{n+1}=2a_n+1$,所以 $a_{n+1}+1=2a_n+1+1=2(a_n+1)$,即 $b_{n+1}=2b_n$ ①,
又因为 $a_1=1$,所以 $b_1=a_1+1=2$,结合式①可得数列 $\{b_n\}$ 的所有项都不为 $0$,所以 $\dfrac{b_{n+1}}{b_n}=2$,
从而 $\{b_n\}$ 是首项和公比均为 $2$ 的等比数列,故 $b_n=2\times2^{n-1}=2^n$,即 $a_n+1=2^n$,所以 $a_n=2^n-1$.
答案:$a_n=2^n-1$
已知数列 $\{a_n\}$ 满足 $a_{n+2}=3a_{n+1}-2a_n$,$a_1=\dfrac12$,$a_2=\dfrac32$.证明数列 $\{a_{n+1}-a_n\}$ 是等比数列,并求 $\{a_n\}$ 的通项公式.
要证 $\{a_{n+1}-a_n\}$ 是等比数列,只需证 $\dfrac{a_{n+2}-a_{n+1}}{a_{n+1}-a_n}$ 为常数,故先由所给递推式凑出 $a_{n+2}-a_{n+1}$ 和 $a_{n+1}-a_n$:
由题意,$a_{n+2}=3a_{n+1}-2a_n$,两端同时减去 $a_{n+1}$ 得
别急于把 $a_{n+1}-a_n$ 除到左侧,还需说明该数列所有项都不为 $0$:
又 $a_1=\dfrac12$,$a_2=\dfrac32$,所以 $a_2-a_1=1\neq0$,结合式①可得数列 $\{a_{n+1}-a_n\}$ 所有项均不为 $0$,故 $\dfrac{a_{n+2}-a_{n+1}}{a_{n+1}-a_n}=2$,
所以 $\{a_{n+1}-a_n\}$ 是首项为 $1$,公比为 $2$ 的等比数列,故 $a_{n+1}-a_n=2^{n-1}$.要进一步求出 $a_n$,可用累加法:
故 $a_n=2^{n-1}-1+a_1=2^{n-1}-\dfrac12$,又 $a_1=\dfrac12$ 也满足上式,所以 $\forall n\in\mathbf{N}^*$,都有 $a_n=2^{n-1}-\dfrac12$.
答案:$a_n=2^{n-1}-\dfrac12$
已知数列 $\{a_n\}$ 满足 $a_1=1$,$a_{n+1}-2a_n=3^n$,求数列 $\{a_n\}$ 的通项公式.
解法1:同除 $2^{n+1}$ 用累加法
由本节例1变式2知,可在 $a_{n+1}-2a_n=3^n$ 的两端同除以 $2^{n+1}$,转化成用累加法处理的结构:
设 $b_n=\dfrac{a_n}{2^n}$,则 $b_1=\dfrac{a_1}{2^1}=\dfrac12$,且 $b_{n+1}-b_n=\dfrac12\left(\dfrac32\right)^n$,所以当 $n\ge2$ 时,各式累加可得
所以 $\dfrac{a_n}{2^n}=\left(\dfrac32\right)^n-1$,故 $a_n=3^n-2^n$.
解法2:待定系数法构造
像 $a_{n+1}-2a_n=3^n$ 这种递推式,也可用构造法求通项。针对 $3^n$ 这部分,其前后项分别为 $A\cdot3^n$ 和 $A\cdot3^{n+1}$,故可设 $a_{n+1}+A\cdot3^{n+1}=2(a_n+A\cdot3^n)$,所以 $a_{n+1}=2a_n-A\cdot3^n$,与 $a_{n+1}=2a_n+3^n$ 对比可得 $A=-1$,故
此时不要急于把 $a_n-3^n$ 除到左侧,先判断其是否可能为 $0$:因为 $a_1=1$,所以 $a_1-3^1=-2\neq0$,结合式①可知数列 $\{a_n-3^n\}$ 所有项均不为 $0$,故 $\dfrac{a_{n+1}-3^{n+1}}{a_n-3^n}=2$,
所以 $\{a_n-3^n\}$ 是首项为 $-2$,公比为 $2$ 的等比数列,从而 $a_n-3^n=-2\times2^{n-1}=-2^n$,故 $a_n=3^n-2^n$.
答案:$a_n=3^n-2^n$(两种解法结果一致)
已知数列 $\{a_n\}$ 满足 $a_1=0$,$a_{n+1}=2a_n+n$,若 $b_n=2^n-a_n$,求 $\dfrac{b_n-1}{(b_n+1)^2}$ 的最大值.
先由 $a_{n+1}=2a_n+n$ 求 $a_n$,可用构造法。递推式中除 $a_{n+1}$ 和 $a_n$ 外,余下部分是关于 $n$ 的一次函数,这类结构的前后项分别为 $An+B$ 和 $A(n+1)+B$,故可设
即 $a_{n+1}=2a_n+An+B-A$,与 $a_{n+1}=2a_n+n$ 对比可得 $A=1$,$B-A=0$,所以 $A=B=1$,构造的方法就出来了:
因为 $a_{n+1}=2a_n+n$,所以 $a_{n+1}+(n+1)+1=2(a_n+n+1)$ ①,
又 $a_1=0$,所以 $a_1+1+1=2\neq0$,结合式①知数列 $\{a_n+n+1\}$ 所有项均不为 $0$,故 $\{a_n+n+1\}$ 是首项和公比均为 $2$ 的等比数列,所以 $a_n+n+1=2^n$,
从而 $a_n=2^n-n-1$,故 $b_n=2^n-a_n=n+1$,所以
取等条件是 $n=\dfrac4n$,即 $n=2$,所以 $\dfrac{b_n-1}{(b_n+1)^2}$ 的最大值为 $\dfrac18$.
答案:$\dfrac18$
已知数列 $\{a_n\}$ 满足 $a_1=1$,$(2n-1)a_{n+1}-(2n+1)a_n=2$,求 $a_n$.
观察递推公式,发现有大下标的乘小系数、小下标的乘大系数的特征,故同除以系数:
由题意,$(2n-1)a_{n+1}-(2n+1)a_n=2$,两端同除以 $(2n-1)(2n+1)$ 得
把 $\dfrac{a_n}{2n-1}$ 看作整体,式①属于用累加法求通项的情形,右侧的 $\dfrac{2}{(2n-1)(2n+1)}$ 恰好也可裂项求和:
设 $b_n=\dfrac{a_n}{2n-1}$,则 $b_1=a_1=1$,且式①即为 $b_{n+1}-b_n=\dfrac{2}{(2n-1)(2n+1)}=\dfrac{1}{2n-1}-\dfrac{1}{2n+1}$,故当 $n\ge2$ 时,累加可得
即 $\dfrac{a_n}{2n-1}=\dfrac{4n-3}{2n-1}$,故 $a_n=4n-3\ (n\ge2)$,又 $a_1=1$ 也满足上式,所以 $\forall n\in\mathbf{N}^*$,都有 $a_n=4n-3$.
答案:$a_n=4n-3$
已知正项数列 $\{a_n\}$ 满足 $a_1=1$,且 $a_n(a_{n+1}-a_n)-3a_n+2a_{n+1}-2=0$,求 $\{a_n\}$ 的通项公式.
所给递推式结构复杂,应先尝试对其变形。形式看着像可以因式分解,不妨把括号打开,观察如何凑出公因式:
观察发现将 $a_na_{n+1}$ 和 $2a_{n+1}$ 组合,余下部分组合,能产生公因式 $a_n+2$,故上式可分解因式:
又 $\{a_n\}$ 是正项数列,所以 $a_n+2>0$,故 $a_{n+1}-a_n-1=0$,即 $a_{n+1}-a_n=1$,
结合 $a_1=1$ 可得 $\{a_n\}$ 是首项和公差都为 $1$ 的等差数列,所以 $a_n=1+(n-1)\times1=n$.
答案:$a_n=n$
数列 $\{a_n\}$ 满足 $a_1=1$,$a_2=8$,$a_{2n-1}+a_{2n+1}=\log_2a_{2n}$,$a_{2n}a_{2n+2}=16^{a_{2n+1}}$,证明:$\{a_{2n-1}\}$ 是等差数列.
条件的两个等式分别为对数、指数结构,不妨把指数结构取对数,统一起来再看:
由 $a_{2n}a_{2n+2}=16^{a_{2n+1}}$ 可得 $\log_2(a_{2n}a_{2n+2})=\log_216^{a_{2n+1}}$,所以
要证的是 $\{a_{2n-1}\}$ 为等差数列,故应消去①中左侧的两项,可将题干的另一等式(取 $n\to n+1$)代入:
因为 $a_{2n-1}+a_{2n+1}=\log_2a_{2n}$,$a_{2n+1}+a_{2n+3}=\log_2a_{2n+2}$,将上述两式代入①得
所以 $a_{2n+3}-a_{2n+1}=a_{2n+1}-a_{2n-1}$,故 $\{a_{2n-1}\}$ 是等差数列.
答案:$\{a_{2n-1}\}$ 是等差数列
反思:本题由于条件一个是指数式、一个是对数式,不统一,所以我们将指数式取对数,统一结构,这种操作思想在其它章节偶尔也会用到.
常见 $f(n)=n$、$2^n$、$\dfrac{1}{n(n+1)}$;结果需验证 $a_1$。
常见 $f(n)=\dfrac{n}{n+1}$、$2^n$;$\dfrac{a_{n+2}}{a_n}=f(n)$ 累乘得 $a_na_{n+1}$。
有提示按提示构造;无提示用待定系数,配 $An+B$(一次式)或 $A\cdot2^n$(指数式)。
如 $na_{n+1}-(n+1)a_n=1$ 同除 $n(n+1)$ 后裂项累加。