已知数列{an}满足：a1=a+2（a≥0），an+1=an+a，n∈N*．（1）若a=0，求数列{an}的通项公式；（2）设bn=|an+1-an|，数列的前

题型：不详难度：来源：

已知数列{a_n}满足：a₁=a+2（a≥0），an+1=

an+a

，n∈N^*．
（1）若a=0，求数列{a_n}的通项公式；
（2）设b_n=|a_n+1-a_n|，数列的前n项和为S_n，证明：S_n＜a₁．

答案

（1）若a=0时，a₁=2，an+1=

an

，
∴an+12=an且a_n＞0．
两边取对数，得2lga_n+1=lga_n，
∵lga₁=lg2，
∴数列{lga_n}是以lg2为首项，

1

2

为公比的等比数列，
∴lga_n=(

1

2

)n-1lg2，即a_n=221-n；
（2）由an+1=

an+a

，得an+12=an+a，①
当n≥2时，

a

2n

=a_n-1+a，②
①-②，得（a_n+1+a_n）（a_n+1-a_n）=a_n-a_n-1，
由已知可得a_n＞0，∴a_n+1-a_n与a_n-a_n-1同号，
∵a₂=

2a+2

，且a＞0，∴

a

21

-

a

22

=（a+2）²-（2a+2）=a²+2a+2＞0恒成立，
∴a₂-a₁＜0，则a_n+1-a_n＜0．
∵b_n=|a_n+1-a_n|，∴b_n=-（a_n+1-a_n），
∴S_n=-[（a₂-a₁）+（a₃-a₂）+…+（a_n+1-a_n）]=-（a_n+1-a₁）=a₁-a_n+1＜a₁．