Problem:
Show that, for every positive integer , there exists a monic polynomial of degree with integer coefficients such that the coefficients are decreasing and the roots of the polynomial are all integers.
Solution
Solution:
We claim we can find values and such that is a polynomial of degree that satisfies these constraints. We show that its coefficients are decreasing by finding a general formula for the coefficient of .
The coefficient of is , which can be seen by expanding out and then multiplying by . Then we must prove that
or
Choose in order to make sure the right-hand term in each product on each side of the inequality sign is positive (we'll be dividing by it, so this makes things much easier), and choose to make sure the inequality always holds. Since there are only finite values that can take on given a fixed (namely, integers between 0 and inclusive), we can always find values of and that satisfy these constraints.
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.