Question

16．已知各项不为零的数列{a_n}的前n项和为S_n，且a₁=1，S_n=pa_na_n+1（n∈N^*），p∈R．
（1）若a₁，a₂，a₃成等比数列，求实数p的值；
（2）若a₁，a₂，a₃成等差数列，
①求数列{a_n}的通项公式；
②在a_n与a_n+1间插入n个正数，共同组成公比为q_n的等比数列，若不等式（q_n）^{（n+1）（n+a）}≤e对任意的n∈N^*恒成立，求实数a的最大值．

Answer 1

分析 （1）利用递推关系、等比数列的性质即可得出p．
（2）①利用递推关系、等差数列的性质即可得出a_n．
②a_n=n，在n与n+1间插入n个正数，组成公比为q_n的等比数列，故有$n+1=nq_n^{n+1}$，即${q_n}={（\frac{n+1}{n}）^{\frac{1}{n+1}}}$，即${（\frac{n+1}{n}）^{n+a}}≤e$，两边取对数得$（n+a）ln（\frac{n+1}{n}）≤1$，分离参数得$a≤\frac{1}{{ln（\frac{n+1}{n}）}}-n$恒成立．令$\frac{n+1}{n}=x$，x∈（1，2]，则$a≤\frac{1}{lnx}-\frac{1}{x-1}$，x∈（1，2]，令$f（x）=\frac{1}{lnx}-\frac{1}{x-1}$，x∈（1，2]，利用导数研究其单调性极值与最值即可得出．

解答 解：（1）当n=1时，a₁=pa₁a₂，${a_2}=\frac{1}{p}$，当n=2时，a₁+a₂=pa₂a₃，${a_3}=\frac{{{a_1}+{a_2}}}{{p{a_2}}}=1+\frac{1}{p}$，
由$a_2^2={a_1}{a_3}$得$\frac{1}{p^2}=1+\frac{1}{p}$，即p²+p-1=0，解得：$p=\frac{{-1±\sqrt{5}}}{2}$．      …（3分）
（2）①由2a₂=a₁+a₃得$p=\frac{1}{2}$，故a₂=2，a₃=3，所以${S_n}=\frac{1}{2}{a_n}{a_{n+1}}$，
当n≥2时，${a_n}={S_n}-{S_{n-1}}=\frac{1}{2}{a_n}{a_{n+1}}-\frac{1}{2}{a_{n-1}}{a_n}$，
因为a_n≠0，所以a_n+1-a_n-1=2…（6分）
故数列{a_n}的所有奇数项组成以1为首项2为公差的等差数列，
其通项公式${a_n}=1+（\frac{n+1}{2}-1）×2=n$，…（7分）
同理，数列{a_n}的所有偶数项组成以2为首项2为公差的等差数列，
其通项公式是${a_n}=2+（\frac{n}{2}-1）×2=n$…（8分）
所以数列{a_n}的通项公式是a_n=n…（9分）
②a_n=n，在n与n+1间插入n个正数，组成公比为q_n的等比数列，故有$n+1=nq_n^{n+1}$，
即${q_n}={（\frac{n+1}{n}）^{\frac{1}{n+1}}}$，…（10分）
所以${（{q_n}）^{（n+1）（n+a）}}≤e$，即${（\frac{n+1}{n}）^{n+a}}≤e$，两边取对数得$（n+a）ln（\frac{n+1}{n}）≤1$，
分离参数得$a≤\frac{1}{{ln（\frac{n+1}{n}）}}-n$恒成立                               …（11分）
令$\frac{n+1}{n}=x$，x∈（1，2]，则$a≤\frac{1}{lnx}-\frac{1}{x-1}$，x∈（1，2]，…（12分）
令$f（x）=\frac{1}{lnx}-\frac{1}{x-1}$，x∈（1，2]，则$f'（x）=\frac{{{{（lnx）}^2}-\frac{{{{（x-1）}^2}}}{x}}}{{{{（lnx）}^2}{{（x-1）}^2}}}$，
下证$lnx≤\frac{x-1}{{\sqrt{x}}}$，x∈（1，2]，
令$g（x）=x-\frac{1}{x}-2lnx，x∈（1，+∞）$，则$g'（x）=\frac{{{{（x-1）}^2}}}{x^2}＞0$，所以g（x）＞0，
即$2lnx＜x-\frac{1}{x}$，用$\sqrt{x}$替代x可得$lnx＜\frac{x-1}{{\sqrt{x}}}$，x∈（1，2]，…（14分）
所以$f'（x）=\frac{{{{（lnx）}^2}-\frac{{{{（x-1）}^2}}}{x}}}{{{{（lnx）}^2}{{（x-1）}^2}}}＜0$，所以f（x）在（1，2]上递减，
所以$a≤f（2）=\frac{1}{ln2}-1$…（16分）

点评 本题考查了等比数列的定义及其通项公式、递推式的应用、利用导数研究函数的单调性极值与最值，考查了推理能力与计算能力，属于难题．