定义函数f（x）=2|x+5|-|x+1|，数列a1，a2，a3…满足an+1=f（an），n∈N*．若要使a1，a2，…an，…成等差数列．则a1的取值范围为（）A.a1≥-5B.a1≥-1C.a1≥-1或a1≤-5D.以上都不对

Question

定义函数f（x）=2|x+5|-|x+1|，数列a₁，a₂，a₃…满足a_n+1=f（a_n），n∈N^*．若要使a₁，a₂，…a_n，…成等差数列．则a₁的取值范围为（　　）

A. a₁≥-5

B. a₁≥-1

C. a₁≥-1或a₁≤-5

D. 以上都不对

Answer 1

由已知可得f（x）=

x+9，x≥-1

3x+11，-5≤x<-1

-x-9，x<-5

，
当a_n≥-1时，a_n+1-a_n=9>8；
当-5≤a_n<-1时，a_n+1-a_n=2a_n+11≥2×（-5）+11=1；
当a_n<-5时，a_n+1-a_n=-2a_n-9>-2×（-5）-9=1．
∴对任意n∈N^*，a_n+1-a_n≥1．
即a_n+1≥a_n，即{a_n}为无穷递增数列．
又{a_n}为等差数列，所以存在正数M，当n>M时，a_n≥-1，
从而a_n+1=f（a_n）=a_n+9，由于{a_n}为等差数列，
因此公差d=9．
①当a₁<-5时，则a₂=f（a₁）=-a₁-9，
又a₂=a₁+d=a₁+9，故-a₁-9=a₁+9，即a₁=-9，从而a₂=0，
当n≥2时，由于{a_n}为递增数列，故a_n≥a₂=0>-1，
∴a_n+1=f（a_n）=a_n+c+8，而a₂=a₁+c+8，故当a₁=-9时，{a_n}为无穷等差数列，符合要求；
②若-5≤a₁<-1，则a₂=f（a₁）=3a₁+11，又a₂=a₁+d=a₁+9，
∴3a₁+11=a₁+9，得a₁=-1，应舍去；
③若a₁≥-1，则由a_n≥a₁得到a_n+1=f（a_n）=a_n+9，从而{a_n}为无穷等差数列，符合要求．
综上可知：a₁的取值范围为{-9}∪[-1，+∞）．
故选D．