数列与差分方程 全体系知识点+分梯度典型例题

本文系统梳理差分的核心定义、差分方程与数列的本质联系、常系数线性差分方程的完整解法、高频应用场景，搭配从基础到高考/大学入门级的典型例题（含详细解答+解题通法），完美衔接高中数列知识，同时覆盖离散数学、经济数学的入门核心内容。

目录

• 1 前置基础：差分的核心概念
  • 1.1 一阶差分（核心）
    • 定义
    • 核心意义
  • 1.2 高阶差分
    • 二阶差分定义
    • 高阶差分递推定义
    • 核心意义
  • 1.3 差分的线性运算性质
• 2 差分方程的基本概念
  • 2.1 差分方程的定义
    • 两种等价形式（核心等价性）
  • 2.2 差分方程的阶
  • 2.3 线性差分方程（核心研究对象）
    • 一般形式
    • 分类
  • 2.4 差分方程的解、通解、特解、初始条件
  • 2.5 线性差分方程的解的核心结构（与微分方程完全类比）
• 3 差分方程与数列的本质联系（衔接高中数列知识）
• 4 常系数线性差分方程的完整解法（核心考点）
  • 4.1 一阶常系数线性差分方程
    • 标准形式
    • 1. 齐次情形（\(f(n)=0\)）
    • 2. 非齐次情形（\(f(n)≠0\)）
      • 类型1：\(f(n) = q\)（常数，高中最核心考点）
      • 类型2：\(f(n) = \lambda^n \cdot P_m(n)\)（指数×多项式，高考高频）
      • 类型3：\(f(n) = M\cos\omega n + N\sin\omega n\)（三角函数型）
  • 4.2 二阶常系数线性齐次差分方程
    • 标准形式
    • 核心解法：特征方程法
  • 4.3 二阶常系数线性非齐次差分方程
    • 标准形式
    • 通解结构
    • 特解求法：待定系数法
      • 类型1：\(f(n) = P_m(n)\)（\(m\)次多项式）
      • 类型2：\(f(n) = \lambda^n P_m(n)\)（指数×多项式）
  • 4.4 高阶常系数线性差分方程（推广）
• 5 高频易错点专项警示
• 6 分梯度典型例题（含详细解答+解题通法）
  • 题型一 差分的基础计算
    • 例题1
  • 题型二 一阶常系数齐次差分方程（等比数列）
    • 例题2
  • 题型三 一阶常系数非齐次差分方程（高中核心递推）
    • 例题3
    • 例题4
  • 题型四 二阶常系数齐次差分方程（经典斐波那契数列）
    • 例题5
    • 例题6
  • 题型五 二阶常系数非齐次差分方程
    • 例题7
  • 题型六 差分方程的实际应用（经济金融场景）
    • 例题8（等额本息房贷模型）
  • 题型七 差分方程分析数列的性质
    • 例题9

1 前置基础：差分的核心概念

数列是定义在正整数集上的离散函数 \(a_n=f(n)\)，差分就是离散函数的“变化率”，对应连续函数的导数，是连接数列与差分方程的核心桥梁。

1.1 一阶差分（核心）

定义

对于数列\(\{a_n\}\)，称第\(n+1\)项与第\(n\)项的差为数列\(\{a_n\}\)在\(n\)处的一阶向前差分（简称一阶差分），记作\(\Delta a_n\)，即：

\[\boldsymbol{\Delta a_n = a_{n+1} - a_n \quad (n\in N^*)} \]

核心意义

• 一阶差分的符号决定数列的单调性：
  \(\Delta a_n > 0 \implies \{a_n\}\) 严格递增；\(\Delta a_n < 0 \implies \{a_n\}\) 严格递减；\(\Delta a_n = 0 \implies \{a_n\}\) 为常数列。
• 等差数列的本质：一阶差分为常数，即\(\Delta a_n = d\)（公差），这是等差数列的差分定义。

1.2 高阶差分

