等差数列的概念和性质01

相关概念

• 刻画等差数列的几种语言

[自然语言]：从第二项起，每一项与它的前一项的差等于同一个常数的数列称为等差数列，这个常数称为公差，常用$d$来表示。

[符号语言]：

$$a_n-a_{n-1}=d(n⩾2，n\in N^{\ast }，d为常数)$$

或者表示为
$$a_{n+1}-a_n=d(n⩾1，n\in N^{\ast }，d为常数)$$

[图形语言]：以$a_n=2n+1$为例，

• 等差中项：若$a，A，b$成等差数列，则$A$称为$a$与$b$的等差中项，即$A=\frac{a+b}{2}$，任意两个实数必有等差中项，但任意两个实数不一定有等比中项。
• 通项公式$a_n$：$a_n=a_1+(n-1)d$，其推广式：$a_n=a_m+(n-m)d$，¹
• 前$n$项和公式$S_n$：$S_n=\frac{n(a_1+a_n)}{2}=n{a}_1+\frac{n(n-1)\cdot d}{2}$，注意这两个公式是等价的。

相关性质

①等差数列中，若$m+n=p+q=2k(m，n，p，q，k\in N^{\ast })$，则$a_m+a_n=a_p+a_q=2a_k$。

②若数列 { a n } \{a_n\} {an​}， { b n } \{b_n\} {bn​}[前提是项数相同]是等差数列，则 { λ a n } \{\lambda a_n\} {λan​}， { a n + b n } \{a_n+b_n\} {an​+bn​}， { a n − b n } \{a_n-b_n\} {an​−bn​}， { p a n + q b n } \{pa_n+qb_n\} {pan​+qbn​}($p，q$为常数)仍然是等差数列；²解释

③在等差数列 { a n } \{a_n\} {an​}中，等距离取出若干项也构成一个等差数列，即$a_m，a_{m+k}，a_{m+2k}，a_{m+3k}，\cdots$为等差数列，公差为$kd$；³

④等差数列 { a n } \{a_n\} {an​}的前$n$项和为$S_n$，则$S_n，S_{2n}-S_n，S_{3n}-S_{2n}，\cdots ，$仍成等差数列，但是同样的刻画形式，到了等比数列中，就有了一定的限制。

⑤等差数列的求和公式的应用：

$S_{2n-1}=(2n-1)\cdot a_n$，$S_{2n}=n(a_1+a_{2n})=\cdots =n(a_n+a_{n+1})$；⁴

若$n$为偶数，则$S_{偶}-S_{奇}=\frac{nd}{2}$；

若$n$为奇数，则$S_{奇}-S_{偶}=a_{中}$(中间项)；

⑥等差数列的单调性，从函数的角度理解和认知很容易。

$$a_n=a_1+(n-1)d=d\cdot n+(a_1-d)$$

故$a_n=f(n)$是$n$的仿一次函数，其单调性完全取决于公差$d$，

当$d>0$，$a_n$单调递增；

当$d<0$，$a_n$单调递减；

当$d=0$，$a_n$为常数列，无单调性；

⑦若数列 { a n } \{a_n\} {an​}为等差数列，则数列 { S n n } \{\cfrac{S_n}{n}\} {nSn​​}也为等差数列；

分析：由于等差数列的$S_n=n{a}_1+\frac{n(n-1)\cdot d}{2}=\frac{d}{2}{n}^2+(a_1-\frac{d}{2})n$，

令$\frac{d}{2}=A$，$(a_1-\frac{d}{2})=B$，则可以表示为$S_n=A{n}^2+Bn$，

故$S_n$是关于$n$的仿二次函数若$d=0$，则$A=0$，此时$S_n$为一次函数，对应数列为常数列 \quad ，且其常数项为零；

则$\frac{S_n}{n}=An+B$[此时为仿一次函数]，则数列 { S n n } \{\cfrac{S_n}{n}\} {nSn​​}也为等差数列；

⑧两个等差数列 { a n } \{a_n\} {an​}和 { b n } \{b_n\} {bn​}的前$n$项和分别为$S_n$和$T_n$，则有$\frac{S_{2n-1}}{T_{2n-1}}=\frac{a_n}{b_n}$；⁵

⑨注意 $a_n$ 类与 $S_n$ 类的相互转化，以便于使用等差数列的对应性质；

比如，$S_3=a_1+a_2+a_3$，$S_6-S_3=a_4+a_5+a_6$，$S_9-S_6=a_7+a_8+a_9$，

⑩若等差数列 { a n } \{a_n\} {an​}满足$a_n>0$，则可知$d\ge 0$；可知$S_n>0$，且数列 { S n } \{S_n\} {Sn​}是单调递增数列；⁶

