2013 USA SMT Alg 6. Compute the largest root of .
For convenience, let . The first step when finding roots of polynomials is to substitute small values of into the polynomial, in the hope that one of the you substitute will give . If that were the case, then would be a factor of the polynomial, which will help to simplify matters.
Here are the values that we could try:
No such luck here… Also, beyond -3 and 3, the seems to be much bigger than the rest of the terms combined, so we are unlikely to have any other integers being roots of .
Our attempt to factorise as has failed. The next best alternative would be to factorise as
For some values of . Expanding the factorisation above and equating coefficients, we must have
One could probably systematically eliminate the variables to solve for them, but it might not be straightforward as the equations above are not linear. Before doing this systematically, one possibility is to guess a solution and hope it works.
In this set-up, we could guess that and must be integers. As , we should try substitituting and hope that one of them works out. (There’s no guarantee that it will, but one can always hope!)
We are lucky: when , the 4 equations above become
which has the solution . Hence,
and so ‘s roots are and . It is then an easy matter to compare the sizes of the roots and conclude that the largest root is . QED.