一阶差分的差分称为二阶差分，以此类推可定义\(k\)阶差分。

二阶差分定义

\[\boldsymbol{\Delta^2 a_n = \Delta(\Delta a_n) = \Delta a_{n+1} - \Delta a_n} \]

展开后可直接用数列项表示：

\[\Delta^2 a_n = (a_{n+2}-a_{n+1}) - (a_{n+1}-a_n) = a_{n+2} - 2a_{n+1} + a_n \]

高阶差分递推定义

\(k\)阶差分：\(\boldsymbol{\Delta^k a_n = \Delta(\Delta^{k-1} a_n)}\)，可展开为数列项的线性组合。

核心意义

二阶差分的符号决定数列的凹凸性：
\(\Delta^2 a_n > 0 \implies \{a_n\}\) 下凸（增长越来越快）；\(\Delta^2 a_n < 0 \implies \{a_n\}\) 上凸（增长越来越慢）。

1.3 差分的线性运算性质

设\(\{a_n\},\{b_n\}\)为数列，\(C_1,C_2\)为常数，则：

1. \(\Delta(C_1 a_n + C_2 b_n) = C_1 \Delta a_n + C_2 \Delta b_n\)（线性性质，核心）
2. \(\Delta(a_n b_n) = a_{n+1}\Delta b_n + b_n \Delta a_n\)（乘积差分，类比导数乘积法则）
3. \(\Delta(C) = 0\)（常数的差分为0）

2 差分方程的基本概念

2.1 差分方程的定义

含有未知数列\(\{a_n\}\)的差分的方程，称为差分方程；等价地，含有未知数列不同下标项的递推方程，也称为差分方程。

两种等价形式（核心等价性）

1. 差分形式：\(\Delta^k a_n = F(n, a_n, \Delta a_n, ..., \Delta^{k-1} a_n)\)
2. 递推形式（更常用）：\(a_{n+k} = G(n, a_n, a_{n+1}, ..., a_{n+k-1})\)

例：\(\Delta a_n = 2a_n\) 等价于 \(a_{n+1} - a_n = 2a_n\)，即 \(a_{n+1}=3a_n\)，这就是我们熟悉的等比数列递推公式。
结论：所有数列的递推公式，本质上都是差分方程；数列通项的求解，就是差分方程的求解。

2.2 差分方程的阶

差分方程中，未知数列的最大下标与最小下标之差，称为差分方程的阶数；等价地，最高阶差分的阶数就是方程的阶数。

• 例1：\(a_{n+1} - 2a_n = n\)，最大下标\(n+1\)，最小下标\(n\)，差为1，是一阶差分方程
• 例2：\(a_{n+2} - 3a_{n+1} + 2a_n = 0\)，下标差为2，是二阶差分方程
• 例3：\(\Delta^2 a_n + \Delta a_n = 0\)，最高阶差分是二阶，等价于\(a_{n+2} - a_{n+1} = 0\)，是二阶差分方程

2.3 线性差分方程（核心研究对象）

一般形式

\(k\)阶线性差分方程的标准形式：

\[\boldsymbol{a_{n+k} + p_1(n)a_{n+k-1} + p_2(n)a_{n+k-2} + ... + p_k(n)a_n = f(n)} \]

其中\(p_1(n),p_2(n),...,p_k(n)\)为已知系数，\(f(n)\)为已知数列（自由项）。

分类

1. 齐次线性差分方程：自由项\(f(n) \equiv 0\)，即方程右边为0；
2. 非齐次线性差分方程：自由项\(f(n) \not\equiv 0\)；
3. 常系数线性差分方程：系数\(p_1(n),...,p_k(n)\)均为与\(n\)无关的常数，是应用最广、解法最成熟的类型，也是本文的核心。

2.4 差分方程的解、通解、特解、初始条件

