查看“︁高中数学/不等式与数列/一阶递推数列及通项公式的求解”︁的源代码

== 阅读指南 ==
本节介绍从一种叫做一阶递推关系式的简易递推关系求解出数列通项的方法。此类数列递推式的求解过程和转换方法除了应付学校考试，对于以后学习[[w:差分方程|差分方程]]、[[w:数学建模|数学建模]]、[[w:组合数学|组合数学]]等课程也有帮助。

无应试需要的读者可以适当跳过本节内容。

== 基础知识 ==
=== 一阶递推关系式的概念 ===
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">形如<math>a_{n+1} = f(a_n)</math>的表达式叫做'''一阶递推关系式'''（'''recurrence relation of first order'''）。一阶递推关系式是将<math>a_{n+1}</math>用含<math>a_n</math>的解析式表达出来。

形如<math>a_{n+k} = f(a_{n+k-1}, a_{n+k-2}, a_{n+k-3}, ..., , a_n) \quad (k \ge 1, k \in \mathbb{N})</math>的表达式叫做'''k阶递推关系式'''（'''recurrence relation of order k'''）。一阶递推关系式是将<math>a_{n+1}</math>用含<math>a_{n+k-1}, a_{n+k-2}, a_{n+k-3}, ..., , a_n</math>解析式表达出来。

形如<math>a_{n+1} = \frac{a_n + c}{a_n + d}</math>的表达式叫做'''分式型'''一阶线性递推数列。
</font>
</blockquote>

以递推关系表达的数列等式，也叫做'''差分方程'''（'''difference equation'''）。对于数列<math>\{a_n\}</math>，记<math>\Delta a_n = a_{n+1} - a_n</math>为它的'''前向差分'''（'''forward difference'''），简称'''差分'''（'''difference'''），<math>\Delta</math>叫做数列的'''差分算子'''（'''difference operator'''）；记<math>\nabla a_n = a_n - a_{n-1}</math>为它的'''后向差分'''（'''backward difference'''），<math>\nabla</math>叫做数列的'''后向差分算子'''（'''backward difference operator'''）。

对于涉及递推关系的问题，最常见的问题类型为已知数列中个别项的值（一般是最前几项），求数列特定项的值或数列的通项公式。这2类问题是本节的关注重点。还有一些问题涉及到估计通项或前n项和的大小。对于估计大小的问题会在后续的[[高中数学/不等式与数列/不等式的放缩法|放缩法]]章节再集中讨论。

=== 周期数列型问题 ===
有的数列只需要通过简单地迭代计算，就可以发现其存在周期性，可以通过其前几项的值和周期大小，确定后续项的值。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
若在数列<math>\{a_n\}</math>中，有<math>a_1 = 3, a_n + a_{n-1} = 4 \quad (n \ge 2, n \in \mathbb{N})</math>，求<math>a_{2017}</math>的值。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知数列<math>\{a_n\}</math>满足<math>a_1 = 3, a_{n+1} a_n + a_{n+1} - a_n + 1 = 0 \quad (n \in \mathbb{N}^+)</math>，求<math>a_{2016}</math>的值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知数列<math>\{a_n\}</math>中，有<math>a_n > 0, a_1 = 1, a_{n+2} = \frac{1}{a_n + 1}, a_{100} = a_{96}</math>，求<math>a_{2018} + a_3</math>的值。

=== 累加法与累乘法 ===
累加法或累乘法可以看作直接递推法的另一种表达形式。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知在数列<math>\{a_n\}</math>中，有<math>a_1 = 1, a_{n+1} = a_n + 2 \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知在数列<math>\{a_n\}</math>中，有<math>a_1 = 1, a_{n+1} = 2 a_n + 1 \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：这道题也可以使用本节介绍的等比数列转换法解答。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知在数列<math>\{a_n\}</math>中，有<math>a_1 = 2, a_{n+1} = k a_n \quad (n \in \mathbb{N}^+, k \neq 0)</math>，求<math>\{a_n\}</math>的通项公式。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知在数列<math>\{a_n\}</math>中，有<math>a_1 = 2, a_{n+1} = \frac{n}{n+1} a_n \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知数列<math>\{a_n\}</math>的首项<math>a_1 = 1</math>，且满足<math>a_{n+1} - a_n = (- \frac 1 2)^n \quad (n \in \mathbb{N}^+)</math>，求<math>a_{2018}</math>的值。

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
已知数列<math>\{a_n\}</math>满足<math>a_4 = 81, a_n = 2 a_{n-1} + 2^n - 1 \quad (n \in \mathbb{N}^+, n \ge 2)</math>。<br />
(1)求数列的前3项<math>a_1, a_2, a_3</math>。<br />
(2)若数列<math>\{\frac{a_n + p}{2^n}\}</math>为等差数列，求实数p的值。<br />
(3)求<math>\{a_n\}</math>的通项公式和前n项和。

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
在数列<math>\{a_n\}</math>中，有<math>a_1 = 1, a_{n+1} = a_n + \frac{1}{n(n+1)} \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式。

