Question

已知數(shù)列{a_n}滿(mǎn)足8a_n+1=m+a_n²，n∈N^*，a₁=1，m為正數(shù)．
（1）若a_n+1＞a_n對(duì)n∈N^*恒成立，求m的取值范圍；
（2）是否存在m，使得對(duì)任意正整數(shù)n都有

9

4

＜an+1＜2007？若存在，求出m的值；若不存在，請(qǐng)說(shuō)明理由．

Answer 1

分析：（1）由已知，8（a_n+1-a_n）=（a_n+a_n-1）（a_n-a_n-1），a_n+1＞a_n對(duì)n∈N*恒成立的充要條件是a₂-a₁＞0．
（2）假設(shè)存在m，符合要求，a_n+1-a_n=

1

8

(m+

a

2 n

)-an=

1

8

(an-4)2+

m-16

8

≥

m-16

8

，遞推出a_n≥a1+

m-16

8

(n-1)=1+

m-16

8

(n-1)，
考查出當(dāng)m＞16時(shí)，a_n→+∞，故不存在．

解答：解：（1）∵m為正數(shù)，8a_n+1=m+a_n²①，a₁=1，∴a_n＞0（n∈N*）
又8a_n=m+a_n-1²②，①-②兩式相減得8（a_n+1-a_n）=（a_n+a_n-1）（a_n-a_n-1），
∴a_n+1-a_n與a_n-a_n-1同號(hào)
∴a_n+1＞a_n對(duì)n∈N*恒成立的充要條件是a₂-a₁＞0
由a₂-a₁=

m+1

8

-1＞0，得m＞7
（2）證明：假設(shè)存在m，使得對(duì)任意正整數(shù)n都有

9

4

＜an+1＜2007．
則a2＞

9

4

，則m＞17．--------------------（9分）
另一方面，a_n+1-a_n=

1

8

(m+

a

2 n

)-an=

1

8

(an-4)2+

m-16

8

≥

m-16

8

，---------（11分）
∴a₂-a₁≥

m-16

8

，a₃-a₂≥

m-16

8

，…，a_n-a_n-1≥

m-16

8

，
∴a_n-a₁≥

m-16

8

(n-1)，∴a_n≥a1+

m-16

8

(n-1)=1+

m-16

8

(n-1)
當(dāng)m＞16時(shí)，由①知，a_n→+∞，不可能使a_n+1＜2007對(duì)任意正整數(shù)n恒成立
∴m≤16，這與m＞17矛盾，故不存在m，使得對(duì)任意正整數(shù)n都有

9

4

＜an+1＜2007

點(diǎn)評(píng)：本題考查不等式成立的條件、數(shù)列的極限，考查恒成立問(wèn)題、數(shù)列極限的運(yùn)算、分類(lèi)討論、分析解決問(wèn)題能力．