1. 解：代入差分方程，使方程对所有\(n\in N^*\)恒成立的数列\(\{a_n\}\)，称为方程的解；
2. 通解：\(k\)阶差分方程的解中，含有\(k\)个独立的任意常数，称为通解；
3. 初始条件：确定通解中任意常数的条件，通常为\(a_0, a_1, ..., a_{k-1}\)（\(k\)阶方程需要\(k\)个初始条件）；
4. 特解：满足初始条件、不含任意常数的解，称为方程的特解。

2.5 线性差分方程的解的核心结构（与微分方程完全类比）

1. 齐次线性差分方程的解具有线性叠加性：若\(a_n^{(1)},a_n^{(2)}\)是齐次方程的解，则\(C_1 a_n^{(1)} + C_2 a_n^{(2)}\)也是齐次方程的解（\(C_1,C_2\)为任意常数）；
2. 非齐次线性差分方程的通解 = 对应齐次方程的通解 + 非齐次方程的一个特解。

3 差分方程与数列的本质联系（衔接高中数列知识）

我们高中学习的所有核心数列，都是常系数线性差分方程的特例，完美对应：

数列类型	递推公式	对应差分方程	差分方程类型
常数列	\(a_{n+1}=a_n\)	\(\Delta a_n=0\)	一阶常系数齐次线性差分方程
等差数列	\(a_{n+1}=a_n+d\)	\(\Delta a_n=d\)	一阶常系数非齐次线性差分方程
等比数列	\(a_{n+1}=q a_n\)	\(\Delta a_n=(q-1)a_n\)	一阶常系数齐次线性差分方程
线性递推数列	\(a_{n+1}=p a_n + q\)	\(\Delta a_n=(p-1)a_n + q\)	一阶常系数非齐次线性差分方程
斐波那契数列	\(a_{n+2}=a_{n+1}+a_n\)	\(\Delta^2 a_n = a_n - \Delta a_n\)	二阶常系数齐次线性差分方程

核心结论：高中数列的递推求通项、求和、性质分析，本质上都是差分方程的求解与应用。

---

4 常系数线性差分方程的完整解法（核心考点）

4.1 一阶常系数线性差分方程

标准形式

\[\boldsymbol{a_{n+1} - p a_n = f(n)} \]

其中\(p\)为非零常数，\(f(n)\)为已知数列。

1. 齐次情形（\(f(n)=0\)）

方程：\(a_{n+1} = p a_n\)，这就是等比数列的递推公式。
通解公式：

\[\boldsymbol{a_n = C \cdot p^n} \]

其中\(C\)为任意常数，由初始条件确定：若\(n=0\)时\(a_0=C\)，则\(a_n=a_0 p^n\)；若\(n=1\)时\(a_1=Cp\)，则\(a_n=a_1 p^{n-1}\)。

2. 非齐次情形（\(f(n)≠0\)）

通解结构：\(\boldsymbol{a_n = 齐次通解 + 非齐次一个特解}\)，核心是用待定系数法求特解，根据\(f(n)\)的常见类型分3种情况：

类型1：\(f(n) = q\)（常数，高中最核心考点）

方程：\(a_{n+1} = p a_n + q\)

• 当\(\boldsymbol{p≠1}\)时：设特解为常数\(A\)，代入方程得\(A = pA + q\)，解得\(\boldsymbol{A=\frac{q}{1-p}}\)
  通解：\(\boldsymbol{a_n = C p^n + \frac{q}{1-p}}\)
• 当\(\boldsymbol{p=1}\)时：方程退化为等差数列\(a_{n+1}=a_n+q\)，通解：\(\boldsymbol{a_n = C + q n}\)

类型2：\(f(n) = \lambda^n \cdot P_m(n)\)（指数×多项式，高考高频）

其中\(\lambda\)为非零常数，\(P_m(n)\)是关于\(n\)的\(m\)次多项式（如常数、一次函数、二次函数）。
特解设定规则：
设特解为 \(\boldsymbol{a_n^* = \lambda^n \cdot n^k \cdot Q_m(n)}\)，其中：