若等差数列 { a n } \{a_n\} {an​}满足$S_n>0$，则可知$d\ge 0$，也可知$a_n>0$；⁷

判断证明

• 等差数列的证明方法[证明方法比判断方法的逻辑严谨性要求更高]：

➊定义法：$a_{n+1}-a_n=d(n\in N^{\ast })$，$d$为常数；或$a_n-a_{n-1}=d(n⩾2且n\in N^{\ast })$，$d$为常数；

➋等差中项法：$2a_n=a_{n+1}+a_{n-1}$，$(n\ge 2，n\in N^{\ast })$；或$2a_{n+1}=a_n+a_{n+2}$，$(n\ge 1，n\in N^{\ast })$；

• 等差数列的判断方法：除了定义法和等差中项法外，还有

➌通项公式法：$a_n=a_1+(n-1)d=dn+(a_1-d)=kn+b$，($k，b$为常数)，故$a_n$为$n$的仿一次函数；

➍前$n$项和法：$S_n=n{a}_1+\frac{n(n-1)\cdot d}{2}=\frac{d}{2}{n}^2+(a_1-\frac{d}{2})n=A{n}^2+Bn$，故$S_n$为$n$的仿二次函数；

---

1. 对公式的解读，
   $a_n=a_1+(n-1)d$，若定义相邻两项的差$a_2-a_1$为间隔距离[其实就是公差]，则$n-1$意味着$a_1$和$a_n$两项之间的间隔距离数为$n-1$个，不能仅仅理解为对应的两项的下标之差；否则在处理隔项取值得到的数列的通项公式的计算时，非常容易出错，尤其要注意理解这一点。
   比如数列 { n } \{n\} {n}，我们知道，$a_n=n$，那么其所有的奇数项构成的数列的通项公式如何写呢？
   首先其下标应该体现奇数，故采用$2n-1(n⩾1)$[也可以取$2n+1(n⩾-1)$，故一般不用这种形式]，其次首项还是$1$，末项为$a_{2n-1}$，此时的公差变为$2$了，$a_1$和$a_{2n-1}$两项的间隔距离的个数变成了$\frac{(2n-1)-1}{2}=n-1$；
   故$a_{2n-1}=1+\frac{(2n-1)-1}{2}\times 2=2n-1$ ↩︎

2. 以数列 { p a n + q b n } \{pa_n+qb_n\} {pan​+qbn​}($p，q$为常数)为例，说明如何判断其为等差数列？
   设数列 { a n } \{a_n\} {an​}， { b n } \{b_n\} {bn​}分别是公差为$d_1$和$d_2$的等差数列，
   由于$(p{a}_{n+1}+q{b}_{n+1})-(p{a}_n+q{b}_n)=p(a_{n+1}-a_n)+q(b_{n+1}-b_n)=p\cdot d_1+q\cdot d_2$
   由于$p\cdot d_1+q\cdot d_2$为常数，故数列 { p a n + q b n } \{pa_n+qb_n\} {pan​+qbn​}为等差数列，公差为$p\cdot d_1+q\cdot d_2$；
   其他数列的判断证明与此同理； ↩︎

3. 由于$a_m=a_1+(m-1)d$，$a_{m+k}=a_1+(m+k-1)d$，
   则新数列的公差为$a_{m+k}-a_m=kd$; ↩︎

4. $S_{2n-1}=\frac{(a_1+a_{2n-1})\times (2n-1)}{2}=\frac{2a_n\times (2n-1)}{2}=(2n-1)\cdot a_n$，
   $S_{2n}=\frac{(a_1+a_{2n})\times 2n}{2}=n(a_1+a_{2n})=\cdots =n(a_n+a_{n+1})$； ↩︎

5. 证明如下：
   由于等差数列 { a n } \{a_n\} {an​}和 { b n } \{b_n\} {bn​}的前$n$项和分别为$S_n$和$T_n$，
   则$S_{2n-1}=(2n-1)a_n$，$T_{2n-1}=(2n-1)b_n$，
   故$\frac{S_{2n-1}}{T_{2n-1}}=\frac{a_n}{b_n}$； ↩︎

6. 如果等差数列的公差$d<0$，则此等差数列不论首项有多大，到最后一定会出现负数项，不满足题意，故$d⩾0$；由于$S_n=n{a}_1+\frac{n(n-1)}{2}\cdot d>0$，正数之和一定为正，并且只要是正数，则正数相加的个数越多，其和越大； ↩︎

7. 由于$S_n=A{n}^2+Bn$，若$A=0$，则$d=0$，则满足$d\ge 0$，也可知$a_n>0$；
   若$A\ne 0$，则必有$A>0$，即$d>0$，否则二次函数开口向下，必然不满足$S_n>0$；
   又由于$S_1=a_1>0$，故$a_n=a_1+(n-1)d>0$； ↩︎