For positive real numbers a, b, c, which of the following statements necessarily implies a=b=c: (I) a(b3+c3)=b(c3+a3)=c(a3+b3), (II) a(a3+b3)=b(b3+c3)=c(c3+a3)? Justify your answer.
Solution
We show that (I) need not imply that a=b=c whereas (II) always implies a=b=c.
Observe that a(b3+c3)=b(c3+a3) gives c3(a−b)=ab(a2−b2). This gives either a=b or ab(a+b)=c3. Similarly, b=c or bc(b+c)=a3. If a=b and b=c, we obtain ab(a+b)=c3,bc(b+c)=a3. Therefore b(a2−c2)+b2(a−c)=c3−a3. This gives (a−c)(a2+b2+c2+ab+bc+ca)=0. Since a, b, c are positive, the only possibility is a=c. We have therefore 4 possibilities: a=b=c; a=b, b=c and c=a; b=c, c=a and a=b; c=a, a=b and b=c.
Suppose a=b and b, a=c. Then b(c3+a3)=c(a3+b3) gives ac3+a4=2ca3. This implies that a(a−c)(a2−ac−c2)=0. Therefore a2−ac−c2=0. Putting a/c=x, we get the quadratic equation x2−x−1=0. Hence x=(1+5)/2. Thus we get a=b=(21+5)c,c arbitrary positive real number. Similarly, we get other two cases: b=c=(21+5)a,a arbitrary positive real number; c=a=(21+5)b,b arbitrary positive real number. And a=b=c is the fourth possibility.
Consider (II): a(a3+b3)=b(b3+c3)=c(c3+a3). Suppose a, b, c are mutually distinct. We may assume a=max{a,b,c}. Hence a>b and a>c. Using a>b, we get from the first relation that a3+b3<b3+c3. Therefore a3<c3 forcing a<c. This contradicts a>c. We conclude that a, b, c cannot be mutually distinct. This means some two must be equal. If a=b, the equality of the first two expressions give a3+b3=b3+c3 so that a=c. Similarly, we can show that b=c implies b=a and c=a gives c=b.
Alternate for (II) by a contestant:
We can write ca3+cb3ab3+ac3bc3+ba3=ac3+a2,=ba3+b2,=cb3+c2. Adding, we get ca3+ab3+bc3=a2+b2+c2.
Using C-S inequality, we have (a2+b2+c2)2=(ca3⋅ac+ab3⋅ba+bc3⋅cb)2≤(ca3+ab3+bc3)(ac+ba+cb)=(a2+b2+c2)(ab+bc+ca). Thus we obtain a2+b2+c2≤ab+bc+ca. However this implies (a−b)2+(b−c)2+(c−a)2≤0 and hence a=b=c.
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.