• \(Q_m(n)\)是与\(P_m(n)\)同次的待定多项式；
• \(k\)是\(\lambda\)作为齐次方程特征根的重数：\(\lambda≠p\)时\(k=0\)，\(\lambda=p\)时\(k=1\)。

类型3：\(f(n) = M\cos\omega n + N\sin\omega n\)（三角函数型）

其中\(M,N,\omega\)为常数，特解设为：
\(\boldsymbol{a_n^* = n^k (A\cos\omega n + B\sin\omega n)}\)
\(k\)是\(e^{\pm i\omega}\)作为特征根的重数，非特征根时\(k=0\)，特征根时\(k=1\)，\(A,B\)为待定系数。

4.2 二阶常系数线性齐次差分方程

标准形式

\[\boldsymbol{a_{n+2} + p a_{n+1} + q a_n = 0} \]

其中\(p,q\)为常数，且\(q≠0\)（\(q=0\)退化为一阶方程）。

核心解法：特征方程法

1. 写出特征方程：将递推式中的\(a_{n+k}\)替换为\(r^k\)，得：
   \[\boldsymbol{r^2 + p r + q = 0} \]

2. 求解特征方程的两个根\(r_1,r_2\)（特征根）；
3. 根据特征根的3种情况，直接写出通解，如下表：

特征根情况	通解公式
两个不相等的实根 \(r_1≠r_2\)	\(\boldsymbol{a_n = C_1 r_1^n + C_2 r_2^n}\)
两个相等的实根 \(r_1=r_2=r\)	\(\boldsymbol{a_n = (C_1 + C_2 n) r^n}\)
一对共轭复根 \(r_{1,2}=\rho(\cos\theta \pm i\sin\theta)\)	\(\boldsymbol{a_n = \rho^n (C_1 \cos n\theta + C_2 \sin n\theta)}\)

其中\(C_1,C_2\)为独立的任意常数，由初始条件确定。

4.3 二阶常系数线性非齐次差分方程

标准形式

\[\boldsymbol{a_{n+2} + p a_{n+1} + q a_n = f(n)} \]

通解结构

\(\boldsymbol{a_n = 对应齐次方程的通解 + 非齐次方程的一个特解}\)

特解求法：待定系数法

核心规则与一阶方程一致，根据\(f(n)\)的类型设定特解，重点掌握2种高频类型：

类型1：\(f(n) = P_m(n)\)（\(m\)次多项式）

特解设定：\(\boldsymbol{a_n^* = n^k Q_m(n)}\)

• \(Q_m(n)\)是与\(P_m(n)\)同次的待定多项式；
• \(k\)是\(1\)作为特征根的重数：\(1\)不是特征根\(k=0\)，单根\(k=1\)，二重根\(k=2\)。

类型2：\(f(n) = \lambda^n P_m(n)\)（指数×多项式）

特解设定：\(\boldsymbol{a_n^* = \lambda^n n^k Q_m(n)}\)

• \(Q_m(n)\)是与\(P_m(n)\)同次的待定多项式；
• \(k\)是\(\lambda\)作为特征根的重数：非特征根\(k=0\)，单根\(k=1\)，二重根\(k=2\)。

4.4 高阶常系数线性差分方程（推广）

\(k\)阶常系数线性齐次差分方程的标准形式：

\[a_{n+k} + p_1 a_{n+k-1} + ... + p_k a_n = 0 \]

特征方程：\(r^k + p_1 r^{k-1} + ... + p_k = 0\)
通解由特征根的情况组合而成：单实根对应\(C r^n\)，\(m\)重实根对应\((C_1+C_2 n+...+C_m n^{m-1})r^n\)，共轭复根对应三角函数形式，与二阶方程逻辑完全一致。

5 高频易错点专项警示

