I've just noticed that every polynomial of degree , with , has to at least have one real root (because complex numbers happen in pairs).
This is true, right? It's shown in my A-level textbook that if is a root of a polynomial equation with real coefficients, then is
also a root of the polynomial equation. But I doubt showing just that would be sufficient. How can it be shown?