<!-- 本小节例题8 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题8：
已知整数数列<math>\{a_n\}</math>满足<math>a_2 = 3, a_{n+1} - a_{n-1} < 3^n + \frac 1 2, a_{n+2} + a_n > 3^{n+1} - \frac 1 2</math>，求<math>a_{2018}</math>的值。

=== 等比数列转换法 ===
我们可以换一种思路解决上面出现过的已知<math>a_1 = 1, a_{n+1} = 2 a_n + 1 \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式的例题。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知数列<math>\{a_n\}</math>满足<math>a_1 = 1, a_{n+1} = 3 a_n + 1 \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式的例题。

这种方法并不限于解决这种形式的问题，不过它要求解题者对可能存在的等比数列构造形式具有一定的观察力，有时需要结合经验多次尝试。兔子数列也可以采用这种方法巧妙求解。

=== 取对数法 ===
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知在数列<math>\{a_n\}</math>中，有<math>a_1 = 3, a_{n+1} = a_n^k \quad (n \in \mathbb{N}^+, k > 1, k \in \mathbb{N})</math>，求<math>\{a_n\}</math>的通项公式。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：由于对数运算可以将乘积关系转换为加减关系、将指数化为倍数，取对数法也可以将递推式<math>\frac{a_{n+1}}{a_n} = k \quad (k > 0)</math>转换为<math>\lg a_{n+1} - \lg a_n = \lg k \quad (k > 0)</math>形式，从而将可以累加的递推式变为可以累乘的递推式。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知在数列<math>\{a_n\}</math>中，有<math>a_{n+2} = a_{n+1} a_{n} \quad (n \in \mathbb{N}^+, k > 1, k \in \mathbb{N})</math>，求<math>\{a_n\}</math>的通项公式。

=== 取倒数法 ===
对于<math>a_n</math>和<math>a_{n+1}</math>都分别出现在2个分式的分母中的某些一阶递推数列，常见的方法是对等式两侧减去合适的数，然后同时取倒数后再构造等比数列。这种方法只能解决分母的形式是<math>a_n</math>或<math>a_{n+1}</math>的一次函数的情形，这种数列也叫做'''一阶分式线性递推数列'''。

