Maths Olympiad Prep

Library / HMMT February /1138 of 1302

HMMT February

Algebra Difficulty 5.8 AIME, harder Find the answer

Assume the quartic x4−ax3+bx2−ax+d=0x^{4}-a x^{3}+b x^{2}-a x+d=0 has four real roots 12≤x1,x2,x3,x4≤2\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,d)\left.a, b, d\right).

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

We can rewrite the expression as x42x12⋅(x1+x1)(x1+x2)(x1+x3)(x1+x4)(x4+x1)(x4+x2)(x4+x3)(x4+x4)x42x12⋅f(−x1)f(−x4)\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)} 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)=2a⋅x13+2a⋅x1f\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)=2a⋅x13+2a⋅x1f\left(-x_{1}\right)=2 a \cdot x_{1}^{3}+2 a \cdot x_{1} Plugging this into our previous expression: x42x12⋅x13+x1x43+x4x1+1x1x4+1x4\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}}} 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=10−13x_{2}=x_{3}=\frac{\sqrt{10}-1}{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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.