Maths Olympiad Prep

Library / HMMT February /638 of 1302

HMMT February

Algebra Difficulty 5.3 AIME, harder Find the answer

Let SS be the set of points (a,b)(a, b) with 0≤a,b≤10 \leq a, b \leq 1 such 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. Determine the area of the graph of SS.

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

Solution

After dividing the equation by x2x^{2}, we can rearrange it as (x+1x)2+a(x+1x)−b−2=0(x+\frac{1}{x})^{2}+a(x+\frac{1}{x})-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+ay−b−2=0y^{2}+a y-b-2=0. Its discriminant, a2+4(b+2)a^{2}+4(b+2), is always positive since a,b≥0a, 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 2. This is equivalent to a2+4(b+2)≥4−a\sqrt{a^{2}+4(b+2)} \geq 4-a. We can square both sides and simplify to obtain 2a≥2−b2 a \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,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.