Maths Olympiad Prep

Library / /543 of 860

Algebra Difficulty 5.3 AIME, harder Find the answer

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=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)b2=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+ayb2=0y^{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 2. 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 2a2b2 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,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.