Question

设f(k)是满足不等式log₂x+log₂(3·2^k-1-x)≥2k-1(k∈N)的自然数的个数.

(1)求f(k)的解析式；

(2)记S_n=f(1)+f(2)+f(3)+…+f(n),求S_n的解析式；

(3)令P_n=n²+n-1(n∈N^*),试比较S_n与P_n的大小.

Answer 1

解：先由条件解关于x的不等式,从而求出f(k).

(1)

    即

∴2^k-1≤x≤2^k.当k=0时,≤x≤1,∴f(k)=1.当k∈N^*时,f(k)=2^k-2^k-1+1=2^k-1+1.

∴f(k)=

(2)S_n=f(1)+f(2)+…+f(n)=2⁰+2¹+…+2^n-1+n=2ⁿ+n-1.

(3)S_n-P_n=2ⁿ-n²,

    当n=1时,2¹-1²＞0；

    当n=2时,2²-2²=0；

    当n=3时,2³-3²＜0；

    当n=4时,2⁴-4²=0；

    当n=5时,2⁵-5²＞0.

    猜想:n≥5时,S_n＞P_n.

    下面用数学归纳法证明:

①当n=5时,2⁵＞5².

②假设n=k(k≥5)时,S_n＞P_n,即2^k＞k²,

    那么2^k+1=2·2^k＞2k²=k²+2k+1+k²-2k-1=(k+1)²+[k(k-2)-1].

∵k≥5,∴k(k-2)-1＞0.

∴(k+1)²+[k(k-2)-1]＞0,

    即2^k+1＞(k+1)².∴当n=k+1时,S_n＞P_n.

    由①②知n∈N,n≥5时,S_n＞P_n.

    综上,n=1或n≥5时,S_n＞P_n；

n=2或n=4时,S_n=P_n；n=3时,S_n＜P_n.