Find the least satisfying the following condition: for any polynomial of degree with real coefficients there exists a polynomial of degree not greater than with real coefficients such that the graphs and have exactly common points.
Solution
Answer. .
Set .
1. We will show how to construct a polynomial of degree at most for a given polynomial of degree . Multiplying by a nonzero constant doesn't change the condition (we can multiply by the same constant), so we assume the leading coefficient of is , i.e., .
Take any set of distinct numbers whose sum is , and define , , so .
We see that and have identical coefficients for and , so the degree of doesn't exceed . On the other hand, the -coordinates of intersection points of and are exactly the roots of , of which there are exactly .
2. We'll show that doesn't work. Let , and be a polynomial of degree at most . Suppose the graphs of and intersect at points with -coordinates . Then the polynomial of degree has real roots .
However, has zero coefficients for and . By Vieta's formulas, the sum and the sum of pairwise products both equal .
Thus , which implies , contradicting the distinctness of the .