Maths Olympiad Prep

Library / /844 of 860

Algebra Difficulty 5.8 AIME, harder Find the answer

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,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)x42x12f(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)=2ax13+2ax1f\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+2ax1f\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\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=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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.