Question

設(shè)f(k)是滿足不等式log₂x+log₂(3·2^k-1-x)≥2k-1(k∈N^*)的自然數(shù)x的個(gè)數(shù).

(1)求f(k)的表達(dá)式；

(2)記S_n=f(1)+f(2)+…+f(n),P_n=n²+n-1,當(dāng)n≤5時(shí)試比較S_n與P_n的大小.

Answer 1

解:(1)由不等式log₂x+log₂(3·2^k-1-x)≥2k-1,得x(3·2^k-1-x)≥2^2k-1,

    解之,得2^k-1≤x≤2^k,

    故f(k)=2^k-2^k-1+1=2^k-1+1.

    (2)∵S_n=f(1)+f(2)+…+f(n)=1+2+2²+2³+…+2^n-1+n=2ⁿ+n-1,

    ∴S_n-P_n=2ⁿ+n-1-(n²+n-1)=2ⁿ-n².