Question

已知函數f（x）=x²+m，其中m∈R．定義數列{a_n}如下：a₁=0，a_n+1=f（a_n），n∈N^*．
（1）當m=1時，求a₂，a₃，a₄的值；
（2）是否存在實數m，使a₂，a₃，a₄構成公差不為0的等差數列？若存在，請求出實數m的值，若不存在，請說明理由；
（3）求證：當m大于

1

4

時，總能找到k∈N，使得a_k大于2010．

Answer 1

分析：（1）由函數f（x）=x²+1，通過a_n+1=f（a_n），依次求解a₂，a₃，a₄．
（2）假設存在實數m，使得a₂，a₃，a₄構成公差不為0的等差數列；由（1）得到a₂=f（0）=m，a₃=f（m）=m²+m，
a₄=f（a₃）=（m²+m）²+m．由a₂，a₃，a₄成等差數列，利用等差中項可有2a₃=a₂+a₄，即2（m²+m）=m+（m²+m）²+m，求解然后驗證即可．
（3）由an+1-an=an2+m-an=(an-

1

2

)2+(m-

1

4

)≥m-

1

4

＞m-

1

4

又m＞

1

4

，所以令d=m-

1

4

＞0，
再由累加法可有a_n-a₁≥（n-1）d，即a_n≥（n-1）d，因此只需取正整數k＞

2010

d

+1，就使得a_k大于2010．

解答：解：（1）m=1，f（x）=x²+1
因為a₁=0，所以a₂=f（0）=1，
a₃=f（1）=1²+1=2，
a₄=f（a₃）=（2）²+1=5．（4分）
（2）假設存在實數m，使得a₂，a₃，a₄構成公差不為0的等差數列．
由（1）得到a₂=f（0）=m，a₃=f（m）=m²+m，a₄=f（a₃）=（m²+m）²+m．
因為a₂，a₃，a₄成等差數列，
所以2a₃=a₂+a₄，（6分）
所以，2（m²+m）=m+（m²+m）²+m，
化簡得m²+（m²+2m-1）=0，
解得m=0（舍），m=-1±

2

．（8分）
經檢驗，此時a₂，a₃，a₄的公差不為0，
所以存在m=-1±

2

，使a₂，a₃，a₄構成公差不為0的等差數列（9分）
（3）因為an+1-an=an2+m-an=(an-

1

2

)2+(m-

1

4

)≥m-

1

4

，
又m＞

1

4

，所以令d=m-

1

4

＞0．
由a_n-a_n-1≥d，
a_n-1-a_n-2≥d，
…
a₂-a₁≥d
將上述不等式全部相加得a_n-a₁≥（n-1）d，即a_n≥（n-1）d，
因此只需取正整數k＞

2010

d

+1，就有ak≥(k-1)d＞d•(

2010

d

)=2010．（14分）

點評：本題主要考查函數與數列的綜合運用，主要涉及了數列的性質及累加法求通項，同時還考查存在性和數列不等式的證明，屬于難題．