Question

11．設(shè)集合W由滿足下列兩個(gè)條件的數(shù)列{a_n}構(gòu)成：①$\frac{{a}_{n}+{a}_{n+2}}{2}＜{a}_{n+1}$，②存在實(shí)數(shù)a、b使a≤a_n≤b對任意正整數(shù)n都成立；
（1）現(xiàn)在給出只有5項(xiàng)的有限數(shù)列{a_n}，{b_n}，其中a₁=2，a₂=6，a₃=8，a₄=9，a₅=12；b_k=log₂k（k=1，2，3，4，5），試判斷數(shù)列{a_n}，{b_n}是否為集合W的元素；
（2）數(shù)列{c_n}的前n項(xiàng)和為S_n，c₁=1，且對任意正整數(shù)n，點(diǎn)（c_n+1，S_n）在直線2x+y-2=0上，證明：數(shù)列{S_n}∈W，并寫出實(shí)數(shù)a、b的取值范圍；
（3）設(shè)數(shù)列{d_n}∈W，且對滿足條件②中的實(shí)數(shù)b的最小值b₀，都有d_n≠b₀（n∈N⁺），求證：數(shù)列{d_n}一定是單調(diào)遞增數(shù)列．

Answer 1

分析 （1）由于$\frac{{a}_{3}+{a}_{5}}{2}$=10＞9=a₄，可知數(shù)列{a_n}不滿足條件①．利用對數(shù)的運(yùn)算性質(zhì)可得：$\frac{_{n}+_{n+2}}{2}$＜b_n+1，取a=0，b=3，則滿足條件②．
（2）由于點(diǎn)（c_n+1，S_n）在直線2x+y-2=0上，可得2c_n+1+S_n-2=0，利用遞推關(guān)系可得：c_n+1=$\frac{1}{2}{c}_{n}$，利用等比數(shù)列的前n項(xiàng)和公式可得：S_n=2$[1-（\frac{1}{2}）^{n}]$，驗(yàn)證S_n+S_n+2-2S_n+1＜0，可知：條件①成立．由于1≤S_n＜2，即可得出條件②及其a，b的范圍．
（3）利用反證法：若數(shù)列{d_n}非單調(diào)遞增，則一定存在正整數(shù)k，使d_k≥d_k+1 成立，由$\frac{phfdzbd_{m}+lbvj13p_{m+2}}{2}$＜d_m+1，得 d_m+2＜2d_m+1-d_m，變形可得：d_m+1＞d_m+2 ．在d₁，d₂，…，d_k這k項(xiàng)中一定存在一個(gè)最大值，不妨記為$rzb17nf_{{n}_{0}}$=
b₀，得出矛盾．

解答 （1）解：∵$\frac{{a}_{3}+{a}_{5}}{2}$=$\frac{8+12}{2}$=10＞9=a₄，因此數(shù)列{a_n}不滿足條件①，∴數(shù)列{a_n}∉W．
∵$\frac{_{n}+_{n+2}}{2}$=$\frac{lo{g}_{2}n+lo{g}_{2}（n+2）}{2}$=$\frac{lo{g}_{2}[n（n+1）]}{2}$＜$\frac{lo{g}_{2}（\frac{n+n+2}{2}）^{2}}{2}$=log₂（n+1）=b_n+1，取a=0，b=3，則使a≤b_k≤b對k=1，2，3，4，5都成立，
∴數(shù)列{b_n}∈W．
（2）證明：∵點(diǎn)（c_n+1，S_n）在直線2x+y-2=0上，∴2c_n+1+S_n-2=0，
當(dāng)n≥2時(shí)，2c_n+S_n-1-2=0，可得：2c_n+1-2c_n+c_n=0，化為c_n+1=$\frac{1}{2}{c}_{n}$，
∴數(shù)列{c_n}是等比數(shù)列，首項(xiàng)為1，公比為$\frac{1}{2}$．∴S_n=$\frac{1-（\frac{1}{2}）^{n}}{1-\frac{1}{2}}$=2$[1-（\frac{1}{2}）^{n}]$，
則S_n+S_n+2-2S_n+1=2$[1-（\frac{1}{2}）^{n}]$+2$[1-（\frac{1}{2}）^{n+2}]$-4$[1-（\frac{1}{2}）^{n+1}]$=$2（\frac{1}{2}）^{n}$$[2×\frac{1}{2}-1-（\frac{1}{2}）^{2}]$＜0，
∴$\frac{{S}_{n}+{S}_{n+2}}{2}$＜S_n+1．∴條件①成立．
由于1≤S_n＜2，∴a≤1，b≥2．
（3）證明：：（反證）若數(shù)列{d_n}非單調(diào)遞增，則一定存在正整數(shù)k，使d_k≥d_k+1 成立，
當(dāng)n=m+1時(shí)，由$\frac{fzft7jx_{m}+3l7p1tv_{m+2}}{2}$＜d_m+1，得 d_m+2＜2d_m+1-d_m，
而d_m+1-d_m+2＞d_m+1-（2d_m+1-d_m）=d_m-d_m+1≥0，所以d_m+1＞d_m+2 ．
顯然在d₁，d₂，…，d_k這k項(xiàng)中一定存在一個(gè)最大值，不妨記為$j7nd9fb_{{n}_{0}}$，
所以為$rjrzrz7_{{n}_{0}}$≥dn（n∈N*），從而為$zf7p5lr_{{n}_{0}}$=b₀．這與題設(shè)d_n≠b₀（n∈N^*）相矛盾．
所以假設(shè)不成立，故命題得證．

點(diǎn)評 本題考查了等比數(shù)列的通項(xiàng)公式前n項(xiàng)和公式、數(shù)列的單調(diào)性、不等式的性質(zhì)、反證法、新定義，考查了推理能力與計(jì)算能力，屬于難題．