Complex Conjugates of Polynomial Roots

If a polynomial has real coefficients, then it turns out that the complex conjugate $a-bi$ of any of its complex roots $a+bi$ is also a root of the polynomial. We prove this amazing result here.