Question

已知数列{a_n}各项均不为0，其前n项和为S_n，且对任意n∈N^*都有（1-p）S_n=p-pa_n（p为大于1的常数），记．
（1）求a_n；
（2）试比较f（n+1）与的大小（n∈N^*）；
（3）求证：，（n∈N^*）．

Answer

（1）由题设中所给的恒成立的等式对任意n∈N*都有（1-p）Sn=p-pan（p为大于1的常数），在此条件下求通项，一般利用an=Sn-Sn-1，故可构造出（1-p）Sn+1=p-pan+1．两式作差，即可消去和得到项之间的关系化简后再根据其形式判断规律求出通项；
（2）由（1）可得． 再利用数列{an}的通项公式对f（n）的解析式中的分子进行化简，得出f（n）关于n的表达式，分别求出f（n+1），，根据p的取值范围对两者的大小进行比较，两个代数式的大小比较通常先对其形式进行化简，再比较大小；
（3）由（2）知 ，f（n+1）＜，（n∈N*）．由此递推关系对不等式进行放大，再由同向不等式相加得出，（2n-1）f（n）≤f（1）+f（2）+…+f（2n-1）的证明可用f（k）+f（2n-k）的表达式的研究进行放小证明得出f（k）+f（2n-k）≥2f（n），由同向不等式相加证得结论．
【解析】
（1）∵（1-p）Sn=p-pan，①
∴（1-p）Sn+1=p-pan+1．②
②-①，得（1-p）an+1=-pan+1+pan，即an+1=pan．在①中令n=1，可得a1=p．
∴{an}是首项为a1=p，公比为p的等比数列，an=pn．
（2）由（1）可得．1+Cn1a1+Cn2a2+…+Cnnan=1+pCn1+p2Cn2+…+Cnnpn=（1+p）n=（p+1）n．
∴=，f（n+1）=．
而=，且p＞1，
∴pn+1-1＞pn+1-p＞0，p-1＞0．∴f（n+1）＜，（n∈N*）．
（3）由（2）知 ，f（n+1）＜，（n∈N*）．
∴当n≥2时，．
∴=，
（当且仅当n=1时取等号）．
另一方面，当n≥2，k=1，2，…，2n-1时，==．
∵pk+p2n-k≥2pn，∴p2n-pk-p2n-k+1≤p2n-2pn+1=（pn-1）2．
∴，（当且仅当k=n时取等号）．
∴．
（当且仅当n=1时取等号）．
综上所述，，（n∈N*）．