>>605

2m = M,2n+1 = N とおけば

 NN - 2MM = 1

という「ペル方程式」になります。

ペル方程式の全ての解は、最小解(M_1,N_1)≠(0,1)のべき乗になることが知られています。

 N_k + M_k(√2)={N_1 + M_1(√2)}^k