Dorin Marghidanu's Two-Sided Inequality
Source
Problem
Solution 1
From the problem's constraints, $a,b,c\in (0,1),$ implying $1-a,1-b,1-c\gt 0.$ We consider the expression
$\begin{align}E(a,b,c) &=(1-a)(1-b)(1-c)\\ &=\sqrt{(1-a)(1-b)}\cdot\sqrt{(1-b)(1-c)}\cdot\sqrt{(1-c)(1-a)} \end{align}$
and using the inequalities $\displaystyle \frac{2xy}{x+y}\le\sqrt{xy}\le\frac{x+y}{2},\,x,y\gt 0$ between the harmonic, geometric and the arithmetic means for each of the three roots, we get
$\displaystyle \prod_{cycl}\frac{2(1-a)(1-b)}{(1-a)+(1-b)}\le E(a,b,c)\le\prod_{cycl}\frac{(1-a)+(1-b)}{2}$
which is equivalent to
$\displaystyle \prod_{cycl}\frac{2[1-(a+b)+ab]}{1+c}\le E(a,b,c)\le\prod_{cycl}\frac{1+a}{2}$
or, equivalently,
$\displaystyle 8\cdot\prod_{cycl}\frac{c+ab}{1+c}\le E(a,b,c)\le\frac{1}{8}\prod_{cycl}(1+a)$
which resolves to the required inequality.
Equality happens for $1-a=1-b=1-c,$ i.e., $a=b=c=\displaystyle \frac{1}{3}.$
Solution 2
$\displaystyle 8\cdot\prod_{cycl}(a+bc)=8\cdot\prod_{cycl}(a^2+ab+bc+ca).$
Now, by the AM-GM inequality,
$\displaystyle \frac{(a^2+ab+bc+ca)+(b^2+ab+bc+ca)}{2}\ge\sqrt{\left(a^2+\sum_{cycl}ab\right)\left(b^2+\sum_{cycl}ab\right)},$
implying $1-c^2\ge 2\sqrt{(a+bc)(b+ca)}$ and, similarly, $1-a^2\ge 2\sqrt{(c+ab)(b+ca)}$ and $1-b^2\ge 2\sqrt{(a+bc)(c+ab)}.$
Thus, $\displaystyle\prod_{cycl}(1-a^2)\ge 8\prod_{cycl}(a+bc).$ Further,
$\displaystyle \begin{align} \frac{1+a}{2}&=\frac{(a+b)+(a+c)}{2}\ge\sqrt{(a+b)(a+c)}\,\Rightarrow\\ &1+a\ge 2\sqrt{(1-c)(1-b)}, \end{align}$
and, similarly, $1+b\ge 2\sqrt{(1-c)(1-a)}$ and $1+c\ge 2\sqrt{(1-b)(1-a)}.$ It follows that
$\displaystyle \prod_{cycl}(1+a)^2\ge 8\prod_{cycl}(1-a^2)$
and, hence,
$\displaystyle \prod_{cycl}(1+a)^2\ge 8\prod_{cycl}(1-a)^2\ge 64\prod_{cycl}(a+bc),$
as required.
Solution 3
$a+bc=1-b-c+bc=(1-b)(1-c),$ and, similarly, $b+ca=(1-c)(1-a)$ and $c+ab=(1-a)(1-b).$ It follows that
$64(a+bc)(b+ca)(c+ab)=64(1-a)^2(1-b)^2(1-c)^2$
and, also,
$\begin{align} &64(1-a)^2(1-b)^2(1-c)^2 \le 8(1-a^2)(1-b^2)(1-c^2)\\ &\qquad\qquad\qquad =8(1-a)(1-b)(1-c)(1+a)(1+b)(1+c)&\Leftrightarrow\\ &8(1-a)(1-b)(1-c)\le (1+a)(1+b)(1+c)&\Leftrightarrow\\ &8(b+c)(c+a)(a+b)\le (2a+b+c)(2b+c+a)(2c+a+b)&\Leftrightarrow\\ &8xyz\le(x+y)(y+z)(z+x), \end{align}$
where $x=a+b,$ $y=b+c,$ $z=c+a.$ With the AM-GM inequality, this is true $\displaystyle \prod_{cycl}(x+y)\ge\prod_{cycl}[2\sqrt{xy}]=8xyz.$
On the other hand,
$ 8(1-a)(1-b)(1-c)\le(1+a)(1+b)(1+c) $
is equivalent to
$ 8(1-a^2)(1-b^2)(1-c^2)\le(1+a)^2(1+b)^2(1+c)^2. $
Solution 4
For the sake of reference, let $p=a+b+c,\,$ so that $p=1.\,$ Let $r=\sqrt[3]{abc}$ and $q=ab+bc+ca:$
$\displaystyle q=ab+bc+ca\le a^2+b^2+c^2\le \frac{1}{3}(a+b+c)^2,$
so that
(1)
$\displaystyle q\le\frac{1}{3}.$
Now note that
(2)
$a+bc=a(a+b+c)+bc=(a+b)(a+c).$
According to Schur's inequality, $2p^3+9r-7pq\ge 0,$ which in our case reads as
(3)
$9r-7q+2\ge 0.$
Now,
$\displaystyle \prod_{cycl}(1+a)^2-8\prod_{cycl}(1-a^2)=\prod_{cycl}(a+1)\cdot(9r-7q+2)\ge 0,$
according to (3). Equality is attained for $\displaystyle a=b=c=\frac{1}{3}.$
On the other hand, according to (2),
$\displaystyle\begin{align} 8\prod_{cycl}(1-a^2)-64\prod_{cycl}(a+bc)&=8\prod_{cycl}-64\prod_{cycl}(a+b)^2\\ &=8\prod_{cycl}(1-a^2)-64\prod_{cycl}(1-a)^2\\ &=8\prod_{cycl}(1-a)\cdot (9r-7q+2)\ge 0 \end{align}$
again due to (3). Equality is attained for $\displaystyle a=b=c=\frac{1}{3}.$
Solution 5
Expanding each expression in the system of inequalities and using $a+b+c=1,$
$\displaystyle \begin{align}P &= (a+bc)(b+ca)(c+ab) = (ab+bc+ca-abc)^2\\ &= [(a+b+c)(ab+bc+ca)-abc]^2 = [(a+b)(b+c)(c+a)]^2. \end{align}$
Similarly,
$\displaystyle \begin{align} Q &= (1-a^2)(1-b^2)(1-c^2)=(ab+bc+ca+1)^2 - (abc+1)^2\\ &= (ab+bc+ca - abc)\cdot (ab+bc+ca+abc+2)\\ &= [(a+b+c)(ab+bc+ca)-abc](1+a+b+ab+bc+ca+abc)\\ &= (a+b)(b+c)(c+a)(1+a)(1+b)(1+c), \end{align}$
and if $R = (1+a)^2(1+b)^2(1+c)^2,$ then the given inequality can be rewritten as $64P \le 8Q \le R$ which is equivalent to
$\displaystyle 64\prod_{cycl}(a+b)^2 \le 8\prod_{cycl}(a+b)\cdot\prod_{cycl}(1+a) \le \prod_{cycl}(1+a)^2,$
where $1+a = (a+b+c) + a = (c+a) + (a+b),$ etc. We are to prove that
$\displaystyle \begin{align}64\prod_{cycl}(a+b)^2 &\le 8\prod_{cycl}(a+b)\cdot\prod_{cycl}(a+b + b+c)\\ &\le\prod_{cycl}(a+b + b+c)^2, \end{align}$
which are all true, because $(x+y)(y+z)(z+x) = 8xyz$ for positive reals $x, y, z,$ as Marian Dinca has already shown.
Note: I should have noticed the shortcut
$\begin{align}1-a^2 &= (a+b+c)^2-a^2=(b+c)(2a+n+c)\\ &=(b+c)[(c+a)+(a+b)]. \end{align}$
Acknowledgment
Dorin Marghidanu has kindly posted the above problem at the CutTheKnotMath facebook page, along with his (Solution 1) and several additional solutions. Solution 2 is by Diego Alvariz; Solution 3 is by Marian Dinca; Solution 4 is by Imad Zak; Solution 5 is by Kunihiko Chikaya.
Inequalities with the Sum of Variables as a Constraint
- An Inequality for Grade 8 $\left(\displaystyle\frac{1-x_1}{1+x_1}\cdot\frac{1-x_2}{1+x_2}\cdot\ldots\cdot\frac{1-x_n}{1+x_n}\ge\frac{1}{3}\right)$
- An Inequality with Constraint $((x+1)(y+1)(z+1)\ge 4xyz)$
- An Inequality with Constraints II $\left(\displaystyle abc+\frac{2}{ab+bc+ca}=p+\frac{2}{q}\ge q-2+\frac{2}{q}\right)$
- An Inequality with Constraint V $\left(\displaystyle\prod_{k=1}^{n}x_k^{1/x_k}\le \frac{1}{n^{n^2}}\right)$
- An Inequality with Constraint VI $\left(\displaystyle\prod_{k=1}^{n}\frac{1+x_k}{x_k}\ge \prod_{k=1}^{n}\frac{n-x_k}{1-x_k}\right)$
- An Inequality with Constraint XI $(\sqrt{5a+4}+\sqrt{5b+4}+\sqrt{5c+4} \ge 7)$
- Monthly Problem 11199 $\left(\displaystyle\frac{1}{a}+\frac{1}{b}+\frac{1}{c}\ge\frac{25}{1+48abc}\right)$
- Problem 11804 from the AMM $(10|x^3 + y^3 + z^3 - 1| \le 9|x^5 + y^5 + z^5 - 1|)$
- Sladjan Stankovik's Inequality With Constraint $\left(abc+bcd+cda+dab-abcd\le\displaystyle \frac{27}{16}\right)$
- Sladjan Stankovik's Inequality With Constraint II $(a^4+b^4+c^4+d^2+4abcd\ge 8)$
- An Inequality with Constraint V $\left(\displaystyle\prod_{k=1}^{n}x_k^{1/x_k}\le \frac{1}{n^{n^2}}\right)$
- An Inequality with Constraint VI $\left(\displaystyle\prod_{k=1}^{n}\frac{1+x_k}{x_k}\ge \prod_{k=1}^{n}\frac{n-x_k}{1-x_k}\right)$
- An Inequality with Constraint XII $(abcd\ge ab+bc+cd+da+ac+bd-5)$
- An Inequality with Constraint XIII $((3a-bc)(3b-ca)(3c-ab)\le 8a^2b^2c^2)$
- Inequalities with Constraint XV and XVI $\left(\displaystyle\frac{a^2}{\sqrt{b^2+4}}+\frac{b^2}{\sqrt{c^2+4}}+\frac{c^2}{\sqrt{a^2+4}}\gt\frac{3}{5}\right)$ and $\left(\displaystyle\frac{a^2}{\sqrt{b^4+4}}+\frac{b^2}{\sqrt{c^4+4}}+\frac{c^2}{\sqrt{a^4+4}}\gt\frac{3}{5}\right)$
- An Inequality with Constraint XVII $(a^3+b^3+c^3\ge 0)$
- An Inequality with Constraint in Four Variables $\left(\displaystyle\frac{a^3}{b+c}+\frac{b^3}{c+d}+\frac{c^3}{d+a}+\frac{d^3}{a+b}\ge\frac{1}{8}\right)$
- An Inequality with Constraint in Four Variables II $(a^3+b^3+c^3+d^3 + 6abcd \ge 10)$
- An Inequality with Constraint in Four Variables III $\left(\displaystyle\small{abcd+\frac{15}{2(ab+ac+ad+bc+bd+cd)}\ge\frac{9}{a^2+b^2+c^2+d^2}}\right)$
- An Inequality with Constraint in Four Variables IV $\left(\displaystyle 27+3(abc+bcd+cda+dab)\ge\sum_{cycl}a^3+54\sqrt{abcd}\right)$
- Inequality with Constraint from Dan Sitaru's Math Phenomenon $\left(\displaystyle b+2a+20\ge 2\sum_{cycl}\frac{a^2+ab+b^2}{a+b}\ge b+2c+20\right)$
- An Inequality with a Parameter and a Constraint $\left(\displaystyle a^4+b^4+c^4+\lambda abc\le\frac{\lambda +1}{27}\right)$
- Cyclic Inequality with Square Roots And Absolute Values $\left(\displaystyle \prod_{cycl}\left(\sqrt{a-a^2}+\frac{1}{2\sqrt{2}}|3a-1|\right)\ge\frac{1}{6\sqrt{6}}\prod_{cycl}\left(\sqrt{a}+\frac{1}{\sqrt{3}}\right)\right)$
- From Six Variables to Four - It's All the Same $\left(\displaystyle \frac{5}{2}\le a^2+b^2+c^2+d^2\le 5\right)$
- Michael Rozenberg's Inequality in Three Variables with Constraints $\left(\displaystyle 4\sum_{cycl}ab(a^2+b^2)\ge\sum_{cycl}a^4+5\sum_{cycl}a^2b^2+2abc\sum_{cycl}a\right)$
- Michael Rozenberg's Inequality in Two Variables $\left(\displaystyle \sqrt{x^2+3}+\sqrt{y^2+3}+\sqrt{xy+3}\ge 6\right)$
- Dan Sitaru's Cyclic Inequality in Three Variables II $\left(\displaystyle \sum_{cycl}\sqrt{1+\frac{1}{a^2}+\frac{1}{(a+1)^2}}\geq \frac{9}{12-2(ab+bc+ca)}+3\right)$
- Dan Sitaru's Cyclic Inequality in Three Variables IV $\left(\displaystyle \sum_{cycl}\frac{(x+y)z}{\sqrt{4x^2+xy+4y^2}}\le 2\right)$
- Dan Sitaru's Cyclic Inequality in Three Variables VI $\left(\displaystyle \sum_{cycl}\left[\sqrt{a(a+2b)}+\sqrt{b(b+2a)}\,\right]\le 6\sqrt{3}\right)$
- An Inequality with Arbitrary Roots $\left(\displaystyle \sum_{cycl}\left(\sqrt[n]{a+\sqrt[n]{a}}+\sqrt[n]{a-\sqrt[n]{a}}\right)\lt 18\right)$
- Inequality 101 from the Cyclic Inequalities Marathon $\left(\displaystyle \sum_{cycl}\frac{c^5}{(a+1)(b+1)}\ge\frac{1}{144}\right)$
- Sladjan Stankovik's Inequality With Constraint II $(a^4+b^4+c^4+d^2+4abcd\ge 8)$
- An Inequality with Constraint in Four Variables $\left(\displaystyle\frac{a^3}{b+c}+\frac{b^3}{c+d}+\frac{c^3}{d+a}+\frac{d^3}{a+b}\ge\frac{1}{8}\right)$
- An Inequality with Constraint in Four Variables IV $\left(\displaystyle 27+3(abc+bcd+cda+dab)\ge\sum_{cycl}a^3+54\sqrt{abcd}\right)$
- Cyclic Inequality with Square Roots And Absolute Values $\left(\displaystyle \prod_{cycl}\left(\sqrt{a-a^2}+\frac{1}{2\sqrt{2}}|3a-1|\right)\ge\frac{1}{6\sqrt{6}}\prod_{cycl}\left(\sqrt{a}+\frac{1}{\sqrt{3}}\right)\right)$
- From Six Variables to Four - It's All the Same $\left(\displaystyle \frac{5}{2}\le a^2+b^2+c^2+d^2\le 5\right)$
- Michael Rozenberg's Inequality in Two Variables $(\displaystyle \sqrt{x^2+3}+\sqrt{y^2+3}+\sqrt{xy+3}\ge 6)$
- Dan Sitaru's Cyclic Inequality in Three Variables II $\left(\displaystyle \sum_{cycl}\sqrt{1+\frac{1}{a^2}+\frac{1}{(a+1)^2}}\geq \frac{9}{12-2(ab+bc+ca)}+3\right)$
- Dorin Marghidanu's Two-Sided Inequality $\left(\displaystyle \small{64(a+bc)(b+ca)(c+ab)}\le \small{8(1-a^2)(1-b^2)(1-c^2)}\le \small{(1+a)^2(1+b)^2(1+c^2)}\right)$
- Problem 6 from Dan Sitaru's Algebraic Phenomenon $(x\sqrt{y+1}+y\sqrt{z+1}+z\sqrt{x+1}\le 2\sqrt{3})$
- A Warmup Inequality from Vasile Cirtoaje $\left(a^4b^4+b^4c^4+c^4a^4\le 3\right)$
- An Extension of the AM-GM Inequality $\left(x_{1}x_{2} + x_{2}x_{3} + x_{3}x_{4} + \ldots + x_{99}x_{100} \le \frac{1}{4}\right)$
- An Extension of the AM-GM Inequality: A second look $\left(x_{1}x_{2} + x_{2}x_{3} + x_{3}x_{4} + \ldots + x_{n-1}x_{n} \le \frac{a^2}{4}\right)$
- Distance Inequality $\left(a^2+b^2+c^2\le\displaystyle\frac{9}{2}\right)$
- Kunihiko Chikaya's Inequality with a Constraint $\left(4a^3+9b^3+36c^3\ge 1\right)$ An Inequality with Five Variables, Only Three Cyclic $\left(\displaystyle \left(a+\frac{b}{c}\right)^4+ \left(a+\frac{b}{d}\right)^4+ \left(a+\frac{b}{e}\right)^4\ge 3(a+3b)^4\right)$
- Second Pair of Twin Inequalities: Twin 1 $\left(\displaystyle \prod_{i=1}^n\left(\frac{1}{a_i^2}-1\right)\ge (n^2-1)^n\right)$
- Second Pair of Twin Inequalities: Twin 2 $\left(\displaystyle \prod_{i=1}^n\left(\frac{1}{a_i}+1\right)\ge (n+1)^{n}\right)$
- Cyclic Inequality In Three Variables from the 2018 Romanian Olympiad, Grade 9 $\left(\displaystyle \frac{a-1}{b+1}+\frac{b-1}{c+1}+\frac{c-1}{a+1}\ge 0\right)$
- Dan Sitaru's Cyclic Inequality in Three Variables IX $\left(\displaystyle \sum_{cycl}\sqrt{(x+y+1)(y+z+1)}\le 6+\sum_{cycl}\frac{x^3+y^3}{x^2+y^2}\right)$
- Vasile Cirtoaje's Cyclic Inequality with Three Variables $\left(\displaystyle \sqrt{\frac{a}{b+c}}+\sqrt{\frac{b}{c+a}}+\sqrt{\frac{c}{a+b}}\ge 2\right)$ Leo Giugiuc and Vasile Cirtoaje's Cyclic Inequality $\left(\displaystyle \sqrt{\frac{a}{1-a}}+\sqrt{\frac{b}{1-b}}+\sqrt{\frac{c}{1-c}}+\sqrt{\frac{d}{1-d}}\ge 2\right)$
|Contact| |Up| |Front page| |Contents| |Algebra|
Copyright © 1996-2018 Alexander Bogomolny71551860