f(x) = x^4 + ax^3 + bx^2 + cx + d、1+√3i=αとおくと、条件から f(α)=0、よって {f(α)}~=0~
{f(α)}~= {α^4 + aα^3 + bα^2 + cα + d}~ = (α^4)~ + a(α^3)~ + b(α^2)~ + cα~ + d
= (α~)^4 + a(α~)^3 + b(α~)^2 + cα~ + d = 0 より、α~=1-√3i も方程式の解って。