Question

已知數(shù)列{a_n}的通項(xiàng)公式是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}的通項(xiàng)公式；
（II）若A∩B=Φ，且數(shù)列{c_n}的前5項(xiàng)成等比數(shù)列，c₁=1，c₉=8．
（i）求滿(mǎn)足

cn+1

cn

＞

5

4

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

1

100

成立．

Answer 1

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

cn+1

cn

＞

5

4

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

2

，2，2

2

，4，3

2

，4

2

，5

2

，8，…，然后利用絕對(duì)值不等式進(jìn)行證明即可．

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

2

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

2

，2，2

2

，4；
這樣 b_n=

2

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

2

，2，2

2

，4，3

2

，4

2

，5

2

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

2

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

cn+1

cn

=

2

＞

5

4

，

c6

c5

=

3 2

4

＜

5

4

，

c7

c6

=

4

3

＞

5

4

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

2

，因?yàn)閧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

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

2

，2，2

2

，4，3

2

，4

2

，5

2

，8，…，
對(duì)于正整數(shù)對(duì)（m，n），當(dāng)m≠n時(shí)，有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

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

1

100

成立．

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