标签：以+i为根的不可约实系数多项式为c((x)^+)，结合实系数多项式标准分解式即得