## 第四章 数列

对数列的研究源于现实生产、生活的需要。例如，一棵树在某一时刻的高度是2m，如果在每年的同一时刻都记录下这棵树的高度，并按先后顺序排列起来，就得到一列数，人们常用这样的一列数有序地表达一类事物，或者记录一个过程，像这样按照确定的顺序排列的一列数称为数列。如果用正整数表示事物发展过程的先后顺序，并且把这样的正整数看作自变量的取值，把事物的对应数值看作相应的函数值，那么数列就是定义在正整数集（或正整数集的有限子集）上的一类离散函数，数列无论在理论研究还是在实际应用中都非常重要。

本章我们将学习数列的概念和表示方法，并研究两类特殊的数列——等差数列和等比数列，探索它们的取值规律，建立它们的通项公式、前$n$项和公式，并应用它们解决一些问题。我们将把数列看成一类特殊的函数，并用函数的思想方法研究数列。我们还将学习数学归纳法，这是一种证明与正整数有关的数学命题的特殊方法，在本章的学习中，我们可以体验通过数学抽象获得一个数学对象，并通过数学运算、逻辑推理等进行研究的过程和方法；通过建立数学模型刻画具有递推规律的事物，提高解决实际问题的能力。

[图片描述:图片展示了阳光明媚的海滩风光。远处是湛蓝的大海，海浪拍打着海岸，激起白色浪花。近处的沙滩上，有通过点和线连接而成的几何图形，包括三角形、正方形和六边形等，这些图案以递增的复杂度和大小排列，暗示了数列和规律的概念。背景中，一座白色的灯塔高耸在岩石小岛上，为海面增添了地标性的元素。整体画面营造出一种宁静而富有思考氛围的场景。|标题:海滩上的数学印记|图片编号:1]
<!--End Page6-->

<!--Begin Page7-->
## 4.1 数列的概念

在现实生活和数学学习中，我们经常需要根据问题的意义，通过对一些数据按特定顺序排列的方法来刻画研究对象，例如：

1.  王芳从1岁到17岁，每年生日那天测量身高。将这些身高数据(单位：cm)依次排成一列数：
    75, 87, 96, 103, 110, 116, 120, 128, 138,
    145, 153, 158, 160, 162, 163, 165, 168.
    [图片描述:一个垂直的条形图，展示了从1岁到17岁每年测量的身高数据。图中的数值从底部75厘米到顶部168厘米，共17个数据点，清晰地表示了身高随年龄增长的趋势。每个身高值都对应一个水平的刻度线和数字标签。|标题:王芳身高随年龄变化的示意图|图片1]
    记王芳第$i$岁时的身高为$h_i$，那么$h_1=75, h_2=87, \dots, h_{17}=168$。我们发现，$h_i$中的$i$反映了身高按岁数从1到17的顺序排列时的确定位置，即$h_1=75$是排在第1位的数，$h_2=87$是排在第2位的数，$\dots, h_{17}=168$是排在第17位的数，它们之间不能交换位置。所以，①是具有确定顺序的一列数。

2.  在两河流域发掘的一块泥版(编号K90, 约产生于公元前7世纪)上，有一列依次表示15天中从第1天到第15天每天月亮可见部分的数：
    5, 10, 20, 40, 80, 96, 112, 128,
    144, 160, 176, 192, 208, 224, 240. ②
    [图片描述:一组共15张月相图片，从左上角开始编号为1至15。图片展示了月亮从新月（弯月）逐渐变化为满月的不同阶段，每张图代表一天。清晰地描绘了月亮可见部分的递增过程。|标题:两河流域泥版记录的月相变化图|图片2]
    > ● 把满月分成240份，则从初一到十五每天月亮的可见部分可用一个代表份数的数来表示。

    记第$i$天月亮可见部分的数为$s_i$，那么$s_1=5, s_2=10, \dots, s_{15}=240$。这里，$s_i$中的$i$反映了月亮可见部分的数按日期从1到15的顺序排列时的确定位置，即$s_1=5$是排在第1位的数，$s_2=10$是排在第2位的数，$\dots, s_{15}=240$是排在第15位的数，它们之间不能交换位置。所以，②也是具有确定顺序的一列数。

3.  $\frac{1}{2}$的$n$次幂按1次幂、2次幂、3次幂、4次幂$\dots$依次排成一列数：
    $\frac{1}{2}, \frac{1}{4}, \frac{1}{8}, \frac{1}{16}, \dots$ ③

> **? 思考**
> 你能仿照上面的叙述，说明③也是具有确定顺序的一列数吗？
<!--End Page7-->

<!--Begin Page8-->
## 归纳

上述例子的共同特征是什么?

一般地,我们把按照确定的顺序排列的一列数称为**数列** (sequence of number), 数列中的每一个数叫做这个数列的**项**。数列的第一个位置上的数叫做这个数列的第 $1$ 项, 常用符号 $a_1$ 表示; 第二个位置上的数叫做这个数列的第 $2$ 项, 用 $a_2$ 表示; $\dots$ 第 $n$ 个位置上的数叫做这个数列的第 $n$ 项, 用 $a_n$ 表示。其中第 $1$ 项也叫做**首项**。①是按年龄从小到大的顺序排列的, ②是按每月的日期从小到大的顺序排列的, ③是按幂指数从小到大的顺序排列的, 它们都是从第 $1$ 项开始的。

> 项数有限的数列叫做有穷数列, 项数无限的数列叫做无穷数列。

数列的一般形式是
$a_1, a_2, \dots, a_n, \dots$
简记为 $\{a_n\}$。

由于数列 $\{a_n\}$ 中的每一项 $a_n$ 与它的序号 $n$ 有下面的对应关系:

序号   $1$      $2$      $3$   $\dots$   $n$   $\dots$
$\quad \downarrow$ $\quad \downarrow$ $\quad \downarrow$ $\quad$         $\quad \downarrow$
项     $a_1$    $a_2$    $a_3$   $\dots$   $a_n$   $\dots$

所以数列 $\{a_n\}$ 是从正整数集 $\mathbf{N}^*$ (或它的有限子集 $\{1, 2, \dots, n\}$) 到实数集 $\mathbf{R}$ 的函数, 其自变量是序号 $n$, 对应的函数值是数列的第 $n$ 项 $a_n$, 记为 $a_n = f(n)$。也就是说, 当自变量从 $1$ 开始, 按照从小到大的顺序依次取值时, 对应的一列函数值 $f(1), f(2), \dots, f(n), \dots$ 就是数列 $\{a_n\}$。另一方面, 对于函数 $y=f(x)$, 如果 $f(n) \quad (n \in \mathbf{N}^*)$ 有意义, 那么
$f(1), f(2), \dots, f(n), \dots$
构成了一个数列 $\{f(n)\}$。

> 以前我们学过的函数的自变量通常是连续变化的, 而数列是自变量为离散的数的函数。

与其他函数一样, 数列也可以用表格和图象来表示。例如, 数列①可以表示为表 4.1-1。

**表 4.1-1**

| $n$   | $1$ | $2$ | $3$ | $4$ | $5$ | $6$ | $7$ | $8$ | $9$ | $10$ | $11$ | $12$ | $13$ | $14$ | $15$ | $16$ | $17$ |
| ----- | --- | --- | --- | --- | --- | --- | --- | --- | --- | ---- | ---- | ---- | ---- | ---- | ---- | ---- | ---- |
| $a_n$ | $75$ | $87$ | $96$ | $103$ | $110$ | $116$ | $120$ | $128$ | $138$ | $145$ | $153$ | $158$ | $160$ | $162$ | $163$ | $165$ | $168$ |

它的图象如图 4.1-1 所示。
<!--End Page8-->

<!--Begin Page9-->
> **?** 从表4.1-1和图4.1-1中，你能发现数列①中的项随序号的变化呈现出的特点吗？

[图片描述:一个数列的折线图，展示了项 $a_n$ 随序号 $n$ 变化的趋势。横轴 $n$ 从 0 到 18，表示数列的项数；纵轴 $a_n$ 从 0 到 180，表示数列的项值。图中的点（例如 (1, 70), (2, 85), ..., (18, 168)）清晰地显示了数列项随 $n$ 增加而递增的趋势，增长速度逐渐放缓。|标题:图4.1-1|图片编号:1]

与函数类似，我们可以定义数列的单调性。从第2项起，每一项都大于它的前一项的数列叫做递增数列；从第2项起，每一项都小于它的前一项的数列叫做递减数列。特别地，各项都相等的数列叫做常数列。

如果数列{$a_n$}的第$n$项$a_n$与它的序号$n$之间的对应关系可以用一个式子来表示，那么这个式子叫做这个数列的**通项公式**。例如，数列③的通项公式为$a_n = (-\frac{1}{2})^n$。显然，通项公式就是数列的函数解析式，根据通项公式可以写出数列的各项。

**例1** 根据下列数列{$a_n$}的通项公式，写出数列的前5项，并画出它们的图象。
(1) $a_n = \frac{n^2+n}{2}$; (2) $a_n = \cos\frac{(n-1)\pi}{2}$

**解：**(1) 当通项公式中的$n=1,2,3,4,5$时，数列{$a_n$}的前5项依次为
1, 3, 6, 10, 15.
图象如图4.1-2(1)所示。

[图片描述:一个散点图，展示了数列 $a_n = \frac{n^2+n}{2}$ 的前5项。横轴 $n$ 表示项数，从 0 到 5；纵轴 $a_n$ 表示项值，从 0 到 15。图中的点包括 (1, 1), (2, 3), (3, 6), (4, 10), (5, 15)，这些点清晰地描绘了数列项随 $n$ 增加而递增的趋势，并且增长速度在加快。|标题:图4.1-2(1)|图片编号:2]

(2) 当通项公式中的$n=1,2,3,4,5$时，数列{$a_n$}的前5项依次为
1, 0, -1, 0, 1.
图象如图4.1-2(2)所示。

[图片描述:一个散点图，展示了数列 $a_n = \cos\frac{(n-1)\pi}{2}$ 的前5项。横轴 $n$ 表示项数，从 0 到 5；纵轴 $a_n$ 表示项值，从 -2 到 2。图中的点包括 (1, 1), (2, 0), (3, -1), (4, 0), (5, 1)，这些点描绘了数列项在 1, 0, -1 之间周期性波动的趋势。|标题:图4.1-2(2)|图片编号:3]

图 4.1-2
<!--End Page9-->

<!--Begin Page10-->
**例2** 根据下列数列的前4项,写出数列的一个通项公式:

(1) $1, -\frac{1}{2}, \frac{1}{3}, -\frac{1}{4}, \dots;$
(2) $2, 0, 2, 0, \dots.$

**解:**
(1) 这个数列的前4项的绝对值都是序号的倒数,并且奇数项为正,偶数项为负,所以它的一个通项公式为
$$a_n = \frac{(-1)^{n+1}}{n}$$

> **提示**
> $(-1)^n$ 或 $(-1)^{n+1}$ 常常用来表示正负相间的变化规律。

(2) 这个数列前4项的奇数项是2, 偶数项是0, 所以它的一个通项公式为
$$a_n = (-1)^{n+1} + 1.$$

---

**练习**

1. 写出下列数列的前10项,并作出它们的图象:
   (1) 所有正整数的倒数按从大到小的顺序排列成的数列;
   (2) 当自变量 $x$ 依次取 $1, 2, 3, \dots$ 时, 函数 $f(x)=2x+1$ 的值构成的数列;
   (3) 数列的通项公式为 $a_n = \begin{cases} 2, & n \text{为奇数}, \\ n+1, & n \text{为偶数}. \end{cases}$

2. 根据数列$\{a_n\}$的通项公式填表:

| n | 1 | 2 | ... | 5 | ... | | ... | | ... | n (通项) |
|---|---|---|---|---|---|---|---|---|---|---|
| $a_n$ | | | ... | | 153 | ... | 273 | ... | $3(3+4n)$ |

3. 除数函数 (divisor function) $y=d(n)(n \in \mathbf{N}^*)$ 的函数值等于 $n$ 的正因数的个数, 例如, $d(1)=1, d(4)=3$. 写出数列 $d(1), d(2), \dots, d(n), \dots$ 的前10项.

4. 根据下列数列的前5项,写出数列的一个通项公式:
   (1) $1, \frac{1}{3}, \frac{1}{5}, \frac{1}{7}, \frac{1}{9}, \dots;$
   (2) $1, \frac{\sqrt{2}}{2}, \frac{1}{2}, \frac{\sqrt{2}}{4}, \frac{1}{4}, \dots.$

---

**例3** 如果数列$\{a_n\}$的通项公式为 $a_n=n^2+2n$, 那么120是不是这个数列的项? 如果是,是第几项?

**分析:** 要判断120是不是数列$\{a_n\}$中的项, 就是要回答是否存在正整数 $n$, 使得 $n^2+2n=120$. 也就是判断上述关于 $n$ 的方程是否有正整数解.
<!--End Page10-->

<!--Begin Page11-->
解: 令 $n^2+2n=120$,
解这个关于 $n$ 的方程, 得
$n=-12$ (舍去), 或 $n=10$.
所以, $120$ 是数列 $\{a_n\}$ 的项, 是第 $10$ 项.

**例4** 图4.1-3 中的一系列三角形图案称为谢尔宾斯基三角形, 在图中4个大三角形中, 着色的三角形的个数依次构成一个数列的前4项, 写出这个数列的一个通项公式.

[图片描述: 该图片展示了谢尔宾斯基三角形演变的前四个阶段。
(1) 一个实心蓝色等边三角形。
(2) 在(1)的基础上，中心挖去一个倒置的白色等边三角形，形成3个着色三角形。
(3) 在(2)的基础上，每个着色三角形内部再次形成中心挖空的倒置白色三角形，形成9个着色三角形。
(4) 在(3)的基础上再次迭代，形成27个着色三角形，展示了分形几何的自相似性特征和迭代生成过程。|标题: 图4.1-3|图片编号: 图1]

解: 在图4.1-3(1)(2)(3)(4)中, 着色三角形的个数依次为
$1, 3, 9, 27,$
即所求数列的前4项都是3的指数幂, 指数为序号减1.
因此, 这个数列的一个通项公式是
$a_n=3^{n-1}$.

换个角度观察图4.1-3 中的4个图形, 可以发现, $a_1=1$, 且每个图形中的着色三角形都在下一个图形中分裂为3个着色小三角形和1个无色小三角形, 于是从第2个图形开始, 每个图形中着色三角形的个数都是前一个图形中着色三角形个数的3倍, 这样, 例4中的数列的前4项满足 $a_1=1, a_2=3a_1, a_3=3a_2, a_4=3a_3$. 由此猜测这个数列满足公式 $a_n=\begin{cases} 1, & n=1 \\ 3a_{n-1}, & n \ge 2 \end{cases}$.

> 当不能明显看出数列的项的取值规律时, 可以尝试通过运算来寻找规律, 如依次取出数列的某一项, 减去或除以它的前一项, 再对差或商加以观察.

像 $a_n=3a_{n-1}(n \ge 2)$ 这样, 如果一个数列的相邻两项或多项之间的关系可以用一个式子来表示, 那么这个式子叫做这个数列的**递推公式**. 知道了首项或前几项, 以及递推公式, 就能求出数列的每一项了.

**例5** 已知数列 $\{a_n\}$ 的首项为 $a_1=1$, 递推公式为 $a_n=1+\frac{1}{a_{n-1}}$ $(n \ge 2)$, 写出这个数列的前5项.
<!--End Page11-->

<!--Begin Page12-->
解:由题意可知
$a_1=1,$
$a_2=1+\frac{1}{a_1}=1+\frac{1}{1}=2,$
$a_3=1+\frac{1}{a_2}=1+\frac{1}{2}=\frac{3}{2},$
$a_4=1+\frac{1}{a_3}=1+\frac{2}{3}=\frac{5}{3},$
$a_5=1+\frac{1}{a_4}=1+\frac{3}{5}=\frac{8}{5}.$

在对数列的研究中，求数列某些项的和是主要问题之一。我们把数列$\left\{a_n\right\}$从第1项起到第$n$项止的各项之和，称为**数列$\left\{a_n\right\}$的前$n$项和**，记作$S_n$，即
$S_n=a_1+a_2+\dots+a_n.$
如果数列$\left\{a_n\right\}$的前$n$项和$S_n$与它的序号$n$之间的对应关系可以用一个式子来表示，那么这个式子叫做这个数列的前$n$项和公式。

> 探索数列的求和公式，曾是古代算学家非常感兴趣的问题。

显然$S_1=a_1$，而$S_{n-1}=a_1+a_2+\dots+a_{n-1} (n \geq 2),$
于是我们有
$a_n=
\begin{cases}
S_1, & n=1, \\
S_n-S_{n-1}, & n \geq 2.
\end{cases}$

> **? 思考**
>
> 已知数列$\left\{a_n\right\}$的前$n$项和公式为$S_n=n^2+n$，你能求出$\left\{a_n\right\}$的通项公式吗?

因为
$a_1=S_1=2,$
$a_n=S_n-S_{n-1}$
$=n^2+n-[(n-1)^2+(n-1)]$
$=n^2+n-[n^2-2n+1+n-1]$
$=n^2+n-[n^2-n]$
$=n^2+n-n^2+n$
$=2n (n \geq 2),$
并且当$n=1$时，$a_1=2 \times 1=2$依然成立。
所以$\left\{a_n\right\}$的通项公式是$a_n=2n.$
<!--End Page12-->

<!--Begin Page13-->
# 练习

1.  根据下面的图形及相应的点数，写出点数构成的数列的一个通项公式，并在横线上和括号中分别填上第 5 项的图形和点数。

    (1)
    [图片描述: 四个粉色点阵图，呈星形排列。第一个图有1个点，第二个图有5个点，第三个图有9个点，第四个图有13个点。该数列的点数呈等差数列，公差为4。|标题: 图1-1 星形点阵数列|图片编号: 1]

    第五项的图形应为由17个点组成的星形图案。
    通项公式：$a_n = 4n - 3$；第五项点数：(17)

    (2)
    [图片描述: 四个粉色点阵图，呈Y形排列。第一个图有1个点，第二个图有3个点，第三个图有6个点，第四个图有10个点。该数列的点数是三角数数列 $T_n = \frac{n(n+1)}{2}$。|标题: 图1-2 Y形点阵数列|图片编号: 2]

    第五项的图形应为由15个点组成的Y形图案。
    通项公式：$a_n = \frac{n(n+1)}{2}$；第五项点数：(15)

    (3)
    [图片描述: 四个粉色点阵图，呈矩形排列。第一个图有3个点，第二个图有6个点，第三个图有9个点，第四个图有12个点。该数列的点数是等差数列，公差为3。|标题: 图1-3 矩形点阵数列|图片编号: 3]

    第五项的图形应为由15个点组成的矩形图案。
    通项公式：$a_n = 3n$；第五项点数：(15)

    (第 1 题)

