Complex Number is Algebraic over Real Numbers

Theorem

Let $z \in \C$ be a complex number.

Then $z$ is algebraic over $\R$.

Proof

Let $z = a + i b$.

Let $z = a - i b$ be the complex conjugate of $z$.

$z \overline z = a^2 + b^2$
$z + \overline z = 2 a$

Thus from Viète's Formulas, both $z$ and $\overline z$ are roots of the polynomial:

$z^2 - 2 a + \paren {a^2 + b^2}$

Hence the result by definition of algebraic over $\R$.

$\blacksquare$