Maths Olympiad Prep

Library / /48 of 155

Algebra Difficulty 5.6 AIME, harder Prove it Saudi Arabia

Let f(x)=x2+ax+bf(x) = x^{2} + a x + b be a quadratic function with real coefficients a,ba, b. It is given that the equation f(f(x))=0f(f(x)) = 0 has 4 distinct real roots and the sum of 2 roots among these roots is equal to 1-1. Prove that b14b \leq \frac{-1}{4}.

Solution

Solution:
First, we will prove that f(x)=0f(x) = 0 has some solutions (maybe not distinct).
Indeed, if f(x)=0f(x) = 0 has no root, then it can be written as f(x)=(xc)2+df(x) = (x - c)^{2} + d with d>0d > 0 and
f(f(x))=((xc)2+dc)2+d>0. f(f(x)) = \left((x - c)^{2} + d - c\right)^{2} + d > 0.
It means f(f(x))=0f(f(x)) = 0 has no solution, which is a contradiction.

Now, denote c1c2c_{1} \geq c_{2} as the solution of f(x)=0f(x) = 0 and x1,x2x_{1}, x_{2} as the solutions of f(f(x))=0f(f(x)) = 0 in such a way that x1+x2=1x_{1} + x_{2} = -1. By Vieta's theorem, note that c1+c2=ac_{1} + c_{2} = -a and c1c2=bc_{1} c_{2} = b.

It is easy to see that f(f(x))=0f(f(x)) = 0 is equivalent to f(x)=c1f(x) = c_{1}, f(x)=c2f(x) = c_{2}. We need to consider 2 cases:

1. If x1,x2x_{1}, x_{2} are the solutions of one equation, by Vieta's theorem, then a=1a = 1. Thus c212c_{2} \leq -\frac{1}{2}.

Consider equation f(x)c2=0f(x) - c_{2} = 0, we have Δ=14(bc2)>0\Delta = 1 - 4(b - c_{2}) > 0, which implies that b<14b < -\frac{1}{4}.

2. If x1,x2x_{1}, x_{2} are solutions of two equations, then xi2+axi+bi=cix_{i}^{2} + a x_{i} + b_{i} = c_{i} with i=1,2i = 1, 2. Sum these two identities, we get
x12+x22a+2b=ax12+x22+2b=0. x_{1}^{2} + x_{2}^{2} - a + 2b = -a \Leftrightarrow x_{1}^{2} + x_{2}^{2} + 2b = 0.
Hence, b=x12+x222(x1+x2)24=14b = -\frac{x_{1}^{2} + x_{2}^{2}}{2} \leq -\frac{(x_{1} + x_{2})^{2}}{4} = -\frac{1}{4}.

Therefore, in all case, we always have b14b \leq -\frac{1}{4}.

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 and solution reproduced as published; topic and difficulty added by this site.