254. An interesting C. Mateescu's geometrical inequality.

by Virgil Nicula, Mar 13, 2011, 8:41 AM

Proposed problem. In any triangle $ABC$ have $\boxed{\sqrt{\frac {a}{b+c-a}}+\sqrt{\frac {b}{c+a-b}}+\sqrt{\frac {c}{a+b-c}}\ge\sqrt{\frac {5r+2R+s-3r\sqrt 3}r}}\ge$ $\sqrt{\frac {5r+2R}r}\ge 3$ .

Proof. This inequality is equivalently with the strong inequality $\boxed{AI+BI+CI\ge s+3r(2-\sqrt 3)}$ . Here appears its proof.

$\odot$ Using the relations $\boxed{\sqrt{\frac a{b+c-a}}=\sqrt{\frac{2R}r}\cdot\sin\frac A2}$ a.s.o., can transform the initial inequality in $\boxed{\sin\frac A2+\sin\frac B2+\sin\frac C2\ge\sqrt{\frac{5r+2R+s-3r\sqrt 3}{2R}}}\ (\ast)$ .

The inequality $\ (\ast)$ is truly in any triangle and it is stronger than the inequality $\boxed{\sin\frac A2+\sin\ \frac B2+\sin\frac C2\ge\frac 54+\frac r{2R}}\ (\ast\ast)$ which is truly only in an acute triangle.

The inegality $(\ast)$ is stronger than $(\ast\ast)$ and in the case of athe triangles for which $A\ge B\ge 60^{\circ}\ge C$ .

$\odot$ Using the relation $\boxed{AI=\sqrt{2Rr}\ \cdot\ \sqrt{\frac {b+c-a}a}}$ a.s.o. the inequality $\boxed{AI+BI+CI\ \ge\ s+3r(2-\sqrt 3)}$ becomes

$\boxed{\sqrt{\frac {b+c-a}a}+\sqrt{\frac {c+a-b}b}+\sqrt{\frac {a+b-c}c}\ge\frac{s+3r\cdot (2-\sqrt 3)}{\sqrt{2Rr}}}$ (Mateescu Constantin).



Proposed problem (V.N.). Prove that $\boxed{\sqrt{abc\left(a^3+b^3+c^3\right)}\ \le\ R\cdot (ab+bc+ca)}\ \le\ 4R(R+r)^2$ .

Maybe someone has an geometrical interpretation.


Proof. Firstly, we shall prove a very simple

Lemma.[ Let $a$ , $b$ , $c$ be the side-lengths of a triangle with circumradius $R$ .

If $x$ , $y$ , $z\in\mathbb{R}$ , then $:\ \boxed{\ yz\cdot a^2+zx\cdot b^2+xy\cdot c^2\ \le\ R^2\cdot\left(x+y+z\right)^2\ }\ \ (\ast)$ .


Proof.

Now, setting $x=bc$ , $y=ca$ and $z=ab$ in the inequality $(\ast)$ we obtain the proposed inequality :

$\begin{array}{cccc} abc(a^3+b^3+c^3)\ \le\ R^2\cdot (ab+bc+ca)^2\ \iff\ \boxed{\ \sqrt{abc(a^3+b^3+c^3)}\ \le\ R\cdot (ab+bc+ca)\ }\end{array}$ .

Remark. This very nice inequality has a beautiful geometrical interpretation as follows :

Denote the isotomic $J\ (bc:ca:ab)$ of the incenter $I\ (a:b:c)$ w.r.t. triangle $ABC$ . From the remarkable property -

The power $p_w(M)$ , where $M\ (x:y:z)$ w.r.t. the circumcircle $w$ of the triangle $ABC$ is given by the relation :

$ -p_{w}(M)=\frac{a^{2}yz+b^{2}zx+c^{2}xy}{(x+y+z)^{2}}=R^{2}-OM^{2}\le R^{2} $ - we obtain for $M:=J$ that :

$ \sum\left(a^{2}\cdot ca\cdot ab\right)\le (ab+bc+ca)^{2} R^{2} $ , which is in fact the proposed inequality .
This post has been edited 7 times. Last edited by Virgil Nicula, Nov 22, 2015, 10:28 AM

Comment

0 Comments

Own problems or extensions/generalizations of some problems which was posted here.

avatar

Virgil Nicula
Archives
+ October 2017
+ September 2017
+ December 2016
+ October 2016
+ February 2016
+ September 2013
+ October 2010
+ September 2010
Shouts
Submit
  • orzzzzzzzzz

    by mathMagicOPS, Jan 9, 2025, 3:40 AM

  • this css is sus

    by ihatemath123, Aug 14, 2024, 1:53 AM

  • 391345 views moment

    by ryanbear, May 9, 2023, 6:10 AM

  • We need virgil nicula to return to aops, this blog is top 10 all time.

    by OlympusHero, Sep 14, 2022, 4:44 AM

  • :omighty: blog

    by tigerzhang, Aug 1, 2021, 12:02 AM

  • Amazing blog.

    by OlympusHero, May 13, 2021, 10:23 PM

  • the visits tho

    by GoogleNebula, Apr 14, 2021, 5:25 AM

  • Bro this blog is ripped

    by samrocksnature, Apr 14, 2021, 5:16 AM

  • Holy- Darn this is good. shame it's inactive now

    by the_mathmagician, Jan 17, 2021, 7:43 PM

  • godly blog. opopop

    by OlympusHero, Dec 30, 2020, 6:08 PM

  • long blog

    by MrMustache, Nov 11, 2020, 4:52 PM

  • 372554 views!

    by mrmath0720, Sep 28, 2020, 1:11 AM

  • wow... i am lost.

    369302 views!

    -piphi

    by piphi, Jun 10, 2020, 11:44 PM

  • That was a lot! But, really good solutions and format! Nice blog!!!! :)

    by CSPAL, May 27, 2020, 4:17 PM

  • impressive :D
    awesome. 358,000 visits?????

    by OlympusHero, May 14, 2020, 8:43 PM

72 shouts
Tags
About Owner
  • Posts: 7054
  • Joined: Jun 22, 2005
Blog Stats
  • Blog created: Apr 20, 2010
  • Total entries: 456
  • Total visits: 404395
  • Total comments: 37
Search Blog
a