已知函数f(x)=2x次方-2负x次方数列{an}满足f(log2an)=-2n.(1) 证明数列{an}递减数列