问题
解答题
设数列a1,a2,…,an,…中的每一项都不为0.证明:{an}为等差数列的充分必要条件是:对任何n∈N,都有
|
答案
证明:先证必要性
设数列an的公差为d,若d=0,则所述等式显然成立.
若d≠0,则
+1 a1a2
+…+1 a2a3 1 anan+1
=
[(1 d
-1 a1
)+(1 a2
-1 a2
)+…+ (1 a3
-1 an
) ]1 an+1
=
(1 d
-1 a1
)=1 an+1
.n a1an+1
再证充分性:
用数学归纳法证明:
①设所述的等式对一切n∈N都成立,首先在等式
+1 a1a2
=1 a2a3
①2 a1a3
两端同时乘a1a2a3,即得a1+a3=2a2,
所以a1,a2,a3成等差数列,记公差为d,则a2=a1+d.
②假设ak=a1+(k-1)d,当n=k+1时,观察如下二等式:
+1 a1a2
+…+1 a2a3
=1 ak-1ak
②,k-1 a1a2
+1 a1a2
+…+ 1 a2a3
+1 ak-1ak
=1 akak+1
③将②代入③得k a1ak+1
+k-1 a1ak
=1 akak+1
,k a1ak+1
在该式两端同时乘a1akak+1,得(k-1)ak+1+a1=kak,
把ak=a1+(k-1)d代入后,整理得ak+1=a1+kd.
由数学归纳法原理知对任何n∈N,都有
+1 a1a2
+…+1 a2a3
=1 anan+1
.n a1an+1
所以,{an}是公差为d的等差数列.