>>109
a[n]=a^(2^n)+(a^-(2^n))とおくと
a[n+1]=a[n]^2-2
なので、求める数列はこの形。
a[0]=a+(a^-1)=3からaを定めて、帰納法で仕上げる。