>>30
「x = a + b * i ( a, b ∈R ) が高次方程式 f(x)=0 の解であるならば
x = a - b * i も f(x)=0 の解である。」
を暗黙裡に用いているが、これって証明無しで使ってよい？