設(shè)數(shù)列{an}的通項(xiàng)是關(guān)于x的不等式x2-x<(2n-1)x(n∈N′)的解集中整數(shù)的個(gè)數(shù).
(1)求an并且證明{an}是等差數(shù)列;
(2)設(shè)m、k、p∈N*,m+p=2k,求證:
1
Sm
+
1
Sp
2
Sk

(3)對(duì)于(2)中的命題,對(duì)一般的各項(xiàng)均為正數(shù)的等差數(shù)列還成立嗎?如果成立,請(qǐng)證明你的結(jié)論,如果不成立,請(qǐng)說明理由.
分析:(1)由題意知數(shù)列{an}的通項(xiàng)是關(guān)于x的不等式的解集中整數(shù)的個(gè)數(shù),題目首先應(yīng)該解不等式,從不等式的解集中得到整數(shù)的個(gè)數(shù),得到數(shù)列的通項(xiàng),用等差數(shù)列的定義來驗(yàn)證.
(2)根據(jù)前面結(jié)果寫出要用的前幾項(xiàng)的和,從不等式的一側(cè)入手,利用均值不等式得到要求的結(jié)論.
(3)本題是對(duì)上一問的延伸,方法和前面的類似,但題目所給的一般的各項(xiàng)均為正數(shù)的等差數(shù)列在整理時(shí)增加了難度,題目絕大部分工作是算式的整理,注意不能出錯(cuò).
解答:解:(1)不等式x2-x<(2n-1)x即x(x-2n)<0
解得:0<x<2n,其中整數(shù)有2n-1個(gè)
∴an=2n-1,
由通項(xiàng)公式可得:an-an-1=2,
∴數(shù)列{an}是等差數(shù)列;
(2)由(1)知Sn=
n(1+2n-1)
2
=n2
,
∴Sm=m2,Sp=p2,Sk=k2
1
Sm
+
1
Sp
-
2
Sk
=
1
m2
+
1
p2
-
2
k2
=
k2(m2+p2)-2m2p2
m2p2k2

2mp•mp-2m2p2
m2p2k2
=0,
1
Sm
+
1
Sp
2
Sk

(3)結(jié)論成立,證明如下:
設(shè)等差數(shù)列{an}的首項(xiàng)為a1,公差為d,
Sn=na1+
n(n-1)
2
d=
n(a1+an)
2
,
Sm+Sp-2Sk=ma1+
m(m-1)
2
d+pa1+
p(p-1)
2
d-[2ka1+k(k-1)d]
=(m+p)a1+
m2+p2-(m+p)
2
d-[2ka1+(k2-k)d]
,
把m+p=2k代入上式化簡(jiǎn)得Sm+Sp-2Sk=
m2+p2-2×(
m+p
2
)
2
2
•d=
(m-p)2d
4
≥0,
∴Sm+Sp≥2Sk
SmSp=
mp(a1+am)(a1+ap)
4
=
mp[
a
2
1
+a1(am+ap)+amap]
4

(
m+p
2
)
2
[
a
2
1
+2a1ak+(
am+ap
2
)
2
]
4
=
k2(
a
2
1
+2a1ak+
a
2
k
)
4
=
k2(a1+ak)2
4
=(
Sk
2
)2
,
1
Sm
+
1
Sp
=
Sm+Sp
SmSp
2Sk
(
Sk
2
)
2
=
2
Sk

故原不等式得證.
點(diǎn)評(píng):本題沒有具體的數(shù)字運(yùn)算但運(yùn)算量非常大,它考查的是等差數(shù)列和等比數(shù)列的性質(zhì),基本不等式,實(shí)際上這類問題比具體的數(shù)字運(yùn)算要困難,是幾個(gè)知識(shí)點(diǎn)結(jié)合起來的綜合問題.
練習(xí)冊(cè)系列答案
相關(guān)習(xí)題

科目:高中數(shù)學(xué) 來源: 題型:

設(shè)數(shù)列{an}的通項(xiàng)公式為 an=kn-1.已知a1+a2+a3=7,且a1+3,3a2,a3+4構(gòu)成等差數(shù)列.
(1)求k的值;
(2)令bn=log2a3n+1,(n=1,2,…,),求數(shù)列{bn}的前n項(xiàng)和Tn

查看答案和解析>>

科目:高中數(shù)學(xué) 來源: 題型:

設(shè)數(shù)列{an}的通項(xiàng)公式an=
1
n+1
+
1
n+2
+
1
n+3
+…+
1
2n
,那么an+1-an等于(  )

查看答案和解析>>

科目:高中數(shù)學(xué) 來源: 題型:

設(shè)數(shù)列{an}的通項(xiàng)an=n2+λn+1,已知對(duì)任意n∈N*,都有an+1>an,則實(shí)數(shù)λ的取值范圍是( 。

查看答案和解析>>

科目:高中數(shù)學(xué) 來源: 題型:

設(shè)數(shù)列{an}的通項(xiàng)公式an=f(n)是一個(gè)函數(shù),則它的定義域是( 。

查看答案和解析>>

同步練習(xí)冊(cè)答案