Question

設不等式組

x＞0 y＞0 y≤-nx+3n

所表示的平面區域為D_n，記D_n內的整點個數為a_n（n∈N*）（整點即橫坐標與縱坐標均為整數的點）．
（1）求數列{a_n}的通項公式；
（2）（理）設Sn=

1

an+1

+

1

an+2

+…+

1

a2n

，求S_n的最小值（n＞1，n∈N*）；
（3）設Tk=

1

a1

+

1

a2

+…+

1

ak

求證：T2n≥

7n+11

36

(n＞1，n∈N*)．
（文）記數列{a_n}的前n項和為S_n，且Tn=

Sn

3•2n-1

．若對一切的正整數n，總有T_n≤m，求實數m的取值范圍．

Answer 1

分析：（1）由題設知D_n內的整點在直線x=1和x=2上．記直線y=-nx+3n為l，l與直線x=1和x=2的交點的縱坐標分別為y₁、y₂，由y₁=2n，y₂=n，知a_n=3n（n∈N*）．
（2）（理）（i）由Sn=

1

an+1

+

1

an+2

++

1

a2n

=

1

3

×(

1

n+1

+

1

n+2

++

1

2n

)．知Sn+1-Sn=

1

3

×(

1

2n+1

+

1

2n+2

-

1

n+1

)=

1

3

×(

1

2n+1

-

1

2n+2

)＞0．所以Sn=

1

an+1

+

1

an+2

+…+

1

a2n

≥

7

36

(n＞1，n∈N*)．
（ii）T2n=

1

3

×(1+

1

2

+S2+S4++S2n-1）≥

1

3

×(1+

1

2

+

7 12 + 7 12 ++ 7 12

n-1項

)=

7n+11

36

(n＞1，n∈N*)．
（文）由題設知T_n=

n(n+1)

2n

．T_n+1-T_n=

(n+1)(n+2)

2n+1

-

n(n+1)

2n

=

(n+1)(2-n)

2n+1

，n≥3時{T_n}是遞減數列，且T1=1＜T2=T3=

3

2

，所以T₂，T₃是數列{T_n}的最大項，故m≥T2=

3

2

．

解答：解：（1）∵x＞0，y=3n-nx＞0，0＜x＜3，x=1或x=2．
∴D_n內的整點在直線x=1和x=2上．記直線y=-nx+3n為l，l與直線x=1和x=2的交點的縱坐標分別為y₁、y₂，
∴y₁=2n，y₂=n．∴a_n=3n（n∈N*）．
（2）（理）（i）Sn=

1

an+1

+

1

an+2

++

1

a2n

=

1

3

×(

1

n+1

+

1

n+2

++

1

2n

)．
∵Sn+1-Sn=

1

3

×(

1

2n+1

+

1

2n+2

-

1

n+1

)=

1

3

×(

1

2n+1

-

1

2n+2

)＞0．
∴S_n+1＞S_n，S_n≥S₂（n＞1，n∈N*）．
∵S2=

1

3

×(

1

3

+

1

4

)=

7

36，

∴Sn=

1

an+1

+

1

an+2

++

1

a2n

≥

7

36

(n＞1，n∈N*)．

（ii）T2n=

1

3

×[1+

1

2

++

1

2n

)]=

1

3

×(1+

1

2

+S2+S4++S2n-1）
≥

1

3

×(1+

1

2

+

7 12 + 7 12 ++ 7 12

n-1項

)=

7n+11

36

(n＞1，n∈N*)．
（文）∵S_n=3（1+2+3+…+n）=

3n(n+1)

2

，∴T_n=

n(n+1)

2n

．
∴T_n+1-T_n=

(n+1)(n+2)

2n+1

-

n(n+1)

2n

=

(n+1)(2-n)

2n+1

，∴當n≥3時，T_n+1＜T_n，∴n≥3時{T_n}是遞減數列，且T1=1＜T2=T3=

3

2

，∴T₂，T₃是數列{T_n}的最大項，故m≥T2=

3

2

點評：本題考查數列的性質和應用，解題時要注意公式的合理運用和不等式的應用．