一类简单而特殊数列的通项公式求法
前言
由 a n a_n an与 S n S_n Sn的关系求数列 { a n } \{a_n\} {an}的通项公式,在求通项公式题型中占有比较大的份额,是一个重要的求解思路和方法。是要求重点掌握的类型。但有一类简单而特殊的数列的通项公式的求解本来也是使用这个思路求解,但是有些学生不能将其顺利归类,反而容易朝错位相减法的方向跑偏;
方法依据
- 由 a n a_n an与 S n S_n Sn的关系求数列 { a n } \{a_n\} {an}的通项公式【要求重点掌握的类型】
方法:熟练记忆 a n a_n an与 S n S_n Sn的关系 a n = { S 1 n = 1 S n − S n − 1 n ≥ 2 a_n=\begin{cases}S_1 &n=1\\S_n-S_{n-1} &n\ge 2\end{cases} an={S1Sn−Sn−1n=1n≥2,并灵活运用。注意:
①这是个分段函数,故求其解析式应该分段求解,容易忘记求解 n = 1 n=1 n=1的情形
②必须验证能否合二为一,如果能就写成一个式子,如果不能,写成分段数列的形式。
③若题目中是 a n + 1 a_{n+1} an+1,则 a n + 1 a_{n+1} an+1 = = = S n + 1 S_{n+1} Sn+1 − - − S n S_n Sn,而不是 a n + 1 a_{n+1} an+1 = = = S n S_{n} Sn − - − S n − 1 S_{n-1} Sn−1,切记!
数学模型
例1、已知 2 1 a 1 + 2 2 a 2 + 2 3 a 3 + ⋯ + 2 n a n = n 2^1a_1+2^2a_2+2^3a_3+\dots+2^na_n = n 21a1+22a2+23a3+⋯+2nan=n,求数列 { a n } \{a_n\} {an}的通项公式。
此题目中涉及两个数列,一个数列为 { a n } \{a_n\} {an},其前 n n n项和为 S n S_n Sn;另一个数列为 { 2 n ⋅ a n } \{2^n\cdot a_n\} {2n⋅an},其前 n n n项和为 T n T_n Tn,如果从已知 T n T_n Tn,求 n ⋅ a n n\cdot a_n n⋅an的角度理解,则此题目属于本节的类型;其思维顺序是这样的:由 T n T_n Tn先求解 n ⋅ a n n\cdot a_n n⋅an,然后解方程得到 a n a_n an,好多学生不大理解这个类型的本质,可以参阅一类简单而特殊数列的通项公式求法 ;
分析:由已知可得,当 n ≥ 2 n\ge 2 n≥2时, 2 1 a 1 + 2 2 a 2 + 2 3 a 3 + ⋯ + 2 n − 1 a n − 1 = n − 1 2^1a_1+2^2a_2+2^3a_3+\dots+2^{n-1}a_{n-1} = n-1 21a1+22a2+23a3+⋯+2n−1an−1=n−1,
两式作差得到
当 n ≥ 2 n\ge 2 n≥2时, 2 n a n = 1 2^na_n =1 2nan=1,即 a n = 1 2 n = ( 1 2 ) n a_n=\cfrac{1}{2^n}=(\cfrac{1}{2})^n an=2n1=(21)n,
又当 n = 1 n=1 n=1时, 2 1 a 1 = 1 2^1a_1=1 21a1=1,即 a 1 = 1 2 a_1=\cfrac{1}{2} a1=21,满足上式,
故所求通项公式为 a n = ( 1 2 ) n a_n=(\cfrac{1}{2})^n an=(21)n, n ∈ N ∗ n\in N^* n∈N∗。
易错警示学生求解本题目时容易错误的认为应该利用“错位相减法”求解,这个理解是错误的,原因是数列 { 2 n ⋅ a n } \{2^n\cdot a_n\} {2n⋅an}的组成部分之一 { 2 n } \{2^n\} {2n}是等比数列,但是另一个组成部分 { a n } \{a_n\} {an}却没有告诉是等差数列,所以应用错误;另外,“错位相减法”是用来求解数列的前 n n n项和 S n S_n Sn的,不是求解数列的通项公式 a n a_n an的;。
典例剖析
例2、在数列 { a n } \{a_n\} {an}中,已知 a 1 + 2 a 2 + 3 a 3 + ⋯ + n a n = n ( n + 1 ) ( n + 2 ) a_1+2a_2+3a_3+\cdots+na_n=n(n+1)(n+2) a1+2a2+3a3+⋯+nan=n(n+1)(n+2),求 a n a_n an=_____________。
分析:由已知 a 1 + 2 a 2 + 3 a 3 + ⋯ + n a n = n ( n + 1 ) ( n + 2 ) ( n ⩾ 1 ) a_1+2a_2+3a_3+\cdots+na_n=n(n+1)(n+2)(n\geqslant 1) a1+2a2+3a3+⋯+nan=n(n+1)(n+2)(n⩾1)
则有 a 1 + 2 a 2 + 3 a 3 + ⋯ + ( n − 1 ) a n − 1 = ( n − 1 ) n ( n + 1 ) ( n ⩾ 2 ) a_1+2a_2+3a_3+\cdots+(n-1)a_{n-1}=(n-1)n(n+1)(n\geqslant 2) a1+2a2+3a3+⋯+(n−1)an−1=(n−1)n(n+1)(n⩾2)
两式作差,得到 n a n = n ( n + 1 ) ( n + 2 ) − ( n − 1 ) n ( n + 1 ) = n ( n + 1 ) [ ( n + 2 ) − ( n − 1 ) ] = 3 n ( n + 1 ) ( n ⩾ 2 ) na_n=n(n+1)(n+2)-(n-1)n(n+1)=n(n+1)[(n+2)-(n-1)]=3n(n+1)(n\geqslant 2) nan=n(n+1)(n+2)−(n−1)n(n+1)=n(n+1)[(n+2)−(n−1)]=3n(n+1)(n⩾2),
则 n a n = 3 n ( n + 1 ) na_n=3n(n+1) nan=3n(n+1),即 a n = 3 ( n + 1 ) ( n ⩾ 2 ) a_n=3(n+1)(n\geqslant 2) an=3(n+1)(n⩾2),
当 n = 1 n=1 n=1时,由原始已知式子可得, a 1 = 1 × ( 1 + 1 ) × ( 1 + 2 ) = 6 = 3 ( 1 + 1 ) a_1=1\times (1+1)\times(1+2)=6=3(1+1) a1=1×(1+1)×(1+2)=6=3(1+1),满足上式,
故 a n = 3 ( n + 1 ) ( n ∈ N ∗ ) a_n=3(n+1)(n\in N^*) a