section{On a Class of Three-Variable Inequalities}%20
markboth{Articles}{On a Class of Three-Variable Inequalities}
vspace{4.2cm}
subsection{Theorem}
Let $a,b,c$ be real numbers such that $a+b+c=1$.
By the AM-GM inequality,
$$ab+bc+cale dsf{1}{3},$$
therefore setting $ab+bc+ca=dsf{1-a^2}{3}$ $(qge 0)$,
we will find the maximum and minimum values of $abc$ in terms of $q$.
If $q=0$, then $a=b=c=dsf{1}{3}$,
therefore $abc=dsf{1}{27}$.
If $q
e 0$, then
$(a-b)^2+(b-c)^2+(c-a)^2>0$.
Consider the function
$f(x)=(x-a)(x-b)(x-c)=x^3-x^2+dsf{1-q^2}{3}x-abc$.
We have
$$f'(x)=3x^2-2x+dsf{1-q^2}{3}$$
with zeros $x_1=dsf{1+q}{3}$ and $x_2=dsf{1-q}{3}$.
We can see that
$f'(x)<0$ for $x_2<x<x_1$ and $f'(x)>0$ for $x<x_2$ or $x>x_1$.
Furthermore, $f(x)$ has three zeros: $a,b,c$.
Then
$$fleft(dsf{1-q}{3}
ight)=dsf{(1-q)^2(1+2q)}{27}-abcge 0$$
and
$$fleft(dsf{1+q}{3}
ight)=dsf{(1+q)^2(1-2q)}{27}-abcle 0.$$
Hence
$$dsf{(1+q)^2(1-2q)}{27}le abcle dsf{(1-q)^2(1+2q)}{27}$$
and we obtain the following theorem.
{f Theorem 1.}
{it If $a,b,c,$ are arbitrary real numbers such that $a+b+c=1$,
and if $ab+bc+ca=dsf{1-q^2}{3}$ $(qge 0)$, then holds
$$dsf{(1+q)^2(1-2q)}{27}le abcle dsf{(1-q)^2(1+2q)}{27}.$$
}
Or, more generally,
{f Theorem 2.}
{it Let $a,b,c$ be real numbers such that $a+b+c = p$.
If $ab+bc+ca =dsf{p^2-q^2}{3}$ $(qge 0)$ and $r=abc$, then
$$dsf{(p+q)^2(p-2q)}{27}le rle dsf{(p-q)^2(p+2q)}{27}.$$
This is a powerful tool because the equality holds if and only if
$$(a-b)(b-c)(c-a)=0.$$
Here are some identities which we can use with this theorem
$$a^2+b^2+c^2=dsf{p^2+2q^2}{3}$$
$$a^3+b^3+c^3=pq^2+3r$$
$$ab(a+b)+bc(b+c)+ca(c+a)=dsf{p(p^2-q^2)}{3}-3r$$
$$(a+b)(b+c)(c+a)=ov{p(p^2-q^2)}{3}-r$$
$$a^2b^2+b^2c^2+c^2a^2=dsf{(p^2-q^2)^2}{9}-2pr$$
$$ab(a^2+b^2)+bc(b^2+c^2)+ca(c^2+a^2)
=dsf{(p^2+2q^2)(p^2-q^2)}{9}-pr$$
$$a^4+b^4+c^4=dsf{-p^4+8p^2q^2+2q^4}{9}+4pr.$$
}
{f Remark 1.}
There is also a geometric proof of this result.
By Viete's formulas we have
$$(x-a)(x-b)(x-c)=x^2-px^2+dsf{1}{3}(p^2-q^2)x-r.$$
As we increase $r$ we lower the graph of
$y=x^3-px^2+dsf{1}{3}(p^2-q^2)x-r$.
The largest and smallest values of $r$ for which this polynomial will have three real
roots will be at the points where it has double roots, with the maximum of $r$
corresponding to the case where the smaller root is the double root.
In this case we find the double root at $(pmp q)/3$ and the single root at $(ppm 2q)/3$
with the upper sign corresponding to the maximum of $r$ and the lower sign the minimum.
{f Remark 2.}
This result is sharp in the following sense.
Suppose we are given real numbers $p,q,r$ with $qge 0$ satisfying this inequality.
Then there exist real numbers $a,b,c$ such that $a + b + c = p$,
$ab+bc+ca=dsf{p^2-q^2}{3}$, and $abc=r$.
{f Remark 3.}
If $a,b,cge 0$ then we get the additional restrictions that $rge 0$
and $pge q$.
This remark is used in the last application so it might be worth making
even if you ignore the others.
Alternately, one can state it with all three
inequalities strict.
For a monic cubic polynomial $p(x)=(x-a)(x-b)(x-c)$
the discriminant of the polynomial $p$ is
$D=(a-b)^2(b-c)^2(c-a)^2$.
This is a symmetric polynomial in the roots of $p$, therefore it can be written as a
polynomial in the coefficients of $p$.
In the special case above where
$p(x)=x^3-px^2+dsf{1}{3}(p^2-q^2)x-r$
one can compute that
$$D=27left(r-dsf{(p+q)^2(p-2q)}{3}
ight)left(dsf{(p-q)^2(p+2q)}{3}-r
ight).$$
With this formula Theorem 2 and its converse combine to give the well known
fact that the discriminant is nonnegative if and only if p has only real roots.
subsection{Applications}
{f Problem 1.}
{it Let $a,b,c$ be positive real numbers such that $a+b+c = 1$.
Prove that
$$dsf{1}{a}+dsf{1}{b}+dsf{1}{c}+48(ab+bc+ca)ge 25.$$
}
{f Solution.}
We can easily check that $qin [0,1]$, and by using Theorem 2,
egin{align*}
{
m LHS}
& =dsf{1-q^2}{3r}+16(1-q^2)ge dsf{9(1+q)}{(1-q)(1+2q)}+16(1-q^2)\
& =dsf{2q^2(4q-1)^2}{(1-q)(1+2q)}+25ge 25.
end{align*}
The inequality is proved.
Equality holds if and only if $a = b = c = dsf{1}{3}$
or $a=dsf{1}{2}$, $b=c=dsf{1}{4}$
and their permutations.
{f Problem 2.}
(Vietnam 2002).
{it Let $a,b,c$ be real numbers such that $a^2+b^2+c^2=9$.
Prove that
$$2(a+b+c)-abcle 10.$$
}
{f Solution.}
The condition can be written as
$p^2+2q^2=27$.
Using our theorem, we have
$${
m LHS}=2p-rle 2p-dsf{(p+q)^2(p-2q)}{27}=dsf{p(5q^2+27)+2q^3}{27}.$$
We need to prove that
$$p(5q^2+27)le 270-2q^3.$$
This follows from
$$(270-2q^3)^2ge p^2(5q^2+27)^2,$$
or, equivalently,
$$27(q-3)^2(2q^4+12q^3+49q^2+146q+219)ge 0.$$
The inequality is proved.
Equality holds if and only if $a = b = 2$, $c = -1$ and
their permutations.
{f Problem 3.}
(Vo Quoc Ba Can).
{it For all positive real numbers $a,b,c$,
$$dsf{a+b}{c}+dsf{b+c}{a}+dsf{c+a}{b}+11sqrt {dsf{ab+bc+ca}{a^2+b^2+c^2}}ge 17.$$
}
{f Solution.}
Because the inequality is homogeneous, without loss of generality,
assume that $p = 1$.
Then $qin [0,1]$ and the inequality can be written as
$$dsf{1-q^2}{3r}+11sqrt {dsf{1-q^2}{1+2q^2}}ge 20.$$
By our theorem, it suffices to prove
$$11sqrt {dsf{1-q^2}{1+2q^2}}ge 20-dsf{9(1+q)}{(1-q)(1+2q)}
=dsf{-40q^2+11q+11}{(1-q)(1+2q)}.$$
If $-40q^2+11q+11le 0$,
or
$qge dsf{11+3sqrt {209}}{80}$,
it is trivial.
If
$qle dsf{11+3sqrt {209}}{80}<dsf{2}{3}$,
$$dsf{121(1-q^2)}{1+2q^2}-dsf{(-40q^2+11q+11)^2}{(1-q)^2(1+2q)^2}
=dsf{3q^2(11-110q+255q^2+748q^3-1228q^4)}{(1+2q^2)(1-q)^2(1+2q)^2}.$$
Note that the only positive real root of
$11-110q+255q^2+748q^3-1228q^4$
is at $0.748037ldots >dsf{11+3sqrt {209}}{80}$
and therefore the numerator is positive for $qle dsf{11+3sqrt {209}}{80}$.
The inequality is proved.
Equality occurs if and only if $a = b = c$.
{f Problem 4.}
(Vietnam TST 1996).
{it Prove that for any $a,b,cin mathbb{R}$,
$$(a+b)^4+(b+c)^4+(c+a)^4ge dsf{4}{7}(a^4+b^4+c^4).$$
}
{f Solution.}
If $p = 0$ the inequality is trivial, so we will consider the case $p
e 0$.
Without loss of generality, assume that $p = 1$.
The inequality becomes
$$q^4+4q^2+10-108rge 0$$
and by our theorem
egin{align*}
q^4+4q^2+10-108r
& ge q^4+4q^2+10-4(1-q)^2(1+2q)\
& =q^2(q-4)^2+6ge 0.
end{align*}
The inequality is proved.
Equality holds only for $a = b = c = 0$.
{f Problem 5.}
(Pham Huu Duc, MR1/2007).
{it Prove that for any positive real numbers $a,b,c$,
$$sqrt {dsf{b+c}{a}}+sqrt {dsf{c+a}{b}}+sqrt {dsf{a+b}{c}}
ge sqrt {6cdot dsf{a+b+c}{sqrt [3]{abc}}}.$$
}
{f Solution.}
By H"older's inequality,
$$left(sum_{cyc}sqrt {dsf{b+c}{a}}
ight)^2
left(sum_{cyc}dsf{1}{a^2(b+c)}
ight)ge left(sum_{cyc}dsf{1}{a}
ight)^3.$$
It suffices to prove that
$$left(sum_{cyc}dsf{1}{a}
ight)^3ge dsf{6(a+b+c)}{sqrt [3]{abc}}
sum_{cyc}dsf{1}{a^2(b+c)}.$$
Let $x=dsf{1}{a}$, $y=dsf{1}{b}$, $z=dsf{1}{c}$,
then the inequality becomes
$$(x+y+z)^3ge 6sqrt [3]{xyz}(xy+yz+zx)sum_{cyc}dsf{x}{y+z},$$
or
$$(x+y+z)^3ge dsf{6sqrt [3]{xyz}(xy+yz+zx)}{(x+y)(y+z)(z+x)}
((x+y+z)^3-2(x+y+z)(xy+yz+zx)+3xyz).$$
By the AM-GM inequality,
$$(x+y)(y+z)(z+x)=(x+y+z)(xy+yz+zx)-xyz
ge dsf{8}{9}(x+y+z)(xy+yz+zx).$$
It remains to prove that
$$4(x+y+z)^4ge 27sqrt [3]{xyz}((x+y+z)^3-2(x+y+z)(xy+yz+zx)+3xyz).$$
Setting $p=x+y+z$, $xy+yz+zx=dsf{p^2-q^2}{3}$ $(pge qge 0)$,
the inequality becomes
$$4p^4ge 9sqrt [3]{xyz}(p^3+2pq^2+9xyz).$$
Applying our theorem, it suffices to prove that
$$4p^4ge 9sqrt [3]{dsf{(p-q)^2(p+2q)}{27}}
left(p^3+2pq^2+dsf{(p-q)^2(p+2q)}{3}
ight)$$
$$4p^4ge sqrt [3]{(p-q)^2(p+2q)}(3p^3+6pq^2+(p-q)^2(p+2q)).$$
Setting $u=sqrt [3]{dsf{p-q}{p+2q}}le 1$,
the inequality is equivalent to
$$4(2u^3+1)^4ge 27u^2(4u^9+5u^6+2u^3+1),$$
or
$$f(u)=dsf{(2u^3+1)^4}{u^2(4u^9+5u^6+2u^3+1)}ge dsf{27}{4}.$$
We have
$$f'(u)=dsf{2(2u^3+1)^3(u^3-1)(2u^3-1)(2u^6+2u^3-1)}{u^3(u^3+1)^2(4u^6+u^3+1)^2}$$
and
$$f'(u)=0Lr u=sqrt [3]{dsf{sqrt 3-1}{2}},dsf{1}{sqrt [3]{2}},1.$$
Now, we can easily verify that
$$f(u)ge minleft{fleft(sqrt [3]{dsf{sqrt 3-1}{2}}
ight),f(1)
ight}=dsf{27}{4},$$
which is true.
The inequality is proved.
Equality holds if and only if $a = b = c$.
{f Problem 6.}
(Darij Grinberg).
{it If $a,b,cge 0$, then
$$a^2+b^2+c^2+2abc+1ge 2(ab+bc+ca).$$
}
{f Solution.}
Write the inequality as
$$6r+3+4q^2-p^2ge 0.$$
If $2qge p$, it is trivial.
If $pge 2q$, using the theorem, it suffices to prove that
$$dsf{2(p-2q)(p+q)^2}{9}+3+4q^2-p^2ge 0,$$
or
$$(p-3)^2(2p+3)ge 2q^2(2q+3p-18).$$
If $2ple 9$, we have $2q+3ple 4ple 18$,
therefore the inequality is true.
If $2pge 9$, we have
$$2q^2(2q+3p-18)le 4q^2(2p-9)le p^2(2p-9)$$
$$=(p-3)^2(2p+3)-27<(p-3)^2(2p+3).$$
The inequality is proved.
Equality holds if and only if $a = b = c = 1$.
{f Problem 7.}
(Schur's inequality).
{it For all nonnegative real numbers $a,b,c$,
$$a^3+b^3+c^3+3abcge ab(a+b)+bc(b+c)+ca(c+a).$$
}
{f Solution.}
Because the inequality is homogeneous, we can assume that
$a+b+c=1$.
Then $qin [0,1]$ and the inequality is equivalent to
$$27r+4q^2-1ge 0.$$
If $qge dsf{1}{2}$, it is trivial.
If $qle dsf{1}{2}$,
by the theorem we need to prove that
$$(1+q)^2(1-2q)+4q^2-1ge 0,$$
or
$$q^2(1-2q)ge 0,$$
which is true.
Equality holds if and only if $a = b = c$ or $a = b$, $c = 0$ and their permutations.
{f Problem 8.}
(Pham Huu Duc).
{it For all positive real numbers $a,b,c$,
$$dsf{1}{a^2+bc}+dsf{1}{b^2+ca}+dsf{1}{c^2+ab}
le dsf{(a+b+c)^2}{3(ab+bc+ca)}
left(dsf{1}{a^2+b^2}+dsf{1}{b^2+c^2}+dsf{1}{c^2+a^2}
ight).$$
}
{f Solution.}
Because the inequality is homogeneous, we may assume that $p=1$.
Then $qin [0,1]$,
and by the AM-GM and Schur's inequalities, we have
$$dsf{(1-q^2)^2}{9}ge 3rge maxleft{0,dsf{1-4q^2}{9}
ight}.$$
After expanding, we can rewrite the given inequality as
$$f(r)=-486(9-q^2)r^3+27(q^6+64q^4-35q^2+24)r^2$$
$$+9(4q^2-1)(11q^4-4q^2+2)r+q^2(1-q^2)^3(2q^4+8q^2-1)ge 0.$$
We have
$$f'(r)=9-162(9-q^2)r^2+6(q^6+64q^4-35q^2+24)r
+(4q^2-1)(11q^4-4q^2+2)$$
$$f''(r)=54(-54(9-q^2)r+q^6+64q^4-35q^2+24)$$
$$ge 54(-2(1-q^2)^2(9-q^2)+q^6+64q^4-35q^2+24)
=162(q^6+14q^4+q^2+2)>0.$$
Hence $f'(r)$ is an increasing function.
Now, if $1le 2q$, then
$$f'(r)ge f'(0)=9(4q^2-1)(11q^4-4q^2+2)ge 0.$$
If $1ge 2q$, then
$$f'(r)ge f'left(dsf{1-4q^2}{27}
ight)=(1-4q^2)(q^2+2)(2q^4+17q^2+6)ge 0.$$
In each case, $f(r)$ is an increasing function.
If $1le 2q$, then
$$f(r)ge f(0)=q^2(1-q^2)^3(2q^4+8q^2-1)ge 0,$$
and we are done.
If $1ge 2q$, by our theorem,
$$f(r)ge fleft(dsf{(1+q)^2(1-2q)}{27}
ight)$$
$$=dsf{1}{81}q^2(2-q)(q+1)^2(6q^3+4q^2-7q+4)(5q^2-2q+2)^2ge 0.$$
The proof is complete.
Equality holds if and only if $a = b = c$.
{f Problem 9.}
(Nguyen Anh Tuan).
{it Let $x,y,z$ be positive real numbers such that
$xy + yz + zx + xyz = 4$.
Prove that
$$dsf{x+y+z}{xy+yz+zx}le 1+dsf{1}{48}((x-y)^2+(y-z)^2+(z-x)^2).$$
}
{f Solution.}
Since $x,y,z>0$ and $xy+yz+zx+xyz=4$, there are $a,b,c>0$ such that
$x=dsf{2a}{b+c}$, $y=dsf{2b}{c+a}$, $z=dsf{2c}{a+b}$.
The inequality becomes
$$P(a,b,c)=dsf{(a+b+c)^2dssum_{cyc}(a^2-b^2)^2}{(a+b)^2(b+c)^2(c+a)^2}
-dsf{6dssum_{cyc}a(a+b)(a+c)}{dssum_{cyc}ab(a+b)}+12ge 0.$$
Because the inequality is homogeneous we can assume that $p = 1$.
Then
$qin [0,1]$,
and after some computations, we can write the inequality as
$$f(r)=729r^3+27(22q^2-1)r^2+27(6q^4-4q^2+1)r+(q^2-1)(13q^4-5q^2+1)le 0.$$
We have
$$f'(r)=27(r(81r+44q^2-2)+6q^4-4q^2+1).$$
By Schur's inequality,
$$81r+44q^2-2ge 3(1-4q^2)+44q^2-2=1+32q^2>0.$$
Hence $f'(r)ge 0$, and $f(r)$ is an increasing function.
Then by our theorem,
$$f(r)!le! fleft(dsf{(1-q)^2(1+2q)}{27}
ight)
=dsf{2}{27}q^2(q-1)(q+2)^2(4q^4+14q^3+15q^2-7q+1)!le 0.$$
The inequality is proved.
Equality holds if and only if $x = y = z$.
{f Problem 10.}
(Nguyen Anh Tuan).
{it For all nonnegative real numbers $a,b,c$,
$$sqrt {(a^2-ab+b^2)(b^2-bc+c^2)}
+sqrt {(b^2-bc+c^2)(c^2-ca+a^2)}$$
$$+sqrt {(c^2-ca+a^2)(a^2-ab+b^2)}
ge a^2+b^2+c^2.$$
}
{f Solution.}
After squaring both sides, we can rewrite the inequality as
$$2sqrt {dsprod_{cyc}(a^2-ab+b^2)}left(sum_{cyc}sqrt {a^2-ab+b^2}
ight)
ge left(sum_{cyc}ab
ight)left(sum_{cyc}a^2
ight)-sum_{cyc}a^2b^2.$$
By the AM-GM inequality,
$$sqrt {a^2-ab+b^2}ge dsf{1}{2}(a+b),
sqrt {b^2-bc+c^2}ge dsf{1}{2}(b+c),
sqrt {c^2-ca+a^2}ge dsf{1}{2}(c+a).$$
It suffices to prove that
$$2sqrt {dsprod_{cyc}(a^2-ab+b^2)}left(sum_{cyc}a
ight)
ge left(sum_{cyc}ab
ight)left(sum_{cyc}a^2
ight)-sum_{cyc}a^2b^2.$$
Because this inequality is homogeneous, we can assume $p = 1$.
Then $qin [0,1]$
and the inequality is equivalent to
$$2sqrt {-72r^2+3(1-10q^2)r+q^2(1-q^2)^2}ge 6r+q^2(1-q^2),$$
or
$$f(r)=324r^2-12r(q^4-11q^2+1)-q^2(4-q^2)(1-q^2)^2le 0.$$
It is not difficult to verify that $f(r)$ is a convex function, then by our theorem,
$$f(r)le maxleft{f(0),fleft(dsf{(1-q)^2(1+2q)}{27}
ight)
ight}.$$
Furthermore,
$$f(0)=-q^2(4-q^2)(1-q^2)^2le 0$$
$$fleft(dsf{(1-q)^2(1+2q)}{27}
ight)
=dsf{1}{9}q^2(q-1)^3(q+2)(9q^2+q+2)le 0.$$
Our proof is complete.
Equality holds if and only if $a = b = c$ or $a=tge 0$,
$b = c = 0$, and their permutations.
igskip
hfill
{Large Vo Quoc Ba Can, Vietnam}
%%%%%%%