an>0f(x) = 2^x - 2^(-x) = [2^(2x) - 1] / 2^xf(㏒2 an) = 2^(㏒2 an) - 2^(-㏒2 an)= an - 1/an = -2n同样, f(㏒2 an+1) = (an+1) - 1/(an+1)= -2(n+1)以上两式相减(an+1) - an + 1/an - 1/(an+1) = -2[(an+1)...