>>17
記号をまずったのので，訂正．

(1) x_k + √2y_k = (3 + 2√2)^k として，n = 2y_k^2，n+1 = x_k^2
とすると，y_k は偶数なので n も充平方．