Polynomial/R/Conjugated zero/Exercise

Let ${}P\in \mathbb {R} [X]$ be a polynomial with real coefficients and let ${}z\in \mathbb {C}$ be a root of ${}P$. Show that also the complex conjugate

${}{\overline {z}}$ is a root of ${}P$.

Create a solution