2.  根据下列条件，写出数列 $\{a_n\}$ 的前 5 项：
    (1) $a_1=1, a_n=a_{n-1}+2^{n-1} (n \ge 2)$；
    (2) $a_1=3, a_n=\frac{2}{3}a_{n-1}+1 (n \ge 2)$。

3.  已知数列 $\{a_n\}$ 满足 $a_1=2, a_n=2-\frac{1}{a_{n-1}} (n \ge 2)$，写出它的前 5 项，并猜想它的通项公式。

4.  已知数列 $\{a_n\}$ 的前 $n$ 项和公式为 $S_n=-2n^2$，求 $\{a_n\}$ 的通项公式。

---

## 习题 4.1

### 复习巩固

1.  写出下列数列的前 10 项，并作出它们的图象：
    (1) 素数按从小到大的顺序排列成的数列；
    (2) 欧拉函数 $\varphi(n) (n \in \mathbb{N}^*)$ 的函数值按自变量从小到大的顺序排列成的数列。

    > **欧拉函数 $\varphi(n) (n \in \mathbb{N}^*)$ 的函数值等于所有不超过正整数 $n$，且与 $n$ 互素的正整数的个数，例如，$\varphi(1)=1, \varphi(4)=2$。**

2.  根据下列条件，写出数列 $\{a_n\}$ 的前 5 项：
    (1) $a_n=\frac{1}{n^2}$；
    (2) $a_n=(-1)^{n+1}(n^2+1)$；
    (3) $a_1=\frac{1}{2}, a_n=4a_{n-1}+1 (n \ge 2)$；
    (4) $a_1=-\frac{1}{4}, a_n=1-\frac{1}{a_{n-1}} (n \ge 2)$。

3.  观察下列数列的特点，用适当的数填空，并写出数列的一个通项公式：
    (1) ( __ ) , $-4, 9$, ( __ ) , $25$, ( __ ) , $49, \dots$；
<!--End Page13-->

<!--Begin Page14-->
(2) ( ), $\frac{1}{3^2}$, ( ), $\frac{1}{7^2}$, $\frac{1}{9^2}$, ( ), $\frac{1}{13^2}$, ……
(3) 1, $\sqrt{2}$, ( ), 2, $\sqrt{5}$, ( ), $\sqrt{7}$, ……;
(4) $\frac{1}{2}$, $\frac{1}{6}$, ( ), $\frac{1}{20}$, $\frac{1}{30}$, ( ), ……

### 综合运用

4.已知数列$\{a_n\}$的第1项是1,第2项是2,以后各项由$a_n = a_{n-1} + a_{n-2}$ ($n>2$)给出。
(1)写出这个数列的前5项;
(2)利用数列$\{a_n\}$,通过公式$b_n = \frac{a_{n+1}}{a_n}$构造一个新的数列$\{b_n\}$,试写出数列$\{b_n\}$的前5项.

5.传说古希腊毕达哥拉斯学派的数学家用沙粒和小石子来研究数,他们根据沙粒或小石子所排列的形状把数分成许多类,如图中第一行的1, 3, 6, 10称为**三角形数**,第二行的1, 4, 9, 16称为**正方形数**,第三行的1, 5, 12, 22称为**五边形数**,请你分别写出三角形数、正方形数和五边形数所构成的数列的第5项和第6项.

[图片描述:图片展示了三种不同类型的多边形数（三角形数、正方形数、五边形数）的点阵排列。
**第一行（三角形数）**:
- 1个点（一个单独的点）
- 3个点（组成一个边长为2的三角形）
- 6个点（组成一个边长为3的三角形）
- 10个点（组成一个边长为4的三角形）
**第二行（正方形数）**:
- 1个点（1x1的正方形）
- 4个点（2x2的正方形）
- 9个点（3x3的正方形）
- 16个点（4x4的正方形）
**第三行（五边形数）**:
- 1个点（一个单独的点）
- 5个点（组成一个五边形）
- 12个点（组成一个包含嵌套结构的五边形）
- 22个点（组成一个包含多层嵌套结构的五边形）|标题:(第5题)|图片编号:1]

6.假设某银行的活期存款年利率为0.35%,某人存入10万元后,既不加进存款也不取款,每年到期利息连同本金自动转存,如果不考虑利息税及利率的变化,用$a_n$表示第$n$年到期时的存款余额,求$a_1$, $a_2$, $a_3$及$a_n$.

### 拓广探索

7.已知函数$f(x) = \frac{2^x - 1}{2^x}$ ($x \in \mathbb{R}$),设数列$\{a_n\}$的通项公式为$a_n = f(n)$ ($n \in \mathbb{N}^*$).
(1)求证$a_n \ge \frac{1}{2}$.
(2) $\{a_n\}$是递增数列还是递减数列?为什么?
<!--End Page14-->

<!--Begin Page15-->
## 📖 阅读与思考

### 斐波那契数列

1202年, 意大利数学家斐波那契 (Leonardo Fibonacci, 约 1170—约 1250) 出版了他的《算盘书》(*Liber Abaci*). 他在书中收录了一些有意思的问题, 其中有一个关于兔子繁殖的问题:

如果1对兔子每月能生1对小兔子 (一雄一雌), 而每1对小兔子在它出生后的第3个月里, 又能生1对小兔子, 假定在不发生死亡的情况下, 由1对初生的小兔子开始, 50个月后会有多少对兔子?

在第1个月时, 只有1对小兔子, 过了1个月, 那对兔子成熟了, 在第3个月时便生下1对小兔子, 这时有2对兔子. 再过1个月, 成熟的兔子再生1对小兔子, 而另1对小兔子长大, 有3对兔子. 如此推算下去, 我们可以得到一个表格:

| 时间/月 | 初生兔子/对 | 成熟兔子/对 | 兔子总数/对 |
| :------ | :---------- | :---------- | :---------- |
| 1       | 1           | 0           | 1           |
| 2       | 0           | 1           | 1           |
| 3       | 1           | 1           | 2           |
| 4       | 1           | 2           | 3           |
| 5       | 2           | 3           | 5           |
| 6       | 3           | 5           | 8           |
| 7       | 5           | 8           | 13          |
| 8       | 8           | 13          | 21          |
| 9       | 13          | 21          | 34          |
| 10      | 21          | 34          | 55          |
| 11      | 34          | 55          | 89          |
| 12      | 55          | 89          | 144         |
| ...     | ...         | ...         | ...         |

由此可知, 从第1个月开始, 每月末的兔子总对数是
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ……
你发现这个数列的规律了吗?

如果用 $F_n$ 表示第 $n$ 个月的兔子的总对数, 可以看出,
$F_n = F_{n-1} + F_{n-2} (n>2)$.
这是一个由递推公式给出的数列, 称为斐波那契数列.
<!--End Page15-->

<!--Begin Page16-->
斐波那契数列有很多有趣的性质。

例如，斐波那契数列满足等式 $F_1^2 + F_2^2 + \dots + F_n^2 = F_n F_{n+1}$，我们可以用图形（图1）来表示这个等式。图1中小正方形的边长分别为斐波那契数 $F_1=1, F_2=1, F_3=2, F_4=3, \dots$，面积分别为 $F_1^2, F_2^2, F_3^2, F_4^2, \dots$。前 $n$ ($n=2, 3, 4, \dots$) 个小正方形拼成的长方形的面积依次是两个斐波那契数的乘积 $F_2F_3, F_3F_4, F_4F_5, \dots$。

[图片描述:该图展示了斐波那契数列的几何表示，由一系列边长为斐波那契数的正方形（边长分别为1, 1, 2, 3, 5, 8）组成一个不断增大的矩形。从最小的方格中心开始，依次连接每个小正方形的四分之一圆弧，形成一个向外螺旋延伸的曲线，即“斐波那契螺旋”。矩形的两条边长标注为5和8，其中一个内部小正方形的边长标注为1，另一个内部方块的边长标注为2和3，表示了斐波那契数的增长规律。|标题:图1|图片编号:图1]

如图1所示，从内到外依次连接通过小正方形的四分之一圆弧，就得到了一条被称为“斐波那契螺旋”的弧线。如果我们在图1上不断增加边长是斐波那契数的正方形，那么“斐波那契螺旋”也将不断向外延伸，而且它的形状将越来越接近“黄金比例螺旋”。

更加有趣的是，人们在自然界中发现了许多斐波那契数列。例如，一棵树在第一年长出一条新枝，新枝成长一年后变为老枝，老枝每年都长出一条新枝，每一条树枝都按照这个规律成长，则每年的树枝总数正好构成了斐波那契数列。又如，图2中向日葵的管状小花排列成两组交错的螺旋，从内往外看，逆时针方向的螺旋有13条，顺时针方向的有21 条，恰为斐波那契数列的相邻两项。菠萝和松球的鳞片的排列也呈现出类似的规律。

[图片描述:一张向日葵花盘的特写照片，清晰地展示了花盘中心管状小花的排列模式。蓝色的点和线被叠加在花朵上，用来突出和追踪这些小花形成的螺旋线。可以观察到两种方向的螺旋，它们通常对应着斐波那契数列中的相邻数字，例如13条逆时针螺旋和21条顺时针螺旋。|标题:图2|图片编号:图2]

由于斐波那契数列的广泛应用性，美国成立了斐波那契协会，并于1963年创办《斐波那契季刊》，专门发表关于这个数列的研究论文。

有兴趣的同学可以通过浏览互联网或查阅相关书籍搜集资料，进一步了解和研究斐波那契数列。
<!--End Page16-->

<!--Begin Page17-->
## 4.2 等差数列

我们知道，数列是一种特殊的函数。在函数的研究中，我们在理解了函数的一般概念，了解了函数变化规律的研究内容（如单调性、奇偶性等）后，通过研究基本初等函数，不仅加深了对函数的理解，而且掌握了幂函数、指数函数、对数函数、三角函数等非常有用的函数模型。类似地，在了解了数列的一般概念后，我们要研究一些具有特殊变化规律的数列，建立它们的通项公式和前 $n$ 项和公式，并运用它们解决实际问题和数学问题，从中感受数学模型的现实意义与应用。下面，我们从一类取值规律比较简单的数列入手。

### 4.2.1 等差数列的概念

请看下面几个问题中的数列。

1.  北京天坛圜丘坛的地面由石板铺成，最中间是圆形的天心石，围绕天心石的是9圈扇环形的石板，从内到外各圈的石板数依次为
    9, 18, 27, 36, 45, 54, 63, 72, 81. ①

    [图片描述:北京天坛圜丘坛的圜丘台地面，由多圈扇环形石板铺成，最中央是圆形的天心石。图片展示了圜丘台开阔的石板广场，背景可见远处的建筑和树木，光线良好。|标题:北京天坛圜丘坛的石板|图片1]

2.  S, M, L, XL, XXL, XXXL 型号的女装上衣对应的尺码分别是
    38, 40, 42, 44, 46, 48. ②

3.  测量某地垂直地面方向上海拔500m以下的大气温度，得到从距离地面 20 m起每升高100 m处的大气温度（单位:℃）依次为
    25.0, 24.4, 23.8, 23.2, 22.6. ③

4.  某人向银行贷款 $a$ 万元，贷款时间为 $n$ 年。如果个人贷款月利率为 $r$，那么按照等额本金方式还款，他从某月开始，每月应还本金 $b(=\frac{a}{12n})$ 万元，每月支付给银行的利息（单位:万元）依次为
    $ar, ar-br, ar-2br, ar-3br, \dots$. ④

> 如果按月还款，等额本金还款方式的计算公式是
> 每月归还本金=贷款总额$\div$贷款期总月数,
> 利息部分=(贷款总额—已归还本金累计额)$\times$月利率.
<!--End Page17-->

<!--Begin Page18-->
## ? 思考

在代数的学习中，我们常常通过运算来发现规律。例如，在指数函数的学习中，我们通过运算发现了 $A, B$ 两地旅游人数的变化规律。类似地，你能通过运算发现以上数列的取值规律吗？

对于①，我们发现
$18=9+9, 27=18+9, \dots, 81=72+9,$
换一种写法，就是
$18-9=9, 27-18=9, \dots, 81-72=9.$
如果用$\{a_n\}$表示数列①，那么有
$a_2-a_1=9, a_3-a_2=9, \dots, a_9-a_8=9.$

> 改变表达方式使数列的取值规律更突出了。

这表明，数列①有这样的取值规律：从第2项起，每一项与它的前一项的差都等于同一个常数。数列②~④也有这样的取值规律。

一般地，如果一个数列从第2项起，每一项与它的前一项的差都等于同一个常数，那么这个数列就叫做**等差数列** (arithmetic progression)，这个常数叫做等差数列的**公差** (common difference)，公差通常用字母 $d$ 表示。例如，数列①的公差 $d=9$。
由三个数 $a, A, b$ 组成的等差数列可以看成是最简单的等差数列。这时，$A$ 叫做 $a$ 与 $b$ 的**等差中项** (arithmetic mean)。根据等差数列的定义可以知道，$2A=a+b$。

在日常生活中，人们常常用到等差数列。例如，在给各种产品的尺寸划分级别时，当其中的最大尺寸与最小尺寸相差不大时，常按等差数列进行分级（如前面例子中的上衣尺码）。你能举出一些例子吗？

## 探究

你能根据等差数列的定义推导它的通项公式吗？

设一个等差数列$\{a_n\}$的首项为 $a_1$，公差为 $d$。根据等差数列的定义，可得
$a_{n+1}-a_n=d,$

> $a_{n+1}-a_n=d$ 就是等差数列$\{a_n\}$的递推公式。

所以
$a_2-a_1=d, a_3-a_2=d, a_4-a_3=d, \dots$

于是
$a_2=a_1+d,$
$a_3=a_2+d=(a_1+d)+d=a_1+2d,$
$a_4=a_3+d=(a_1+2d)+d=a_1+3d,$
<!--End Page18-->

<!--Begin Page19-->
归纳可得

$a_n=a_1+(n-1)d \ (n \ge 2).$

当$n=1$时,上式为$a_1=a_1+(1-1)d=a_1$.这就是说,上式当$n=1$时也成立.
因此,首项为$a_1$,公差为$d$的等差数列$\{a_n\}$的通项公式为

$$a_n=a_1+(n-1)d.$$

**? 思考**

观察等差数列的通项公式,你认为它与我们熟悉的哪一类函数有关?

由于$a_n=a_1+(n-1)d=dn+(a_1-d)$,所以当$d \ne 0$时,等差数列$\{a_n\}$的第$n$项$a_n$是一次函数$f(x)=dx+(a_1-d) \ (x \in \mathbf{R})$当$x=n$时的函数值,即$a_n=f(n).$
在平面直角坐标系中画出函数$f(x)=dx+(a_1-d)$的图象,就得到一条斜率为$d$,截距为$a_1-d$的直线.在这条直线上描出点$(1, f(1))$, $(2, f(2))$, $\dots$, $(n, f(n))$, $\dots$就得到了等差数列$\{a_n\}$的图象.事实上,公差$d \ne 0$的等差数列$\{a_n\}$的图象是点$(n, a_n)$组成的集合,这些点均匀分布在直线$f(x)=dx+(a_1-d)$上.当$d>0$, $a_1-d \ge 0$的情形如图4.2-1所示.

[图片描述:一个直角坐标系，横轴为$x$，纵轴为$f(x)$。图示了一条直线$f(x)=dx+(a_1-d)$，其中斜率$d>0$。直线上标出了从$(1, a_1)$到$(6, a_6)$的一系列等距点，这些点对应等差数列$\{a_n\}$的前几项。纵轴还标示了直线的$y$截距$a_1-d$。图中标注了点 $(1,1)$, $(2,2)$, $(3,3)$, $(4,4)$, $(5,5)$, $(6,6)$，以及函数表达式 $f(x)=d x+(a_1-d)$。|标题:图4.2-1|图片编号:1]

反之,任给一次函数$f(x)=kx+b \ (k,b为常数)$,则$f(1)=k+b, f(2)=2k+b, \dots, f(n)=nk+b, \dots$构成一个等差数列$\{nk+b\}$,其首项为$(k+b)$,公差为$k$.

下面,我们利用通项公式解决等差数列的一些问题.

**例1**
(1)已知等差数列$\{a_n\}$的通项公式为$a_n=5-2n$,求$\{a_n\}$的公差和首项;
(2)求等差数列$8,5,2,\dots$的第20项.

**分析:**
(1)已知等差数列的通项公式,只要根据等差数列的定义,由$a_n-a_{n-1}=d$即可求出公差$d$;
(2)可以先根据数列的两个已知项求出通项公式,再利用通项公式求数列的第20项.

**解:**
(1)当$n \ge 2$时,由$\{a_n\}$的通项公式$a_n=5-2n$,可得
$a_{n-1}=5-2(n-1)=7-2n.$
于是
$d=a_n-a_{n-1}=(5-2n)-(7-2n)=-2.$
把$n=1$代入通项公式$a_n=5-2n$,得
$a_1=5-2 \times 1=3.$
<!--End Page19-->

<!--Begin Page20-->
所以, $\{a_n\}$ 的公差为$-2$，首项为$3$。
(2)由已知条件，得
$d=5-8=-3.$
把$a_1=8, d=-3$代入$a_n=a_1+(n-1)d$，得
$a_n=8-3(n-1)=11-3n.$
把$n=20$代入上式，得
$a_{20}=11-3\times20=-49.$
所以，这个数列的第$20$项是$-49.$

**例2** $-401$是不是等差数列$-5, -9, -13, \dots$的项？如果是，是第几项？
**分析:** 先求出数列的通项公式，它是一个关于$n$的方程，再看$-401$ 是否能使这个方程有正整数解。
**解:** 由$a_1=-5, d=-9-(-5)=-4$，得这个数列的通项公式为
$a_n=-5-4(n-1)=-4n-1.$
令
$-4n-1=-401,$
解这个关于$n$的方程，得
$n=100.$
所以，$-401$是这个数列的项，是第$100$项。

## 练习
1. 判断下列数列是不是等差数列，如果是，写出它的公差。
   (1) $95, 82, 69, 56, 43, 30;$
   (2) $1, 1.1, 1.11, 1.111, 1.111\ 1, 1.111\ 11;$
   (3) $1, -2, 3, -4, 5, -6;$
   (4) $1, \frac{11}{12}, \frac{5}{6}, \frac{3}{4}, \frac{2}{3}, \frac{7}{12}, \frac{1}{2};$

2.求下列各组数的等差中项:
   (1) $647$和$895;$
   (2) $-12\frac{1}{3}$和$24\frac{3}{5}.$

3.已知$\{a_n\}$是一个等差数列，请在下表中的空格处填入适当的数。

| $a_1$ | $a_3$ | $a_5$ | $a_7$ | $d$    |
| ----- | ----- | ----- | ----- | ------ |
| $-7$  |       | $8$   |       |        |
|       | $2$   |       |       | $-6.5$ |

