Maths Olympiad Prep

Library / Singapore Mathematical Olympiad /5 of 9

Singapore Mathematical Olympiad

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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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