1. 特征方程系数写错：二阶方程\(a_{n+2}-3a_{n+1}+2a_n=0\)的特征方程是\(r^2-3r+2=0\)，需严格对应递推式的系数，符号不可出错；
2. 特解的\(k\)值判断错误：当\(\lambda\)是齐次方程的特征根时，必须在特解中乘\(n^k\)，否则代入方程会矛盾；
3. 忽略\(p=1\)的特殊情况：一阶方程\(a_{n+1}=pa_n+q\)，\(p=1\)时是等差数列，不能套用\(p≠1\)的通解公式；
4. 差分方程的阶数判断错误：阶数是最大下标与最小下标之差，如\(a_{n+3}-a_{n+2}=0\)是一阶方程，不是三阶；
5. 初始条件代入错误：\(k\)阶方程需要\(k\)个初始条件，通解中的常数需全部代入初始条件求解，不可遗漏。

6 分梯度典型例题（含详细解答+解题通法）

题型一 差分的基础计算

例题1

已知数列\(a_n = n^2 + 2n\)，求一阶差分\(\Delta a_n\)和二阶差分\(\Delta^2 a_n\)。

解：
根据一阶差分定义：

\[\Delta a_n = a_{n+1} - a_n = [(n+1)^2 + 2(n+1)] - (n^2 + 2n) = 2n + 3 \]

二阶差分是一阶差分的差分：

\[\Delta^2 a_n = \Delta(\Delta a_n) = \Delta(2n+3) = [2(n+1)+3] - (2n+3) = 2 \]

结论：二次多项式的一阶差分是一次多项式，二阶差分是常数，对应连续函数的二阶导数为常数。

题型二 一阶常系数齐次差分方程（等比数列）

例题2

求解差分方程\(a_{n+1} - 2a_n = 0\)，初始条件\(a_1=3\)。

解：
这是一阶齐次差分方程，特征根\(p=2\)，齐次通解为：

\[a_n = C \cdot 2^n \]

代入初始条件\(n=1\)时\(a_1=3\)，得\(3 = C \cdot 2^1\)，解得\(C=\frac{3}{2}\)
因此特解为：

\[a_n = \frac{3}{2} \cdot 2^n = 3 \cdot 2^{n-1} \]

这就是首项为3、公比为2的等比数列通项。

题型三 一阶常系数非齐次差分方程（高中核心递推）

例题3

求解差分方程\(a_{n+1} = 2a_n + 3\)，初始条件\(a_0=1\)。

解：
步骤1：求齐次通解
齐次方程\(a_{n+1}=2a_n\)，通解为\(a_n = C \cdot 2^n\)

步骤2：求非齐次特解
\(f(n)=3\)是常数，\(p=2≠1\)，设特解为常数\(A\)，代入方程：

\[A = 2A + 3 \implies A=-3 \]

步骤3：写通解
通解为齐次通解+特解：

\[a_n = C \cdot 2^n - 3 \]

步骤4：代入初始条件求常数
\(n=0\)时\(a_0=1\)，代入得\(1 = C \cdot 2^0 - 3 \implies C=4\)

最终特解：

\[a_n = 4 \cdot 2^n - 3 = 2^{n+2} - 3 \]

解题通法：这就是高中最常见的\(a_{n+1}=pa_n+q\)型递推，用差分方程的待定系数法，比构造等比数列更直接。

例题4

求解差分方程\(a_{n+1} - 3a_n = 2^n \cdot n\)，初始条件\(a_0=1\)。

解：
步骤1：求齐次通解
齐次方程\(a_{n+1}=3a_n\)，通解为\(a_n = C \cdot 3^n\)

步骤2：求非齐次特解
\(f(n)=n \cdot 2^n\)，属于\(\lambda^n P_m(n)\)型，\(\lambda=2\)，\(P_m(n)=n\)是一次多项式。
\(\lambda=2≠3\)（非特征根），\(k=0\)，设特解为：

\[a_n^* = 2^n (An + B) \]

代入原方程：

\[2^{n+1}[A(n+1)+B] - 3 \cdot 2^n (An + B) = n \cdot 2^n \]

两边除以\(2^n\)，整理得：

