(1+√3 i)^n + (1-√3 i)^n = 32
を満たす整数nを求めよ

logを使うのでしょうか・・・??