4. 已知在等差数列$\{a_n\}$中，$a_4+a_8=20, a_7=12.$求$a_4.$

5.在$7$和$21$中插入$3$个数，使这$5$个数成等差数列，求这$3$个数。
<!--End Page20-->

<!--Begin Page21-->
**例3** 某公司购置了一台价值为220万元的设备，随着设备在使用过程中老化，其价值会逐年减少，经验表明，每经过一年其价值就会减少$d$万元($d$为正常数)，已知这台设备的安全使用年限为10年，第11年期间，它的价值将低于购进价值的5%，设备需在这年年初报废。请确定$d$的取值范围。

**分析**: 这台设备使用满$n$年时的价值构成一个数列$\{a_n\}$。由题意可知，使用满10年时，这台设备的价值应不小于$(220 \times 5\% =) 11$万元；而第11年年底，这台设备的价值应小于11万元。可以利用$\{a_n\}$的通项公式列不等式求解。

**解**: 设使用满$n$年时，这台设备的价值为$a_n$万元，则可得数列$\{a_n\}$。由已知条件，得
$a_n = a_{n-1} - d \quad (n \ge 2)$.
由于$d$是与$n$无关的常数，所以数列$\{a_n\}$是一个公差为$-d$的等差数列。因为购进设备的价值为220万元，所以$a_1 = 220 - d$，于是
$a_n = a_1 + (n-1)(-d) = 220 - nd$.

根据题意，得
$$
\begin{cases}
a_{10} \ge 11, \\
a_{11} < 11,
\end{cases}
$$
即
$$
\begin{cases}
220 - 10d \ge 11, \\
220 - 11d < 11.
\end{cases}
$$
解这个不等式组，得
$19 < d \le 20.9$.
所以，$d$的取值范围为$19 < d \le 20.9$.

**例4** 已知等差数列$\{a_n\}$的首项$a_1=2$，公差$d=8$，在$\{a_n\}$中每相邻两项之间都插入3个数，使它们和原数列的数一起构成一个新的等差数列$\{b_n\}$。
(1) 求数列$\{b_n\}$的通项公式。
(2) $b_{29}$是不是数列$\{a_n\}$的项？若是，它是$\{a_n\}$的第几项？若不是，说明理由。

**分析**: (1) $\{a_n\}$是一个确定的数列，只要把$a_1, a_2$表示为$\{b_n\}$中的项，就可以利用等差数列的定义得出$\{b_n\}$的通项公式；(2) 设$\{a_n\}$中的第$n$项是$\{b_n\}$中的第$c_n$项，根据条件可以求出$n$与$c_n$的关系式，由此即可判断$b_{29}$是不是$\{a_n\}$的项。

**解**: (1) 设数列$\{b_n\}$的公差为$d'$。
由题意可知，$b_1 = a_1, b_5 = a_2$，于是
$b_5 - b_1 = a_2 - a_1 = 8$.
因为$b_5 - b_1 = 4d'$，所以$4d' = 8$，所以$d' = 2$.
所以

> 如果插入$k(k \in \mathbf{N}^*)$个数，那么$\{b_n\}$的公差是多少？
<!--End Page21-->

<!--Begin Page22-->
$b_n=2+(n-1)\times 2=2n.$
所以,数列$\{b_n\}$的通项公式是
$b_n=2n.$

(2)数列$\{a_n\}$的各项依次是数列$\{b_n\}$的第1, 5, 9, 13,…项,这些下标构成一个首项为1,公差为4的等差数列$\{c_n\}$,则$c_n=4n-3.$
令$4n-3=29$,解得
$n=8.$
所以,$b_{29}$是数列$\{a_n\}$的第8项.

> **?** 对于第(2)小题,你还有其他解决方法吗?

**例5** 已知数列$\{a_n\}$是等差数列,$p,q,s,t \in \mathbb{N}^*$, 且$p+q=s+t$. 求证$a_p+a_q=a_s+a_t$.

**分析**: 只要根据等差数列的定义写出$a_p, a_q, a_s, a_t$, 再利用已知条件即可得证.

**证明**: 设数列$\{a_n\}$的公差为$d$,则
$a_p=a_1+(p-1)d,$
$a_q=a_1+(q-1)d,$
$a_s=a_1+(s-1)d,$
$a_t=a_1+(t-1)d.$
所以
$a_p+a_q=2a_1+(p+q-2)d,$
$a_s+a_t=2a_1+(s+t-2)d.$
因为$p+q=s+t$,所以
$a_p+a_q=a_s+a_t.$

**③ 思考**
例5是等差数列的一条性质,[图片描述:坐标系中，横轴为$n$，纵轴为$a_n$。一条红色虚线表示等差数列的通项函数。线上有四个点及其对应的坐标：$(s, a_s)$, $(p, a_p)$, $(q, a_q)$, $(t, a_t)$，其中$p,q,s,t$是横坐标，$a_p,a_q,a_s,a_t$是对应的纵坐标。通过点的虚线辅助线表明了这些坐标值。|标题:图4.2-2|图片编号:图1]是它的一种情形,你能从几何角度解释等差数列的这一性质吗?

---

**练习**

1.  某体育场一角看台的座位是这样排列的:第1排有15个座位,从第2排起每一排都比前一排多2个座位.你能用$a_n$表示第$n$排的座位数吗?第10排有多少个座位?
2.  画出数列$a_n = \begin{cases} 18, & n=1 \\ a_{n-1}-3, & 1<n \leq 6 \end{cases}$的图象,并求通过图象上所有点的直线的斜率.
<!--End Page22-->

<!--Begin Page23-->
3. 在等差数列${a_n}$中, $a_m=m$, $a_n=n$, 且$n \neq m$, 求$a_{m+n}$.
4. 已知数列${a_n}$, ${b_n}$都是等差数列, 公差分别为$d_1$, $d_2$, 数列${c_n}$满足$c_n=a_n+2b_n$.
   (1) 数列${c_n}$是不是等差数列?若是, 证明你的结论;若不是, 请说明理由.
   (2) 若${a_n}$, ${b_n}$的公差都等于2, $a_1=b_1=1$, 求数列${c_n}$的通项公式.
5. 已知一个无穷等差数列${a_n}$的首项为$a_1$, 公差为$d$.
   (1) 将数列中的前$m$项去掉, 其余各项组成一个新的数列, 这个新数列是等差数列吗?如果是, 它的首项和公差分别是多少?
   (2) 依次取出数列中的所有奇数项, 组成一个新的数列, 这个新数列是等差数列吗?如果是, 它的首项和公差分别是多少?
   (3) 依次取出数列中所有序号为7的倍数的项, 组成一个新的数列, 它是等差数列吗?你能根据得到的结论作出一个猜想吗?

---

## 4.2.2 等差数列的前 $n$ 项和公式

前面我们学习了等差数列的概念和通项公式, 下面我们将利用这些知识解决等差数列的求和问题.

据说, 二百多年前, 高斯的算术老师提出了下面的问题:
$1+2+3+\dots+100=?$

当其他同学忙于把100个数逐项相加时, 10岁的高斯却用下面的方法迅速算出了正确答案:
$(1+100)+(2+99)+\dots+(50+51)=101\times50=5050.$

高斯的算法实际上解决了求等差数列
$1, 2, 3, \dots, n, \dots$ ①
前100项的和的问题.

[图片描述:一幅黑白肖像画,描绘了德国著名数学家卡尔·弗里德里希·高斯(Carl Friedrich Gauss)。他留着白色短发和鬓角,面部轮廓清晰,身穿深色外套和白色领巾,神情严肃,侧向右方。图片下方有文字介绍高斯的生卒年份和其在数学、天文学、大地测量学、磁学、光学等领域的杰出贡献。|标题:高斯(Gauss,1777—1855),德国数学家,近代数学的奠基者之一,他在天文学、大地测量学、磁学、光学等领域都作出了杰出贡献。|图片1]

> **? 思考**
> 你能说说高斯在求和过程中利用了数列①的什么性质吗?你能从中得到求数列①的前$n$项和的方法吗?

对于数列①, 设$a_n=n$, 那么高斯的计算方法可以表示为
$(a_1+a_{100})+(a_2+a_{99})+\dots+(a_{50}+a_{51})=101\times50=5050.$

可以发现, 高斯在计算中利用了
$a_1+a_{100}=a_2+a_{99}=\dots=a_{50}+a_{51}$
这一特殊关系, 这就是上一小节例5中性质的应用, 它使不同数的求和问题转化成了相同数(即101)的求和, 从而简

> **?**
> 你能用高斯的方法求
> $1+2+\dots+100+101$吗?
<!--End Page23-->

<!--Begin Page24-->
化了运算.

将上述方法推广到一般, 可以得到:
当 $n$ 是偶数时, 有
$$a_1+a_n=a_2+a_{n-1}=\cdots=a_{\frac{n}{2}}+a_{\frac{n}{2}+1},$$
于是有
$$S_n=1+2+3+\cdots+n$$
$$=(1+n)+[2+(n-1)]+\cdots+\left[\frac{n}{2}+\left(\frac{n}{2}+1\right)\right]$$
$$=\underbrace{(1+n)+(1+n)+\cdots+(1+n)}_{\frac{n}{2}个}$$
$$=\frac{n(1+n)}{2}.$$

当 $n$ 为奇数时, 有
$$S_n=1+2+3+\cdots+n$$
$$=(1+n)+[2+(n-1)]+\cdots+\left[\left(\frac{n+1}{2}-1\right)+\left(\frac{n+1}{2}+1\right)\right]+\frac{n+1}{2}$$
$$=\underbrace{(1+n)+(1+n)+\cdots+(1+n)}_{\frac{n-1}{2}个}+\frac{n+1}{2}$$
$$=\frac{n-1}{2}\cdot(1+n)+\frac{n+1}{2}$$
$$=\frac{n(1+n)}{2}.$$

所以, 对任意正整数 $n$, 都有
$$S_n=1+2+3+\cdots+n=\frac{n(1+n)}{2}.$$

> **思考**
> 我们发现, 在求前 $n$ 个正整数的和时, 要对 $n$ 分奇数、偶数进行讨论, 比较麻烦. 能否设法避免分类讨论?

如果对公式 $S_n=1+2+3+\cdots+n=\frac{n(n+1)}{2}$ 作变形, 可得
$$2S_n=2(1+2+3+\cdots+n)=n(n+1),$$
它相当于两个 $S_n$ 相加, 而结果变成 $n$ 个 $(n+1)$ 相加.
受此启发, 我们得到下面的方法:
<!--End Page24-->

<!--Begin Page25-->
$S_n = 1 + 2 + 3 + \cdots + n$
$S_n = n + (n-1) + (n-2) + \cdots + 1$

将上述两式相加，可得
$2S_n = (n+1) + [(n-1)+2] + [(n-2)+3] + \cdots + (1+n)$
$= \underbrace{(1+n) + (1+n) + \cdots + (1+n)}_{n\text{个}}$
$= n(n+1)$

所以
$S_n = 1+2+3+\cdots+n = \frac{n(n+1)}{2}$

---

**探究**
上述方法的妙处在哪里？这种方法能够推广到求等差数列$\{a_n\}$的前 $n$ 项和吗？

---

可以发现，上述方法的妙处在于将 $1+2+3+\cdots+n$ “倒序”为 $n+(n-1)+(n-2)+\cdots+1$，再将两式相加，得到 $n$ 个相同的数（即 $n+1$）相加，从而把不同数的求和转化为 $n$ 个相同的数求和。

对于等差数列$\{a_n\}$，因为 $a_1+a_n=a_2+a_{n-1}=\cdots=a_n+a_1$，由上述方法得到启示，我们用两种方式表示 $S_n$:

$S_n = a_1 + a_2 + \cdots + a_n$, (2)
$S_n = a_n + a_{n-1} + \cdots + a_1$. (3)

②+③，得
$2S_n = (a_1+a_n) + (a_2+a_{n-1}) + \cdots + (a_n+a_1)$
$= \underbrace{(a_1+a_n) + (a_1+a_n) + \cdots + (a_1+a_n)}_{n\text{个}}$
$= n(a_1+a_n)$.

由此得到等差数列$\{a_n\}$的前 $n$ 项和公式
$S_n = \frac{n(a_1+a_n)}{2}$ (1)

> 将 (1) 变形可得
> $\frac{a_1+a_n}{2} = \frac{a_1+a_2+\cdots+a_n}{n}$,
> 所以 $\frac{a_1+a_n}{2}$ 就是等差数列 $\{a_n\}$ 前 $n$ 项的平均数。实际上，我们就是利用等差数列的这一重要特性来推导它的前 $n$ 项和的，你还能发现这一特性的一些应用吗？

对于等差数列$\{a_n\}$，利用公式 (1)，只要已知等差数列$\{a_n\}$的首项 $a_1$ 和末项 $a_n$，就可以求得前 $n$ 项和 $S_n$。另外，如果已知首项 $a_1$ 和公差 $d$，那么这个等差数列就完全确定了，所以我们也可以用 $a_1$ 和 $d$ 来表示 $S_n$。

把等差数列的通项公式 $a_n=a_1+(n-1)d$ 代入公式 (1)，可得
$S_n = na_1 + \frac{n(n-1)}{2}d$. (2)
<!--End Page25-->

<!--Begin Page26-->
## ❓ 思考

> 不从公式(1)出发，你能用其他方法得到公式(2)吗？

> 对于等差数列$\{a_n\}$的相关量 $a_1, a_n, d, n, S_n$，已知几个量就可以确定其他量？

**例6** 已知数列$\{a_n\}$是等差数列。

1.  若 $a_1=7, a_{50}=101$，求 $S_{50}$；
2.  若 $a_1=2, a_2=\frac{5}{2}$，求 $S_{10}$；
3.  若 $a_1=\frac{1}{2}, d=-\frac{1}{6}, S_n=-5$，求 $n$。

**分析**：对于(1)，可以直接利用公式 $S_n=\frac{n(a_1+a_n)}{2}$ 求和；在(2)中，可以先利用 $a_1$ 和 $a_2$ 的值求出 $d$，再利用公式 $S_n=na_1+\frac{n(n-1)}{2}d$ 求和；(3)已知公式 $S_n=na_1+\frac{n(n-1)}{2}d$ 中的 $a_1, d$ 和 $S_n$，解方程即可求得 $n$。

**解**：
1.  因为 $a_1=7, a_{50}=101$，根据公式 $S_n=\frac{n(a_1+a_n)}{2}$，可得
    $$S_{50}=\frac{50 \times (7+101)}{2}=2700$$

2.  因为 $a_1=2, a_2=\frac{5}{2}$，所以 $d=a_2-a_1=\frac{5}{2}-2=\frac{1}{2}$。根据公式 $S_n=na_1+\frac{n(n-1)}{2}d$，可得
    $$S_{10}=10 \times 2+\frac{10 \times (10-1)}{2} \times \frac{1}{2}=\frac{85}{2}$$

3.  把 $a_1=\frac{1}{2}, d=-\frac{1}{6}, S_n=-5$ 代入 $S_n=na_1+\frac{n(n-1)}{2}d$，得
    $$-5=\frac{1}{2}n+\frac{n(n-1)}{2}\left(-\frac{1}{6}\right)$$
    整理，得
    $$n^2-7n-60=0$$
    解得
    $n=12$，或 $n=-5$ (舍去)。
    所以
    $n=12$。

**例7** 已知一个等差数列$\{a_n\}$前10项的和是310，前20项的和是1220。由这些条件能确定这个等差数列的首项和公差吗？
<!--End Page26-->

<!--Begin Page27-->
**分析:** 把已知条件代入等差数列前 $n$ 项和的公式(2)后, 可得到两个关于 $a_1$ 与 $d$ 的二元一次方程, 解这两个二元一次方程所组成的方程组, 就可以求得 $a_1$ 和 $d$.

**解:** 由题意, 知
$S_{10}=310, S_{20}=1220.$
把它们代入公式
$S_n=na_1+\frac{n(n-1)}{2}d,$
得
$\begin{cases} 10a_1+45d=310, \\ 20a_1+190d=1220. \end{cases}$
解方程组, 得
$\begin{cases} a_1=4, \\ d=6. \end{cases}$
所以, 由所给的条件可以确定等差数列的首项和公差.

一般地, 对于等差数列, 只要给定两个相互独立的条件, 这个数列就完全确定.

## 探究

已知数列$\{a_n\}$的前 $n$ 项和为 $S_n=pn^2+qn+r$, 其中 $p,q,r$ 为常数, 且 $p \neq 0$. 任取若干组 $p,q,r$, 在电子表格中计算 $a_1, a_2, a_3, a_4, a_5$ 的值(图4.2-3 给出 $p=1, q=2, r=0$ 的情况), 观察数列$\{a_n\}$的特点, 研究它是一个怎样的数列, 并证明你的结论.

[图片描述:电子表格，显示了A、B、C、D四列数据。A列内容从上到下为1、2、0（分别在A1, A2, A3单元格）；B列内容从上到下为3、8、15、24、35；C列内容从上到下为3、5、7、9、11。D列为空。|标题:图4.2-3|图1]

图4.2-3 中的电子表格A列中A1, A2, A3分别表示 $p,q,r$ 的值, B列、C列中分别是相应的 $S_n$ 和 $a_n$ 的值.

---

## 练习

1.  根据下列各题中的条件, 求相应等差数列$\{a_n\}$的前 $n$ 项和 $S_n$.
    (1) $a_1=5, a_n=95, n=10$;
    (2) $a_1=100, d=-2, n=50$;
    (3) $a_1=-4, a_8=-18, n=10$;
    (4) $a_1=14.5, d=0.7, a_n=32.$
2.  等差数列$-1, -3, -5, \dots$的前多少项的和是$-100$?
<!--End Page27-->

<!--Begin Page28-->
3. 在等差数列$\{a_n\}$中，$S_n$为其前$n$项的和，若$S_4=6, S_8=20$，求$S_{16}$.
4. 在等差数列$\{a_n\}$中，若$S_{15}=5(a_2+a_6+a_k)$，求$k$.
5. 已知一个等差数列的项数为奇数,其中所有奇数项的和为290,所有偶数项的和为261.求此数列中间一项的值以及项数.
---
**例8** 某校新建一个报告厅,要求容纳800个座位,报告厅共有20排座位,从第2排起每排都比前一排多2个座位.问第1排应安排多少个座位.
**分析**: 将第1排到第20排的座位数依次排成一列,构成数列$\{a_n\}$.设数列$\{a_n\}$的前$n$项和为$S_n$.由题意可知,$\{a_n\}$是等差数列,且公差及前20项的和已知,所以可利用等差数列的前$n$项和公式求首项.
**解**: 设报告厅的座位从第1排到第20排,各排的座位数依次排成一列,构成数列$\{a_n\}$,其前$n$项和为$S_n$.根据题意,数列$\{a_n\}$是一个公差为2的等差数列,且$S_{20}=800$.
由$S_{20}=20a_1+\frac{20\times(20-1)}{2}\times2=800$, 可得
$a_1=21.$
因此,第1排应安排21个座位.

