Maths Olympiad Prep

Library / IMO Hk TST /64 of 119

IMO Hk TST

Algebra Difficulty 8.0 National Olympiad, round 2 Prove it Hong Kong

Let a,ba, b be real numbers. It is given that the equation x4+ax3+bx2+ax+1=0x^4 + a x^3 + b x^2 + a x + 1 = 0 has at least one real root. Find the minimum value of a2+b2a^2 + b^2.

Solution

The minimum value of a2+b2a^2 + b^2 is 45\frac{4}{5}.

WLOG assume a≥0a \ge 0. (Indeed, by flipping the sign of aa, we only need to flip the sign of the root xx.) Clearly, x≠0x \ne 0. Rewrite the equation as
x2+ax+b+ax+1x2=0. x^2 + a x + b + \frac{a}{x} + \frac{1}{x^2} = 0.
This is the same as
(x+1x)2+a(x+1x)+b−2=0. \left(x + \frac{1}{x}\right)^2 + a\left(x + \frac{1}{x}\right) + b - 2 = 0.
Let y=x+1xy = x + \frac{1}{x}. Note that ∣y∣=∣x∣+1∣x∣≥2|y| = |x| + \frac{1}{|x|} \ge 2 by the AM-GM inequality. The equation becomes
y2+ay+(b−2)=0. y^2 + a y + (b - 2) = 0.
If a>1a > 1, then a2+b2>1a^2 + b^2 > 1. Thus, we only need to consider the case a≤1a \le 1. This implies the axis of symmetry y=−a2y = -\frac{a}{2} lies between −2-2 and 22.

* If y≥2y \ge 2, then we have
0=y2+ay+(b−2)≥(2)2+a(2)+(b−2)=2a+b+2. 0 = y^2 + a y + (b-2) \ge (2)^2 + a(2) + (b-2) = 2a + b + 2.
This yields b≤−2a−2≤−2b \le -2a - 2 \le -2, and hence a2+b2≥4a^2 + b^2 \ge 4.

* If y≤−2y \le -2, then we have
0=y2+ay+(b−2)≥(−2)2+a(−2)+(b−2)=−2a+b+2. 0 = y^2 + a y + (b-2) \ge (-2)^2 + a(-2) + (b-2) = -2a + b + 2.
This yields b≤2a−2≤0b \le 2a - 2 \le 0, and hence
a2+b2≥a2+(2a−2)2=5(a−45)2+45≥45. a^2 + b^2 \ge a^2 + (2a - 2)^2 = 5\left(a - \frac{4}{5}\right)^2 + \frac{4}{5} \ge \frac{4}{5}.
Equality holds when a=45a = \frac{4}{5} and b=−25b = -\frac{2}{5}. Correspondingly, this means y=−2y = -2 and x=−1x = -1.

To conclude, the minimum value of a2+b2a^2 + b^2 is 45\frac{4}{5}.

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.