i just want to add something to my last post for clarity:
when i mentioned
real conjugates and how the "real conjugate theorem" exists for polynomials with rational coefficients, it's important to realise that the 'real' numbers i was referring to are in the form of
surds. (exact forms, or exact values).
that is, the theorem does not work for real numbers such as
'pi' or
'e', but this is
NOT due to the incompleteness of the theorem, in fact there is good reason why real numbers that cannot be expressed in exact form (ie. root extractions with the four operations) are not a part of this theorem/result - it is because those numbers are
transcendental.
and the thing with ALL transcendental numbers is that they cannot be roots of any polynomial of ANY degree with rational coefficients.
hence, the 'real conjugate root theorem' for polynomials with rational coefficients is a complete theorem on its own - since the roots, should they be real, are never transcendental numbers like 'pi' or 'e', and are
ALWAYS in surd form.
from this, of course, follows the result that
ALL polynomials of
ODD degree with
rational coefficients must have at least
ONE rational root.
[this is equivalent to the result that polynomials of odd degree with real coefficients must have at least one real root.]
hope i cleared a few things in my last post here