αを1の2^n+1乗根とする。{f(α)}^2+{g(α)}^2=-1を満たし、係数が全て整数である多項式f(x)、g(x)が存在することを示せ。

どうすればいいのか分かりませんorz