Maths Olympiad Prep

Library / /48 of 71

Algebra Difficulty 5.3 AIME, harder Prove it United States

Problem:
Let SS be the set of points (a,b)(a, b) with 0a,b10 \leq a, b \leq 1 such that the equation
x4+ax3bx2+ax+1=0 x^{4}+a x^{3}-b x^{2}+a x+1=0
has at least one real root. Determine the area of the graph of SS.

Solution

Solution:
Answer: 14\frac{1}{4}

After dividing the equation by x2x^{2}, we can rearrange it as
(x+1x)2+a(x+1x)b2=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}. We can check that the range of x+1xx + \frac{1}{x} as xx varies over the nonzero reals is (,2][2,)(-\infty, -2] \cup [2, \infty). Thus, the following equation needs to have a real root:
y2+ayb2=0. y^{2} + a y - b - 2 = 0.
Its discriminant, a2+4(b+2)a^{2} + 4(b + 2), is always positive since a,b0a, b \geq 0. Then, the maximum absolute value of the two roots is
a+a2+4(b+2)2. \frac{a + \sqrt{a^{2} + 4(b + 2)}}{2}.
We need this value to be at least 22. This is equivalent to
a2+4(b+2)4a. \sqrt{a^{2} + 4(b + 2)} \geq 4 - a.
We can square both sides and simplify to obtain
2a2b 2a \geq 2 - b
This equation defines the region inside [0,1]×[0,1][0, 1] \times [0, 1] that is occupied by SS, from which we deduce that the desired area is 1/41/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 reproduced verbatim; metadata (topic, difficulty) added by this project.