高一数学难题，在线求，好的追加

f[log2(an)]=2^[log2(an)]-2^[-log2(an)]
=an-1/an=-2n
an^+2n*an-1=0
an>0
an=-n+根号下(n^+1)

An+1=-(n+1)+根号下[（n+1)^+1]
An+1-An=根号下[（n+1)^+1]-根号下(n^+1)-1
0<根号下[（n+1)^+1]-根号下(n^+1)<1
An+1-An<0
数列{an}是递减数列

过程写起来容易,打出来就麻烦了!
第一问就把x=log2(an)代入函数,f(x)=-2n.
接下来算确实有点麻烦.就是指数对数的转化.我忘记公式了.
最后就是解出an=....!
第二问就是证明an=...是个减函数.