Question

設(shè)函數(shù)y=f（x）的定義域?yàn)椋?，+∞），且對(duì)任意的正實(shí)數(shù)x，y，均有f（xy）=f（x）+f（y）恒成立．已知f（2）=1，且當(dāng)x＞1時(shí)，f（x）＞0．
（1）求的值，試判斷y=f（x）在（0，+∞）上的單調(diào)性，并加以證明；
（2）一個(gè)各項(xiàng)均為正數(shù)的數(shù)列{a_n}，它的前n項(xiàng)和是S_n，若a₁=3，且f（S_n）=f（a_n）+f（a_n+1）-1（n≥2，n∈N^*），求數(shù)列{a_n}的通項(xiàng)公式；
（3）在（2）的條件下，是否存在實(shí)數(shù)M，使對(duì)于一切正整數(shù)n均成立？若存在，求出M的范圍；若不存在，請(qǐng)說(shuō)明理由．

Answer 1

解：（1）令x=y=1，得f（1）=0；令，得（2分）
y=f（x）在（0，+∞）上單調(diào)遞增．下面證明：
任取0＜x₁＜x₂，則，
∵當(dāng)x＞1時(shí)，f（x）＞0，∴
在已知式中令，得，即證．（4分）
（2）當(dāng)n≥2時(shí)，∵f（S_n）=f（a_n）+f（a_n+1）-1
∴f（S_n）+1=f（a_n）+f（a_n+1），即f（2S_n）=f（a_n（a_n+1））
∵y=f（x）在（0，+∞）上單調(diào)遞增，
∴2S_n=a_n（a_n+1）（6分）
∴2S_n+1=a_n+1（a_n+1+1）
兩式相減得：，即（a_n+1+a_n）（a_n+1-a_n-1）=0∵a_n＞0，
∴a_n+1-a_n=1∴數(shù)列{a_n}從第二項(xiàng)起，是以1為公差的等差數(shù)列…（7分）
又在2S_n=a_n（a_n+1）中令n=2可得：a₂=3
綜上，．（8分）
（3）n=1時(shí)，（9分）
n≥2時(shí)，
∴
令，
則
∴{b_n}是遞增數(shù)列
∴
∴（12分）
分析：（1）利用賦值法可求函數(shù)值，利用單調(diào)性的定義證明函數(shù)的單調(diào)性；
（2）確定數(shù)列通項(xiàng)與和的關(guān)系，再寫一式，兩式相減，即可求得數(shù)列的通項(xiàng)；
（3）利用分離參數(shù)法，求出函數(shù)的最值，即可求得M的范圍．
點(diǎn)評(píng)：本題考查抽象函數(shù)的單調(diào)性，考查數(shù)列的通項(xiàng)，考查恒成立問(wèn)題，解題的關(guān)鍵是分離參數(shù)，求函數(shù)的最值．