solve (1 + sqrt(2))^n = sqrt(m - 1) + sqrt(m)