\(BDT\Leftrightarrow\left(\frac{a}{a+b}-\frac{1}{2}\right)+\left(\frac{b}{b+c}-\frac{1}{2}\right)+\left(\frac{c}{c+a}-\frac{1}{2}\right)\ge0\)
\(\Leftrightarrow\frac{a-b}{2\left(a+b\right)}+\frac{b-c}{2\left(b+c\right)}+\frac{c-a}{2\left(c+a\right)}\ge0\)
\(\Leftrightarrow\frac{a-b}{2\left(a+b\right)}+\frac{\left(b-a\right)+\left(a-c\right)}{2\left(b+c\right)}+\frac{c-a}{2\left(c+a\right)}\ge0\)
\(\Leftrightarrow\frac{1}{2}\left(a-b\right)\left(\frac{1}{a+b}-\frac{1}{b+c}\right)+\frac{1}{2}\left(a-c\right)\left(\frac{1}{b+c}-\frac{1}{c+a}\right)\ge0\)
\(\Leftrightarrow\frac{\left(c-a\right)\left(a-b\right)}{2\left(a+b\right)\left(b+c\right)}+\frac{\left(a-c\right)\left(a-b\right)}{2\left(b+c\right)\left(c+a\right)}\ge0\)
\(\Leftrightarrow\frac{\left(a-c\right)\left(a-b\right)}{2\left(b+c\right)}\left(-\frac{1}{a+b}+\frac{1}{c+a}\right)\ge0\)
\(\Leftrightarrow\frac{\left(a-c\right)\left(a-b\right)\left(b-c\right)}{2\left(a+b\right)\left(a+c\right)\left(b+c\right)}\ge0\)(luôn đúng \(\forall a\ge b\ge c>0\))
Vậy BĐT đã được chứng minh
