254. An interesting C. Mateescu's geometrical inequality.
by Virgil Nicula, Mar 13, 2011, 8:41 AM
Proposed problem. In any triangle
have
.
Proof. This inequality is equivalently with the strong inequality
. Here appears its proof.
Using the relations
a.s.o., can transform the initial inequality in
.
The inequality
is truly in any triangle and it is stronger than the inequality
which is truly only in an acute triangle.
The inegality
is stronger than
and in the case of athe triangles for which
.
Using the relation
a.s.o. the inequality
becomes
(Mateescu Constantin).
Proposed problem (V.N.). Prove that
.
Maybe someone has an geometrical interpretation.
Proof. Firstly, we shall prove a very simple
Lemma.[ Let
,
,
be the side-lengths of a triangle with circumradius
.
If
,
,
, then
.
Proof.
Now, setting
,
and
in the inequality
we obtain the proposed inequality :
.
Remark. This very nice inequality has a beautiful geometrical interpretation as follows :
Denote the isotomic
of the incenter
w.r.t. triangle
. From the remarkable property -
The power
, where
w.r.t. the circumcircle
of the triangle
is given by the relation :
- we obtain for
that :
, which is in fact the proposed inequality .



Proof. This inequality is equivalently with the strong inequality




The inequality


The inegality







Proposed problem (V.N.). Prove that

Maybe someone has an geometrical interpretation.
Proof. Firstly, we shall prove a very simple
Lemma.[ Let




If




Proof.
The inequality rewrites as :
. Since 
and so on, the inequality becomes :
.
The discriminant of this quadratic equation is :![$\Delta=4\cdot\left[(y\cos 2C+z\cos 2B)^2-(y+z)^2+4yz\sin^2 A\right]\implies$](//latex.artofproblemsolving.com/a/b/2/ab2e006aafded8b24770ce0ff621bb7dbb65aed7.png)
. On the other hand

Therefore,
, which completes the proof.
![$x^2R^2+x\cdot\left[2R^2(y+z)-b^2z-c^2y\right]+R^2(y+1)^2-a^2yz\ \ge\ 0$](http://latex.artofproblemsolving.com/6/1/2/6122c505856ceaedba87f7100ff372728e67cac0.png)

and so on, the inequality becomes :

The discriminant of this quadratic equation is :
![$\Delta=4\cdot\left[(y\cos 2C+z\cos 2B)^2-(y+z)^2+4yz\sin^2 A\right]\implies$](http://latex.artofproblemsolving.com/a/b/2/ab2e006aafded8b24770ce0ff621bb7dbb65aed7.png)
![$\Delta=4\cdot\left[-y^2\sin^2 2C-z^2\sin^2 2B+2yz(-\cos 2A+\cos 2B\cdot\cos 2C)\right]$](http://latex.artofproblemsolving.com/9/a/3/9a35626917ff5d0a808caa4090269cf528a77412.png)

Therefore,

Now, setting





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



The power







This post has been edited 7 times. Last edited by Virgil Nicula, Nov 22, 2015, 10:28 AM