proving the inequality $\triangle\leq \frac{1}{4}\sqrt{(a+b+c)\cdot abc}$

For a triangle

$\Delta = \frac{abc}{4R} = rs$

Now in your inequality you can put in the values to get

$R \ge 2r$

This is known to be true since the distance between incentre and circumcentre $d^2 = R(R-2r)$

Thus your inequality is proved


It helps to write down what you want to prove:

$$(b+c-a)(c+a-b)(a+b-c) \le abc$$

You viewed the left-hand expression as a geometric mean, but replacing it by a arithmetic mean does not work because the resulting inequality is an AM-GM inequality in the wrong direction, so you need to try something else.

There are many ways to proceed, but a good routine first step is a substitution that replaces $a, b, c$ who are linked by triangle inequalities with $2x=b+c-a$, $2y=c+a-b$, $2z=a+b-c$ who are simply positive numbers.

The desired inequality becomes:

$$8xyz \le (y+z)(x+z)(x+y).$$

But this is simply a product of three AM-GM inequalities:

$$\sqrt{yz}\sqrt{xz}\sqrt{xy}\le \frac{y+z}2\frac{x+z}2\frac{x+y}2.$$

So everything is proved.

Alternatively, if you do not see it, you can simply expand the product and apply one AM-GM inequality to the 8 terms.


Thanks mathlove,phira,and user for solution.

My prove for $(b+c-a)\cdot(c+a-b)\cdot(a+b-c)\leq abc$, where $a,b,c$ are the sides of a $\triangle$.

Using $\;\;\;\; \{b+(c-a)\}\cdot \{b-(c-a)\} = b^2-(c-a)^2\leq b^2$

similarly $ \{c+(a-b)\}\cdot \{c-(a-b)\} = c^2-(a-b)^2\leq c^2$

similarly $\{a+(b-c)\}\cdot \{a-(b-c)\} = a^2-(b-c)^2\leq a^2$

Multimply these three equations, we get $(b+c-a)\cdot(c+a-b)\cdot(a+b-c)\leq abc$

and equality hold when $a=b=c$