**例9** 已知等差数列$\{a_n\}$的前$n$项和为$S_n$,若$a_1=10$,公差$d=-2$,则$S_n$是否存在最大值?若存在,求$S_n$的最大值及取得最大值时$n$的值;若不存在,请说明理由.
**分析**: 由$a_1>0$和$d<0$,可以证明$\{a_n\}$是递减数列,且存在正整数$k$,使得当$n \ge k$时,$a_n<0$,$S_n$递减.这样,就把求$S_n$的最大值转化为求$\{a_n\}$的所有正数项的和.
另一方面,等差数列的前$n$项和公式可写成$S_n=\frac{d}{2}n^2+(a_1-\frac{d}{2})n$,所以当$d \ne 0$时,$S_n$可以看成二次函数$y=\frac{d}{2}x^2+(a_1-\frac{d}{2})x (x \in \textbf{R})$当$x=n$时的函数值.如图 4.2-4,当$d<0$时,$S_n$关于$n$的图象是一条开口向下的抛物线上的一些点.因此,可以利用二次函数求相应的$n$,$S_n$的值.
[图片描述:一个坐标系，横轴表示n，纵轴表示Sn。图中有多个散点，形成一个开口向下的抛物线形状。散点大致分布在Sn轴的10到30之间，n轴的2到12之间。例如，在n=2时Sn大约28，n=4时Sn大约30，n=6时Sn大约30，n=8时Sn大约24，n=10时Sn大约18，n=12时Sn大约10。|标题:图4.2-4|图片编号:1]

**解法1**: 由$a_{n+1}-a_n=-2<0$,得$a_{n+1}<a_n$,所以$\{a_n\}$是递减数列.
又由$a_n=10+(n-1)\times(-2)=-2n+12$,可知:
当$n<6$时，$a_n>0$;
当$n=6$时，$a_n=0$;
当$n>6$时，$a_n<0$.
所以
<!--End Page28-->

<!--Begin Page29-->
$S_1 < S_2 < \cdots < S_5 = S_6 > S_7 > \cdots$.
也就是说, 当 $n=5$ 或 $6$ 时, $S_n$ 最大.
因为 $S_5 = \frac{5}{2} \times [2 \times 10 + (5-1) \times (-2)] = 30$, 所以 $S_n$ 的最大值为 $30$.

**解法 2**:
因为 $S_n = \frac{d}{2} n^2 + (a_1 - \frac{d}{2}) n$
$= -n^2 + 11n$
$= -(n - \frac{11}{2})^2 + \frac{121}{4}$

> 想一想, 这是为什么?

所以, 当 $n$ 取与 $\frac{11}{2}$ 最接近的整数即 $5$ 或 $6$ 时, $S_n$ 最大, 最大值为 $30$.

### 思考
在例 $9$ 中, 当 $d=-3.5$ 时, $S_n$ 有最大值吗? 结合例 $9$ 考虑更一般的等差数列前 $n$ 项和的最大值问题.

### 练习

1.  某市一家商场的新年最高促销奖设立了两种领奖方式: 第一种, 获奖者可以选择价值 $2000$ 元的奖品; 第二种, 从 $12$ 月 $20$ 日到第二年的 $1$ 月 $1$ 日, 每天到该商场领取奖品, 第 $1$ 天领取的奖品价值为 $100$ 元, 第 $2$ 天为 $110$ 元, 以后逐天增加 $10$ 元. 你认为哪种领奖方式获奖者领取的奖品价值更高?
2.  已知数列 $\{a_n\}$ 的前 $n$ 项和 $S_n = \frac{1}{4} n^2 + \frac{2}{3} n + 3$. 求这个数列的通项公式.
3.  已知等差数列 $-4.2, -3.7, -3.2, \cdots$ 的前 $n$ 项和为 $S_n$. $S_n$ 是否存在最大 (小) 值? 如果存在, 求出取得最值时 $n$ 的值.
4.  求集合 $M=\{m | m=2n-1, n \in \mathbb{N}^*, 且 m<60\}$ 中元素的个数, 并求这些元素的和.
5.  *5*. 已知数列 $\{a_n\}$ 的通项公式为 $a_n = \frac{n-2}{2n-15}$, 前 $n$ 项和为 $S_n$. 求 $S_n$ 取得最小值时 $n$ 的值.

### 习题 4.2

### 复习巩固

1.  根据下列等差数列 $\{a_n\}$ 中的已知量, 求相应的未知量:
    (1) $a_1=20, a_n=54, S_n=999$, 求 $d$ 及 $n$;
    (2) $d=\frac{1}{3}, n=37, S_n=629$, 求 $a_1$ 及 $a_n$;
    (3) $a_1=\frac{5}{6}, d=-\frac{1}{6}, S_n=-5$, 求 $n$ 及 $a_n$;
    (4) $d=2, n=15, a_n=-10$, 求 $a_1$ 及 $S_n$.
<!--End Page29-->

<!--Begin Page30-->
2. 已知$\left\{a_n\right\}$为等差数列，$a_1+a_3+a_5=105, a_2+a_4+a_6=99$。求$a_{20}$。
3. (1) 求从小到大排列的前$n$个正偶数的和。
   (2) 求从小到大排列的前$n$个正奇数的和。
   (3) 在三位正整数的集合中有多少个数是5的倍数？求这些数的和。
   (4) 在小于100的正整数中，有多少个数被7除余2？这些数的和是多少？
4. 1682年，英国天文学家哈雷发现一颗大彗星的运行曲线
   和1531年、1607年的彗星惊人地相似，他大胆断定，这
   是同一天体的三次出现，并预言它将于76年后再度回归。
   这就是著名的哈雷彗星，它的回归周期大约是76年，请
   你查找资料，列出哈雷彗星的回归时间表，并预测它在本
   世纪回归的年份。
   [图片描述:一张描绘彗星在深邃星空中飞行的图像。彗星有一个明亮的彗核和一条长长的、发光的彗尾，彗尾呈黄白色和蓝色混合。背景是密布的繁星，暗示着宇宙的广阔。这张图片很可能描绘的是哈雷彗星。|标题:哈雷彗星|图片编号:1]

## 综合运用

5. 已知一个多边形的周长等于158 cm，所有各边的长成等差数列，最大的边长为44 cm，公差为
   3 cm。求这个多边形的边数。
6. 数列$\left\{a_n\right\}$, $\left\{b_n\right\}$都是等差数列，且$a_1=5, b_1=15, a_{100}+b_{100}=100$。求数列$\left\{a_n+b_n\right\}$的前
   100项的和。
7. 已知$S_n$是等差数列$\left\{a_n\right\}$的前$n$项和。
   (1) 证明$\left\{\frac{S_n}{n}\right\}$是等差数列；
   (2) 设$T_n$为数列$\left\{\frac{S_n}{n}\right\}$的前$n$项和，若$S_4=12, S_8=40$，求$T_n$。
8. 已知两个等差数列2, 6, 10, …, 190及2, 8, 14, …, 200，将这两个等差数列的公共项按
   从小到大的顺序组成一个新数列，求这个新数列的各项之和。
9. 一支车队有15辆车，某天下午依次出发执行运输任务，第一辆车于14时出发，以后每间隔
   10 min 发出一辆车，假设所有的司机都连续开车，并都在18时停下来休息。
   (1) 截止到18时，最后一辆车行驶了多长时间？
   (2) 如果每辆车行驶的速度都是60 km/h，这个车队当天一共行驶了多少千米？

## 拓广探索

10. 已知等差数列$\left\{a_n\right\}$的公差为$d$，求证$\frac{a_m-a_n}{m-n}=d$。你能从直线的斜率角度来解释这个结果吗？
11. 虎甲虫以爬行速度快闻名，下表记录了一只虎甲虫连续爬行$n$s ($n=1,2,…,10$)时爬行
    的距离。

    | 时间/s | 1    | 2    | 3    | 4     | 5     | 6     | 7     | 8     | 9     | 10    |
    | ------ | ---- | ---- | ---- | ----- | ----- | ----- | ----- | ----- | ----- | ----- |
    | 距离/m | 2.50 | 5.03 | 7.55 | 10.05 | 12.45 | 15.01 | 17.28 | 19.90 | 22.48 | 25.07 |

    (1) 你能建立一个数列模型，近似地表示这只虎甲虫连续爬行的距离与时间之间的关系吗？
<!--End Page30-->

<!--Begin Page31-->
(2) 利用建立的模型计算，这只虎甲虫连续爬行1 min能爬多远（精确到0.01 m）？它连续爬行10 m需要多长时间（精确到0.1 s）？

12. 如图的形状出现在南宋数学家杨辉所著的《详解九章算法‧商功》中，后人称为“三角垛”。“三角垛”的最上层有1个球，第二层有3个球，第三层有6个球……设各层球数构成一个数列{$a_n$}。

[图片描述:一张图显示了由红色球体堆叠而成的“三角垛”形状。最底层有6个球，中间层有3个球，最上层有1个球，呈现出三层球体堆叠的视觉效果，与问题中描述的层数序列相符。|标题:第12题示意图|图片编号:图1]

(1) 写出数列{$a_n$}的一个递推公式；
*(2) 根据(1)中的递推公式，写出数列{$a_n$}的一个通项公式。
<!--End Page31-->

<!--Begin Page32-->
# 4.3 等比数列

我们知道，等差数列的特征是“从第2项起，每一项与它的前一项的差都等于同一个常数”，类比等差数列的研究思路和方法，从运算的角度出发，你觉得还有怎样的数列是值得研究的？

## 4.3.1 等比数列的概念

请看下面几个问题中的数列。

1.  两河流域发掘的古巴比伦时期的泥版上记录了下面的数列$^\text{①}$:
    $9, 9^2, 9^3, \dots, 9^{10}$
    $100, 100^2, 100^3, \dots, 100^{10}$
    $5, 5^2, 5^3, \dots, 5^{10}$

    ---
    **注①：** 古巴比伦人用六十进制记数，这里转化为十进制。
    ---

2.  《庄子·天下》中提到：“一尺之棰，日取其半，万世不竭。”如果把“一尺之棰”的长度看成单位“1”，那么从第1天开始，各天得到的“棰”的长度依次是
    $\frac{1}{2}, \frac{1}{4}, \frac{1}{8}, \frac{1}{16}, \frac{1}{32}, \dots$

3.  在营养和生存空间没有限制的情况下，某种细菌每20 min 就通过分裂繁殖一代，那么一个这种细菌从第1次分裂开始，各次分裂产生的后代个数依次是
    $2, 4, 8, 16, 32, 64, \dots$

    [图片描述:一个展示细胞分裂过程的树状图。从一个单一的顶部节点开始，分裂为两个子节点，每个子节点又继续分裂，如此重复，形成多层结构，最终在底部展示了16个末端节点。图中上方清晰地标注了“分裂”字样。|标题:分裂|图片编号:1]

4.  某人存入银行$a$元，存期为5年，年利率为$r$，那么按照复利$^\text{②}$，他5年内每年末得到的本利和分别是
    $a(1+r), a(1+r)^2, a(1+r)^3, a(1+r)^4, a(1+r)^5$

    ---
    **注②：** 复利是指把前一期的利息和本金加在一起算作本金，再计算下一期的利息。
    ---

> **探究**
> 类比等差数列的研究，你认为可以通过怎样的运算发现以上数列的取值规律？你发现了什么规律？
<!--End Page32-->

<!--Begin Page33-->
我们可以通过除法运算探究以上数列的取值规律。
如果用$\{a_n\}$表示数列①，那么有
$$ \frac{a_2}{a_1}=9, \quad \frac{a_3}{a_2}=9, \quad \dots, \quad \frac{a_{10}}{a_9}=9. $$
这表明，数列①有这样的取值规律：从第2项起，每一项与它的前一项的比都等于9。其余几个数列也有这样的取值规律，请你写出相应的规律。

---
**❓ 思考**

类比等差数列的概念，从上述几个数列的规律中，你能抽象出等比数列的概念吗？
---

一般地，如果一个数列从第2项起，每一项与它的前一项的比都等于同一个常数，那么这个数列叫做**等比数列** (geometric progression)，这个常数叫做等比数列的**公比** (common ratio)，公比通常用字母$q$表示(显然$q \neq 0$)。例如，数列①~⑥的公比依次是9, $100, 5, \frac{1}{2}, 2, 1+r$。

与等差中项类似，如果在$a$与$b$中间插入一个数$G$，使$a, G, b$成等比数列，那么$G$叫做$a$与$b$的**等比中项** (geometric mean)。此时，$G^2=ab$。

---
**💡 探究**

你能根据等比数列的定义推导它的通项公式吗？
---

设一个等比数列$\{a_n\}$的首项为$a_1$，公比为$q$。根据等比数列的定义，可得
$$ a_{n+1} = a_n \cdot q. $$
所以
$$
\begin{align*} a_2 &= a_1q, \\ a_3 &= a_2q = (a_1q)q = a_1q^2, \\ a_4 &= a_3q = (a_1q^2)q = a_1q^3, \\ &\dots \dots \end{align*}
$$
由此可得
$$ a_n = a_1q^{n-1} \quad (n \geq 2). $$
又$a_1 = a_1q^0 = a_1q^{1-1}$，这就是说，当$n=1$时上式也成立。
因此，首项为$a_1$，公比为$q$的等比数列$\{a_n\}$的通项公式为
$$ a_n = a_1q^{n-1}. $$
<!--End Page33-->

<!--Begin Page34-->
类似于等差数列与一次函数的关系,由$a_n = \frac{a_1}{q} \cdot q^n$可知,当$q>0$且$q \neq 1$时,等比数列$\{a_n\}$的第$n$项$a_n$是函数$f(x) = \frac{a_1}{q} \cdot q^x (x \in \mathbf{R})$当$x=n$时的函数值,即$a_n=f(n)$.
$a_1>0, q>1$的情形如图4.3-1 所示.

> 类比指数函数的性质,说说公比$q>0$的等比数列的单调性.

[图片描述: 描绘了函数 $f(x) = \frac{a_1}{q} \cdot q^x$ (在 $a_1>0, q>1$ 的情况下) 的图像，该图像是一条向右上方倾斜的指数曲线。图像中用蓝色虚线和蓝色圆点标出了曲线上的点 $(1, a_1)$, $(2, a_2)$, $(3, a_3)$, $(4, a_4)$, $(5, a_5)$，这些点分别对应等比数列 $\{a_n\}$ 的前五项。该图示直观地展现了当公比 $q>1$ 时，等比数列的项随序号 $n$ 的增大而单调递增的趋势。|标题: 图4.3-1 $a_1>0, q>1$ 时等比数列项的函数表示|图片编号: 图1]

> 公比$q>0$且$q \neq 1$的等比数列$\{a_n\}$的图象有什么特点?

反之,任给函数$f(x)=ka^x(k, a$为常数,$k \neq 0, a>0$,且$a \neq 1)$,则$f(1)=ka, f(2)=ka^2, \ldots, f(n)=ka^n, \ldots$构成一个等比数列$\{ka^n\}$,其首项为$ka$,公比为$a$.
下面,我们利用通项公式解决等比数列的一些问题.

**例1** 若等比数列$\{a_n\}$的第4项和第6项分别为48和12,求$\{a_n\}$的第5项.

**分析**: 等比数列$\{a_n\}$由$a_1, q$唯一确定,可利用条件列出关于$a_1, q$ 的方程(组),进行求解.

**解法1**: 由$a_4=48, a_6=12$,得
$$
\begin{aligned}
a_1 q^3 &= 48, \quad (1) \\
a_1 q^5 &= 12. \quad (2)
\end{aligned}
$$
②的两边分别除以①的两边,得
$$
q^2 = \frac{1}{4}.
$$
解得
$$
q = \frac{1}{2} \text{ 或 } -\frac{1}{2}.
$$
把$q=\frac{1}{2}$代入①,得
$$
a_1 = 384.
$$
<!--End Page34-->

<!--Begin Page35-->
此时
$a_5=a_1q^4=384 \times (\frac{1}{2})^4=24.$
把$q = -\frac{1}{2}$代入①,得
$a_1=-384.$
此时
$a_5=a_1q^4=-384 \times (-\frac{1}{2})^4=-24.$
因此,$\{a_n\}$的第5项是24或-24.

**解法2**: 因为$a_5$是$a_4$与$a_6$的等比中项,所以
$a_5^2=a_4a_6=48 \times 12=576.$
所以
$a_5=\pm\sqrt{576}=\pm24.$
因此,$\{a_n\}$的第5项是24或-24.

**例2** 已知等比数列$\{a_n\}$的公比为$q$,试用$\{a_n\}$的第$m$项$a_m$表示$a_n$.
**解**: 由题意,得
$a_m=a_1q^{m-1},$ (1)
$a_n=a_1q^{n-1}.$ (2)
②的两边分别除以①的两边,得
$\frac{a_n}{a_m}=q^{n-m},$
所以
$a_n=a_m q^{n-m}.$

> 等比数列的任意一项
> 都可以由该数列的某一项
> 和公比表示.

**例3** 数列$\{a_n\}$共有5项,前三项成等比数列,后三项成等差数列,第3项等于80,
第2项与第4项的和等于136,第1项与第5项的和等于132.求这个数列.
**分析**: 先利用已知条件表示出数列的各项,再进一步根据条件列方程组求解.
**解**: 设前三项的公比为$q$,后三项的公差为$d$,则数列的各项依次为$\frac{80}{q^2}, \frac{80}{q}, 80, 80+d, 80+2d.$ 于是得
$\begin{cases} \frac{80}{q}+(80+d)=136, \\ \frac{80}{q^2}+(80+2d)=132. \end{cases}$
解方程组,得
<!--End Page35-->

<!--Begin Page36-->
$\begin{cases} q=2 \\ d=16 \end{cases}$ 或 $\begin{cases} q=\frac{2}{3} \\ d=-64 \end{cases}$
所以这个数列是 $20, 40, 80, 96, 112,$ 或 $180, 120, 80, 16, -48$.

## 练习

1.  判断下列数列是不是等比数列, 如果是, 写出它的公比.
    (1) $3, 9, 15, 21, 27, 33$;
    (2) $1, 1.1, 1.21, 1.331, 1.4641$;
    (3) $\frac{1}{3}, \frac{1}{6}, \frac{1}{9}, \frac{1}{12}, \frac{1}{15}, \frac{1}{18}$;
    (4) $4, -8, 16, -32, 64, -128$.
2.  已知$\{a_n\}$是一个公比为$q$的等比数列,在下表中填上适当的数.
    | $a_1$ | $a_3$ | $a_5$ | $a_7$ | $q$   |
    | :---- | :---- | :---- | :---- | :---- |
    | 2     |       |       |       |       |
    |       | 2     | 8     |       |       |
    |       |       |       |       | 0.2   |
