Maths Olympiad Prep

Library / /30 of 94

Algebra Difficulty 5.6 AIME, harder Prove it Hong Kong

Let aa, bb, cc be distinct nonzero real numbers. If the equations ax3+bx+c=0ax^3 + bx + c = 0, bx3+cx+a=0bx^3 + cx + a = 0 and cx3+ax+b=0cx^3 + ax + b = 0 have a common root, prove that at least one of these equations has three real roots (not necessarily distinct).

Solutions — 2

Solution 1

Let the common root be tt. Adding the three equations, we get
(a+b+c)(t3+t+1)=0. (a + b + c)(t^3 + t + 1) = 0.
If t3+t+1=0t^3 + t + 1 = 0, then at3+bt+c=0at^3 + bt + c = 0 becomes (ba)t+(ca)=0(b-a)t + (c-a) = 0. Similarly, bt3+ct+a=0bt^3 + ct + a = 0 becomes (cb)t+(ab)=0(c-b)t + (a-b) = 0. As aa, bb, cc are distinct, we obtain caab=t=abbc\frac{c-a}{a-b} = t = \frac{a-b}{b-c}. After expansion and regrouping the terms, this becomes
(ab)2+(bc)2+(ca)2=0. (a-b)^2 + (b-c)^2 + (c-a)^2 = 0.
This is a contradiction since aa, bb, cc are distinct.
Therefore, we must have a+b+c=0a+b+c=0. In that case, it is obvious that t=1t=1 is the common root. As aa, bb, cc are nonzero, there are two possible cases.
If two of aa, bb, cc are positive, say aa, b>0b > 0, we consider f(x)=bx3+cx+af(x) = bx^3 + cx + a. Since f(0)=a>0f(0) = a > 0 and f(x)<0f(x) < 0 when xx \to -\infty, there is at least one negative root of f(x)f(x). As 11 is another root and a cubic polynomial cannot have exactly two real roots, the equation f(x)=0f(x) = 0 must have exactly three real roots.
Similarly, if two of aa, bb, cc are negative, say aa, b<0b < 0, then the above argument shows g(x)=(bx3+cx+a)g(x) = -(bx^3 + cx + a) has three real roots. This shows f(x)=0f(x) = 0 also has three real roots.

Solution 2

Let tt be the common root. Adding the three equations at3+bt+c=0at^3 + bt + c = 0, bt3+ct+a=0bt^3 + ct + a = 0 and ct3+at+b=0ct^3 + at + b = 0, we get (a+b+c)(t3+t+1)=0(a + b + c)(t^3 + t + 1) = 0.

If t3+t+1=0t^3 + t + 1 = 0, then at3+bt+c=0at^3 + bt + c = 0 becomes (ba)t+(ca)=0(b - a)t + (c - a) = 0. Similarly, bt3+ct+abt^3 + ct + a becomes (cb)t+(ab)=0(c - b)t + (a - b) = 0. As aa, bb, cc are distinct, the two equations combine to give caba=abcb\frac{c - a}{b - a} = \frac{a - b}{c - b}, i.e. (ab)2+(bc)2+(ca)2=0(a - b)^2 + (b - c)^2 + (c - a)^2 = 0, which yields the contradiction a=b=ca = b = c.

Therefore, we must have a+b+c=0a + b + c = 0. Then it is obvious that t=1t = 1 is the common root. As aa, bb, cc are nonzero, there are two possible cases.

Case 1: Two of aa, bb, cc are positive, say aa and bb. Consider f(y)=by3+cy+af(y) = b y^3 + c y + a. Since f(0)=a>0f(0) = a > 0 and ff is negative for sufficiently small yy, there is at least one negative root of f(x)=0f(x) = 0. As 11 is also a root, f(x)=0f(x) = 0 has at least two real roots and hence exactly three real roots (since complex roots occur in pairs).

Case 2: Two of aa, bb, cc are negative, say aa and bb. Then the same argument shows that the polynomial g(y)=(by3+cy+a)g(y) = -(b y^3 + c y + a) has three real zeros, and the same is clearly true for f(x)f(x).

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.