Maths Olympiad Prep

Library / /5 of 11

Algebra Difficulty 5.9 AIME, harder Prove it Singapore

Find the largest positive integer nn such that there exist nn real polynomials where the sum of any two has no real roots but the sum of any three does.

Solution

When n=3n = 3, we can take the constant polynomials f,g,h=1,2,3f, g, h = -1, -2, 3 which clearly satisfy the problem conditions.

Now assume that n=4n = 4 and let our polynomials be f1,f2,f3,f4f_1, f_2, f_3, f_4.
Note that for any i,ji, j, we must have either fi(x)+fj(x)>0f_i(x) + f_j(x) > 0 or fi(x)+fj(x)<0f_i(x) + f_j(x) < 0 for all xx as otherwise it must have a real root. If there exist indices i,j,ki, j, k such that fi(0)+fj(0),fi(0)+fk(0),fj(0)+fk(0)f_i(0) + f_j(0), f_i(0) + f_k(0), f_j(0) + f_k(0) all have the same sign, say positive, then for all xx
fi(x)+fj(x)>0,fi(x)+fk(x)>0,fj(x)+fk(x)>0 f_i(x) + f_j(x) > 0, \quad f_i(x) + f_k(x) > 0, \quad f_j(x) + f_k(x) > 0
fi(x)+fj(x)+fk(x)>0. \therefore f_i(x) + f_j(x) + f_k(x) > 0.
which is a contradiction as the sum fi(x)+fj(x)+fk(x)f_i(x) + f_j(x) + f_k(x) would have no real roots. We shall show that such a triple of indices must exist.

WLOG let f1(0)fi(0)|f_1(0)| \ge |f_i(0)| for i=2,3,4i = 2, 3, 4 and that f1(0)>0f_1(0) > 0. Then f1(0)+fi(0)>0f_1(0) + f_i(0) > 0 for all ii. If there exist i,ji, j chosen from 2, 3, 4 such that fi(0)+fj(0)>0f_i(0) + f_j(0) > 0, then 1,i,j1, i, j is such a triple. If not, then 2, 3, 4 is such a triple. Thus nn cannot be four. Therefore the only answer is n=3n = 3.

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.