The fundamental theorem of algebra famously states that a polynomial of degree with real coefficients, say , has complex roots when counting multiplicities. This is equivalent to saying where and for all such that . This is due to the ‘equivalence’ of roots and linear factors.
We will probably get round to proving this at some point so if you want to find out how don’t forget to follow us! Or just google how to prove the fundamental theorem of algebra – It is really up to you.
What is rather nice is that by throwing in the condition that is odd we can guarantee the existence of a real root. The idea is nicely summed up in the Numberphile video:
Presumably if you watched the video you probably have a very good idea of how to prove the result but let us write it out in mathematics.
We have with degree being odd and suppose where and . Polynomials are continuous so we must have being continuous. Looking at the behaviour of as we have . If we change to , due to being odd, changes sign. The sign of for sufficiently large always has the same sign as so putting the two facts together means and differ in sign – This is the ‘crossing the x-axis’. We know is continuous so it is nice and in particular we can use the Intermediate Value Theorem. As is in the image of when we take sufficiently large there must be an such that by the intermediate value theorem.