3.  在等比数列$\{a_n\}$中, $a_1a_3=36$, $a_2+a_4=60$. 求$a_1$和公比$q$.
4.  对于数列$\{a_n\}$,若点$(n, a_n)$ $(n \in \mathbf{N}^*)$ 都在函数 $y=cq^x$ 的图象上,其中$c,q$为常数,且$c \neq 0, q \neq 0, q \neq 1$,试判断数列$\{a_n\}$是不是等比数列,并证明你的结论.
5.  已知数列$\{a_n\}$是等比数列.
    (1) $a_3, a_5, a_7$ 是否构成等比数列? 为什么? $a_1, a_5, a_9$ 呢?
    (2) 当$n>1$时, $a_{n-1}, a_n, a_{n+1}$ 是否构成等比数列? 为什么?
    当$n>k>0$时, $a_{n-k}, a_n, a_{n+k}$ 是否构成等比数列?

---

**例4** 用$10000$元购买某个理财产品一年.
(1) 若以月利率$0.400\%$的复利计息,$12$个月能获得多少利息(精确到$0.01$元)?
(2) 若以季度复利计息,存$4$个季度,则当每季度利率为多少时,按季结算的利息不少于(1)中按月结算的利息(精确到$10^{-5}$)?

**分析:** 复利是指把前一期的利息与本金之和算作本金,再计算下一期的利息,所以若原始本金为$a$元,每期的利率为$r$,则从第一期开始,各期的本利和$a(1+r)$, $a(1+r)^2$, $\dots$构成等比数列.

**解:** (1) 设这笔钱存$n$个月以后的本利和组成一个数列$\{a_n\}$,则$\{a_n\}$是等比数列,
首项$a_1=10^4(1+0.400\%)$,公比$q=1+0.400\%$,所以
$a_{12}=10^4(1+0.400\%)^{12} \approx 10490.702$.
所以,$12$个月后的利息为$10490.702-10^4 \approx 490.70$ (元).
(2) 设季度利率为$r$,这笔钱存$n$个季度以后的本利和组成一个数列$\{b_n\}$,则$\{b_n\}$也是一个等比数列,首项$b_1=10^4(1+r)$,公比为$1+r$,于是
$b_4=10^4(1+r)^4$.
<!--End Page36-->

<!--Begin Page37-->
因此,以季度复利计息,存4个季度后的利息为
$[10^4(1+r)^4 - 10^4]$元.
解不等式$10^4(1+r)^4 - 10^4 \geq 490.70$,得
$r \geq 1.205\%$.
所以,当季度利率不小于$1.205\%$时,按季结算的利息不少于按月结算的利息.

**例5** 已知数列$\{a_n\}$的首项$a_1=3$.
(1) 若$\{a_n\}$为等差数列,公差$d=2$,证明数列$\{3^{a_n}\}$为等比数列;
(2) 若$\{a_n\}$为等比数列,公比$q=\frac{1}{9}$,证明数列$\{\log_3 a_n\}$为等差数列.

**分析:** 根据题意,需要从等差数列、等比数列的定义出发,利用指数、对数的知识进行证明.

**证明:** (1) 由$a_1=3, d=2$,得$\{a_n\}$的通项公式为
$a_n=2n+1$.
设$b_n=3^{a_n}$,则
$\frac{b_{n+1}}{b_n} = \frac{3^{2(n+1)+1}}{3^{2n+1}}=9$.
又
$b_1=3^3=27$.
所以,$\{3^{a_n}\}$是以27为首项,9为公比的等比数列.

(2) 由$a_1=3, q=\frac{1}{9}$,得
$a_n=3 \times (\frac{1}{9})^{n-1}=3^{3-2n}$.
两边取以3为底的对数,得
$\log_3 a_n = \log_3 3^{3-2n}=3-2n$.
所以
$\log_3 a_{n+1} - \log_3 a_n = [3-2(n+1)]-(3-2n) = -2$.
又
$\log_3 a_1 = \log_3 3 = 1$.
所以,$\{\log_3 a_n\}$是首项为1,公差为-2的等差数列.

> **思考**
> 已知$b>0$且$b \neq 1$,如果数列$\{a_n\}$是等差数列,那么数列$\{b^{a_n}\}$是否一定是等比数列?如果数列$\{a_n\}$是各项均为正的等比数列,那么数列$\{\log_b a_n\}$是否一定是等差数列?
<!--End Page37-->

<!--Begin Page38-->
**例6** 某工厂去年12月试产1050个高新电子产品，产品合格率为90%。从今年1月开始，工厂在接下来的两年中将生产这款产品。1月按去年12月的产量和产品合格率生产，以后每月的产量都在前一个月的基础上提高5%，产品合格率比前一个月增加0.4%，那么生产该产品一年后，月不合格品的数量能否控制在100个以内？

**分析:** 设从今年1月起，各月的产量及不合格率分别构成数列$\{a_n\}$，$\{b_n\}$，则各月不合格品的数量构成数列$\{a_n b_n\}$。由题意可知，数列$\{a_n\}$是等比数列，$\{b_n\}$是等差数列。由于数列$\{a_n b_n\}$既非等差数列又非等比数列，所以可以先列表观察规律，再寻求问题的解决方法。

**解:** 设从今年1月起，各月的产量及不合格率分别构成数列$\{a_n\}$，$\{b_n\}$。
由题意，知
$a_n=1050 \times 1.05^{n-1}$,
$b_n=1-[90\%+0.4\%(n-1)]=0.104-0.004n$, 其中 $n=1, 2, \dots, 24,$
则从今年1月起，各月不合格产品的数量是
$a_n b_n=1050 \times 1.05^{n-1} \times (0.104-0.004n)$
$=1.05^n \times (104-4n)$.
由计算工具计算(精确到0.1)，并列表(**表4.3-1**)。

**表4.3-1**

| $n$       | 1     | 2     | 3     | 4     | 5     | 6     | 7     |
| :-------- | :---- | :---- | :---- | :---- | :---- | :---- | :---- |
| $a_n b_n$ | 105.0 | 105.8 | 106.5 | 107.0 | 107.2 | 107.2 | 106.9 |

| $n$       | 8     | 9     | 10    | 11    | 12    | 13    | 14    |
| :-------- | :---- | :---- | :---- | :---- | :---- | :---- | :---- |
| $a_n b_n$ | 106.4 | 105.5 | 104.2 | 102.6 | 100.6 | 98.1  | 95.0  |

观察发现，数列$\{a_n b_n\}$先递增，在第6项以后递减，所以只要设法证明当$n \ge 6$时，$\{a_n b_n\}$递减，且$a_{13}b_{13}<100$即可。
由
$\frac{a_{n+1}b_{n+1}}{a_n b_n} = \frac{1.05^{n+1} \times [104-4(n+1)]}{1.05^n \times (104-4n)} < 1,$
得
$n>5$.
所以，当$n \ge 6$时，$\{a_n b_n\}$递减。
又
$a_{13}b_{13} \approx 98 < 100,$
所以，当$13 \le n \le 24$时，$a_n b_n \le a_{13}b_{13}<100$.
所以，生产该产品一年后，月不合格品的数量能控制在100个以内。

[图片描述:一个带有问号图标的橙色背景提示框，框内文字为“为什么n<=24？”。这个提示框在教育材料中通常用于提出思考问题或解释背景信息。|标题:思考与提示|图片编号:1]
<!--End Page38-->

<!--Begin Page39-->
## 练习

1.  求满足下列条件的数:
    (1) 在9与243中间插入2个数,使这4个数成等比数列;
    (2) 在160与-5中间插入4个数,使这6个数成等比数列.
2.  设数列 $\{a_n\}$, $\{b_n\}$ 都是等比数列, 分别研究下列数列是不是等比数列, 若是, 证明结论; 若不是, 请说明理由.
    (1) 数列 $\{c_n\}$, 其中 $c_n = a_n b_n$;
    (2) 数列 $\{d_n\}$, 其中 $d_n = \frac{a_n}{b_n}$.
3.  某汽车集团计划大力发展新能源汽车, 2017年全年生产新能源汽车5000辆, 如果在后续的几年中, 后一年新能源汽车的产量都是前一年的150%, 那么2025年全年约生产新能源汽车多少辆 (精确到1)?
4.  某城市今年空气质量为“优”“良”的天数为105, 力争2年后使空气质量为“优”“良”的天数达到240. 这个城市空气质量为“优”“良”的天数的年平均增长率应达到多少 (精确到0.01)?
5.  已知数列 $\{a_n\}$ 的通项公式为 $a_n = \frac{n^3}{3^n}$, 求使 $a_n$ 取得最大值时 $n$ 的值.

## 4.3.2 等比数列的前 $n$ 项和公式

国际象棋起源于古印度, 相传国王要奖赏国际象棋的发明者, 问他想要什么. 发明者说:“请在棋盘的第1个格子里放上1颗麦粒, 第2个格子里放上2颗麦粒, 第3个格子里放上4颗麦粒 $\dots\dots$ 依此类推, 每个格子里放的麦粒数都是前一个格子里放的麦粒数的2倍, 直到第64个格子, 请给我足够的麦粒以实现上述要求.”国王觉得这个要求不高, 就欣然同意了. 已知 1000 颗麦粒的质量约为40 g, 据查, 2016—2017年度世界小麦产量约为7.5亿吨, 根据以上数据, 判断国王是否能实现他的诺言.

[图片描述: 一个木制国际象棋盘，上面摆放着黑白两方完整的棋子，棋子按初始布局排列。棋盘略微倾斜，展示了棋子和格子细节。|标题: 国际象棋盘|图片编号: 图1]

让我们一起来分析一下. 如果把各格所放的麦粒数看成一个数列, 我们可以得到一个等比数列, 它的首项是1, 公比是2, 求第1个格子到第64个格子各格所放的麦粒数总和就是求这个等比数列前64项的和.

一般地, 如何求一个等比数列的前 $n$ 项和呢?
设等比数列 $\{a_n\}$ 的首项为 $a_1$, 公比为 $q$, 则 $\{a_n\}$ 的前 $n$ 项和是
$S_n = a_1 + a_2 + a_3 + \dots + a_n$.
根据等比数列的通项公式, 上式可写成
<!--End Page39-->

<!--Begin Page40-->
$$S_n=a_1+a_1q+a_1q^2+\cdots+a_1q^{n-1} \quad \text{①}$$

我们发现,如果用公比$q$乘①的两边,可得

$$qS_n=a_1q+a_1q^2+\cdots+a_1q^{n-1}+a_1q^n \quad \text{②}$$

①②两式的右边有很多相同的项,用①的两边分别减去②的两边,就可以消去这些相同的项,可得$S_n-qS_n=a_1-a_1q^n,$即

$$(1-q)S_n=a_1(1-q^n).$$

因此,当$q \neq 1$时,我们就得到了等比数列的前$n$项和公式

$$S_n=\frac{a_1(1-q^n)}{1-q} \quad (q \neq 1) \quad (1)$$

> **思考与探究：**
> 当$q=1$时,等比数列的前$n$项和$S_n$等于多少?

因为$a_n=a_1q^{n-1},$所以公式(1)还可以写成

$$S_n=\frac{a_1-a_nq}{1-q} \quad (q \neq 1) \quad (2)$$

有了上述公式,就可以解决本小节开头提出的问题了.
由$a_1=1, q=2, n=64,$可得

$$S_{64}=\frac{1\times(1-2^{64})}{1-2}=2^{64}-1.$$

$2^{64}-1$这个数很大,超过了$1.84 \times 10^{19}$.如果一千颗麦粒的质量约为$40 \text{ g}$,那么以上这些麦粒的总质量超过了$7000$亿吨,约是$2016—2017$年度世界小麦产量的$981$倍.因此,国王根本不可能实现他的诺言.

**例7** 已知数列$\{a_n\}$是等比数列.
(1) 若$a_1=\frac{1}{2}, q=\frac{1}{2},$求$S_8;$
(2) 若$a_1=27, a_9=\frac{1}{243}, q<0,$求$S_8;$
(3) 若$a_1=8, q=\frac{1}{2}, S_n=\frac{31}{2},$求$n.$

> **思考与探究：**
> 对于等比数列的相关量$a_1, a_n, q, n, S_n,$已知几个量就可以确定其他量?

**解:**
(1) 因为$a_1=\frac{1}{2}, q=\frac{1}{2},$所以

$$S_8=\frac{\frac{1}{2}\times\left[1-\left(\frac{1}{2}\right)^8\right]}{1-\frac{1}{2}}=\frac{255}{256}.$$

(2) 由$a_1=27, a_9=\frac{1}{243},$可得

$$27 \times q^8=\frac{1}{243}.$$
<!--End Page40-->

<!--Begin Page41-->
即
$q^8 = \left(\frac{1}{3}\right)^8$.

又由 $q < 0$, 得
$q = -\frac{1}{3}$.

所以
$S_8 = \frac{27 \times \left[1 - \left(-\frac{1}{3}\right)^8\right]}{1 - \left(-\frac{1}{3}\right)} = \frac{1640}{81}$.

(3) 把 $a_1 = 8, q = \frac{1}{2}, S_n = \frac{31}{2}$ 代入 $S_n = \frac{a_1(1-q^n)}{1-q}$, 得
$\frac{8 \times \left[1 - \left(\frac{1}{2}\right)^n\right]}{1 - \frac{1}{2}} = \frac{31}{2}$.

整理, 得
$\left(\frac{1}{2}\right)^n = \frac{1}{32}$.

解得
$n=5$.

**例8** 已知等比数列 $\{a_n\}$ 的首项为$-1$, 前 $n$ 项和为 $S_n$. 若 $\frac{S_{10}}{S_5} = \frac{31}{32}$, 求公比 $q$.

**解:** 若 $q=1$, 则
$\frac{S_{10}}{S_5} = \frac{10a_1}{5a_1} = 2 \ne \frac{31}{32}$.

所以
$q \ne 1$.

当 $q \ne 1$ 时, 由 $\frac{S_{10}}{S_5} = \frac{31}{32}$, 得
$\frac{(-1)(1-q^{10})}{1-q} \cdot \frac{1-q}{(-1)(1-q^5)} = \frac{31}{32}$.

整理, 得
$1+q^5 = \frac{31}{32}$.

即
$q^5 = \frac{31}{32} - 1 = -\frac{1}{32}$.
$q = -\frac{1}{2}$.
<!--End Page41-->

<!--Begin Page42-->
所以

$q^5 = \frac{1}{32}$
$q = \frac{1}{2}$

**例9** 已知等比数列$\{a_n\}$的公比$q \neq -1$，前$n$项和为$S_n$. 证明 $S_n, S_{2n}-S_n, S_{3n}-S_{2n}$ 成等比数列，并求这个数列的公比.

**证明:** 当$q=1$时，
$S_n = na_1$
$S_{2n}-S_n = 2na_1-na_1 = na_1$
$S_{3n}-S_{2n} = 3na_1-2na_1 = na_1$
所以$S_n, S_{2n}-S_n, S_{3n}-S_{2n}$ 成等比数列，公比为1.

> 想一想，不用分类讨论的方式能否证明该结论？

当$q \neq 1$时，
$S_n = \frac{a_1(1-q^n)}{1-q}$,
$S_{2n}-S_n = \frac{a_1(1-q^{2n})}{1-q} - \frac{a_1(1-q^n)}{1-q} = \frac{a_1q^n(1-q^n)}{1-q} = q^nS_n$,
$S_{3n}-S_{2n} = \frac{a_1(1-q^{3n})}{1-q} - \frac{a_1(1-q^{2n})}{1-q} = \frac{a_1q^{2n}(1-q^n)}{1-q} = q^n(S_{2n}-S_n)$,
所以
$\frac{S_{2n}-S_n}{S_n} = \frac{S_{3n}-S_{2n}}{S_{2n}-S_n} = q^n$.
因为$q^n$为常数，所以$S_n, S_{2n}-S_n, S_{3n}-S_{2n}$ 成等比数列，公比为$q^n$.

---

## 练习

1.已知数列$\{a_n\}$是等比数列.
(1) 若$a_1=3, q=2, n=6$，求$S_n$;
(2) 若$a_1=-2.7, q=-\frac{1}{3}, a_n=\frac{1}{90}$，求$S_n$;
(3) 若$a_3=\frac{3}{2}, S_3=\frac{9}{2}$，求$a_1$与$q$.
2.已知$a \neq b$，且$ab \neq 0$. 对于$n \in \mathbf{N}^*$，证明:
$a^n + a^{n-1}b + a^{n-2}b^2 + \cdots + ab^{n-1} + b^n = \frac{a^{n+1}-b^{n+1}}{a-b}$.
3.设等比数列$\{a_n\}$的前$n$项和为$S_n$，已知$a_2=6, 6a_1+a_3=30$. 求$a_n$ 和$S_n$.
4.已知三个数成等比数列，它们的和等于14，积等于64. 求这个等比数列的首项和公比.
5.如果一个等比数列前5项的和等于10，前10项的和等于50，那么这个数列的公比等于多少?
<!--End Page42-->

<!--Begin Page43-->
### 例10

如图4.3-2, 正方形 $ABCD$ 的边长为 $5 \text{ cm}$, 取正方形 $ABCD$ 各边的中点 $E, F, G, H$, 作第2个正方形 $EFGH$, 然后再取正方形 $EFGH$ 各边的中点 $I, J, K, L$, 作第3个正方形 $IJKL$, 依此方法一直继续下去.

[图片描述: 几何图形展示了四个同心嵌套的正方形。最外层是正方形 $ABCD$。其内部的第二个正方形是 $EFGH$，其顶点 $E, F, G, H$ 分别是 $ABCD$ 各边的中点。再往内是正方形 $IJKL$，其顶点 $I, J, K, L$ 分别是 $EFGH$ 各边的中点。最内层是一个更小的正方形，其顶点标注为 $P, M, N, O$，其中 $O$ 是中心点。图中标注了所有正方形的顶点以及一个内部点 $O$。|标题: 图4.3-2|图片编号: 图1]

(1) 求从正方形 $ABCD$ 开始, 连续10个正方形的面积之和;
(2) 如果这个作图过程可以一直继续下去, 那么这些正方形的面积之和将趋近于多少?

**分析:** 可以利用数列表示各正方形的面积, 根据条件可知, 这是一个等比数列.

**解:** 设正方形 $ABCD$ 的面积为 $a_1$, 后继各正方形的面积依次为 $a_2, a_3, \dots, a_n, \dots$, 则
$a_1 = 25$.

由于第 $k+1$ 个正方形的顶点分别是第 $k$ 个正方形各边的中点, 所以
$a_{k+1} = \frac{1}{2}a_k\text{ }^①$.

> **？ ①你能说明理由吗？**

因此, $\{a_n\}$ 是以 $25$ 为首项, $\frac{1}{2}$ 为公比的等比数列.
设$\{a_n\}$的前 $n$ 项和为 $S_n$.

