Maths Olympiad Prep

Library / /1344 of 1394

Algebra Difficulty 6.1 National Olympiad Prove it United States

Problem:
Assume the quartic x4ax3+bx2ax+d=0x^{4}-a x^{3}+b x^{2}-a x+d=0 has four real roots 12x1,x2,x3,x42\frac{1}{2} \leq x_{1}, x_{2}, x_{3}, x_{4} \leq 2. Find the maximum possible value of (x1+x2)(x1+x3)x4(x4+x2)(x4+x3)x1\frac{\left(x_{1}+x_{2}\right)\left(x_{1}+x_{3}\right) x_{4}}{\left(x_{4}+x_{2}\right)\left(x_{4}+x_{3}\right) x_{1}} (over all valid choices of a,b,da, b, d).

Solution

Solution:
We can rewrite the expression as
x42x12(x1+x1)(x1+x2)(x1+x3)(x1+x4)(x4+x1)(x4+x2)(x4+x3)(x4+x4)x42x12f(x1)f(x4) \begin{gathered} \frac{x_{4}^{2}}{x_{1}^{2}} \cdot \frac{\left(x_{1}+x_{1}\right)\left(x_{1}+x_{2}\right)\left(x_{1}+x_{3}\right)\left(x_{1}+x_{4}\right)}{\left(x_{4}+x_{1}\right)\left(x_{4}+x_{2}\right)\left(x_{4}+x_{3}\right)\left(x_{4}+x_{4}\right)} \\ \frac{x_{4}^{2}}{x_{1}^{2}} \cdot \frac{f\left(-x_{1}\right)}{f\left(-x_{4}\right)} \end{gathered}
where f(x)f(x) is the quartic. We attempt to find a simple expression for f(x1)f\left(-x_{1}\right). We know that
f(x1)f(x1)=2ax13+2ax1 f\left(-x_{1}\right)-f\left(x_{1}\right)=2 a \cdot x_{1}^{3}+2 a \cdot x_{1}
Since x1x_{1} is a root, we have
f(x1)=2ax13+2ax1 f\left(-x_{1}\right)=2 a \cdot x_{1}^{3}+2 a \cdot x_{1}
Plugging this into our previous expression:
x42x12x13+x1x43+x4x1+1x1x4+1x4 \begin{gathered} \frac{x_{4}^{2}}{x_{1}^{2}} \cdot \frac{x_{1}^{3}+x_{1}}{x_{4}^{3}+x_{4}} \\ \frac{x_{1}+\frac{1}{x_{1}}}{x_{4}+\frac{1}{x_{4}}} \end{gathered}
The expression x+1xx+\frac{1}{x} is maximized at x=2,12x=2, \frac{1}{2} and minimized at x=1x=1. We can therefore maximize the numerator with x1=2x_{1}=2 and minimize the denominator with x4=1x_{4}=1 to achieve the answer of 54\frac{5}{4}. It can be confirmed that such an answer can be achieved such as with x2=x3=1013x_{2}=x_{3}=\frac{\sqrt{10}-1}{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.