Question

已知數(shù)列{a_n}的通項公式是a_n=2^n-1，數(shù)列{b_n}是等差數(shù)列，令集合A={a₁，a₂，…，a_n，…}，B={b₁，b₂，…，b_n，…}，n∈N^*．將集合A∪B中的元素按從小到大的順序排列構(gòu)成的數(shù)列記為{c_n}．
（I）若c_n=n，n∈N^*，求數(shù)列{b_n}的通項公式；
（II）若A∩B=Φ，且數(shù)列{c_n}的前5項成等比數(shù)列，c₁=1，c₉=8．
（i）求滿足

cn+1

cn

＞

5

4

的正整數(shù)n的個數(shù)；
（ii）證明：存在無窮多組正整數(shù)對（m，n）使得不等式0＜|cn+1+cm-cn-cm+1|＜

1

100

成立．

Answer 1

分析：（I）根據(jù)已知數(shù)列{a_n}的通項公式a_n=2^n-1，數(shù)列{b_n}是等差數(shù)列，集合A∪B中的元素按從小到大的順序排列構(gòu)成的數(shù)列記為{c_n}．若c_n=n，n∈N*，對元素3、5、6、7進行分析，得出數(shù)列{b_n}是公差為1的等差數(shù)列，分類求出即可．
（II）（i）若A∩B=∅，數(shù)列{c_n}的前5項成等比數(shù)列，且c₁=1，c₉=8，對元素2進行分類討論，從而求得

cn+1

cn

＞

5

4

的正整數(shù)n的個數(shù)．
（ii）由（i）知，數(shù)列{c_n}是A∪B中的元素按從小到大的順序排列所得：即1，

2

，2，2

2

，4，3

2

，4

2

，5

2

，8，…，然后利用絕對值不等式進行證明即可．

解答：解：由題意知：
（I）∵A={1，2，…，2^n-1，…}，A∪B中的元素按從小到大的順序記為{c_n}，且c_n=n，n∈N^*；
∵若c_n=n，因為5，6，7∉A，則5，6，7∈B
∴等差數(shù)列{b_n}的公差為1，并且3是數(shù)列{b_n}中的項；因此，3只可能是數(shù)列{b_n}中的第1，2，3項，
 當(dāng)b₁=3時，則b_n=n+2；
 當(dāng)b₂=3，則b_n=n+1；
 當(dāng)b₃=3，則b_n=n．
（II）（i）因為A={1，2，…，2^n-1，…}，A∪B中的元素按從小到大的順序記為{c_n}，
對集合{c_n}中的元素2進行分類討論：
①當(dāng)c₂=2時，由{c_n}的前5項成等比數(shù)列，得c₄=2³=8=c₉，顯然不成立；
②當(dāng)c₃=2時，由{c_n}的前5項成等比數(shù)列，得b₁²=2，∴b₁=

2

；
因此數(shù)列{c_n}的前5項分別為1，

2

，2，2

2

，4；
這樣 b_n=

2

n，則數(shù)列{c_n}的前9項分別為1，

2

，2，2

2

，4，3

2

，4

2

，5

2

，8；上述數(shù)列符合要求；
③當(dāng)c_k=2（k≥4）時，有b₂-b₁＜2-1，即數(shù)列{b_n}的公差d＜1，
∴b₆=b₁+5d＜2+5=7，1，2，4＜c₉；
∴1，2，4在數(shù)列{c_n}的前8項中，由于A∩B=∅，這樣，b₁，b₂，…，b₆以及1，2，4共9項，
它們均小于8，即數(shù)列{c_n}的前9項均小于8，這與c₉=8矛盾，所以也不成立；
綜上所述，b_n=

2

n；
其次，當(dāng)n≤4時，

cn+1

cn

=

2

＞

5

4

，

c6

c5

=

3 2

4

＜

5

4

，

c7

c6

=

4

3

＞

5

4

，
當(dāng)n≥7時，c_n≥4

2

，因為{b_n}是公差為

2

的等差數(shù)列，所以 c_n+1-c_n≤

2

，
所以

cn+1

cn

=

cn+cn+1-cn

cn

=1+

cn+1-cn

cn

≤1+

2

4 2

=

5

4

，此時的n不符合要求．
所以符合要求的n一共有5個．
（ii）證明：由（i）知，數(shù)列{c_n}是A∪B中的元素按從小到大的順序排列所得：
即1，

2

，2，2

2

，4，3

2

，4

2

，5

2

，8，…，
對于正整數(shù)對（m，n），當(dāng)m≠n時，有c_m≠c_n；
∴|c_n+1+c_m-c_n-c_m+1|＞0，
由|c_n+1+c_m-c_n-c_m+1|=|（c_n+1-c_n）-（c_m+1-c_m）|≤|c_n+1-c_n|+|c_m+1-c_m|≤2|c_n+1-c_n|=2|

2

n′-2^n-1|，
令2|

2

n′-2^n-1|＜

1

100

，則|

2

n′-2^n-1|＜

1

50

．
∴存在無窮多組正整數(shù)對（m，n）使得不等式0＜|cn+1+cm-cn-cm+1|＜

1

100

成立．

點評：本題考查了等差數(shù)列和等比數(shù)列的綜合運用，對元素2采用分類討論的方法求得數(shù)列{b_n}的通項公式，體現(xiàn)分類討論的思想；對于（II）的探討，除了分類討論以外，還采用了反證法解決問題，體現(xiàn)了方法的靈活性，增加了題目的難度，屬難題．