Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "1983 IMO Problems/Problem 6"

m (→‎Solution 2)
(→‎Solution 2)
Line 22: Line 22:
 
If we can show that <math>a^3 b + b^3 c+ c^3 a  \geq a^3 c +  b^3 a + c^3 b</math>, we are done, since then <math>2(a^3 b + b^3 c+ c^3 a ) \geq a^3 b + a^3 c + b^3 c + b^3 a + c^3 a + c^3 b \geq 2(a^2 b^2 + a^2 c^2 + b^2 c^2)</math>, and we can divide by <math>2</math>.  
 
If we can show that <math>a^3 b + b^3 c+ c^3 a  \geq a^3 c +  b^3 a + c^3 b</math>, we are done, since then <math>2(a^3 b + b^3 c+ c^3 a ) \geq a^3 b + a^3 c + b^3 c + b^3 a + c^3 a + c^3 b \geq 2(a^2 b^2 + a^2 c^2 + b^2 c^2)</math>, and we can divide by <math>2</math>.  
  
−
We first see that, <math>(a^2 + ab + b^2) \geq (b^2 + bc + c^2)</math>, so <math>(a-c)(b-c)(a^2 + ab + b^2) \geq (a-c)(b-c)(b^2 + bc + c^2)</math>.
+
We first see that, <math>(a^2 + ac + c^2) \geq (b^2 + bc + c^2)</math>, so <math>(a-c)(b-c)(a^2 + ab + b^2) \geq (a-c)(b-c)(b^2 + bc + c^2)</math>.
  
 
Factoring, this becomes <math>(a^3 - c^3)(b-c) \geq (a-c)(b^3 - c^3)</math>. This is the same as:
 
Factoring, this becomes <math>(a^3 - c^3)(b-c) \geq (a-c)(b^3 - c^3)</math>. This is the same as:

Revision as of 19:27, 8 September 2017

Problem 6

Let $a$, $b$ and $c$ be the lengths of the sides of a triangle. Prove that

$a^2 b(a-b) + b^2 c(b-c) + c^2 (c-a) \geq 0$.

Determine when equality occurs.

Solution 1

By Ravi substitution, let $a = y+z$, $b = z+x$, $c = x+y$. Then, the triangle condition becomes $x, y, z > 0$. After some manipulation, the inequality becomes:

$xy^3 + yz^3 + zx^3 \geq xyz(x+y+z)$.

By Cauchy, we have:

$(xy^3 + yz^3 + zx^3)(z+x+y) \geq xyz(y+z+x)^2$ with equality if and only if $\frac{xy^3}{z} = \frac{yz^3}{x} =\frac{zx^3}{y}$. So the inequality holds with equality if and only if x = y = z. Thus the original inequality has equality if and only if the triangle is equilateral.

Solution 2

Without loss of generality, let $a \geq b \geq c > 0$. By Muirhead or by AM-GM, we see that $a^3 b + a^3 c + b^3 c + b^3 a + c^3 a + c^3 b \geq 2(a^2 b^2 + a^2 c^2 + b^2 c^2)$.

If we can show that $a^3 b + b^3 c+ c^3 a \geq a^3 c + b^3 a + c^3 b$, we are done, since then $2(a^3 b + b^3 c+ c^3 a ) \geq a^3 b + a^3 c + b^3 c + b^3 a + c^3 a + c^3 b \geq 2(a^2 b^2 + a^2 c^2 + b^2 c^2)$, and we can divide by $2$.

We first see that, $(a^2 + ac + c^2) \geq (b^2 + bc + c^2)$, so $(a-c)(b-c)(a^2 + ab + b^2) \geq (a-c)(b-c)(b^2 + bc + c^2)$.

Factoring, this becomes $(a^3 - c^3)(b-c) \geq (a-c)(b^3 - c^3)$. This is the same as:

$(a^3 - c^3)(b-c) + (b^3 - c^3)(c-a) \geq 0$.

Expanding and refactoring, this is equal to $a^3 (b-c) + b^3(c-a) + c^3 (a-b) \geq 0$. (This step makes more sense going backwards.)

Expanding this out, we have

$a^3b + b^3 c + c^3 a \geq a^3 c + b^3 a + c^3 b$,

which is the desired result.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=1983_IMO_Problems/Problem_6&oldid=87436"