这个证明不太简单
先证明每个实系数多项式可以分解为二次和一次实系数因式的乘积（即没有大于等于三次的因式）,然后证明每个二次因式的两个根一定是共轭复数
直观理解就是每对共轭复数的虚部互相抵消么.