Maths Olympiad Prep

Library / /330 of 520

Algebra Difficulty 5.5 AIME, harder Prove it

9. 5. Real numbers a,b,ca, b, c satisfy
(a+b)=abc,(a3+b3)=a3b3c3 \sum(a+b)=a b c, \sum\left(a^{3}+b^{3}\right)=a^{3} b^{3} c^{3} \text {. }

Prove: abc=0a b c=0.

Solution

9. 5. First note that for any real numbers x,yx, y, we have x2xy+y2xyx^{2}-x y+y^{2} \geqslant|x y|.
The equality holds if and only if x=yx=y.
If abc0a b c \neq 0, then dividing the two expressions yields
(a2ab+b2)(b2bc+c2)(c2ca+a2)=a2b2c2=abbcac. \begin{array}{l} \left(a^{2}-a b+b^{2}\right)\left(b^{2}-b c+c^{2}\right)\left(c^{2}-c a+a^{2}\right) \\ =a^{2} b^{2} c^{2}=|a b| \cdot|b c| \cdot|a c| . \end{array}

The left side of the equation above is positive for each parenthesis, and the corresponding absolute values on the right side are also positive, hence a=b=ca=b=c.
Thus, 8a3=a3a=08 a^{3}=a^{3} \Rightarrow a=0. Contradiction.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.