>>712
(3+2√2)(3-2√2)=1なので、
(1)の結果を用いて
(an+bn√2)(an-bn√2)=an^2-2*bn^2=1を帰納法で示せば良いのではないかと思います