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