Problem:
Consider the set of all equations x3+a2βx2+a1βx+a0β=0, where a2β,a1β,a0β are real constants and β£aiββ£β©½2 for i=0,1,2. Let r be the largest positive real number which satisfies at least one of these equations. Then
Answer Choices:
A. 1β©½r<23β
B. 23ββ©½r<2
C. 2β©½r<25β
D. 25ββ©½r<3
E. 3β©½r<27β
Solution:
Let g(x)=x3+a2βx2+a1βx+a0β be an arbitrary cubic with constants of the specified form. Because x3 dominates the other terms for large enough x, g(x)>0 for all x greater than the largest real root of g. Thus we seek a particular g in which the terms a2βx2+a1βx+a0β "hold down" g(x) as much as possible, so that the value of the largest real root is as large as possible. This suggests that the answer to the problem is the largest root of f(x) =x3β2x2β2xβ2. Call this root r0β. To verify this conjecture, note that for xβ©Ύ0,β2x2β©½a2βx2,β2xβ©½a1βx, and β2β©½a0β.
Summing these inequalities, and adding x3 to both sides, gives f(x)β©½g(x) for all xβ©Ύ0. Thus for all x>r0β,0<f(x)β©½g(x). That is, no g has a root larger than r0β, so r0β is the r of the problem.
A sketch of f shows that it is a typical S-shaped cubic, with largest root a little less than 3 . In fact, f(2)=β6 and f(3)=1. To be absolutely sure the answer is (D), not (C), compute f(25β) to see if it is negative. Indeed, f(25β)=β831β.