Question

（2012•海淀區(qū)二模）將一個正整數n表示為a₁+a₂+…+a_p（p∈N*）的形式，其中a_i∈N*，i=1，2，…，p，且a₁≤a₂≤…≤a_p，記所有這樣的表示法的種數為f（n）（如4=4，4=1+3，4=2+2，4=1+1+2，4=1+1+1+1，故f（4）=5）．
（Ⅰ）寫出f（3），f（5）的值，并說明理由；
（Ⅱ）對任意正整數n，比較f（n+1）與

1

2

[f(n)+f(n+2)]的大小，并給出證明；
（Ⅲ）當正整數n≥6時，求證：f（n）≥4n-13．

Answer 1

分析：（Ⅰ）依題意，3=3，3=1+2，3=1+1+1，可求得f（3）=3；同理可求得f（5）=7；
（Ⅱ）結論是f（n+1）≤

1

2

[f（n）+f（n+2）]．可用分析法，只需證f（n+1）-f（n）≤f（n+2）-f（n+1）；通過構造函數的思想分析即可；
（Ⅲ）由第（Ⅱ）問可知：當正整數m≥6時，f（m）-f（m-1）≥f（m-1）-f（m-2）≥…≥f（6）-f（5）；而f（6）=11，f（5）=7，于是 f（m）-f（m-1）≥4*；分別取m為6，7，…，n，將所得等式相加即可．

解答：解：（Ⅰ）因為3=3，3=1+2，3=1+1+1，所以f（3）=3．
因為5=5，5=2+3，5=1+4，5=1+1+3，5=1+2+2，5=1+1+1+2，5=1+1+1+1+1，
所以f（5）=7．
（Ⅱ）結論是f（n+1）≤

1

2

[f（n）+f（n+2）]．
證明如下：由結論知，只需證f（n+1）-f（n）≤f（n+2）-f（n+1）．
因為n+1≥2，把n+1的一個表示法中a₁=1的a₁去掉，就可得到一個n的表示法；反之，在n的一個表示法前面添加一個“1+”，就得到一個n+1的表示法，即n+1的表示法中a₁=1的表示法種數等于n的表示法種數，
所以f（n+1）-f（n）表示的是n+1的表示法中a₁≠1的表示法數，f（n+2）-f（n+1）是n+2的表示法中a₁≠1的表示法數．
同樣，把一個a₁≠1的n+1的表示法中的a_p加上1，就可得到一個a₁≠1的n+2的表示法，這樣就構造了從a₁≠1的n+1的表示法到a₁≠1的n+2的表示法的一個對應．
所以有f（n+1）-f（n）≤f（n+2）-f（n+1）．
（Ⅲ）由第（Ⅱ）問可知：
當正整數m≥6時，f（m）-f（m-1）≥f（m-1）-f（m-2）≥…≥f（6）-f（5）．
又f（6）=11，f（5）=7，所以 f（m）-f（m-1）≥4．*
對于*式，分別取m為6，7，…，n，將所得等式相加得f（n）-f（5）≥4（n-5）．
即f（n）≥4n-13．

點評：本題考查不等式的證明，考查創(chuàng)新思維與抽象思維的高度結合，考查構造函數思想與推理論證的能力，屬于難題．