\[(-A)n + (2A - B) = n \]

比较系数：

\[\begin{cases} -A = 1 \\ 2A - B = 0 \end{cases} \implies A=-1, B=-2 \]

因此特解为\(a_n^* = 2^n (-n -2)\)

步骤3：写通解

\[a_n = C \cdot 3^n - (n+2)2^n \]

步骤4：代入初始条件
\(n=0\)时\(a_0=1\)，得\(1 = C - 2 \implies C=3\)

最终特解：

\[a_n = 3^{n+1} - (n+2)2^n \]

题型四 二阶常系数齐次差分方程（经典斐波那契数列）

例题5

求解斐波那契数列的差分方程\(a_{n+2}=a_{n+1}+a_n\)，初始条件\(a_0=0, a_1=1\)。

解：
步骤1：标准化方程，写特征方程
方程化为\(a_{n+2} - a_{n+1} - a_n = 0\)，特征方程为：

\[r^2 - r - 1 = 0 \]

步骤2：求特征根
解得两个不相等的实根：

\[r_1 = \frac{1+\sqrt{5}}{2}, \quad r_2 = \frac{1-\sqrt{5}}{2} \]

步骤3：写齐次通解

\[a_n = C_1 \left(\frac{1+\sqrt{5}}{2}\right)^n + C_2 \left(\frac{1-\sqrt{5}}{2}\right)^n \]

步骤4：代入初始条件求常数
代入\(a_0=0\)：\(C_1 + C_2 = 0\)
代入\(a_1=1\)：\(C_1 \cdot \frac{1+\sqrt{5}}{2} + C_2 \cdot \frac{1-\sqrt{5}}{2} = 1\)
联立解得：\(C_1 = \frac{1}{\sqrt{5}}, \quad C_2 = -\frac{1}{\sqrt{5}}\)

最终通项公式（比内公式）：

\[a_n = \frac{1}{\sqrt{5}} \left[ \left(\frac{1+\sqrt{5}}{2}\right)^n - \left(\frac{1-\sqrt{5}}{2}\right)^n \right] \]

例题6

求解差分方程\(a_{n+2} - 4a_{n+1} + 4a_n = 0\)，初始条件\(a_0=1, a_1=3\)。

解：
特征方程：\(r^2 -4r +4=0\)，解得二重实根\(r=2\)
通解为：\(a_n = (C_1 + C_2 n) 2^n\)
代入初始条件：
\(a_0=1\)：\(C_1=1\)
\(a_1=3\)：\((1 + C_2) \cdot 2 = 3 \implies C_2=\frac{1}{2}\)
最终特解：

\[a_n = \left(1 + \frac{1}{2}n\right) 2^n = (n+2)2^{n-1} \]

题型五 二阶常系数非齐次差分方程

例题7

求解差分方程\(a_{n+2} - 3a_{n+1} + 2a_n = 3n\)，初始条件\(a_0=0, a_1=1\)。

解：
步骤1：求齐次通解
齐次方程特征方程：\(r^2-3r+2=0\)，解得\(r_1=1, r_2=2\)
齐次通解：\(a_n = C_1 \cdot 1^n + C_2 \cdot 2^n = C_1 + C_2 2^n\)

步骤2：求非齐次特解
\(f(n)=3n\)是一次多项式，\(\lambda=1\)是齐次方程的单特征根，因此\(k=1\)，设特解为：

\[a_n^* = n(An + B) = An^2 + Bn \]

代入原方程：

\[A(n+2)^2 + B(n+2) - 3[A(n+1)^2 + B(n+1)] + 2(An^2 + Bn) = 3n \]

展开整理得：

\[-2An + (A - B) = 3n \]

比较系数：

\[\begin{cases} -2A = 3 \\ A - B = 0 \end{cases} \implies A=B=-\frac{3}{2} \]

特解为：\(a_n^* = -\frac{3}{2}n^2 - \frac{3}{2}n\)