<!-- 本小节例题 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题：
已知数列<math>\{a_n\}</math>满足<math>a_1 = 1, a_{n+1} = \frac{a_n}{a_n + 2} (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式。

要减去的数具体取什么值才合适有时比较难确定。这时如果考虑使用[[高中数学/不等式与数列/不动点法|不动点法]]可能会比使用待定系数法更快地确定出这个数。

=== 同除以某个代数式 ===
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知在数列<math>\{a_n\}</math>中，有<math>a_{n+1} = a_{n} + 2^n \quad (n \in \mathbb{N}^+, k > 1, k \in \mathbb{N})</math>，求<math>a_9</math>的值。

[[File:Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：这个题目也可以用累加法求解。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知数列<math>\{a_n\}</math>满足<math>a_1 = 1, a_2 = \frac 1 3, a_n (a_{n-1} + 2 a_{n+1}) = 3 a_{n-1} a_{n+1} \quad (n \ge 2, n \in \mathbb{N})</math>，求<math>\{a_n\}</math>的通项公式。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
已知数列<math>\{a_n\}</math>满足<math>a_1 = 3, a_{n+1} = 3 a_n + 2 \times 3^n + 1</math>，求数列<math>\{a_n\}</math>的通项公式。

=== 利用通项与前n项和的转换 ===
有一类常见的递推式，同时混杂有数列的通项<math>a_n</math>和前n项和<math>S_n</math>的表达式，这时应该优先考虑先将其利用关系式<math>a_n = S_n - S_{n-1} \quad (n \ge 2, n \in \mathbb{N})</math>转换为只包含通项的形式或只包含前n项的形式。

[[File:Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：由<math>S_n</math>求<math>a_n</math>时，<math>n = 1</math>时的情形和<math>n > 1</math>时的情形必须分开讨论。即当<math>n > 1</math>时，才有<math>a_n = S_n - S_{n-1}</math>；而当<math>n = 1</math>时，是直接可知<math>a_1 = S_1</math>。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知数列<math>\{a_n\}</math>的前n项和为<math>S_n = \frac 1 2 n^2 + \frac 1 2 n + 1</math>，求<math>\{a_n\}</math>的通项公式。

<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
已知数列<math>\{a_n\}</math>的前n项和为<math>S_n</math>，且<math>a_1 = 2, S_{n+1} = 4 a_{n} \quad (n \in \mathbb{N}^+, k > 1, k \in \mathbb{N})</math>，求<math>a_{12}</math>的值。

<!-- 本小节例题3 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
若<math>S_n</math>为数列<math>\{a_n\}</math>的前n项和，且<math>S_n = 2 a_n - 2</math>，求<math>S_8</math>的值。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
已知数列<math>\{a_n\}</math>的前n项和为<math>S_n</math>，且有<math>S_n = \frac{n+2}{3} a_n</math>，求<math>\frac{a_{n}}{a_{n-1}}</math>的最大值。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
已知数列<math>\{a_n\}</math>的首项<math>a_1 = k</math>，其前n项和为<math>S_n</math>，且满足<math>S_n + S_{n-1} = 4 n^2 \quad (n \ge 2, n \in \mathbb{N}^+)</math>。若对于任意的<math>n \in \mathbb{N}^+</math>，还有<math>a_n < a_{n+1}</math>恒成立，求k的取值范围。

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
设数列<math>\{a_n\}</math>的前n项和为<math>S_n</math>，数列<math>\{S_n\}</math>的前n项和为<math>T_n</math>。假设有<math>T_n = 2 S_n - n^2 \quad (n \in \mathbb{N}^+)</math>成立。<br />
(1) 求<math>a_1</math>的值。<br />
(2) 求数列<math>\{a_n\}</math>的通项公式。

=== 其它求解方法概述 ===
* 需要观察出递推关系的问题
<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
已知数列<math>\{a_n\}</math>满足<math>\frac{\ln a_1}{3} \cdot \frac{\ln a_2}{6} \cdot \frac{\ln a_3}{9} \cdot ... \frac{\ln a_n}{3n} = \frac{3n}{2} (n \in \mathbb{N}^+)</math>，求<math>a_{10}</math>的值。

* 三角换元法
<!-- 本小节例题2 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
在数列<math>\{a_n\}</math>中，有<math>a_1 = -2, a_{n+1} = \frac{1+a_n}{1-a_n} \quad (n \ge 1)</math>，求<math>a_{2012}</math>的值。

<!-- 本小节例题2的解答 -->
<div class="collapsible answer" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243);">
 <p>解答：<br />
 设<math>a_n = \tan b_n</math>，则<math>b_n = \arctan a_n</math>。那么：<br />
 <math>a_{n+1} = \frac{1+a_n}{1-a_n} \Rightarrow \tan b_{n+1} = \frac{1+tan b_n}{1 - (tan b_n) \times 1} = \frac{\tan \frac \pi 4 + \tan b_n}{1 - \tan b_n tan \frac \pi 4} = \tan (b_n + \pi 4)</math><br />
 即<math>\tan b_{n+1} = \tan (b_n + \frac \pi 4) = \tan (b_{n-1} + 2 \frac \pi 4) = \tan (b_{n-2} + 3 \frac \pi 4) = ... = \tan (b_1 + n \frac \pi 4)</math>。<br />
 即<math>\tan b_n = \tan (b_1 + (n - 1) \frac \pi 4)</math>。即<math>a_n = \tan (\arctan(a_1) + (n-1) \frac \pi 4)</math>。<br />
 即<math>a_{2012} = \tan (\arctan (-2) + (2012 - 1) \frac \pi 4)
 = \frac{\tan ( \arctan(-2) ) + \tan ((2012 -1) \frac \pi 4)}{1 - \tan ( \arctan(-2) ) \tan((2012 - 1) \frac \pi 4)}
 = \frac{(-2) + (-1)}{1 - (-2) \times (-1)} = \frac{-3}{1 - 2} = 3</math>。
 </p>
</div>
<div class="collapsible finalAnswer" style="clear both; border:thin solid rgb(167, 215, 249); background-color: rgb(243, 243, 243); color: red;">
答案：3。
</div>

* 双曲换元法

* 某些可求通项解的二次一阶递推数列

此外，对于一些所谓的[[高中数学/不等式与数列/常系数线性递推数列|线性的递推关系式]]或可以转换为此类情形的关系式，还可以考虑特征方程法和矩阵法。了解这些方法还需要补充一些其它的预备知识，而且它们超出了一般学校的考试范围，我们留在专门的对应章节中再论述它们。

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]
* 已知在数列<math>\{a_n\}</math>中，有<math>a_1 = 2, 2^{n+1} a_{n+1} = 2^n a_n + 1 \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式。
* 已知在数列<math>\{a_n\}</math>中，有<math>a_1 = 2, a_{n+1} = a_n + 2^n + n \quad (n \in \mathbb{N}^+)</math>，求<math>\{a_n\}</math>的通项公式。
* 已知数列<math>\{a_n\}</math>的前n项和为<math>S_n</math>，且满足<math>a_1 = 2, a_n + 2 S_n S_{n-1} = 0 \quad (n \ge 2, n \in \mathbb{N})</math>。(1)求证<math>\{S_n\}</math>是等差数列。(2)求<math>\{a_n\}</math>的通项公式。

== 参见 ==
* [[高中数学/不等式与数列/不动点法|不动点法]]
* [[高中数学/不等式与数列/常系数线性递推数列|常系数线性递推数列]]

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|递推关系式}}

{{DEFAULTSORT:recurrence relation of first order}}
[[category:数列]]
[[category:高中数学]]