Question

設f(k)是滿足不等式log₂x＋log₂(3×2^k－1－x)≥2k－1(k∈N₊)的自然數(shù)x的個數(shù)．

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

(2)記S_n＝f(1)＋f(2)＋…＋f(n)，求S_n的解析式；

(3)令P_n＝n²＋n－1(n∈N₊)，試比較S_n與P_n的大�。�

Answer 1

答案：
解析：

解：(1)由已知不等式可得 　　 　　2k－1≤x≤2k，從而f(k)＝2k－2k－1＋1＝2k－1＋1． 　　(2)Sn＝f(1)＋f(2)＋…＋f(n) 　�。�20＋21＋…＋2n－1＋n 　�。�2n＋n－1． 　　(3)Sn－Pn＝2n－n2． 　　當n＝1時，21－12＞0；當n＝2時，22－22＝0； 　　當n＝3時，23－32＜0；當n＝4時，24－42＝0； 　　當n＝5時，25－52＞0；當n＝6時，26－62＞0． 　　猜想：當n≥5時，Sn＞Pn． 　　下面用數(shù)學歸納法證明： 　　①當n＝5時，Sn＞Pn，上面已證； 　�、诩僭On＝k時，Sk＞Pk，即2k＞k2， 　　則n＝k＋1時， 　　∵Sk－Pk+1＝2k+1－(k－1)2＞2k2－(k＋1)2＝(k－1)2－2， 　　當k≥5時，(k－1)2－2＞0，∴Sk+1＞Pk+1． 　　故當n≥5時，總有Sn＞Pn成立． 　　綜上可知：當n＝1或n≥5時，有Sn＞Pn； 　　當n＝2或n＝4時，Sn＝Pn； 　　當n＝3時，Sn＜Pn．