已知函数f(x)=2^x-2^(-x),数列{an}满足f[log2(an)]=-2n.
问题描述：
已知函数f(x)=2^x-2^(-x),数列{an}满足f[log2(an)]=-2n.
已经求出an=根号(n^2+1)-n
通过公式bn=(an)+n 构造一个新数列{bn},求证:数列 {(bn)/n}是递减数列.
答
f(x)=2^x-2^(-x)=an-1/an=-2n
an^2+2nan-1=0
an=[-2n+√4n^2+4]/2=√(n^2+1)-n (负数不和题意舍去）
bn=(an)+n=√(n^2+1)
(bn)/n=√(n^2+1)/n=√(1+1/n^2)
(bn)/n-(bn-1)/(n-1)＜0
{(bn)/n}是递减数列