Problem 58: Iran 1996 inequality

by henderson, Jan 6, 2017, 3:21 PM

$${\color{red}\bf{Problem \ 58}}$$Prove that, for all positive real numbers $a,b,c$
\[(ab+bc+ca)\left(\frac{1}{(b+c)^2}+\frac{1}{(c+a)^2}+\frac{1}{(a+b)^2} \right)\geq \frac{9}{4}\]holds.
(Iran 1996)
$${\color{red}\bf{Solution}}$$We may assume that $a\geq b \geq c.$ Firstly, let's show that
\[\frac{1}{(b+c)^2}+\frac{1}{(c+a)^2}+\frac{1}{(a+b)^2}\geq \frac{1}{4ab}+\frac{2}{(a+c)(b+c)}.\]This can be rewritten as
\[\left(\frac{1}{a+c}-\frac{1}{b+c}\right)^2\geq \frac{(a-b)^2}{4ab(a+b)^2},\]or equivalently $4ab(a+b)^2\geq (a+c)^2(b+c)^2.$ This is obvious, since $4ab\geq (b+c)^2$ and $(a+b)^2\geq (a+c)^2.$
Thus, it remains to prove that
\[(ab+bc+ca)\left(\frac{1}{4ab}+\frac{2}{(a+c)(b+c)} \right)\geq \frac{9}{4}.\]Using the identities
\[\frac{ab+bc+ca}{4ab}=\frac{1}{4}+\frac{c(a+b)}{4ab}, \quad \frac{2(ab+bc+ca)}{(a+c)(b+c)}=2 -\frac{2c^2}{(a+c)(b+c)},\]this becomes
\[\frac{c(a+b)}{4ab}\geq \frac{2c^2}{(a+c)(b+c)}.\]But this is equivalent to
\[(a+b)(b+c)(c+a)\geq 8abc,\]which is a simple consequence of $AM-GM.$ $\quad$ $\square$
This post has been edited 3 times. Last edited by henderson, Jan 6, 2017, 6:07 PM

Comment

5 Comments

The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Isn't Cauchy enough for this?

by annoynymous, Oct 3, 2017, 12:26 PM

The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Lol pls check your sol if u use cauchy.

by Jon-Snow, Oct 6, 2017, 8:32 AM

The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Awesome solution bro
I don't know what other are talking about.

by Loserfistte, Nov 22, 2019, 5:30 AM

The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Cauhcy is ofc weak here. This proof might be better after seeing expand bash. Also EV works

by ehuseyinyigit, Apr 7, 2024, 2:59 PM

The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Muirhead and Schur bash it trivially. It is equivalent to 4T[5,1,0]-T[4,2,0]+T[4,1,1]-3T[3,3,0]-2T[3,2,1]T[4,1,1] >=0. We use Schur like this T[4,1,1]+T[2,2,2] >= 2T[3,2,1], and Muirhead for the rest.

by UrkeBurke, Apr 27, 2024, 6:39 PM

"Do not worry too much about your difficulties in mathematics, I can assure you that mine are still greater." - Albert Einstein

avatar

henderson
Archives
Shouts
Submit
7 shouts
Tags
About Owner
  • Posts: 312
  • Joined: Mar 10, 2015
Blog Stats
  • Blog created: Feb 11, 2016
  • Total entries: 77
  • Total visits: 20931
  • Total comments: 32
Search Blog
a