等比数列的概念和性质01

相关概念

• 刻画等比数列的三种语言数学学习中少不了三种语言的相互转化，比如自然语言，就是我们经常口头表述的那种；符号语言，比如$f(x)\subseteq g(x)$和$x\in A$等等；图形语言，比如图形；关于三种常用且常见的数学语言形式的相互转换，往往会成为学生学习中的桎梏。建议大家不妨看看三种语言的相互转化

[自然语言]：从第二项起，每一项与它的前一项的比等于同一个常数的数列称为等比数列此处一定要仔细体会类比的学习方法，比如$a_{n+1}-a_n=d$为等差数列，则将差类比为商，则可知$\frac{a_{n+1}}{a_n}=q$就称作等比数列；等差数列的相关结论可以类比到等比数列中来；等差数列的相关证明思路和方法也可以类比到等比数列里来，同样，我们还可以定义等和数列，等积数列等；，这个常数称为公比，常用$q$来表示。类比

[符号语言]：

$\frac{a_{n+1}}{a_n}=q$，其中$n⩾1$，$n\in N^{\ast }$，$q$为常数。

$\frac{a_n}{a_{n-1}}=q$，$n⩾2$，$n\in N^{\ast }$，$q$为常数。

[图形语言]：

• 等比中项：如果三个实数$a，G，b$成等比数列，则$G$称为$a，b$的等比中项，满足$G^2=ab$。¹

