AlgebraDifficulty 7.1National olympiad, round 2Prove it
Problem 23 Let a,b,c be positive real numbers such that a+b+c=3. Prove that k(a+b+c)4≥(a3b+b3c+c3a)+(a2b2+b2c2+c2a2)+abc(a+b+c)
Solution
Solution: Let a=2,b=1,c=0⇒k≥274. We'll prove k≥274 is the better constant. The inequality is equivalent to 274(a+b+c)4≥∑cyca3b+∑symb2c2+abc∑syma⇔278(a+b+c)4≥(∑cyca3b+∑cycab3)+2∑symb2c2+(∑cyca3b−∑cycab3)+2abc(a+b+c)⇔278(a+b+c)4≥∑sym a3(b+c)+2∑symb2c2+(a+b+c)(a−b)(b−c)(a−c)+2abc(a+b+c)
We only need to prove the inequality in the case (a−b)(b−c)(c−a)≥0. ⇔278(a+b+c)4≥p2q−2q2−pr+2q2−4pr+2pr+pp2q2+18pqr−27r2−4q3−4p3r⇔p2(p2q2+18pqr−27r2−4q3−4p3r)≤[278p4−p2q+3pr]2⇔36p2r2+(952p5−24p3q)r+72964p3+4p2q3−2716p6q≥0⇔324p2+(1404−648q)r+36q3−432q+576≥0
Letting f(r)=36[9r2+(39−18q)r+q3−12q+16]. Case 1: 0≤q≤613→39−18q≥0 We have f(0)=36(q+4)(q−2)2≥0. Case 2: 613≤q≤3→Δ=(39−18q)2−4⋅9⋅(q3−12q+16)=−36q3+324q2−972q+945≤0∀q∈[613;3] 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.