Question

各項(xiàng)均為正數(shù)的等比數(shù)列{a_n}，a₁=1，a₂a₄=16，單調(diào)增數(shù)列{b_n}的前n項(xiàng)和為S_n，b₁=2，且6S_n=b_n²+3b_n+2（n∈N^*）．
（1）求數(shù)列{a_n}、{b_n}的通項(xiàng)公式；
（2）令c_n=

bn

an

（n∈N^*），求使得c_n＞1的所有n的值，并說(shuō)明理由；
（3）證明{a_n}中任意三項(xiàng)不可能構(gòu)成等差數(shù)列．

Answer 1

考點(diǎn)：數(shù)列與不等式的綜合

專題：點(diǎn)列、遞歸數(shù)列與數(shù)學(xué)歸納法

分析：（1）由a₂a₄=a₁²q⁴=q⁴=16，q²=4，知a_n=2^n-1，b₃=a₄=8．由6S_n=b_n²+3b_n+2，知（b_n+b_n-1）（b_n-b_n-1）=3（b_n+b_n-1），由此能夠求出b_n=3n-1．
（2）由b_n=3n-1，知c_n=

bn

an

=

3n-1

2n-1

，由此能求出滿足條件C_n＞1的所有n的值為1，2，3，4．
（3）假設(shè){a_n}中存在三項(xiàng)p，q，r （p＜q＜r，p，q，R∈N*）使a_p，a_q，a_r構(gòu)成等差數(shù)列，所以2•2^q-1=2^p-1+2^r-1．2^q-p+1=1+2^r-p．因左邊為偶數(shù)，右邊為奇數(shù)，故假設(shè)不成立，即不存在任意三項(xiàng)能構(gòu)成等差數(shù)列．

解答： （1）解：∵a₂a₄=a₁²q⁴=q⁴=16，q²=4，∵a_n＞0，∴q=2，∴a_n=2^n-1
∴b₃=a₄=8．∵6S_n=b_n²+3b_n+2�、�
當(dāng)n≥2時(shí)，6S_n-1=b_n-1²+3b_n-1+2 ②
①-②得6b_n=b_n²-b_n-1²+3b_n-3b_n-1即（b_n+b_n-1）（b_n-b_n-1）=3（b_n+b_n-1）
∵b_n＞0∴b_n-b_n-1=3，∴{b_n}是公差為3的等差數(shù)列．
當(dāng)n=1時(shí)，6b₁=b₁²+3b₁+2，解得b₁=1或b₁=2，
當(dāng)b₁=1時(shí)，b_n=3n-2，此時(shí)b₃=7，與b₃=8矛盾；當(dāng)b₁=3時(shí)b_n=3n-1，此時(shí)此時(shí)b₃=8=a₄，∴b_n=3n-1．
（2）解：∵b_n=3n-1，∴c_n=

bn

an

=

3n-1

2n-1

，∴c₁=2＞1，c₂=

5

2

＞1，c₃=2＞1，c₄=

11

8

＞1，c₅=

7

8

＜1，
下面證明當(dāng)n≥5時(shí)，c_n＜1
事實(shí)上，當(dāng)n≥5時(shí)，c_n+1-c_n=

3n+2

2n

-

3n-1

2n-1

=

4-3n

2n

＜0
即c_n+1＜c_n，∵c₅=

7

8

＜1
∴當(dāng)n≥5時(shí)，C_n＜1，
故滿足條件C_n＞1的所有n的值為1，2，3，4．
（3）證明：假設(shè){a_n}中存在三項(xiàng)p，q，r （p＜q＜r，p，q，R∈N^*）使a_p，a_q，a_r構(gòu)成等差數(shù)列，
∴2a_q=a_p+a_r，即2•2^q-1=2^p-1+2^r-1．∴2^q-p+1=1+2^r-p．
∵左邊為偶數(shù)，右邊為奇數(shù)，矛盾．
∴假設(shè)不成立，故不存在任意三項(xiàng)能構(gòu)成等差數(shù)列．

點(diǎn)評(píng)：題考查數(shù)列與不等式的綜合，解題時(shí)要認(rèn)真審題，仔細(xì)解答，注意挖掘題設(shè)中的隱含條件，合理地進(jìn)行等價(jià)轉(zhuǎn)化．