(1)
$S_{10} = \frac{25 \times [1 - (\frac{1}{2})^{10}]}{1 - \frac{1}{2}} = 50 \times [1 - (\frac{1}{2})^{10}] = \frac{25575}{512}$.
所以, 前10个正方形的面积之和为 $\frac{25575}{512} \text{ cm}^2$.

(2) 当 $n$ 无限增大时, $S_n$ 无限趋近于所有正方形的面积和 $a_1+a_2+a_3+\dots+a_n+\dots$, 而
$S_n = \frac{25 \times [1 - (\frac{1}{2})^n]}{1 - \frac{1}{2}} = 50[1 - (\frac{1}{2})^n]$.
随着 $n$ 的无限增大, $(\frac{1}{2})^n$ 将趋近于 $0$, $S_n$ 将趋近于 $50$.
所以, 这些正方形的面积之和将趋近于 $50 \text{ cm}^2$.

### 例11

去年某地产生的生活垃圾为20万吨, 其中14万吨垃圾以填埋方式处理, 6万吨垃圾以环保方式处理. 预计每年生活垃圾的总量递增5%, 同时, 通过环保方式处理的垃圾量每年增加1.5万吨, 为了确定处理生活垃圾的预算, 请写出从今年起 $n$ 年内通过填埋方式处理的垃圾总量的计算公式, 并计算从今年起5年內通过填埋方式处理的垃圾总量(精确到0.1万吨).

**分析:** 由题意可知, 每年生活垃圾的总量构成等比数列, 而每年以环保方式处理的垃圾量构成等差数列, 因此, 可以利用等差数列、等比数列的知识进行计算.
<!--End Page43-->

<!--Begin Page44-->
**解:** 设从今年起每年生活垃圾的总量(单位: 万吨)构成数列 $a_n$，每年以环保方式处理的垃圾量(单位: 万吨)构成数列 $b_n$， $n$ 年内通过填埋方式处理的垃圾总量为 $S_n$ (单位: 万吨)，则

$$
a_n=20(1+5\%)^n,
$$
$$
b_n=6+1.5n,
$$
$$
\begin{aligned}
S_n & =(a_1-b_1)+(a_2-b_2)+\dots+(a_n-b_n) \\
& =(a_1+a_2+\dots+a_n)-(b_1+b_2+\dots+b_n) \\
& =(20 \times 1.05+20 \times 1.05^2+\dots+20 \times 1.05^n)-(7.5+9+\dots+6+1.5n) \\
& =\frac{(20 \times 1.05)(1-1.05^n)}{1-1.05} - \frac{n}{2}(7.5+6+1.5n) \\
& =420 \times 1.05^n - \frac{3}{4}n^2 - \frac{27}{4}n - 420.
\end{aligned}
$$

当 $n=5$ 时，$S_5 \approx 63.5$。

所以，从今年起 5 年内，通过填埋方式处理的垃圾总量约为 63.5 万吨。

**例 12** 某牧场今年初牛的存栏数为 1200，预计以后每年牛群的自然增长率为 8%，且在每年年底卖出 100 头牛，设牧场从今年起每年年初的计划存栏数依次为 $c_1, c_2, c_3, \dots$。

(1) 写出一个递推公式，表示 $c_{n+1}$ 与 $c_n$ 之间的关系；
(2) 将 (1) 中的递推公式表示成 $c_{n+1}-k=r(c_n-k)$ 的形式，其中 $k, r$ 为常数；
(3) 求 $S_{10}=c_1+c_2+c_3+\dots+c_{10}$ 的值（精确到 1）。

**分析:** (1) 可以利用“每年牛群的自然增长率为 8%”和“每年年底卖出 100 头”建立 $c_{n+1}$ 与 $c_n$ 的关系；(2) 这是待定系数法的应用，可以将它还原为 (1) 中的递推公式的形式，通过比较系数，得到方程组；(3) 利用 (2) 的结论可得出解答。

**解:** (1) 由题意，得 $c_1=1200$，并且
$$
c_{n+1}=1.08c_n-100. \quad \textcircled{1}
$$

(2) 将 $c_{n+1}-k=r(c_n-k)$ 化成
$$
c_{n+1}=rc_n-rk+k. \quad \textcircled{2}
$$

比较 $\textcircled{1}\textcircled{2}$ 的系数，可得
$$
\begin{cases}
r=1.08, \\
k-rk=-100.
\end{cases}
$$

解这个方程组，得
$$
\begin{cases}
r=1.08, \\
k=1250.
\end{cases}
$$
<!--End Page44-->

<!--Begin Page45-->
所以，(1)中的递推公式可以化为
$c_{n+1}-1250=1.08(c_n-1250)$.

(3) 由 (2) 可知，数列$\{c_n-1250\}$是以$-50$为首项，$1.08$为公比的等比数列，则
$(c_1-1250)+(c_2-1250)+(c_3-1250)+\cdots+(c_{10}-1250)$
$=-50 \times \frac{1-1.08^{10}}{1-1.08} \approx -724.3$.

> 利用递推公式，借助于电子表格的计算，能快捷地求得 (3) 的结果。你可以试一试。

所以
$S_{10}=c_1+c_2+c_3+\cdots+c_{10} \approx 1250 \times 10 - 724.3 = 11775.7 \approx 11776$.

## 练习

1.  一个乒乓球从 $1 \text{ m}$ 高的高度自由落下，每次落下后反弹的高度都是原来高度的 $0.61$ 倍。
    (1) 当它第 $6$ 次着地时，经过的总路程是多少（精确到 $1 \text{ cm}$）?
    (2) 至少在第几次着地后，它经过的总路程能达到 $400 \text{ cm}$?
2.  某牛奶厂 $2015$ 年初有资金 $1000$ 万元，由于引进了先进生产设备，资金年平均增长率可达到 $50\%$。每年年底扣除下一年的消费基金后，剩余资金投入再生产，这家牛奶厂每年应扣除多少消费基金，才能实现经过 $5$ 年资金达到 $2000$ 万元的目标（精确到 $1$ 万元）?
3.  已知数列$\{a_n\}$的前 $n$ 项和为 $S_n$，若 $S_n=2a_n+1$，求 $S_n$.

---

## 习题 4.3

### 复习巩固

1.  已知数列$\{a_n\}$是等比数列。
    (1) 若 $a_1=-1, a_4=64$，求 $q$ 与 $S_4$;
    (2) 若 $a_5-a_1=15, a_4-a_2=6$，求 $a_3$.
2.  已知$\{a_n\}$是一个无穷等比数列，公比为 $q$.
    (1) 将数列$\{a_n\}$中的前 $k$ 项去掉，剩余项组成一个新数列，这个新数列是等比数列吗？如果是，它的首项与公比分别是多少？
    (2) 取出数列$\{a_n\}$中的所有奇数项，组成一个新数列，这个新数列是等比数列吗？如果是，它的首项与公比分别是多少？
    (3) 在数列$\{a_n\}$中，从第 $1$ 项起，每隔 $10$ 项取出一项，组成一个新数列，这个新数列是等比数列吗？如果是，它的公比是多少？你能根据得到的结论作出关于等比数列的一个猜想吗？
3.  求和:
    (1) $(2-3 \times 5^{-1})+(4-3 \times 5^{-2})+\cdots+(2n-3 \times 5^{-n})$;
    (2) $1+2x+3x^2+\cdots+nx^{n-1}$.
<!--End Page45-->

<!--Begin Page46-->
4. 放射性元素在 $t=0$ 时的原子核总数为 $N_0$，经过一年原子核总数衰变为 $N_0q$，常数 $1-q$ 称为年衰变率，考古学中常利用死亡的生物体中碳 $14$ 元素稳定持续衰变的现象测定遗址的年代. 已知碳 $14$ 的半衰期为 $5730$ 年.
   (1) 碳 $14$ 的年衰变率为多少 (精确到 $10^{-6}$)?
   (2) 某动物标本中碳 $14$ 含量为正常大气中碳 $14$ 含量的 $60\%$ (即衰变了 $40\%$ )，该动物的死亡时间大约距今多少年 (精确到 $1$ 年)?

---

### **综合运用**

5.  已知 $S_n$ 是等比数列 $\{a_n\}$ 的前 $n$ 项和，$S_3, S_9, S_6$ 成等差数列. 求证: $a_2, a_8, a_5$ 成等差数列.
6.  求下列数列的一个通项公式和一个前 $n$ 项和公式:
    $1, 11, 111, 1111, 11\ 111, \ldots$.
7.  已知数列 $\{a_n\}$ 的首项 $a_1=1$，且满足 $a_{n+1}+a_n=3 \times 2^n$.
    (1) 求证: $\{a_n-2^n\}$ 是等比数列.
    (2) 求数列 $\{a_n\}$ 的前 $n$ 项和 $S_n$.
8.  若数列 $\{a_n\}$ 的首项 $a_1=1$，且满足 $a_{n+1}=2a_n+1$，求数列 $\{a_n\}$ 的通项公式及前 $10$ 项的和.
9.  在流行病学中，基本传染数 $R_0$ 是指在没有外力介入，同时所有人都没有任何免疫力的情况下，一个感染者平均传染的人数. $R_0$ 一般由疾病的感染周期、感染者与其他人的接触频率、每次接触过程中传染的概率决定. 假设某种传染病的基本传染数 $R_0=3.8$，平均感染周期为 $7$ 天，那么感染人数由 $1$ 个初始感染者增加到 $1000$ 人大约需要几轮传染? 需要多少天? (初始感染者传染 $R_0$ 个人为第一轮传染，这 $R_0$ 个人每人再传染 $R_0$ 个人为第二轮传染 $\ldots \ldots \ldots$)
    > 对于 $R_0>1$，而且死亡率较高的传染病，一般要隔离感染者，以控制传染源，切断传播途径.

---

### **拓广探索**

10. 已知数列 $\{a_n\}$ 为等比数列，$a_1=1024$，公比 $q=\frac{1}{2}$. 若 $T_n$ 是数列 $\{a_n\}$ 的前 $n$ 项积，求 $T_n$ 的最大值.
11. 已知数列 $\{a_n\}$ 的首项 $a_1=\frac{3}{5}$，且满足 $a_{n+1}=\frac{3a_n}{2a_n+1}$.
    (1) 求证: 数列 $\{\frac{1}{a_n}-1\}$ 为等比数列.
    (2) 若 $\frac{1}{a_1}+\frac{1}{a_2}+\frac{1}{a_3}+\ldots+\frac{1}{a_n}<100$，求满足条件的最大整数 $n$.
12. 已知数列 $\{a_n\}$ 为等差数列，$a_1=1, a_3=2\sqrt{2}+1$，前 $n$ 项和为 $S_n$，数列 $\{b_n\}$ 满足 $b_n=\frac{S_n}{n}$.
    求证:
    (1) 数列 $\{b_n\}$ 为等差数列;
    (2) 数列 $\{a_n\}$ 中的任意三项均不能构成等比数列.
<!--End Page46-->

<!--Begin Page47-->
## 阅读与思考

### 中国古代数学家求数列和的方法

前面，我们用巧妙的“倒序相加法”和“错位相减法”推导出了等差数列和等比数列的前$n$项和公式，人们对数列求和问题的兴趣由来已久，大约在公元前1800年，古埃及的“加罕纸草书”上就记载了等差数列的求和问题。同样地，等比数列的求和也是人们很早就感兴趣的问题，后来，人们开始探索求正整数的平方、立方、4次幂以至$n$次幂之和的公式。17世纪代数符号普及之后，数列求和问题经历了由有限到无限、由数项到函数项的发展过程，逐渐形成了现代分析学的一个分支——级数理论。

中国古代许多著名的数学家对推导高阶等差数列的求和公式很感兴趣，创造并发展了名为“垛积术”的算法，展现了聪明才智。下面，我们介绍中国数学家求数列和的方法。

刘徽是我国魏晋时期的数学家，他在为《九章算术》所做的注文中给出了等差数列的求和公式(2)。《九章算术》“盈不足”章的第19问是一个等差数列问题：“今有良马与驽马发长安至齐，齐去长安三千里(里是我国市制长度单位，1里=500 m)。良马初日行一百九十三里，日增十三里。驽马初日行九十七里，日减半里。良马先至齐，复还迎驽马。问：几何日相逢及各行几何？”
[图片描述:一幅描绘中国魏晋时期数学家刘徽的画像。画中刘徽蓄有胡须，身穿古代服饰，神态安详，略微侧身，右臂搭在左臂上。|标题:刘徽|图片编号:图1]
刘徽用“平行数士中平里”来计算良马和驽马15日所行里数，其中“平行数”“以二马初日所行里乘十五日”得到，良马的“中平里”的计算公式是$(1+14)\times\frac{14}{2}\times13$，驽马的“中平里”的计算公式是$(1+14)\times\frac{14}{2}\times\frac{1}{2}$。这样良马 15 日所行里数的和为 $S_{良}=193\times15+(1+14)\times\frac{14}{2}\times13$，这相当于使用了等差数列的求和公式(2)。刘徽是怎样发现这个公式的呢？史学家认为，他可能是在把良马15日內每日所行里数逐项相加的过程中发现的，具体如下：

$$
\begin{aligned}
& 193+(193+13)+(193+13\times2)+(193+13\times3)+\cdots+(193+13\times14) \\
& =193\times15+(1+2+3+\cdots+14)\times13 \\
& =2895+(1+14)\times\frac{14}{2}\times13
\end{aligned}
$$
<!--End Page47-->

<!--Begin Page48-->
北宋的数学家沈括博学多才、善于观察，据说有一天，他走进一家酒馆，看见一层层垒起的酒坛，不禁想到：“怎么求这些酒坛的总数呢？”沈括“用刍童(长方台)法求之，常失于数少”，他想堆积的酒坛、棋子等虽然看起来像实体，但中间是有空隙的，应该把它们看成离散的量。经过反复尝试，沈括提出对于上底有$ab$个，下底有$cd$个，共$n$层的堆积物（图1），可以用公式$S=\frac{n}{6}[(2b+d)a+(b+2d)c]+\frac{n}{6}(c-a)$求出物体的总数，这就是所谓的“隙积术”，相当于求数列$ab$，$(a+1)(b+1)$，$(a+2)(b+2)$，…，$(a+n-1)(b+n-1)=cd$的和。然而，“隙积术”的意义不仅在于提出了二阶等差数列的一个求和公式，而且在于发展了自《九章算术》以来对等差数列问题的研究，开创了我国“垛积术”的研究。

[图片描述: 一种由多层球体堆叠而成的截棱锥状堆积物侧视图。图中清晰地标示了顶层宽度为$a$，顶层深度为$b$，底层宽度为$c$，底层深度为$d$，以及堆积的总层数为$n$。球体以规律的网格排列，从底部到顶部层数逐渐减少。|标题:图1|图片编号:1]

[图片描述: 一个由点组成的三角形堆积，形状酷似中国古代的圭形。点从下到上逐层减少，最底层有七个点，形成一个等腰三角形的轮廓。图示为二维平面上的离散点阵。|标题:图2 圭垛|图片编号:2]

南宋的数学家杨辉“善于把已知形状、大小的几何图形的求面积、体积的连续量问题转化为求离散量的垛积问题”。例如，求图2“圭垛”中的格点个数总和，杨辉认为虽然圭垛的形状与三角形相似，但要用梯形的面积公式计算，即$S_7=\frac{(1+7)\times7}{2}=28$。在他的专著《详解九章算法·商功》中，杨辉将堆垛与相应立体图形作类比，推导出了三角垛、方垛、刍甍垛、刍童垛等的公式。例如三角垛指的是顶层放1个，第二层放3个，第三层放6个……第$n$层放$\frac{1}{2}n(n+1)$个物体堆成的堆垛，类比图3中的立体图形，杨辉推出了它的求和公式$S=1+3+6+\cdots+\frac{1}{2}n(n+1)=\frac{1}{6}n(n+1)(n+2)$。

[图片描述: 一个粉色和蓝色构成的三维立体几何图形，其底面为三角形，侧面为倾斜的平面，顶部为一点，整体呈现出三角锥的形状。此图形通常用于类比和推导三角垛的求和公式。|标题:图3|图片编号:3]
<!--End Page48-->

<!--Begin Page49-->
## 4.4$^*$ 数学归纳法

在数列的学习过程中，我们已经用归纳的方法得出了一些结论，例如等差数列$\{a_n\}$的通项公式$a_n=a_1+(n-1)d$等，但并没有给出严格的数学证明。那么，对于这类与正整数$n$有关的命题，我们怎样证明它对每一个正整数$n$都成立呢？本节我们就来介绍一种重要的证明方法——数学归纳法。

### 探究

已知数列$\{a_n\}$满足$a_1=1$， $a_{n+1}=\frac{1}{2-a_n}$ ($n\in \mathbf{N}^*$)，计算$a_2, a_3, a_4$，猜想其通项公式，并证明你的猜想。

计算可得$a_2=1$, $a_3=1$, $a_4=1$。再结合$a_1=1$, 由此猜想: $a_n=1$ ($n\in \mathbf{N}^*$)。
如何证明这个猜想呢？我们自然会想到从$n=5$开始一个个往下验证。一般来说，与正整数$n$有关的命题，当$n$比较小时可以逐个验证，但当$n$较大时，验证起来会很麻烦。特别是证明$n$取所有正整数都成立的命题时，逐一验证是不可能的。因此，我们需要另辟蹊径，寻求一种方法：
通过有限个步骤的推理，证明$n$取所有正整数时命题都成立。

我们先从多米诺骨牌游戏说起。码放骨牌时，要保证任意相邻的两块骨牌，若前一块骨牌倒下，则一定导致后一块骨牌倒下，这样，只要推倒第1块骨牌，就可导致第2块骨牌倒下；而第2块骨牌倒下，就可导致第3块骨牌倒下；…………总之，不论有多少块骨牌，都能全部倒下。

[图片描述:一排蓝色多米诺骨牌正在连锁倾倒，前几块骨牌已经倒下，后续的骨牌也正处于倾倒状态。|标题:多米诺骨牌效应示意图|图片编号:1]

### 思考

在这个游戏中，能使所有多米诺骨牌全部倒下的条件是什么？

可以看出，使所有骨牌都能倒下的条件有两个：
(1) 第一块骨牌倒下；

---
$^*$ 标有$^*$的内容为选学内容，不作考试要求。
<!--End Page49-->

<!--Begin Page50-->
(2) 任意相邻的两块骨牌，前一块倒下一定导致后一块倒下。

> **❓ 思考**
> 你认为条件(2)的作用是什么？如何用数学语言描述它？

可以看出，条件(2)实际上是给出了一个递推关系：第 $k$ 块骨牌倒下 $\rightarrow$ 第 $k+1$ 块骨牌倒下。
这样，只要第1块骨牌倒下，其他所有的骨牌就能够相继倒下。事实上，无论有多少块骨牌，只要保证(1)(2)成立，那么所有的骨牌一定可以全部倒下。

