等差数列,又名算术数列(英语:Arithmetic sequence[註 1]),是数列的一种。在等差数列中,任何相邻两项的差相等,该差值称为公差(common difference)。
例如数列:
- 3, 5, 7, 9, 11, 13, ...
就是一个等差数列。 在这个数列中,从第二项起,每项与其前一项之公差都相等。
如果一个等差数列的首项记作 a1,公差记作 d,那么该等差数列第 n 项 an 的一般项为:
![{\displaystyle a_{n}=a_{1}+(n-1)d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee67ae45f51cb32b4250e2921dc59daf61f9e48e)
换句话说,任意一个等差数列 {an} 都可以写成
![{\displaystyle \{a\,,\,\,a+d\,,\,\,a+2d\,,\,\cdots \,,\,\,a+(n-1)d\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b2773cec241361057b9f66e62a9eb295270dbc1)
在一个等差数列中,给定任意两相连项 an+1 和 an ,可知公差
![{\displaystyle d=a_{n+1}-a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8caa23bd2a70e0174c2174659496c3fb6003466)
给定任意两项 am 和 an ,则有公差
![{\displaystyle d={\frac {a_{m}-a_{n}}{m-n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8ba349cdf62f147363a8061b2c66d818a8c321d)
此外,在一个等差数列中,选取某一项,该项的前一项与后一项之和,为原来该项的两倍。举例来说,a1 + a3 = 2a2。
更一般地说,有:
![{\displaystyle a_{n-1}+a_{n+1}=2a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d2281f61a5bc57206c7fff6341c696d0ecdde4f)
证明如下:
![{\displaystyle {\begin{aligned}a_{n-1}+a_{n+1}&=[a+(n-2)d]+(a+nd)\\&=2a+(2n-2)d\\&=2[a+(n-1)d]\\&=2a_{n}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a12ccc9b820292413aa3135787df74d7a6818c0)
证毕。
从另一个角度看,等差数列中的任意一项,是其前一项和后一项的算术平均:
![{\displaystyle a_{n}={\frac {a_{n-1}+a_{n+1}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec5c964b317345bb0189920cf25612b06eba02e8)
此结果从上面直接可得。
如果有正整数 m, n, p, q,使得
,那么则有:
![{\displaystyle a_{m}+a_{n}=a_{p}+a_{q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dae22500113e819ae2ed368404a5b081f913c3b5)
证明如下:
![{\displaystyle {\begin{aligned}a_{m}+a_{n}&=[a+(m-1)d]+[a+(n-1)d]\\&=2a+(m+n-2)d\\&=2a+(p+q-2)d\\&=[a+(p-1)d]+[a+(q-1)d]\\&=a_{p}+a_{q}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/273612ebe264155a670d426c885328843d9ec2bd)
由此可将上面的性质一般化成:
![{\displaystyle a_{n-k}+a_{n+k}=2a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/512ce36eaff2fc580366cf58bb3b09e6dce9994c)
![{\displaystyle a_{n}={\frac {a_{n-k}+a_{n+k}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e43b9fd2aefa3d534cdcb7e6381b511ffc60d306)
其中 k 是一个小于 n 的整数。
给定一个等差数列
,则有:
是一个等差数列。
是一个等差数列。
是一个等比数列。
是一个等谐数列。
从等差数列的一般项可知,任意一个可以写成
![{\displaystyle a_{n}=p+qn}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41caeaa876ac9b864ac0dd90b9ab6bf5037459a4)
形成的数列,都是一个等差数列,其中公差 d = q,首项 a = p + q。
等差数列和[编辑]
一个等差数列的首 n 项之和,称为等差数列和(sum of arithmetic sequence)或算术级数(arithmetic series),记作 Sn。
举例来说,等差数列 {1, 3, 5, 7} 的和是 1 + 3 + 5 + 7 = 16。
等差数列求和的公式如下:
![{\displaystyle {\begin{aligned}S_{n}&={\frac {n}{2}}\,(a+a_{n})\\&={\frac {n}{2}}[2a+(n-1)d]\\&=an+d\cdot {\frac {n(n-1)}{2}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9a6d74b2b19a1179a26eea2ec9d7920dac4f88b)
等差数列和在中文教科书中常表达为:
- 一个等差数列的和,等于其首项与末项的和,乘以项数除以2。
公式证明如下:
将等差数列和写作以下两种形式:
![{\displaystyle S_{n}=a+(a+d)+(a+2d)+\dots +[a+(n-2)d]+[a+(n-1)d]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0803f0b72d7fd0819498134002c747211bbefae9)
![{\displaystyle S_{n}=[a_{n}-(n-1)d]+[a_{n}-(n-2)d]+\dots +(a_{n}-2d)+(a_{n}-d)+a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8be620ef7d34ddc6347a1dd042a442da5469f6fc)
将两公式相加来消掉公差 d,可得
![{\displaystyle \ 2S_{n}=n(a+a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d4784b94b37af0b233d8bd3d65d00ad7fe71d0e)
整理可得第一种形式。
代入
,可得第二种及第三种形式。
从上面的第三种形式展开可见,任意一个可以写成
![{\displaystyle S_{n}=pn+qn^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3daeca15ce87541651f5844679198bf2a97e452d)
形成的数列和,其原来数列都是一个等差数列,其中公差 d = 2q,首项 a = p + q。
等差数列积[编辑]
一个等差数列的首 n 项之积,称为等差数列积(product of arithmetic sequence),记作 Pn。
举例来说,等差数列 {1, 3, 5, 7} 的积是 1 × 3 × 5 × 7 = 105。
等差数列积的公式较为复杂,须以Γ函数表示:
![{\displaystyle P_{n}=d^{n}\cdot {\frac {\Gamma ({\frac {a}{d}}+n)}{\Gamma ({\frac {a}{d}})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9da298308595a4b0a740e967adf5184d100d8a2d)
证明如下:
![{\displaystyle {\begin{aligned}P_{n}&=a\cdot (a+d)\cdot (a+2d)\cdot \cdots \cdot [a+(n-1)d]\\&=d^{n}\cdot \left({\frac {a}{d}}\right)\cdot \left({\frac {a}{d}}+1\right)\cdot \left({\frac {a}{d}}+2\right)\cdot \cdots \cdot \left[{\frac {a}{d}}+(n-1)\right]\\&=d^{n}\cdot {\left({\frac {a}{d}}\right)}^{\overline {n}}\\&=d^{n}\cdot {\frac {\Gamma ({\frac {a}{d}}+n)}{\Gamma ({\frac {a}{d}})}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8d6b3cfc56eecdca356e805ccd33c42c1a18726)
这里的
为 x 的 n 次上升阶乘幂,例子如
。
使用上面的例子,对于数列 {1, 3, 5, 7} :
![{\displaystyle {\begin{aligned}P_{4}&=2^{4}\cdot {\frac {\Gamma ({\frac {1}{2}}+4)}{\Gamma ({\frac {1}{2}})}}\\&=16\cdot {\frac {11.6317\dots }{1.77245\dots }}\\&=105\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2568ff6bd12ce4e63c587f87c3acff304ba7943a)
结果相等。
参考文献[编辑]