Question

设数列a₁，a₂，…，a_n，…中的每一项都不为0．证明：{a_n}为等差数列的充分必要条件是：对任何n∈N，都有++…+=．

Answer 1

证明：先证必要性
设数列a_n的公差为d，若d=0，则所述等式显然成立．
若d≠0，则

=
==．
再证充分性：
用数学归纳法证明：
①设所述的等式对一切n∈N都成立，首先在等式①
两端同时乘a₁a₂a₃，即得a₁+a₃=2a₂，
所以a₁，a₂，a₃成等差数列，记公差为d，则a₂=a₁+d．
②假设a_k=a₁+（k-1）d，当n=k+1时，观察如下二等式：②，
=将②代入③得，
在该式两端同时乘a₁a_ka_k+1，得（k-1）a_k+1+a₁=ka_k，
把a_k=a₁+（k-1）d代入后，整理得a_k+1=a₁+kd．
由数学归纳法原理知对任何n∈N，都有++…+=．
所以，{a_n}是公差为d的等差数列．
分析：先证必要性；设数列a_n的公差为d，若d=0，则所述等式显然成立．
若d≠0，则==．再用数学归纲法证明充分性：对任何n∈N，都有++…+=，{a_n}是公差为d的等差数列．
点评：本题考查等差数列、数学归纳法与充要条件等有关知识，考查推理论证、运算求解能力．