Maths Olympiad Prep

Library / /80 of 121

Algebra Difficulty 6.4 National Olympiad Prove it India

For positive real numbers aa, bb, cc, which of the following statements necessarily implies a=b=ca = b = c:
(I) a(b3+c3)=b(c3+a3)=c(a3+b3)a(b^3 + c^3) = b(c^3 + a^3) = c(a^3 + b^3),
(II) a(a3+b3)=b(b3+c3)=c(c3+a3)a(a^3 + b^3) = b(b^3 + c^3) = c(c^3 + a^3)?
Justify your answer.

Solution

We show that (I) need not imply that a=b=ca = b = c whereas (II) always implies a=b=ca = b = c.

Observe that a(b3+c3)=b(c3+a3)a(b^3 + c^3) = b(c^3 + a^3) gives c3(ab)=ab(a2b2)c^3(a - b) = ab(a^2 - b^2). This gives either a=ba = b or ab(a+b)=c3ab(a + b) = c^3. Similarly, b=cb = c or bc(b+c)=a3bc(b + c) = a^3. If aba \neq b and bcb \neq c, we obtain
ab(a+b)=c3,bc(b+c)=a3. ab(a + b) = c^3, \quad bc(b + c) = a^3.
Therefore
b(a2c2)+b2(ac)=c3a3. b(a^2 - c^2) + b^2(a - c) = c^3 - a^3.
This gives (ac)(a2+b2+c2+ab+bc+ca)=0(a-c)(a^2 + b^2 + c^2 + ab + bc + ca) = 0. Since aa, bb, cc are positive, the only possibility is a=ca = c. We have therefore 4 possibilities: a=b=ca = b = c; aba \neq b, bcb \neq c and c=ac = a; bcb \neq c, cac \neq a and a=ba = b; cac \neq a, aba \neq b and b=cb = c.

Suppose a=ba = b and bb, aca \neq c. Then b(c3+a3)=c(a3+b3)b(c^3 + a^3) = c(a^3 + b^3) gives ac3+a4=2ca3ac^3 + a^4 = 2ca^3. This implies that a(ac)(a2acc2)=0a(a-c)(a^2 - ac - c^2) = 0. Therefore a2acc2=0a^2 - ac - c^2 = 0. Putting a/c=xa/c = x, we get the quadratic equation x2x1=0x^2 - x - 1 = 0. Hence x=(1+5)/2x = (1 + \sqrt{5})/2. Thus we get
a=b=(1+52)c,c arbitrary positive real number. a = b = \left( \frac{1 + \sqrt{5}}{2} \right) c, \quad c \text{ arbitrary positive real number.}
Similarly, we get other two cases:
b=c=(1+52)a,a arbitrary positive real number; b = c = \left( \frac{1 + \sqrt{5}}{2} \right) a, \quad a \text{ arbitrary positive real number;}
c=a=(1+52)b,b arbitrary positive real number. c = a = \left( \frac{1 + \sqrt{5}}{2} \right) b, \quad b \text{ arbitrary positive real number.}
And a=b=ca = b = c is the fourth possibility.

Consider (II): a(a3+b3)=b(b3+c3)=c(c3+a3)a(a^3 + b^3) = b(b^3 + c^3) = c(c^3 + a^3). Suppose aa, bb, cc are mutually distinct. We may assume a=max{a,b,c}a = \max\{a, b, c\}. Hence a>ba > b and a>ca > c. Using a>ba > b, we get from the first relation that a3+b3<b3+c3a^3 + b^3 < b^3 + c^3. Therefore a3<c3a^3 < c^3 forcing a<ca < c. This contradicts a>ca > c. We conclude that aa, bb, cc cannot be mutually distinct. This means some two must be equal. If a=ba = b, the equality of the first two expressions give a3+b3=b3+c3a^3 + b^3 = b^3 + c^3 so that a=ca = c. Similarly, we can show that b=cb = c implies b=ab = a and c=ac = a gives c=bc = b.

Alternate for (II) by a contestant:

We can write
a3c+b3c=c3a+a2,b3a+c3a=a3b+b2,c3b+a3b=b3c+c2. \begin{aligned} \frac{a^3}{c} + \frac{b^3}{c} &= \frac{c^3}{a} + a^2, \\ \frac{b^3}{a} + \frac{c^3}{a} &= \frac{a^3}{b} + b^2, \\ \frac{c^3}{b} + \frac{a^3}{b} &= \frac{b^3}{c} + c^2. \end{aligned}
Adding, we get
a3c+b3a+c3b=a2+b2+c2. \frac{a^3}{c} + \frac{b^3}{a} + \frac{c^3}{b} = a^2 + b^2 + c^2.

Using C-S inequality, we have
(a2+b2+c2)2=(a3cac+b3aba+c3bcb)2(a3c+b3a+c3b)(ac+ba+cb)=(a2+b2+c2)(ab+bc+ca). (a^2 + b^2 + c^2)^2 = \left( \frac{\sqrt{a^3}}{\sqrt{c}} \cdot \sqrt{ac} + \frac{\sqrt{b^3}}{\sqrt{a}} \cdot \sqrt{ba} + \frac{\sqrt{c^3}}{\sqrt{b}} \cdot \sqrt{cb} \right)^2 \\ \le \left( \frac{a^3}{c} + \frac{b^3}{a} + \frac{c^3}{b} \right) (ac + ba + cb) \\ = (a^2 + b^2 + c^2)(ab + bc + ca).
Thus we obtain
a2+b2+c2ab+bc+ca. a^2 + b^2 + c^2 \le ab + bc + ca.
However this implies (ab)2+(bc)2+(ca)20(a-b)^2 + (b-c)^2 + (c-a)^2 \le 0 and hence a=b=ca = 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.