22/06/02 07:44:23.90 LAeU8LUx.net
佐武一郎さんの本も見てみました。
f(x) = (x-α) * (x - conj(α)) * f_1(x) と分解できる。
f_1(x) に対して同様の操作をくり返せばよい。
という説明です。
f(x) = (x-α) * (x - conj(α)) * f_1(x) と複素多項式の範囲内で分解できる。
f_1(x) に対して f(x) に対するのと同様の操作を適用するには、 f_1(x) が実多項式であることを示す必要があります。
佐武さんはこのことを自明と考えたのでしょうか？
実多項式 = 実多項式 × 複素多項式
と分解されることがないのはそんなに自明なことでしょうか？