• 等比数列的通项公式：$a_n=a_1\cdot q^{n-1}$，推广形式为$a_n=a_m\cdot q^{n-m}$，其中对$n-1$的理解和等差数列中的$n-1$的理解是一样的；
• 等比数列的前$n$项和公式：$S_n=\{\begin{array}{l}n{a}_1，q=1\\ \frac{a_1\cdot (1-q^n)}{1-q}=\frac{a_1-a_{n}q}{1-q}，q\ne 1\end{array}$ ²

已知$S_n=a+a^2+a^3+\cdots +a^n(a\ne 0)$，求$S_n$的表达式。

分析：由于$a\ne 0$，故此数列为等比数列，由等比数列的前$n$项和公式，

应该分$a=1$和$a\ne 1$两种情形讨论如下：

当$a=1$时， { a n } \{a^{n}\} {an}是等差数列，也是等比数列，$S_n=\underset{n个}{\underbrace{1+1^2+1^3+\cdots +1^n}}=n$；

当$a\ne 1$时， { a n } \{a^{n}\} {an}是等比数列，所以$S_n=\frac{a(1-a^n)}{1-a}$；

综上: $S_n=\{\begin{array}{l}n,a=1\\ \frac{a(1-a^n)}{1-a},a\ne 1\end{array}$

相关性质

• ①在等比数列 { a n } \{a_n\} {an​}中，若$m+n=p+q=2k(m，n，p，q，k\in N^{\ast })$，则$a_m\cdot a_n=a_p\cdot a_q=a_k^2$。
• ②若数列 { a n } \{a_n\} {an​}， { b n } \{b_n\} {bn​}(项数相同)是等比数列，则 { λ a n } ( λ ≠ 0 ) \{\lambda a_n\}(\lambda\neq 0) {λan​}(λ=0)， { 1 a n } \{\cfrac{1}{a_n}\} {an​1​}， { a n 2 } \{a_n^2\} {an2​}， { a n ⋅ b n } \{a_n\cdot b_n\} {an​⋅bn​}， { a n b n } \{\cfrac{a_n}{b_n}\} {bn​an​​}仍然是等比数列；³

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

• ④当公比〔情形一：$q\ne -1$〕或〔情形二：$q=-1$且$n$为奇数〕时，则$S_n$，$S_{2n}-S_n$，$S_{3n}-S_{2n}$，$\cdots$ 仍成等比数列，其公比为$q^n$；

当公比$q=-1$时，$S_n$，$S_{2n}-S_n$，$S_{3n}-S_{2n}$，$\cdots$不一定成等比数列，

若$n$为偶数，则其不能构成等比数列，

若$n$为奇数，则可以构成等比数列。

用数列$2，-2，2，-2，2，-2，\cdots ，2，-2$验证如下，

当$n=2$时，则$S_2=0$，$S_4=0$，$S_6=0$，则$S_2$，$S_4-S_2$，$S_6-S_4$，$\cdots$，就不能构成等比数列；

当$n=3$时，则$S_3=2$，$S_6=0$，$S_9=2$，则$S_3$，$S_6-S_3$，$S_9-S_6$，$\cdots$，却能构成等比数列；

• ⑤研究$q\ne 1$的等比数列的前$2n$项，

$S_{偶}=a_2+a_4+a_6+\cdots +a_{2n}$，$S_{奇}=a_1+a_3+a_5+\cdots +a_{2n-1}$，则$\frac{S_{偶}}{S_{奇}}=q$；

说明：$S_{偶}=a_2+a_4+a_6+\cdots +a_{2n}=\frac{a_2\cdot [1-(q^2{)}^n]}{1-q^2}$，$S_{奇}=a_1+a_3+a_5+\cdots +a_{2n-1}=\frac{a_1\cdot [1-(q^2{)}^n]}{1-q^2}$，则$\frac{S_{偶}}{S_{奇}}=q$；

或者$S_{偶}=a_2+a_4+a_6+\cdots +a_{2n}=q(a_1+a_3+a_5+\cdots +a_{2n-1})=q\cdot S_{奇}$，则$\frac{S_{偶}}{S_{奇}}=q$；

• ⑥等比数列的单调性判断，

依然遵从函数的单调性〔如利用指数型函数$f(x)=3\cdot 2^x$的单调性〕判断，取决于两个参数$a_1$和$q$的取值，由于

$$a_n=a_1\cdot q^{n-1}$$

故当$\{\begin{array}{l}{a}_1>0\\ q>1\end{array}$或$\{\begin{array}{l}{a}_1<0\\ 0<q<1\end{array}$时，$a_n$单调递增；

当$\{\begin{array}{l}{a}_1>0\\ 0<q<1\end{array}$或$\{\begin{array}{l}{a}_1<0\\ q>1\end{array}$时，$a_n$单调递减；

补充：由于数列 { a n } \{a_n\} {an​}为等比数列，故公比$q\ne 0$；

当$q=1$时，数列 { a n } \{a_n\} {an​}为常数列，没有单调性；

当$q<0$时，数列 { a n } \{a_n\} {an​}为摆动数列，没有单调性；

⑦注意 $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$，

判定证明

证明方法：

• 定义法：$\frac{a_n}{a_{n-1}}=q(n\ge 2)$，或者$\frac{a_{n+1}}{a_n}=q(n\ge 1)$；
• 等比中项法：$a_{n+1}^2=a_n\cdot a_{n+2}(n\ge 1)$，或者$a_n^2=a_{n+1}\cdot a_{n-1}(n\ge 2)$；

判定方法：除了上述的两种方法以外，还有

• 通项公式法：$a_n=c\cdot q^n(n\in N^{\ast })$，$c$，$q$均为不为零的常数，

说明：$a_n=a_1\cdot q^{n-1}=\frac{a_1}{q}\cdot q^n=c\cdot q^n$[指数型函数]，

• 前$n$项和法：$S_n=k\cdot q^n-k$，$k\ne 0$，$q\ne 0$且$q\ne 1$，

说明：$S_n=\frac{a_1\cdot (1-q^n)}{1-q}=\frac{a_1}{1-q}-\frac{a_1}{1-q}\cdot q^n$，令$-\frac{a_1}{1-q}=k$，则$S_n=k\cdot q^n-k$。

如果判定某数列不是等比数列，只需要判定其有连续三项不成等比数列即可，这样就可以联系到赋值法，比如常常判断$a_2^2\ne a_1\cdot a_3$。

变形技巧

①常用的数学公式：

$a^3-b^3=(a-b)(a^2+ab+b^2)$；

$a_4^2+2a_4a_6+a_6^2=(a_4+a_6)^2$；

$a_4^2+2a_3a_7+a_6^2=(a_4+a_6)^2$；

$a_4^2+2a_5^2+a_6^2=(a_4+a_6)^2$；

$1-q^2=(1-q)(1+q)$；

$1-q^3=(1-q)(1+q+q^2)$；

$1-q^6=1-(q^3)^2=(1+q^3)(1-q^3)$；

$q^6-1=(q^3)^2-1=(q^3+1)(q^3-1)$；

$\frac{S_{10}}{S_5}=\frac{\frac{a_1(1-q^{10})}{1-q}}{\frac{a_1(1-q^5)}{1-q}}=1+q^5$；

$\frac{S_6}{S_3}=\frac{\frac{a_1(1-q^6)}{1-q}}{\frac{a_1(1-q^3)}{1-q}}=1+q^3$

②整体思想的运用，解方程组时整体相除，

如$\{\begin{array}{l}{a}_1{q}^3-a_{1}q=6①\\ a_1{q}^4-a_1=15②\end{array}$

两式相除得到，$\frac{a_1(q^3-q)}{a_1(q^4-1)}=\frac{a_{1}q(q^2-1)}{a_1(q^2+1)(q^2-1)}=\frac{q}{1+q^2}=\frac{2}{5}$，从而解得$q=2$或$q=\frac{1}{2}$。

• 求比值时整体思想的运用；

再比如给定等比数列 { a n } \{a_n\} {an​}的公比为$q=2$，求$\frac{a_8+a_9+a_{10}}{a_5+a_6+a_7}$的值。

由题目可知，$\frac{a_8+a_9+a_{10}}{a_5+a_6+a_7}=\frac{(a_5+a_6+a_7)\cdot q^3}{a_5+a_6+a_7}=q^3=8$

③当涉及$S_n$的下标比较小的运算题目时，常常利用定义式。

比如已知等比数列的$S_3=8$，则可知$S_3=a_1+a_2+a_3=8$，这样可以有效的避免分类讨论，而不是利用$\frac{a_1(1-q^3)}{1-q}=8$来计算，如果非要利用这个公式，你就必须先分类讨论排除$q\ne 1$，否则使用就是错的。

④比例因子的运用。设等比数列 { a n } \{a_n\} {an​}的前$n$项的和为$S_n$，若$\frac{S_6}{S_3}=\frac{1}{2}$，则$\frac{S_9}{S_6}$=？

分析：引入比例因子，设$\frac{S_6}{S_3}=\frac{1}{2}=\frac{k}{2k}(k\ne 0)$，

则$S_6=k$，$S_3=2k$，$S_6-S_3=-k$，由$S_3，S_6-S_3，S_9-S_6$成等比数列，

可知$S_9-S_6=\frac{k}{2}$，则$S_9=\frac{3k}{2}$，故$\frac{S_9}{S_6}=\frac{\frac{3k}{2}}{2k}=\frac{3}{4}$。

⑤在数列题目中，若出现各项为正数或$a_n>0$，则有$a_n+a_{n+1}>0$，或者$a_n+a_{n-1}>0$，这样就为约分埋下了伏笔。

比如某个题目变形得到$(a_n+a_{n-1})(a_n-a_{n-1})=a_n+a_{n-1}$，约掉$a_n+a_{n-1}$，得到$a_n-a_{n-1}=1$，即 { a n } \{a_n\} {an​}是等差数列。

⑥若出现证明数列 { a n + 1 } \{a_n+1\} {an​+1}为等比数列，则你必须意识题目已经给了变形的提示，因为变形到最后必然会出现$a_n+1=p(a_{n-1}+1)(p为常数)$，

或者出现同类型的$a_{n+1}+1=p(a_n+1)(p为常数)$，这样你往上回溯，自然就会看到题目应该怎么变形了。

⑦ 等比数列求和中的项数的计算

如数列求和：$S=2^1+2^3+2^5+\cdots +2^{2n+3}$；

其项数的计算，可以利用上标来计算，其上标刚好成等差数列，

故项数$r=\frac{a_n-a_1}{d}+1=\frac{(2n+3)-1}{3-1}+1=n+2$；

则$S=\frac{2\cdot (4^{n+2}-1)}{4-1}=\frac{2}{3}(4^{n+2}-1)$。

⑧设元技巧

当题目已知三个数成等比数列时，我们常常依次设三个数为$\frac{a}{q}$，$a$，$aq$，这样设元的优越性在于其积为$a^3$，如果题目恰好已知了其积的值，则中间的数立马可知，这样变量就剩下一个$q$了；

当已知五个数成等差数列时，常设为$\frac{a}{q^2}$，$\frac{a}{q}$，$a$，$aq$，$a{q}^2$；

⑨已知$a_n=2n-1$，则$a_{2^{n-1}}=2\cdot 2^{n-1}-1=2^n-1$；

$a_{lo{g}_{2}n-1}=2(lo{g}_{2}n-1)-1=2lo{g}_{2}n-3$；$a_{lo{g}_2(n-1)}=2lo{g}_2(n-1)-1$；

给出方式

• 直接给出：$\frac{a_{n+1}}{a_n}=3$
• 赋值给出：$a_{n+m}=a_n\cdot a_m$，$a_1=2$，求通项公式$a_n$；⁵

• 变形给出：$S_{n+1}-S_n=3(S_n-S_{n-1})$
• 变形给出：$2^{a_{n+1}}=2^{3a_n}$($a_n>0$)，则得到$a_{n+1}=3a_n$；
• 变形给出：$lo{g}_3{a}_n+1=lo{g}_3{a}_{n+1}$，则得到$a_{n+1}=3a_n$；
• 变形给出：$\frac{a_{n+1}^2}{a_n}=4(a_{n+1}-a_n)$，得到$(a_{n+1}-2a_n{)}^2=0$；
• 变形给出：$a_n>0$，点$(a_{n+1}^2，a_n^2)$在直线$x-9y=0$上，则$a_{n+1}^2=9a_n^2$，即$a_{n+1}=3a_n$；
• 构造给出：如$a_{n+1}=2a_n+1$，构造得到$a_{n+1}+1=2(a_n+1)$，即数列 { a n + 1 } \{a_n+1\} {an​+1}为等比数列；

其他变形请参阅常见构造方法

---

1. 对等比中项的理解和把握，要比等差中项难得多。任意两个实数都有等差中项，但任意两个实数不一定都有等比中项。
   注意：①必须$ab>0$才能保证$G$的存在性。比如$-2$和$3$就没有等比中项；
   ②若$1$，$G$，$4$三个数成等比数列，则$G=\pm 2$[两个值]；但是若$-1$，$2$，$G$，$8$，$-16$成等比数列，则$G=-4$[一个值，原因是限制条件比前面得情形要多]； ↩︎

2. 其中$n$为参与求和的项数，而不是最后一项的指数。上述公式体现的是分段函数，当知道$q$的值的时候，自然是确定的某一段函数，题目考查第二段的时候居多，当不知道$q$的值时，应该分类讨论，尤其容易漏掉对第一段的说明；实际应用中，当$q>1$时，为减少运算步骤，常用$S_n=\frac{a_1\cdot (q^n-1)}{q-1}$； ↩︎

3. 以数列 { a n ⋅ b n } \{a_n\cdot b_n\} {an​⋅bn​}为例，说明如何判断其为等比数列？
   设数列 { a n } \{a_n\} {an​}， { b n } \{b_n\} {bn​}分别是公比为$q_1$和$q_2$的等比数列，
   由于$\frac{a_{n+1}\cdot b_{n+1}}{a_n\cdot b_n}=\frac{a_{n+1}}{a_n}\cdot \frac{b_{n+1}}{b_n}=q_1\cdot q_2$
   由于$q_1\cdot q_2$为常数，故数列 { a n ⋅ b n } \{a_n\cdot b_n\} {an​⋅bn​}为等比数列，公比为$q_1\cdot q_2$；
   其他数列的判断证明与此同理； ↩︎

4. 由于$a_m=a_1\cdot q^{m-1}$，$a_{m+k}=a_1\cdot q^{m+k-1}$，
   则新数列的公比为$\frac{a_{m+k}}{a_m}=\frac{a_1\cdot q^{m+k-1}}{a_1\cdot q^{m-1}}=q^k$; ↩︎

5. 令$m=1$得到$a_{n+1}=a_n\cdot a_1$，
   即$\frac{a_{n+1}}{a_n}=a_1=2$，不就是等比数列嘛；
   故$a_n=2\cdot 2^{n-1}=2^n$； ↩︎