Inequality $a+b+c \geqslant abc +2$

Assuming $a,b,c \in (0, \infty)$, we need to prove that:

$$a+b+c \geqslant a b c+2 \quad \text{if} \quad ab+bc+ca=3$$

Can you give me an idea, please? This inequality seem to be known, but I didn't manage to solve it.

Solution 1:

Let's start by applying AM-GM:

$$\frac{ab+bc+ca}{3}=1 \ge (abc)^\frac{2}{3}$$ $$ 1 \ge abc$$ Further we get that $$3\ge abc+2 \tag1$$ On the other hand we have
$$ (a+b+c)^2 \ge 3(ab+bc+ac)=9 $$ $$a+b+c \ge 3 \tag2$$

From $(1)$ and $(2)$ we get the required inequality $$a+b+c \ge abc+2$$

Q.E.D.

Solution 2:

Solve for $c$ from the constraint: $$ c = \frac{3- a b}{a+b} $$ and substitute back into the inequality: $$ a + b + \frac{3-a b}{a+b} \geqslant 2 + \frac{a b(3-a b)}{a+b} \implies \frac{3 + a^2 b^2 + a^2 + b^2 -2 a b -2a -2b+3}{a+b} \geqslant 0 $$ Multiply both sides by $(a+b)$: $$ 3 + a^2 b^2 + a^2 + b^2 -2 a b -2a -2b+3 \geqslant 0 $$ The left-hand-side can be reduced to the shifted sum of squares: $$ (a b-2)^2 + (a+b-1)^2 - 2 \geqslant 0 $$ It is easy to see that the left-hand-side attains its minimum at $a=b=1$, where the inequality is saturated.

Solution 3:

For $x,y,z \geq 0 $, $ f(x,y,z) = x+y+z $ given that, $xy+yz+xz =3 = \phi(x, y, z)$

$$ \nabla f = \lambda \nabla \phi $$

$$ 1 = \lambda (y+z) \hspace {2 cm} (1) $$ $$ 1 = \lambda (x+z) \hspace {2 cm} (2) $$ $$ 1 = \lambda (x+y) \hspace {2 cm} (3) $$ $$ xy+yz+xz =3 \hspace{2 cm} (4)$$ Solveing $(1), (2), (3), \text{ and } (4)$ we get, $x=y=z=1$, so the minimum value of $f(x, y, z) = x+y+z$ under the constraint $xy+yz+xz = 3$ is $ 1 + 1 + 1 = 3$

Again $g(x, y, z) = xyz + 2$ $$ \nabla g = \lambda \nabla \phi $$

$$ yz = \lambda (y+z) \hspace {2 cm} (5) $$ $$ xz = \lambda (x+z) \hspace {2 cm} (6) $$ $$ xy = \lambda (x+y) \hspace {2 cm} (7) $$ $$ xy+yz+xz =3 \hspace{2 cm} (4)$$ Solving these we get $x=y=z=1$, the maximum value of $g(x, y, z) = 1\cdot 1 \cdot 1 + 2 = 3 $
Since, $ \text{ min }( f) = \text{ max}(g) $, we have $a+b+c \geq abc+2$

I hope there is a better method!!

Solution 4:

It's easy to see that $(x+y+z)^2 \geq 3(xy+yz+zx)$.Denoting $S=a+b+c$ we cand deduce from this that $S\geq 3$.

Plugging in $x=ab$, $y=bc$, $z=ca$ we get $9\geq 3abc(a+b+c)$, so $abc \leq \frac{3}{a+b+c}$.So it's enough to prove that $a+b+c \geq \frac{3}{a+b+c}+2$.

The last inequality is equivalent to $S^2-2S-3 \geq 0$ which is true since $S\geq 3$.