步骤3：写通解

\[a_n = C_1 + C_2 2^n - \frac{3}{2}n(n+1) \]

步骤4：代入初始条件
\(a_0=0\)：\(C_1 + C_2 = 0\)
\(a_1=1\)：\(C_1 + 2C_2 - 3 = 1\)
联立解得：\(C_1=-4, C_2=4\)

最终特解：

\[a_n = 4 \cdot 2^n - 4 - \frac{3}{2}n(n+1) = 2^{n+2} - \frac{3n^2+3n+8}{2} \]

题型六 差分方程的实际应用（经济金融场景）

例题8（等额本息房贷模型）

某人向银行贷款\(P\)万元买房，贷款年利率为\(r\)，分\(N\)个月等额本息还款，每月还款额为\(x\)万元，建立差分方程并求每月还款额\(x\)。

解：
步骤1：建立差分方程
设第\(n\)个月月末的欠款余额为\(a_n\)万元，月利率为\(\frac{r}{12}\)，则：
第\(n+1\)个月的欠款 = 第\(n\)个月的欠款 + 当月利息 - 当月还款
即差分方程：

\[a_{n+1} = a_n \left(1+\frac{r}{12}\right) - x \]

初始条件：\(a_0=P\)（初始贷款本金），边界条件：\(a_N=0\)（\(N\)个月后还清欠款）

步骤2：求解差分方程
这是一阶常系数非齐次差分方程，\(p=1+\frac{r}{12}≠1\)，齐次通解为\(a_n = C \left(1+\frac{r}{12}\right)^n\)
设特解为常数\(A\)，代入得\(A = A\left(1+\frac{r}{12}\right) - x \implies A = \frac{12x}{r}\)
通解为：

\[a_n = C \left(1+\frac{r}{12}\right)^n + \frac{12x}{r} \]

步骤3：代入初始条件和边界条件
代入\(a_0=P\)：\(P = C + \frac{12x}{r} \implies C = P - \frac{12x}{r}\)
因此欠款余额公式：

\[a_n = \left(P - \frac{12x}{r}\right) \left(1+\frac{r}{12}\right)^n + \frac{12x}{r} \]

代入\(a_N=0\)：

\[0 = \left(P - \frac{12x}{r}\right) \left(1+\frac{r}{12}\right)^N + \frac{12x}{r} \]

解得每月还款额：

\[x = P \cdot \frac{\frac{r}{12} \left(1+\frac{r}{12}\right)^N}{\left(1+\frac{r}{12}\right)^N - 1} \]

题型七 差分方程分析数列的性质

例题9

已知数列\(\{a_n\}\)满足\(a_{n+1} = \frac{1}{2}a_n + 1\)，\(a_1=3\)，用差分方程分析数列的单调性、有界性和极限。

解：
步骤1：求数列通项
差分方程通解：\(a_n = C \cdot \left(\frac{1}{2}\right)^n + 2\)
代入\(a_1=3\)，得\(3 = \frac{C}{2} + 2 \implies C=2\)
通项：\(a_n = 2 \cdot \left(\frac{1}{2}\right)^n + 2 = \left(\frac{1}{2}\right)^{n-1} + 2\)

步骤2：分析单调性
一阶差分：\(\Delta a_n = a_{n+1} - a_n = \left(\frac{1}{2}\right)^n + 2 - \left[\left(\frac{1}{2}\right)^{n-1} + 2\right] = -\left(\frac{1}{2}\right)^n < 0\)
因此\(\{a_n\}\)严格递减。

步骤3：分析有界性
\(a_n = 2 + \left(\frac{1}{2}\right)^{n-1} > 2\)，且\(a_1=3\)，因此\(2 < a_n ≤ 3\)，数列有界。

步骤4：求极限
\(\lim\limits_{n \to \infty} a_n = \lim\limits_{n \to \infty} \left[2 + \left(\frac{1}{2}\right)^{n-1}\right] = 2\)，极限为2。