>>603
＞g(α)=h(α)=0 より h(x)|g(x)
が言えるのは何故？

g(x),h(x)∈Q[x] かつ g(α)=h(α)=0 かつ hはαのQ上の最小多項式
という設定なら言えるのは知ってるが、h(x)∈Q(i)[x] でも言えるん？