Let , , be integers such that is even. Suppose the equation has roots , , such that . Prove that is an integer and .
, 2010
Solution
Let , , be the roots of the cubic. Then we have
Thus . We also observe that ; otherwise contradicting that is odd. Hence and
or . This gives , which simplifies to . Note that the right side is odd and hence is not equal to 0. We thus get
This shows that is a rational number. Now is a rational root of a monic polynomial with integer coefficients. Hence it must be an integer. Since , is even.
Suppose . Then , so that is a rational number. Hence is an integer. Again shows that is even. But then shows that is even. Hence is not possible.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.