The Conjugate Root Theorem states that if a polynomial has rational coefficients and a complex number is a root (where and are real numbers and ), then its complex conjugate is also a root of the polynomial.
In this case, we have a cubic polynomial with rational coefficients. Given that is a root. According to the Conjugate Root Theorem, since the coefficients are rational and