Question

（文）设数列{a_n}的通项公式为a．数列{b_n}定义如下：对于正整数m，b_m是使得不等式a_n≥m成立的所有n中的最小值．
（Ⅰ）若p=，求b₃；
（Ⅱ）（文）若p=2，q=-1，求数列{b_m}的前2m项和公式；
（Ⅲ）（文）若，是否存在q，使得b？如果存在，求q的取值范围；如果不存在，请说明理由．

Answer

（Ⅰ）an=-，由，先求出n．再由成立的所有n中的最小整数为7，能求出b3．
（Ⅱ）（文）由题意，得an=2n-1，对于正整数，由an≥m，得n．根据bm的定义知：当m=2k-1时，b，由此能求出数列{bm}的前2m项和公式．
（Ⅲ）（文）假设存在q满足条件，由不等式，得n≥3（m-q），由此利用题设条件能推导出存在q，使得b和q的取值范围．
【解析】
（Ⅰ）∵数列{an}的通项公式为a．
数列{bn}定义如下：对于正整数m，bm是使得不等式an≥m成立的所有n中的最小值．
p=，
∴an=-，解，得n．…（2分）
∴成立的所有n中的最小整数为7，即b3=7．…（4分）
（Ⅱ）（文）∵p=2，q=-1，∴an=2n-1，
对于正整数，由an≥m，得n．
根据bm的定义可知：当m=2k-1时，b；…（6分）
当m=2k时，b．…（8分）
∴b1+b2+…+b2m=（b1+b3+..b2m-1）+（b2+b4+..+b2m）
=（1+2+3+..+m）+[2+3+4+..+（m+1）]
=．…（12分）
（Ⅲ）（文）假设存在q满足条件，由不等式，得n≥3（m-q）…（14分）
∵b，
∴根据bm的定义可知，对于任意的正整数m 都有3m+1＜3（m-q）≤3m+2，…（16分）
解得-．…（18分）
∴存在q，使得b；
q的取值范围是-．