> 假设有无限多块多米诺骨牌，我们可以想象前一块推倒后一块的动作将永远进行下去。

> **❓ 思考**
> 你认为证明前面的猜想“数列的通项公式是 $a_n=1 (n \in \textbf{N}^*)$”与上述多米诺骨牌游戏有相似性吗？你能类比多米诺骨牌游戏解决这个问题吗？

显然，如果能得到一个类似于“第 $k$ 块骨牌倒下 $\rightarrow$ 第 $k+1$ 块骨牌倒下”的递推关系，那么猜想的正确性也就得到证明了。为此，我们先回顾一下猜想的获得过程：
*   由 $a_1=1$，利用递推关系，推出 $a_2=1$；
*   由 $a_2=1$，利用递推关系，推出 $a_3=1$；
*   由 $a_3=1$，利用递推关系，推出 $a_4=1$；
*   ......

> **❓ 思考**
> 归纳上述过程的共性，你能得出推理的一般结构吗？

我们发现，上述过程蕴含着一个与多米诺骨牌游戏的条件(2)类似的递推结构：
以 $a_k=1$ 成立为条件，推出 $a_{k+1}=1$ 也成立。
它相当于命题：
当 $n=k$ 时猜想成立，则 $n=k+1$ 时猜想也成立。
只要能够证明这个命题，我们就可以在 $a_1=1$ 的条件下，由这个命题得到：对任意正整数 $n$，$a_n=1$ 成立。
事实上，如果 $n=k$ 时猜想成立，即 $a_k=1$，那么
$$
a_{k+1} = \frac{1}{2-a_k} = \frac{1}{2-1} = 1,
$$

> 这里 $k$ 是任意的，所有能使猜想成立的正整数都可以作为 $k$，并且这样的 $k$ 也是存在的，因为数“1”就是一个例子。
<!--End Page50-->

<!--Begin Page51-->
即当 $n=k+1$ 时，猜想也成立。

这样，对于猜想“$a_n=1$”，由 $n=1$ 成立，就有 $n=2$ 成立；由 $n=2$ 成立，就有 $n=3$ 成立；……。所以，对于任意正整数 $n$，猜想都成立，即数列$\{a_n\}$的通项公式是 $a_n=1$ ($n \in \mathbf{N}^*$).

一般地，证明一个与正整数 $n$ 有关的命题，可按下列步骤进行：
(1) (归纳奠基) 证明当 $n=n_0$ ($n_0 \in \mathbf{N}^*$) 时命题成立；
(2) (归纳递推) 以“当 $n=k$ ($k \in \mathbf{N}^*$, $k \ge n_0$) 时命题成立”为条件，推出“当 $n=k+1$ 时命题也成立”。
只要完成这两个步骤，就可以断定命题对从 $n_0$ 开始的所有正整数 $n$ 都成立，这种证明方法称为**数学归纳法** (mathematical induction)。

### **? 思考**

数学归纳法中的两个步骤之间有什么关系？

记 $P(n)$ 是一个关于正整数 $n$ 的命题，我们可以把用数学归纳法证明的形式改写如下：
条件：(1) $P(n_0)$ 为真；(2) 若 $P(k)$ ($k \in \mathbf{N}^*$, $k \ge n_0$) 为真，则 $P(k+1)$ 也为真。
结论：$P(n)$ 为真。
在数学归纳法的两步中，第一步验证 (或证明) 了当 $n=n_0$ 时结论成立，即命题 $P(n_0)$ 为真；第二步是证明一种递推关系，实际上是要证明一个新命题：
若 $P(k)$ 为真，则 $P(k+1)$ 也为真。
完成这两步，就有 $P(n_0)$ 真，$P(n_0+1)$ 真 …… $P(k)$ 真，$P(k+1)$ 真 ……，从而完成证明。

**例1** 用数学归纳法证明：如果$\{a_n\}$是一个公差为 $d$ 的等差数列，那么
$$a_n=a_1+(n-1)d \quad \text{①}$$
对任何 $n \in \mathbf{N}^*$ 都成立。

**分析：** 因为等差数列的通项公式涉及全体正整数，所以用数学归纳法证明的第一步应证明当 $n=1$ 时命题成立。第二步要明确证明的目标，即要证明一个新命题：如果当 $n=k$ 时①式是正确的，那么当 $n=k+1$ 时①式也是正确的。

**证明：**
(1) 当 $n=1$ 时，左边 $=a_1$，右边 $=a_1+0 \times d=a_1$，①式成立。
(2) 假设当 $n=k$ ($k \in \mathbf{N}^*$) 时，①式成立，即
$$a_k=a_1+(k-1)d$$
根据等差数列的定义，有
$$a_{k+1}-a_k=d$$
于是
<!--End Page51-->

<!--Begin Page52-->
```markdown
$$
a_{k+1} = a_k + d \\
= [a_1 + (k-1)d] + d \\
= a_1 + [(k-1)+1]d \\
= a_1 + [(k+1)-1]d
$$
即当 $n=k+1$ 时, ①式也成立.
由 (1)(2) 可知, ①式对任何 $n \in \mathbb{N}^*$ 都成立.

> **教育优化提示**:
> 在证明递推步骤时，必须使用归纳假设，并把“证明的目标”牢记在心。

## 练习

1.  下列各题在应用数学归纳法证明的过程中，有没有错误？如果有错误，错在哪里？
    (1) 求证: 当 $n \in \mathbb{N}^*$ 时, $n=n+1$.
    **证明**: 假设当 $n=k (k \in \mathbb{N}^*)$ 时, 等式成立, 即 $k=k+1$.
    则当 $n=k+1$ 时, 左边 $= k+1 = (k+1)+1 =$ 右边.
    所以当 $n=k+1$ 时, 等式也成立.
    由此得出, 对任何 $n \in \mathbb{N}^*$, 等式 $n=n+1$ 都成立.

    (2) 用数学归纳法证明等差数列的前 $n$ 项和公式是 $S_n = \frac{n(a_1+a_n)}{2}$.
    **证明**:
    ① 当 $n=1$ 时, 左边 $= S_1 = a_1$, 右边 $= a_1$, 等式成立.
    ② 假设当 $n=k (k \in \mathbb{N}^*)$ 时, 等式成立, 即 $S_k = \frac{k(a_1+a_k)}{2}$.
    则当 $n=k+1$ 时,
    $$
    S_{k+1} = a_1 + a_2 + a_3 + \dots + a_k + a_{k+1}, \\
    S_{k+1} = a_{k+1} + a_k + a_{k-1} + \dots + a_2 + a_1.
    $$
    上面两式相加并除以2, 可得
    $$
    S_{k+1} = \frac{(k+1)(a_1+a_{k+1})}{2}
    $$
    即当 $n=k+1$ 时, 等式也成立.
    由 ①② 可知, 等差数列的前 $n$ 项和公式是 $S_n = \frac{n(a_1+a_n)}{2}$.

2.  用数学归纳法证明: 首项为 $a_1$, 公比为 $q$ 的等比数列的通项公式是 $a_n = a_1 q^{n-1}$, 前 $n$ 项和公式是 $S_n = \frac{a_1(1-q^n)}{1-q} (q \neq 1)$.

## 例2 用数学归纳法证明:

$$
1^2+2^2+\dots+n^2=\frac{1}{6}n(n+1)(2n+1) \quad (n \in \mathbb{N}^*) \quad \text{(1)}
$$

**分析**: 用数学归纳法证明时, 第二步要证明的是一个以“当 $n=k$ 时, ①式成立”为条件, 得出“当 $n=k+1$ 时, ①式也成立”的命题, 证明时必须用上上述条件.
```
<!--End Page52-->

<!--Begin Page53-->
**证明:**
(1) 当 $n=1$ 时, ①式的左边$=1^2=1$,
右边$=\frac{1}{6} \times 1 \times (1+1) \times (2 \times 1+1) = \frac{1 \times 2 \times 3}{6} = 1$,
所以①式成立.

(2) 假设当 $n=k$ ($k \in \mathbb{N}^*$) 时, ①式成立, 即
$1^2+2^2+\cdots+k^2=\frac{1}{6}k(k+1)(2k+1)$,
在上式两边同时加上 $(k+1)^2$, 有
$1^2+2^2+\cdots+k^2+(k+1)^2$
$=\frac{1}{6}k(k+1)(2k+1)+(k+1)^2$
$=\frac{k(k+1)(2k+1)+6(k+1)^2}{6}$
$=\frac{(k+1)(k(2k+1)+6(k+1))}{6}$
$=\frac{(k+1)(2k^2+k+6k+6)}{6}$
$=\frac{(k+1)(2k^2+7k+6)}{6}$
$=\frac{(k+1)(k+2)(2k+3)}{6}$
$=\frac{1}{6}(k+1)[(k+1)+1][2(k+1)+1]$,
即当 $n=k+1$ 时, ①式也成立.
由 (1)(2) 可知, ①式对任何 $n \in \mathbb{N}^*$ 都成立.

**例3** 已知数列$\{a_n\}$满足 $a_1=0$, $2a_{n+1}-a_n a_{n+1}=1$ ($n \in \mathbb{N}^*$), 试猜想数列$\{a_n\}$的通项公式, 并用数学归纳法加以证明.

**分析:** 先将数列$\{a_n\}$的递推关系 $2a_{n+1}-a_n a_{n+1}=1$ 化为 $a_{n+1}=\frac{1}{2-a_n}$ ($n \in \mathbb{N}^*$), 通过计算 $a_2, a_3, a_4, a_5$ 的值, 归纳共性并作出猜想, 再应用数学归纳法证明猜想.

**解:** 由 $2a_{n+1}-a_n a_{n+1}=1$, 可得
$a_{n+1}=\frac{1}{2-a_n}$ ($n \in \mathbb{N}^*$).

由
$a_1=0$,
可得
$a_2=\frac{1}{2-0}=\frac{1}{2}$.
同理可得
$a_3=\frac{1}{2-\frac{1}{2}}=\frac{2}{3}$, $a_4=\frac{1}{2-\frac{2}{3}}=\frac{3}{4}$, $a_5=\frac{1}{2-\frac{3}{4}}=\frac{4}{5}$.
<!--End Page53-->

<!--Begin Page54-->
归纳上述结果，猜想
$$ a_n = \frac{n-1}{n} \quad (n \in \mathbb{N}^*). \quad \text{①} $$
下面用数学归纳法证明这个猜想。
(1) 当$n=1$时, ①式左边=$a_1=0$, 右边=$\frac{1-1}{1}=0$, 猜想成立。
(2) 假设当$n=k (k \in \mathbb{N}^*)$时, ①式成立,即
$$ a_k = \frac{k-1}{k}, $$
那么
$$ a_{k+1} = \frac{1}{2-a_k} = \frac{1}{2-\frac{k-1}{k}} = \frac{k}{2k-(k-1)} = \frac{k}{k+1} = \frac{(k+1)-1}{k+1}, $$
即当$n=k+1$时, 猜想也成立。
由(1)(2)可知,猜想对任何$n \in \mathbb{N}^*$都成立。

**例4** 设$x$为实数,且$x>-1, x \neq 0, n$为大于$1$的正整数,记数列
$x, x(1+x), x(1+x)^2, \ldots, x(1+x)^{n-1}, \ldots$
的前$n$项和为$S_n$,试比较$S_n$与$nx$的大小,并用数学归纳法证明你的结论。

**分析:** 该问题中涉及两个字母, $x$ 是大于$-1$且不等于零的实数, $n$ 是大于$1$的正整数。一种思路是不求和,而直接通过$n$取特殊值比较$S_n$与$nx$的大小关系,并作出猜想;另一种思路是先由等比数列的求和公式求出$S_n$,再通过$n$取特殊值比较$S_n$与$nx$的大小关系后作出猜想。两种做法都必须用数学归纳法证明得到的猜想。

**解法1:** 由已知可得
$$ S_n=x+x(1+x)+x(1+x)^2+\cdots+x(1+x)^{n-1}. $$
当$n=2$时, $S_2=x+x(1+x)=x^2+2x$,由$x \neq 0$,知$x^2>0$,可得
$$ S_2>2x; $$
当$n=3$时, $S_3=x+x(1+x)+x(1+x)^2=x^2(x+3)+3x$,由$x>-1$且$x \neq 0$,知$x^2(x+3)>0$,可得
$$ S_3>3x. $$
由此,我们猜想,当$x>-1$且$x \neq 0, n \in \mathbb{N}^*$且$n>1$时, $S_n>nx$.
下面用数学归纳法证明这个猜想。
(1) 当$n=2$时,由上述过程知,猜想成立。
(2) 假设当$n=k (k \in \mathbb{N}^*$,且$k \ge 2)$时,不等式成立,即
$$ S_k>kx, $$
则
<!--End Page54-->

<!--Begin Page55-->
可得
$S_{k+1} = S_k + x(1+x)^k$
$> kx + x(1+x)^k$.

1.  当 $x>0$ 时, 因为 $k>1$, 所以 $(1+x)^k > 1$, 所以
    $x(1+x)^k > x$.
2.  当 $-1<x<0$ 时, $0<1+x<1$, 且 $x^2>0$. 又因为 $k>1$, 所以 $(1+x)^k < 1+x$,
    $x(1+x)^k > x(1+x) = x+x^2 > x$.

综合1、2可得, 当 $x>-1$ 且 $x \ne 0$ 时,
$S_{k+1} > kx + x(1+x)^k$
$> kx + x$
$= (k+1)x$,
所以, 当 $n=k+1$ 时, 猜想也成立.
由(1)(2)可知, 不等式 $S_n > nx$ 对任何大于1的正整数 $n$ 都成立.

**解法2:** 因为 $x>-1$, $x \ne 0$, 所以所给数列是等比数列, 公比为 $1+x$, 于是
$S_n = x+x(1+x)+x(1+x)^2+\cdots+x(1+x)^{n-1}$
$= \frac{x[1-(1+x)^n]}{1-(1+x)}$
$= (1+x)^n-1$.

当 $n=2$ 时, $S_2=(1+x)^2-1=x^2+2x$, 由 $x \ne 0$, 知 $x^2 \ge 0$, 可得
$S_2 > 2x$;
当 $n=3$ 时, $S_3=(1+x)^3-1=x^2(x+3)+3x$, 由 $x>-1$, $x \ne 0$, 得 $x^2(x+3)>0$, 可得
$S_3 > 3x$.

由此, 我们猜想, 当 $x>-1$ 且 $x \ne 0$, $n \in \mathbb{N}^*$ 且 $n>1$ 时, $S_n > nx$.
下面用数学归纳法证明.

1.  当 $n=2$ 时, 由上述过程知, 猜想成立.
2.  假设当 $n=k$ ($k \in \mathbb{N}^*$, 且 $k \ge 2$) 时, 不等式 $S_k > kx$ 成立, 即
    $(1+x)^k-1 > kx$,
    亦即
    $(1+x)^k > 1+kx$.
    由 $x>-1$, 得 $x+1>0$. 又因为 $k>1$, $x \ne 0$, 所以 $kx^2 \ge 0$. 于是
    $S_{k+1}=(1+x)^{k+1}-1$
    $= (1+x)^k(1+x)-1$
    $> (1+kx)(1+x)-1$
    $= kx^2 + (k+1)x$
<!--End Page55-->

<!--Begin Page56-->
>$(k+1)x.$
所以，当$n=k+1$时，猜想也成立。
由(1)(2)可知，不等式 $S_n>nx$ 对任何大于1的正整数$n$都成立。

## 练习

1.  用数学归纳法证明：$-1+3-5+\cdots+(-1)^n(2n-1)=(-1)^n n$。
2.  若数列 $\frac{1}{1\times2}, \frac{1}{2\times3}, \frac{1}{3\times4}, \cdots, \frac{1}{n(n+1)}, \cdots$ 的前 $n$ 项和为 $S_n$，计算 $S_1, S_2, S_3$，由此推测 $S_n$ 的公式，并用数学归纳法进行证明。
3.  观察下列两个数列$\{a_n\}, \{b_n\}$：
    数列$\{a_n\}$: 1, 4, 9, 16, 25, 36, 49, 64, 81, ……;
    数列$\{b_n\}$: 2, 4, 8, 16, 32, 64, 128, 256, 512, ……。
    猜想从第几项起 $a_n$ 小于 $b_n$，并证明你的结论。
4.  猜想满足 $a_1=a, 2a_{n+1}-a_n a_{n+1}=1$ 的数列$\{a_n\}$的通项公式，并用数学归纳法证明你的结论。

## 习题 4.4
### 复习巩固

1.  选择题
    用数学归纳法证明下列等式:
    $-1+3-5+7+\cdots+(-1)^n(2n-1)+(-1)^{n+1}(2n+1)+(-1)^{n+2}(2n+3)=(-1)^{n+2}(n+2)$.
    要验证当 $n=1$ 时等式成立，其左边的式子应为 ( )。
    (A) $-1$
    (B) $-1+3$
    (C) $-1+3-5$
    (D) $-1+3-5+7$
2.  用数学归纳法证明:
    (1) $1+3+5+\cdots+(2n-1)=n^2$;
    (2) $1+2+2^2+\cdots+2^{n-1}=2^n-1$;
    (3) $1^3+2^3+3^3+\cdots+n^3 = \left[\frac{1}{2}n(n+1)\right]^2$.
3.  已知数列$\{a_n\}$满足 $a_1=1, 4a_{n+1}-a_n a_{n+1}+2a_n=9 (n \in \mathbb{N}^*)$。计算 $a_2, a_3, a_4$，由此猜想数列$\{a_n\}$的通项公式，并用数学归纳法证明。
4.  已知数列 $\frac{1}{1\times4}, \frac{1}{4\times7}, \frac{1}{7\times10}, \cdots, \frac{1}{(3n-2)(3n+1)}, \cdots$ 的前 $n$ 项和为 $S_n$。计算 $S_1, S_2, S_3, S_4$，由此猜想 $S_n$ 的表达式，并用数学归纳法证明。
<!--End Page56-->

<!--Begin Page57-->
## 综合运用

5.  用数学归纳法证明：$\frac{1^2}{1 \times 3} + \frac{2^2}{3 \times 5} + \cdots + \frac{n^2}{(2n-1)(2n+1)} = \frac{n(n+1)}{2(2n+1)}$.
6.  已知数列$\{a_n\}$, $\{b_n\}$ 的通项公式分别为 $a_n=2^n$, $b_n=n^4$, 其中 $n \in \mathbb{N}^*$. 试推断 $a_n>b_n$ 对哪些正整数 $n$ 成立，证明你的结论.
7.  已知数列$\{x_n\}$ 满足 $x_1=1$, $x_n=x_{n+1}+\ln(1+x_{n+1})(n \in \mathbb{N}^*)$. 试用数学归纳法证明 $x_n>0$, 并比较 $x_n$ 与 $x_{n+1}$ 的大小关系.

