一、数列的定义和与函数的关系
1、数列的定义
按照一定顺序排列的一列数叫做数列。数列中的每一个数叫做这个数列的项，数列中的每一项都和它的序号有关，排在第一位的数称为这个数列的第1项（通常也叫做首项），排在第二位的数称为这个数列的第2项$cdots$排在第$n$位的数称为这个数列的第$n$项。所以，数列的一般形式可以写成$a_1$，$a_2$，$a_3$，$cdots$，$a_n$，$cdots$，简记为${a_n}$。其中$a_n$是数列${a_n}$的第$n$项，也叫做数列的通项。
注：（1）数列的项具有有序性，数列中两组完全相同的数（除各项都相同的一列数），由于排列次序不同，它们构成的数列不同。数列中的数可以重复出现。
（2）$a_n$与${a_n}$是不同的概念，$a_n$表示数列${a_n}$的第$n$项，而${a_n}$表示数列$a_1$，$a_2$，$a_3$，$cdots$，$a_n$，$cdots$。
2、数列与函数的关系
数列可以看成以正整数集$mathbf{N}^*$（或它的有限子集${1,2,3,cdots,n}$）为定义域的函数$a_n=f(n)$，即当自变量按照从小到大的顺序依次取值时所对应的一列函数值，其图象是无限个或有限个孤立的点。
3、数列的分类
（1）按项的个数分
有穷数列：项数有限的数列，如：$1,2,3,4,cdots,n$。
无穷数列：项数无限的数列，如：$1,2,3,cdots,n,n+1,cdots$。
（2）按项的变化趋势分
递增数列：从第2项起，每一项都大于它的前一项的数列，如：$1,2,3,4,cdots,n$。
递减数列：从第2项起，每一项都小于它的前一项的数列，如：$1,frac{1}{2},frac{1}{3},frac{1}{4},cdots,frac{1}{n},cdots$。
常数列：各项相等的数列，如：$3,3,3,3,3,cdots$。
摆动数列：从第2项起，有些项大于它的前一项，有些项小于它的前一项的数列，如：$-2,-3,1,2,-3,-2,cdots$。
4、数列的表示方法
（1）列表法
列出表格来表示数列${a_n}$的第$n$项与序号$n$之间的关系。
（2）图象法
在平面直角坐标系中，数列的图象是一系列横坐标为正整数的孤立的点$(n,a_n)$。
（3）解析式法
将数列用一个数学式子表示出来的方法，叫做解析式法。可用通项公式或其它式子表示数列。
5、数列的通项公式
如果数列${a_n}$的第$n$项$a_n$与序号$n$之间的关系可以用一个式子来表示，那么这个公式叫做这个数列的通项公式。
注：（1）不是所有的数列都有通项公式。如$π$的不足近似值精确到$1,0.1,0.01,0.001,cdots$所构成的数列：$3,3.1,3.14,3.142,cdots$就没有通项公式。
（2）数列通项公式的形式可能不唯一。如数列$-1,1,-1,1,-1,1,cdots$的通项公式可以写成$a_n=(-1)^n$，也可以写成$a_n=egin{cases}-1,n=2k-1,k∈mathbf{N}^*,\1, n=2k,k∈mathbf{N}^*,end{cases}$还可以写成$a_n=cos nπ$。p分页标题e
6、数列的递推公式
如果已知数列${a_n}$的第一项（或前几项），且从第二项（或某一项）开始的任一项$a_n$与它的前一项$a_{n-1}$（或前几项）间的关系可以用一个公式来表示，那么这个公式就叫做这个数列的递推公式。
注：（1）并不是所有数列都有递推公式。
（2）递推公式和通项公式一样，都是关于项的序号$n$的恒等式，即用符合要求的正整数依次去替换$n$，就可以求出数列的各项。
（3）用递推公式给出一个数列，则必须给出：
①基础——数列${a_n}$的第一项（或前几项）。
②递推关系——数列${a_n}$的任意一项$a_n$与它的前一项$a_{n-1}$（$ngeqslant 2$）（或前几项）间的关系，并且这个关系可以用等式来表示。
7、数列的前$n$项和
$a_1+a_2+cdots+a_n$叫做数列${a_n}$的前$n$项和，记作$S_n$。
8、数列的性质
（1）单调性
如果对所有的$n∈mathbf{N}^*$，都有$a_{n+1}>a_n$，那么称数列${a_n}$为递增数列；如果对所有的$n∈mathbf{N}^*$，都有$a_{n+1}<a_n$，那么称数列${a_n}$为递减数列。
（2）周期性
如果对所有的$n∈mathbf{N}^*$，都有$a_{n+k}=a_n$（$k$为正整数），那么称数列${a_n}$是以$k$为周期的周期数列。
（3）有界性
如果对所有的$n∈mathbf{N}^*$，都有$|a_n|leqslant M$，那么称数列${a_n}$为有界数列，否则称数列${a_n}$为无界数列。
9、等差数列
一般地，如果一个数列从第2项起，每一项与它的前一项的差都等于同一个常数，那么这个数列就叫做等差数列，这个常数叫做等差数列的公差，常用字母$d$表示。
（1）等差数列的通项公式
等差数列的通项公式为$a_n=a_1+(n-1)d$，其中$a_1$为首项，$d$为公差。
注：已知等差数列${a_n}$中的任意两项$a_n$，$a_m(n,m∈mathbf{N}^*,m≠n)$，则$egin{cases}a_n=a_1+(n-1)d,\a_m=a_1+(m-1)dend{cases}Rightarrow$$a_n-a_m=$$(n-m)dRightarrow$$egin{cases}d=frac{a_n-a_m}{n-m},\a_n=a_m+(n-m)d。end{cases}$
即已知等差数列中的任意两项，可求得其公差，进而求得其通项公式。
（2）等差中项
由三个数$a$，$A$，$b$组成的等差数列可以看成最简单的等差数列。这时，$A$叫做$a$与$b$的等差中项。此时，$2A=a+b$，$A=frac{a+b}{2}$。
（3）等差数列的性质
若数列${a_n}$是首项为$a_1$，公差为$d$的等差数列，则它具有以下性质
① 若$m+n=p+q(m,n,p,q∈mathbf{N}^*)$，则$a_m+a_n=a_p+a_q$。
② 若$frac{m+n}{2}=k$，则$a_m+a_n=2a_k(m,n,k∈mathbf{N}^*)$。
③ 在等差数列${a_n}$中，若$a_n=m$，$a_m=n$，$(m≠n)$，则有$a_{m+n}=0$。
④ 若${a_n}$是有穷等差数列，则$a_1+a_n=a_2+a_{n-1}=$$cdots=$$a_i+a_{n+1-i}=cdots$。
⑤ 数列$λa_n+b$（$λ$，$b$是常数）是公差为$λd$的等差数列。
p分页标题e⑥ 下标成等差数列且公差为$m$的项$a_k$，$a_{k+m}$，$a_{k+2m}$，$cdots(k,m∈mathbf{N}^*)$，组成公差为$md$的等差数列。
⑦ 若数列${b_n}$是等差数列，则数列${a_n±b_n}$，${ka_n±b_n}$（$k$为非零常数）也是等差数列。
（4）等差数列的前$n$项和公式
等差数列${a_n}$的首项为$a_1$，公差为$d$，则其前$n$项和为：$S_n=frac{n(a_1+a_n)}{2}=na_1+frac{n(n-1)d}{2}$。
（5）等差数列前$n$项和的性质
若等差数列${a_n}$的公差为$d$，前$n$项和为$S_n$，则
① 数列$S_k$，$S_{2k}-S_k$，$S_{3k}-S_{2k}$，$cdots$$(k∈mathbf{N}^*)$是等差数列，且公差为$k^2d$。
② 在等差数列${a_n}$中，若$S_n=m$，$S_m=n$，$m≠n$，则有$S_{m+n}=-(m+n)$。
③ 在等差数列${a_n}$中，若$S_n=S_m$，$m≠n$，则$S_{m+n}=0$。
④ 数列$egin{Bmatrix}dfrac{S_n}{n} end{Bmatrix}$为等差数列，首项为${a_n}$的首项，公差为$frac{d}{2}$。
⑤ 若${a_n}$，${b_n}$都为等差数列，$S_n$，$T_n$分别为它们的前$n$项和，则$frac{a_m}{b_m}=frac{S_{2m-1}}{T_{2m-1}}$。
⑥ 若等差数列的项数为$2n$$(n∈mathbf{N}^*)$，则$S_{2n}=n(a_n+a_{n+1})$，且$S_偶-S_奇=nd$，$frac{S_偶}{S_奇}=frac{a_{n+1}}{a_n}$。若等差数列的项数为$2n-1(n∈mathbf{N}^*)$，则$S_{2n-1}=(2n-1)a_n$（$a_n$为中间项），且$S_奇-S_偶=a_n$，$frac{S_偶}{S_奇}=frac{n-1}{n}$(其中$S_奇=na_n$，$S_偶=(n-1)a_n$)。
10、等比数列
一般地，如果一个数列从第2项起，每一项与它的前一项的比等于同一个常数，那么这个数列叫做等比数列。这个常数叫做等比数列的公比，公比通常用字母$q$表示$（q≠0）$，即$frac{a_n}{a_{n-1}}=q(ngeqslant2)$。
（1）等比数列的通项公式
若等比数列${a_n}$的首项为$a_1$，公比为$q$，则这个等比数列的通项公式是$a_n=a_1q^{n-1}(a_1,q≠0)$。
注：由$a_n=a_1q^{n-1}$，$a_m=a_1q^{m-1}$，可推出$frac{a_n}{a_m}=q^{n-m}$，即$a_n=a_mq^{n-m}$。
所以有：① 在已知等比数列${a_n}$中任一项$a_m$及公比$q$的前提下，可以使用$a_n=a_mq^{n-m}$求得等比数列中的任意项$a_n$。
② 已知等比数列${a_n}$中的$a_m$和$a_n$两项，就可以使用$frac{a_n}{a_m}=q^{n-m}$求出公比。
（2）等比中项
如果在$a$与$b$中间插入一个数$G（G≠0）$，使$a$，$G$，$b$成等比数列，那么$G$叫做$a$与$b$的等比中项。
若$G$是$a$与$b$的等比中项，则$frac{G}{a}=frac{b}{G}$，即$G^2=ab$，$G=±sqrt{ab}$。
注：（1）只有非零同号的两数才有等比中项，并且等比中项有两个，它们互为相反数。（2）在等比数列${a_n}$中，从第2项起，每一项（有穷等比数列末项除外）是前一项与后一项的等比中项，即$a^2_n=a_{n+1}a_{n-1}(ngeqslant2，n∈mathbf{N}^*)$。
（3）等比数列的性质
设${a_n}$是公比为$q$的等比数列，那么
① 数列${a_n}$是有穷数列，则与首末两项等距离的两项的积相等，且等于首末两项之积，即$a_1a_n=a_2a_{n-1}=a_3a_{n-2}=$$cdots=$$a_ma_{n-m+1}$。p分页标题e
② 若$m$，$n$，$p$$(m,n,p∈mathbf{N}^*)$成等差数列，则$a_m$，$a_n$，$a_p$成等比数列，即$a^2_n=a_ma_p$。
③ 若$m+n=p+q(m,n,p,q∈mathbf{N}^*)$，则$a_ma_n=a_pa_q$。特别地，若$m+n=2p$，则$a_ma_n=a^2_p$。
④ 数列${λa_n}$（$λ$为不等于0的常数）仍是公比为$q$的等比数列；
数列$egin{Bmatrix}dfrac{1}{a_n}end{Bmatrix}$是公比为$frac{1}{q}$的等比数列；
数列${|a_n|}$是公比为$|q|$的等比数列；
若数列${b_n}$是公比为$q^′$的等比数列，则数列${a_n·b_n}$是公比为$q·q^′$的等比数列。
⑤ 当数列${a_n}$是各项都为正数的等比数列时，数列${lg a_n}$是公差为$lg q$的等差数列。
⑥ 在数列${a_n}$中，连续相邻$k$项的和或积构成公比为$q^k$或$q^{k^2}$的等比数列（相邻$k$项的和都不为0）。
⑦ 在数列${a_n}$中，每隔$k(k∈mathbf{N}^*)$项取出一项，按原来的顺序排列，所得数列仍为等比数列，且公比为$q^{k+1}$。
（4）等比数列的前$n$项和公式
若等比数列${a_n}$的首项为$a_1$，公比为$q$，则等比数列${a_n}$的前$n$项和公式为$S_n=egin{cases}na_1,quadquadquadquadquad q=1\frac{a_1(1-q^n)}{1-q}=frac{a_1-a_nq}{1-q},q≠1。end{cases}$
注：当$q≠1$时，若已知$a_1$，$q$，$n$，则用$S_n=frac{a_1(1-q^n)}{1-q}$较方便；若已知$a_1$，$q$，$a_n$，则用$S_n=frac{a_1-a_nq}{1-q}$较方便。
等比数列前$n$项和公式可看作函数关系$S_n=kq^n-k$（$k$，$q$是不为0的常数，且$q$不为1，$n∈mathbf{N}^*$，它是关于$n$的指数类型的函数。
等比数列前$n$项和公式分$q=1$和$q≠1$两种情况，因此用公式求和时，若公比$q$不确定，则要对公比进行分类讨论。
（5）等比数列前$n$项和的性质
① 若${a_n}$为等比数列，$S_n$为其前$n$项和，当$q≠-1$时，$S_n$，$S_{2n}-S_n$，$S_{3n}-S_{2n}$，$cdots$，仍构成等比数列，即有$(S_{2n}-S_n)^2=$$S_n·(S_{3n}-S_{2n})$，公比为$q^n$；当$q=-1$且$k$为奇数时$S_k$，$S_{2k}-S_k$，$S_{3k}-S_{2k}$，$cdots$，可构成等比数列。
② 在等比数列中，若项数为$2n(n∈mathbf{N}^*)$，$S_偶$与$S_奇$分别为偶数项与奇数项的和，则$frac{S_偶}{S_奇}=q$；若项数为$2n+1$，则$frac{S_奇-a_1}{S_偶}=q$。
③ 若${a_n}$是公比为$q$的等比数列，则$S_{n+m}=S_n+q^n·S_m$。
④ 在等比数列${a_n}$中，当$q=1$时，$frac{S_n}{S_m}=frac{n}{m}$；当$q≠1$时，$frac{S_n}{S_m}=frac{1-q^n}{1-q^m}$。
二、数列的相关例题
记$S_n$为等差数列${a_n}$的前$n$项和。已知$S_4=0$，$a_5=5$，则____
A．$a_n=2n-5$
B．$a_n=3n-10$
C．$S_n=2n^2-8n$
D．$S_n=frac{1}{2}n^2-2n$
答案：A
解析：由已知可得$egin{cases}S_4=4a_1+frac{d}{2}×4×3=0,\a_5=a_1+4d=5,end{cases}$解得$egin{cases}a_1=-3,\d=2。end{cases}$$∴a_n=2n-5$，故选A。
