Angela has available the polynomials , , , up to , and she divides them into two groups. Letting be the product of the polynomials of the first group and that of the polynomials of the second group, Angela notices that the polynomial divides the polynomial , and that the degree of the quotient is as small as possible: what is the value of this degree?
Solution
The answer is 1009. First observe that Angela can assign the polynomials , , , (that is, those of even degree) to the group corresponding to , and the others to the group corresponding to . With this choice, the ratio equals
which has degree 1009. To show that a smaller degree cannot be achieved, observe that there are exactly 2017 factors , exactly 2015 factors , and in general there is an odd number of factors for every even . In order for the polynomial to divide the polynomial , the number of factors that appear in must be greater than or equal to the number of factors that appear in : if the total number of factors is odd, in there must appear at least one more than in . This reasoning shows that in the ratio there must appear at least one factor , at least one factor , ..., at least one factor , and therefore this ratio cannot have degree less than 1009.