Maths Olympiad Prep

Library / /216 of 520

Algebra Difficulty 6.5 National olympiad Prove it

Example 4.2.1. Suppose that a,b,ca, b, c are positive real numbers belonging to [1,2][1,2]. Prove that
a3+b3+c35abca^{3}+b^{3}+c^{3} \leq 5 a b c

Solution

Solution. Let's first give an elementary solution to this simple problem. Since a,b,c[1,2]a, b, c \in[1,2], if abca \geq b \geq c then
a3+25a(a2)(a2+2a1)05a+b35ab+1(b1)(b2+b+15a)05ab+c35abc+1(c1)(c2+c+15ab)0\begin{aligned} a^{3}+2 \leq 5 a & \Leftrightarrow(a-2)\left(a^{2}+2 a-1\right) \leq 0 \\ 5 a+b^{3} \leq 5 a b+1 & \Leftrightarrow(b-1)\left(b^{2}+b+1-5 a\right) \leq 0 \\ 5 a b+c^{3} \leq 5 a b c+1 & \Leftrightarrow(c-1)\left(c^{2}+c+1-5 a b\right) \leq 0 \end{aligned}

The above estimations are correct because
b2+b+1a2+a+12a+a+15ac2+c+1a2+a+15a5ab\begin{array}{l} b^{2}+b+1 \leq a^{2}+a+1 \leq 2 a+a+1 \leq 5 a \\ c^{2}+c+1 \leq a^{2}+a+1 \leq 5 a \leq 5 a b \end{array}

Summing up the results (1), (2) and (3), we get the result. Equality holds if a=2,b=a=2, b= c=1c=1 and permutations.

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.