Maths Olympiad Prep

Library / /370 of 520

Algebra Difficulty 7.1 National olympiad, round 2 Prove it

Problem 23 Let a,b,ca, b, c be positive real numbers such that a+b+c=3a+b+c=3. Prove that
k(a+b+c)4(a3b+b3c+c3a)+(a2b2+b2c2+c2a2)+abc(a+b+c)k(a+b+c)^{4} \geq\left(a^{3} b+b^{3} c+c^{3} a\right)+\left(a^{2} b^{2}+b^{2} c^{2}+c^{2} a^{2}\right)+a b c(a+b+c)

Solution

Solution: Let a=2,b=1,c=0k427a=2, b=1, c=0 \Rightarrow k \geq \frac{4}{27}.
We'll prove k427k \geq \frac{4}{27} is the better constant.
The inequality is equivalent to
427(a+b+c)4cyca3b+symb2c2+abcsyma827(a+b+c)4(cyca3b+cycab3)+2symb2c2+(cyca3bcycab3)+2abc(a+b+c)827(a+b+c)4sym a3(b+c)+2symb2c2+(a+b+c)(ab)(bc)(ac)+2abc(a+b+c)\begin{array}{c} \frac{4}{27}(a+b+c)^{4} \geq \sum_{c y c} a^{3} b+\sum_{s y m} b^{2} c^{2}+a b c \sum_{s y m} a \\ \Leftrightarrow \frac{8}{27}(a+b+c)^{4} \geq\left(\sum_{c y c} a^{3} b+\sum_{c y c} a b^{3}\right)+2 \sum_{s y m} b^{2} c^{2}+\left(\sum_{c y c} a^{3} b-\sum_{c y c} a b^{3}\right)+2 a b c(a+b+c) \\ \Leftrightarrow \frac{8}{27}(a+b+c)^{4} \geq \sum_{\text {sym }} a^{3}(b+c)+2 \sum_{s y m} b^{2} c^{2}+(a+b+c)(a-b)(b-c)(a-c)+2 a b c(a+b+c) \end{array}

We only need to prove the inequality in the case (ab)(bc)(ca)0(a-b)(b-c)(c-a) \geq 0.
827(a+b+c)4p2q2q2pr+2q24pr+2pr+pp2q2+18pqr27r24q34p3rp2(p2q2+18pqr27r24q34p3r)[827p4p2q+3pr]236p2r2+(529p524p3q)r+64729p3+4p2q31627p6q0324p2+(1404648q)r+36q3432q+5760\begin{array}{c} \Leftrightarrow \frac{8}{27}(a+b+c)^{4} \geq p^{2} q-2 q^{2}-p r+2 q^{2}-4 p r+2 p r+p \sqrt{p^{2} q^{2}+18 p q r-27 r^{2}-4 q^{3}-4 p^{3} r} \\ \Leftrightarrow p^{2}\left(p^{2} q^{2}+18 p q r-27 r^{2}-4 q^{3}-4 p^{3} r\right) \leq\left[\frac{8}{27} p^{4}-p^{2} q+3 p r\right]^{2} \\ \Leftrightarrow 36 p^{2} r^{2}+\left(\frac{52}{9} p^{5}-24 p^{3} q\right) r+\frac{64}{729} p^{3}+4 p^{2} q^{3}-\frac{16}{27} p^{6} q \geq 0 \\ \Leftrightarrow 324 p^{2}+(1404-648 q) r+36 q^{3}-432 q+576 \geq 0 \end{array}

Letting f(r)=36[9r2+(3918q)r+q312q+16]f(r)=36\left[9 r^{2}+(39-18 q) r+q^{3}-12 q+16\right]. Case 1: 0q1363918q00 \leq q \leq \frac{13}{6} \rightarrow 39-18 q \geq 0
We have f(0)=36(q+4)(q2)20f(0)=36(q+4)(q-2)^{2} \geq 0.
Case 2: 136q3Δ=(3918q)249(q312q+16)=36q3+324q2972q+9450\frac{13}{6} \leq q \leq 3 \rightarrow \Delta=(39-18 q)^{2}-4 \cdot 9 \cdot\left(q^{3}-12 q+16\right)=-36 q^{3}+324 q^{2}-972 q+945 \leq 0 q[136;3]\forall q \in\left[\frac{13}{6} ; 3\right] The solution is complete.

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.