设f（k）是满足不等式log2x+log2（5•2k-1-x）≥2k（k∈N*）

问题解答题

设f（k）是满足不等式log₂x+log₂（5•2^k-1-x）≥2k（k∈N^*）的自然数x的个数．
（1）求f（k）的函数解析式；
（2）S_n=f（1）+f（2）+…+f（n），求S_n；
（3）设P_n=2ⁿ⁺¹+n-3，由（2）中S_n及P_n构成函数T_n，Tn=

log2(Sn-Pn)

log2(Sn+1-Pn+1)-10.5

，求T_n的最小值与最大值．

答案

（1）∵log₂x+log₂（5•2^k-1-x）≥2k，∴log₂（5•2^k-1x-x²）≥2k=log₂2^2k，

∴

x＞0

5•2k-1-x＞0

x(5•2k-1-x)≥22k

，

解得得2^k-1≤x≤4•2^k-1．

∴f（k）=4•2^k-1-2^k-1+1=3•2^k-1+1（k∈N^*）

（2）s_n=f（1）+f（2）+…+f（n）=3（2⁰+2¹+2²+…+2^n-1）+n

3(1-2n)

1-2

+n=3•2n+n-3；

（3）Tn=

log2(3•2n+n-3-2n+1-n+3)

log2(3•2n+1+n+1-3-2n+2-n-1+3)-10.5

n+1-10.5

n-9.5

=1+

9.5

n-9.5

，

则n=9时有最小值T₉=-18；n=10时有最大值T₁₀=20．