## 拓广探索

8.  证明：$n^3+5n(n \in \mathbb{N}^*)$ 能够被 6 整除.
9.  一本旧教材上有一个关于正整数 $n$ 的恒等式
    $1 \times 2^2 + 2 \times 3^2 + \cdots + n(n+1)^2 = \frac{1}{12}n(n+1)?$
    其中问号处由于年代久远，只能看出它是关于 $n$ 的二次三项式，具体的系数已经看不清楚了. 请你猜想这个恒等式的形式，并用数学归纳法证明.
10. 已知命题：设 $a_1, a_2$ 为非负实数，$b_1, b_2$ 为正实数，若 $b_1+b_2=1$, 则
    $a_1^{b_1} a_2^{b_2} \leq a_1 b_1 + a_2 b_2$.
    请将该命题推广到一般形式，并用数学归纳法证明你所推广的命题.
<!--End Page57-->

<!--Begin Page58-->
# 小结

## 一、本章知识结构

[图片描述: 本图是一个知识结构图，展示了数列、特殊数列和数学归纳法的核心概念、表示方法、性质和应用。
图的核心是“数列”，它分为“概念”和“表示”。“表示”进一步细化为“表格”、“图象”、“通项公式”和“递推公式”。
“数列”通过“特殊化”引出“特殊数列”。“特殊数列”又分支到“等差数列”和通过“类比”引出的“等比数列”。
“等差数列”和“等比数列”都包含“概念”和“表示”。“表示”又具体为“通项公式”和“前$n$项和公式”。
“通项公式”最终引向“应用”。
图中还特别指出了“等差数列”与“一次函数”（虚线框表示，虚线箭头连接）的关系，以及“等比数列”与“指数函数”（虚线框表示，虚线箭头连接）的关系。
此外，图中右下方还有“数学归纳法”，它包括“基本原理”和“简单应用”。整个结构清晰地展现了数列知识体系的层次和关联性。|标题:数列知识结构图|图片编号:1]

```mermaid
graph TD
    %% Define nodes
    shu_lie[数列]
    gai_nian_1[概念]
    biao_shi_1[表示]
    biao_ge[表格]
    tu_xiang[图象]
    tong_xiang_gong_shi_1[通项公式]
    di_tui_gong_shi[递推公式]
    te_shu_hua[特殊化]
    yi_ci_han_shu[一次函数]
    te_shu_shu_lie[特殊数列]
    deng_cha_shu_lie[等差数列]
    lei_bi[类比]
    deng_bi_shu_lie[等比数列]
    gai_nian_2[概念]
    biao_shi_2[表示]
    tong_xiang_gong_shi_2[通项公式]
    ying_yong[应用]
    qian_n_xiang_he[前$n$项和公式]
    zhi_shu_han_shu[指数函数]
    shu_xue_gui_na_fa[数学归纳法]
    ji_ben_yuan_li[基本原理]
    jian_dan_ying_yong[简单应用]

    %% Define connections
    shu_lie --> gai_nian_1
    shu_lie --> biao_shi_1
    biao_shi_1 --> biao_ge
    biao_shi_1 --> tu_xiang
    biao_shi_1 --> tong_xiang_gong_shi_1
    biao_shi_1 --> di_tui_gong_shi

    shu_lie --> te_shu_hua
    te_shu_hua --> te_shu_shu_lie

    te_shu_shu_lie --> deng_cha_shu_lie
    te_shu_shu_lie --> lei_bi
    lei_bi --> deng_bi_shu_lie

    deng_cha_shu_lie --> gai_nian_2
    deng_cha_shu_lie --> biao_shi_2
    deng_bi_shu_lie --> gai_nian_2
    deng_bi_shu_lie --> biao_shi_2

    biao_shi_2 --> tong_xiang_gong_shi_2
    biao_shi_2 --> qian_n_xiang_he

    tong_xiang_gong_shi_2 --> ying_yong

    deng_cha_shu_lie -.-> yi_ci_han_shu
    deng_bi_shu_lie -.-> zhi_shu_han_shu

    shu_xue_gui_na_fa --> ji_ben_yuan_li
    shu_xue_gui_na_fa --> jian_dan_ying_yong
```

## 二、回顾与思考

在本章中，我们学习了数列的定义，并以取值规律最简单的两类数列——等差数列和等比数列为例，在研究它们的性质的基础上，推导出了这两类数列的通项公式与前$n$项和公式，还通过建立数列模型，解决了一些数学问题和实际问题。数列的定义建立起了它的序号与项之间的对应关系，数列是一种特殊的函数，因此我们可以用函数的方法来研究数列，例如，用表格、图象和函数解析式（数列的通项公式）来表示数列，建立数列模型刻画具有递推规律的事物等。而从等差数列、等比数列的通项公式出发，我们发现了等差数列与一次函数、等比数列与指数函数之间的关系，在本章的学习中，我们还常常通过运算发现数列的取值规律，解决与数列有关的问题。
<!--End Page58-->

<!--Begin Page59-->
此外，我们还学习了数学归纳法，这种方法建立了一种无穷递推的机制，用有限的步骤证明了与无限多个正整数有关的命题，实现了从有限到无限的飞跃。它既是我们证明与正整数 $n$ 有关的命题的一种思想方法，又为我们提供了一种“观察——归纳——猜想——证明”的思维模式，需要注意的是，数学归纳法中的两个步骤是缺一不可的。

请你带着下面的问题，复习一下全章内容吧！

1.  为什么说数列是一种特殊的函数？
2.  在什么情况下可以用通项公式表示数列，在什么情况下可以用递推公式表示数列？
3.  数列的前 $n$ 项和公式与它的通项公式有什么关系？
4.  等差数列和等比数列的通项公式分别是什么？你是如何推导出它们的？等差数列和等比数列的图象分别有什么特点？
5.  “等差中项”“等比中项”与“平均数”之间有什么内在联系？等差数列、等比数列有许多有趣的性质，你能列举一些吗？
6.  推导等差数列、等比数列的前 $n$ 项和公式时，各用了哪些巧妙的方法？
*7. 为什么说数学归纳法的两个步骤(归纳奠基与归纳递推)缺一不可？你能说说两个步骤各自的作用吗？它们之间有怎样的关系？

---

## 复习参考题 4

### 复习巩固

1.  根据下列数列的通项公式，分别作出它们的图象：
    (1) $a_n = -\frac{n}{4}$;
    (2) $b_n = \frac{2^n}{3}$;
    (3) $c_n = \frac{2n+1}{n}$;
    (4) $d_n = \frac{(-1)^n}{n}$.

2.  根据下列数列的前4项，写出数列的一个通项公式：
    (1) $\frac{1}{2}, \frac{3}{4}, \frac{5}{8}, \frac{7}{16}, \cdots$;
    (2) $1+\frac{1}{2^2}, 1-\frac{3}{4^2}, 1+\frac{5}{6^2}, 1-\frac{7}{8^2}, \cdots$;
    (3) $0, \sqrt{2}, 0, \sqrt{2}, \cdots$.

3.  选择题
    (1) 预测人口的变化趋势有多种方法，“直接推算法”使用的公式是$P_n = P_0 (1+k)^n$ ($k>-1$),其中$P_n$为预测期人口数,$P_0$为初期人口数,$k$为预测期内人口年增长率,$n$为预测期间隔年数.如果在某一时期$k \in (-1,0)$,那么在这期间人口数( ).
        (A)呈上升趋势
        (B)呈下降趋势
        (C)摆动变化
        (D)不变
<!--End Page59-->

<!--Begin Page60-->
(2)《*莱因德纸草书*》(Rhind Papyrus)是世界上最古老的数学著作之一,书中有一道这样的题目,请给出答案:把100个面包分给5个人,使每人所得面包个数成等差数列,且使较大的三份之和的$\frac{1}{7}$是较小的两份之和,则最小的一份为 ( )。
(A) $\frac{5}{3}$
(B) $\frac{10}{3}$
(C) $\frac{5}{6}$
(D) $\frac{11}{6}$

(3)如图是瑞典数学家科赫在1904年构造的能够描述雪花形状的图案,图形的作法是:从一个正三角形开始,把每条边分成三等份,然后以各边的中间一段为底边分别向外作正三角形,再去掉底边,反复进行这一过程,就得到一条“雪花”状的曲线。设原正三角形(图①)的边长为1,把图①、图②、图③、图④中图形的周长依次记为$C_1, C_2, C_3, C_4$,则$C_4=$( )。
(A) $\frac{128}{9}$
(B) $\frac{64}{9}$
(C) $\frac{64}{27}$
(D) $\frac{128}{27}$

[图片描述:一个边长为1的正三角形，是科赫雪花图案的初始形态。|标题:图① 正三角形|图片编号:1]
[图片描述:科赫雪花图案的第一次迭代，由初始正三角形的每条边的中间三分之一处向外添加一个较小的正三角形形成，呈现六角星状。|标题:图② 科赫雪花第一次迭代|图片编号:2]
[图片描述:科赫雪花图案的第二次迭代，在图②的基础上，对所有露出边进行相同操作，形成更复杂的雪花状。|标题:图③ 科赫雪花第二次迭代|图片编号:3]
[图片描述:科赫雪花图案的第三次迭代，在图③的基础上，对所有露出边进行相同操作，形成更加精细的雪花状。|标题:图④ 科赫雪花第三次迭代|图片编号:4]

(第3(3)题)

4. 填空题
(1)已知$a=5+2\sqrt{6}, c=5-2\sqrt{6}$。若$a,b,c$三个数成等差数列,则$b=\_\_\_\_\_$ ;若$a,b,c$三个数成等比数列,则$b=\_\_\_\_\_$ 。
(2)我国古代数学名著《算法统宗》中有如下问题:“远望巍巍塔七层,红光点点倍加增,共灯三百八十一,请问尖头几盏灯。”意思是:一座7层塔共挂了381盏灯,且相邻两层中的下一层灯数是上一层灯数的2倍,则塔的顶层共有$\_\_\_\_\_$盏灯。

5. 某教育网站本月的用户为2000人,网站改造后,预计平均每月的用户都比上一个月增加30%,那么从本月起,大约经过几个月可使用户达到1万人(精确到1)?

6. 某中学的募捐小组暑假期间走上街头进行了一次募捐活动,共收到捐款1200元。他们第1天只得到10元,之后采取了积极措施,从第2天起,每天收到的捐款都比前一天多10元。这次募捐活动一共进行了多少天?

7. 某同学利用暑假中的一段时间(不超过20天)到一家商场勤工俭学。该商场向他提供了三种付酬方案:第一种,每天支付85元;第二种,第1天支付65元,从第2天起,每天比前一天都多支付2元;第三种,第1天支付40元,从第2天起,每天支付的金额都是前一天的1.1倍。你认为他选择哪种方案领取报酬更划算?

**综合运用**

8. 非零实数$a,b,c$不全相等。
(1)若$a,b,c$成等差数列,$\frac{1}{a}, \frac{1}{b}, \frac{1}{c}$能构成等差数列吗?你能用函数图象解释一下吗?
(2)若$a,b,c$成等比数列,$\frac{1}{a}, \frac{1}{b}, \frac{1}{c}$能构成等比数列吗?为什么?
<!--End Page60-->

<!--Begin Page61-->
9. 小明的父母为了准备小明将来考入大学的学费,于2017年元旦在某银行存入10000元,并在后续每一年的元旦都在该银行存入1200元,直到2022年存入最后一笔钱为止.如果银行的存款年利率为2.75%,且以复利计息,那么小明的父母在2023年元旦将存款连本带利全部取出时,能取到多少钱?

10. 任取一个正整数,若是奇数,就将该数乘3再加上1;若是偶数,就将该数除以2.反复进行上述两种运算,经过有限次步骤后,必进入循环圈$1 \to 4 \to 2 \to 1$.这就是数学史上著名的“冰雹猜想”(又称“角谷猜想”等),如取正整数$m=6$,根据上述运算法则得出$6 \to 3 \to 10 \to 5 \to 16 \to 8 \to 4 \to 2 \to 1$,共需经过8个步骤变成1(简称为8步“雹程”).
    现给出冰雹猜想的递推关系如下:
    已知数列$\{a_n\}$满足:$a_1=m$ ($m$为正整数), $a_{n+1}= \begin{cases} \frac{a_n}{2}, & \text{当 } a_n \text{ 为偶数时,} \\ 3a_n+1, & \text{当 } a_n \text{ 为奇数时.}\end{cases}$
    (1) 当$m=17$时,试确定使得$a_n=1$需要多少步雹程;
    (2) 若$a_8=1$,求$m$所有可能的取值集合$M$.

11. 已知等差数列$\{a_n\}$的前$n$项和为$S_n$,且$S_4=4S_2$, $a_{2n}=2a_n+1$ ($n \in \mathbf{N}^*$).
    (1) 求数列$\{a_n\}$的通项公式;
    (2) 若$b_n=3^{n-1}$,令$c_n=a_n b_n$,求数列$\{c_n\}$的前$n$项和$T_n$.

12. 已知等比数列$\{a_n\}$的前$n$项和为$S_n$,且$a_{n+1}=2S_n+2$ ($n \in \mathbf{N}^*$).
    (1) 求数列$\{a_n\}$的通项公式.
    (2) 在$a_n$与$a_{n+1}$之间插入$n$个数,使这$n+2$个数组成一个公差为$d_n$的等差数列,在数列$\{d_n\}$中是否存在3项$d_m, d_k, d_p$(其中$m, k, p$成等差数列)成等比数列?若存在,求出这样的3项;若不存在,请说明理由.

13. 类比等差数列和等比数列的定义、通项公式、常用性质等,发现它们具有如下的对偶关系:只要将等差数列的一个关系式中的运算“+”改为“×”,“一”改为“÷”,正整数倍改为正整数指数幂,相应地就可得到等比数列中一个形式相同的关系式,反之也成立.
    (1) 根据上述说法,请你参照下表给出的信息推断出相关的对偶关系式;

    | 名称 | 等差数列$\{a_n\}$ | 等比数列$\{b_n\}$ |
    | :--- | :------------------ | :------------------ |
    | 定义 | $a_{n+1}-a_n=d$ | $b_{n+1} \div b_n = q$ |
    | 通项公式 | $a_n=a_1+(n-1)d$ | $b_n=b_1q^{n-1}=b_mq^{n-m}$ |
    | 常用性质 | ① $a_1+a_n=a_2+a_{n-1}=a_3+a_{n-2}=\cdots$ | ① $b_1 \times b_n=b_2 \times b_{n-1}=b_3 \times b_{n-2}=\cdots$ |
    | | ② $a_{n-k}+a_{n+k}=2a_n$ ($n>k$) | ② $b_{n-k} \times b_{n+k}=b_n^2$ ($n>k$) |
    | | ③ 若 $m+n=k+l$ ($m, n, k, l \in \mathbf{N}^*$), 则 $a_n+a_m=a_k+a_l$ | ③ 若 $m+n=k+l$ ($m, n, k, l \in \mathbf{N}^*$), 则 $b_n b_m=b_k b_l$ |
    | | ④ $a_1+a_2+\cdots+a_n = \frac{n}{2}(a_1+a_n)$ | ④ $b_1 \times b_2 \times \cdots \times b_n = (b_1b_n)^{n/2}$ |

    (2) 在等差数列$\{a_n\}$中,若$a_{2018}=0$,则有
    $a_1+a_2+\cdots+a_n=a_1+a_2+\cdots+a_{4035-n}$ ($n \in \mathbf{N}^*$, $n<4035$).
    相应地,在等比数列$\{b_n\}$中,若$b_{2019}=1$,请你类比推测出对偶的等式,并加以证明.
<!--End Page61-->

<!--Begin Page62-->
## 拓广探索

14. 在2015年苏州世乒赛期间, 某景点用乒乓球堆成若干堆“正三棱锥”形的装饰品, 其中第1堆只有1层, 就一个球; 第2,3,4,…堆最底层(第一层)分别按图中所示方式固定摆放, 从第二层开始, 每层的小球自然垒放在下一层之上, 第 $n$ 堆第 $n$ 层就放一个乒乓球. 记第 $n$ 堆的乒乓球总数为 $f(n)$.

[图片描述: 图片展示了三堆由乒乓球堆叠而成的正三棱锥形金字塔，从左到右依次增大。第一堆仅由1个乒乓球组成，代表1层。第二堆由4个乒乓球组成，底层有3个球呈三角形排列，上层有1个球。第三堆由10个乒乓球组成，底层有6个球呈三角形排列，中间层有3个球，顶层有1个球。图片右侧有省略号，表示堆叠方式依此类推。|标题: 第14题示意图|图片1]

(1) 求出 $f(3)$;

(2) 试归纳出 $f(n+1)$ 与 $f(n)$ 的关系式, 并根据你得到的关系式探求 $f(n)$ 的表达式.

参考公式: $1^2+2^2+\cdots+n^2=\frac{1}{6}n(n+1)(2n+1)$.

15. 有理数都能表示成 $\frac{m}{n}$ ($m, n \in \mathbf{Z}$, 且 $n \neq 0$, $m$ 与 $n$ 互质) 的形式, 进而有理数集 $Q=\left\{\frac{m}{n} \mid m, n \in \mathbf{Z}, \text{且} n \neq 0, m \text{与} n \text{互质}\right\}$. 任何有理数都可以化为有限小数或无限循环小数. 反之, 任一有限小数也可以化为 $\frac{m}{n}$ 的形式, 从而是有理数; 那么无限循环小数是不是有理数?

思考下列问题:

(1) $1.\dot{2}$ 是有理数吗? 请说明理由.

(2) $1.2\dot{4}$ 是有理数吗? 请说明理由.

16. 平面上有 $n$ ($n \in \mathbf{N}$, $n \geq 3$) 个点, 其中任何三点都不在同一条直线上, 过这些点中任意两点作直线, 这样的直线共有多少条? 证明你的结论.

\*17. 数学归纳法还有其他变化形式, 例如, 将数学归纳法中的第 (1) 步保持不变, 第 (2) 步改为“以‘当 $n_0 \leq n \leq k$ ($k \in \mathbf{N}^*$, $k \geq n_0$) 时命题成立’为条件, 推出‘当 $n=k+1$ 时命题也成立’,”也可以断定命题对从 $n_0$ 开始的所有正整数 $n$ 都成立. 这种证明方法称为第二数学归纳法. 试用第二数学归纳法证明如下命题:

若数列 $\{F_n\}$ 满足 $F_1=1, F_2=1, F_n=F_{n-1}+F_{n-2}$ ($n \geq 3, n \in \mathbf{N}^*$) ($\{F_n\}$ 称为斐波那契数列), 则其通项公式为 $F_n = \frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n - \left(\frac{1-\sqrt{5}}{2}\right)^n\right]$.
<!--End Page62-->

<!--Begin Page63-->
