Maths Olympiad Prep

Library / /26 of 87

Algebra Difficulty 5.9 AIME, harder Prove it Russia

Find the least kk satisfying the following condition: for any polynomial f(x)f(x) of degree 100100 with real coefficients there exists a polynomial g(x)g(x) of degree not greater than kk with real coefficients such that the graphs y=f(x)y = f(x) and y=g(x)y = g(x) have exactly 100100 common points.

Solution

Answer. 9898.

Set n=100n = 100.

1. We will show how to construct a polynomial gg of degree at most n2n-2 for a given polynomial ff of degree nn. Multiplying ff by a nonzero constant doesn't change the condition (we can multiply gg by the same constant), so we assume the leading coefficient of ff is 11, i.e., f(x)=xn+a1xn1++anf(x) = x^n + a_1 x^{n-1} + \dots + a_n.

Take any set of nn distinct numbers x1,,xnx_1, \dots, x_n whose sum is a1-a_1, and define h(x)=(xx1)(xxn)h(x) = (x - x_1) \dots (x - x_n), g(x)=f(x)h(x)g(x) = f(x) - h(x), so h=fgh = f - g.

We see that ff and hh have identical coefficients for xnx^n and xn1x^{n-1}, so the degree of gg doesn't exceed n2n-2. On the other hand, the xx-coordinates of intersection points of ff and gg are exactly the roots of hh, of which there are exactly nn.

2. We'll show that kn3k \le n-3 doesn't work. Let f(x)=xnf(x) = x^n, and g(x)g(x) be a polynomial of degree at most n3n-3. Suppose the graphs of ff and gg intersect at nn points with xx-coordinates x1,,xnx_1, \dots, x_n. Then the polynomial fgf-g of degree nn has nn real roots x1,,xnx_1, \dots, x_n.

However, fgf-g has zero coefficients for xn1x^{n-1} and xn2x^{n-2}. By Vieta's formulas, the sum s1=x1++xns_1 = x_1 + \dots + x_n and the sum of pairwise products s2=x1x2+x1x3++xn1xns_2 = x_1 x_2 + x_1 x_3 + \dots + x_{n-1} x_n both equal 00.

Thus x12++xn2=s122s2=0x_1^2 + \dots + x_n^2 = s_1^2 - 2s_2 = 0, which implies x1=x2==xn=0x_1 = x_2 = \dots = x_n = 0, contradicting the distinctness of the xix_i.

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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.