Inequalities again

by utkarshgupta, Nov 8, 2015, 5:21 AM

I guess I am back to inequalities :P

Problem (China TST 2005) :
Let $a$, $b$, $c$ be nonnegative reals such that $ab+bc+ca = \frac{1}{3}$. Prove that
$$\frac{1}{a^{2}-bc+1}+\frac{1}{b^{2}-ca+1}+\frac{1}{c^{2}-ab+1}\leq 3$$


Soution :

The inequality can be rewritten as
$$\sum_{a,b,c}\frac{a^2-bc}{a^2-bc+1} \ge 0$$$$\iff \sum_{a,b,c} (a^2-bc)(b^2ca+1)(c^2-ab+1) \ge 0$$$$\iff \sum_{a,b,c} (a^2-bc)(b^2c^2-b^3a+b^2-c^3a+a^2bc-ca+c^2 -ab) \ge 0$$$$\iff \sum_{a,b,c} (-a^3b^3-a^3c^3-b^3c^3 + a^2b^2+a^2c^2 +abc(a^2+b^2+c^3)-a^3b-a^3c-b^3c-bc^3 +a^2 -bc +abc(b+c)) \ge 0$$
Setting $a+b+c = u$, $v=ab+bc+ca=\frac{1}{3}$, $w=abc$
It can be easily seen $a^3b^3+b^3c^3+c^3a^3 = v(v^2-3uw)+3w^2$
and $\sum_{a,b,c}(a^3b+a^3c+b^3c+bc^3) = 2(u^2v-2v^2-uw)$
Replacing this and other values, the inequality reduces to
$$\iff -3(v(v^2-3uw)+3w^2)+2(v^2-2uw)+3w(u^3-3uv+3w)  -  2(u^2v-2v^2-uw) + u^2 - 2v -v +2uw \ge 0$$$$ \iff -3v^3+6v^2+3u^3w-2u^2v+u^2-3v \ge 0$$
Replacing $v= \frac{1}{3}$

$$\iff 3u^2+27u^3w \ge 4$$

Now there are 2 cases.

Case 1 : $a,b,c$ form sides of a triangle
Then using Schur's inequality,
$a^3+b^3+c^3 + 3abc \ge ab(a+b) + bc(b+c) + ca(c+a)$
$\implies u^3+9w \ge uv$
$\iff 27w \ge 4u-3u^3$

$3u^3 + 27u^3w - 4 \ge 3u^2 + u^3(4u-3u^3) - 4 = (3u^2 - 4)(1-u^4)$
Since $a,b,c$ form sides of a triangle,
$3u^2 - 4 \le 0$ and obviously $1-u^4 \le 0$

$$\implies 3u^3 + 27u^3w \ge 4$$QED


Case 2 : $a,b,c$ don't form the sides of a triangle.

Normalizing, we are left to prove
$$\iff u^2v^2 + u^3w \ge 4v^3$$Since $a,b,c$ are not the sides of a triangle,
Without loss of generality,
$$a \ge b+c \ge \frac{u}{2}$$$$u^3a \ge \frac{u^4}{2} \ge 4.5 v^2 \ge 4v^2$$$$\implies u^3w \ge v^24bc \ge v^2(4bc - (b+c-a)^2)$$$$\implies u^2v^2 + u^3w \ge 4v^3$$
QED
This post has been edited 1 time. Last edited by utkarshgupta, Nov 8, 2015, 5:43 AM

Comment

0 Comments

Stay insane,Coz it's your will, labour and pain,which takes you to the top of the mountain.

avatar

utkarshgupta
Archives
- September 2017
+ September 2016
+ July 2016
+ December 2015
+ August 2015
+ December 2014
Shouts
Submit
  • Here goes first post of 2025! Great blog.

    by math_holmes15, Jan 14, 2025, 8:53 AM

  • First post of 2024

    by Yiyj1, Feb 8, 2024, 5:40 AM

  • First post of 2023

    by HoRI_DA_GRe8, Jul 22, 2023, 7:45 AM

  • Nice blog ! Your isogonality lemma is really powerful !

    by 554183, Oct 14, 2021, 8:55 AM

  • Post plss....

    by samrocksnature, Apr 11, 2021, 10:12 PM

  • alas,this is ded

    by Hamroldt, Mar 18, 2021, 4:13 PM

  • Thanks for the nice blog.

    by Feridimo, Mar 6, 2020, 4:17 PM

  • I think this might be silly but ... when should we expect to have another post ?? I am very keen to see it :D

    by gamerrk1004, Nov 4, 2019, 4:54 PM

  • Let's all echo what's written in the blog description - Stay Insane / 'Cause it's your labor, will and pain/ That takes you to the top of soda fountain :D

    by Kayak, Oct 2, 2017, 7:18 PM

  • hey utkarsh jee is over now ... continue your elementary blog pleaseeeeeee!

    by kk108, Jun 17, 2017, 11:19 AM

  • Congrats on becoming a contest moderator!

    by Ankoganit, Mar 9, 2017, 5:22 AM

  • INTERSTING BLOG

    by kk108, Feb 19, 2017, 2:04 PM

  • I have no plans for this blog right now....
    No time here people !
    But lets see....
    I may try some combinatorics :P

    by utkarshgupta, Feb 15, 2017, 12:47 PM

  • Thanks for the nice blog!

    by Orkhan-Ashraf_2002, Feb 13, 2017, 6:34 PM

  • Revive it!!!
    Best blog out there, for sure!

    by rmtf1111, Jan 12, 2017, 6:02 PM

48 shouts
Tags
About Owner
  • Posts: 2280
  • Joined: Jan 4, 2013
Blog Stats
  • Blog created: Nov 30, 2013
  • Total entries: 86
  • Total visits: 39784
  • Total comments: 102
Search Blog
a