\(2\left(1+abc\right)+\sqrt{2\left(1+a^2\right)\left(1+b^2\right)\left(1+c^2\right)}\)

\(=2\left(1+abc\right)+\sqrt{\left[\left(a+1\right)^2+\left(1-a\right)^2\right]\left[\left(b+c\right)^2+\left(bc-1\right)^2\right]}\)

\(\ge2\left(1+abc\right)+\left(a+1\right)\left(b+c\right)+\left(1-a\right)\left(bc-1\right)\)

\(=\left(1+a\right)\left(1+b\right)\left(1+c\right)\)

\(2\left(1+abc\right)+\sqrt{2\left(1+a^2\right)\left(1+b^2\right)\left(1+c^2\right)}.\)

\(=2\left(1+abc\right)+\sqrt{\left[\left(a+1\right)^2+\left(1-a\right)^2\right]\left[\left(b+c\right)^2+\left(bc-1\right)^2\right]}\)

\(\ge2\left(1+abc\right)+\left(a+1\right)\left(b+c\right)+\left(1-a\right)\left(bc-1\right)\)

\(=\left(1+a\right)\left(1+b\right)\left(1+c\right)\)

Nhân tung tóe + rút gọn ta được: \(\Sigma_{cyc}a^3b^2+\Sigma_{cyc}ab^3\ge abc\left(ab+bc+ca+a+b+c\right)\)

\(\Leftrightarrow\)\(\Sigma\frac{a^2b}{c}+\Sigma\frac{a^2}{b}\ge ab+bc+ca+a+b+c\) (*) 

(*) đúng do \(\hept{\begin{cases}\frac{a^2b}{c}+bc\ge2ab\\\frac{a^2}{b}+b\ge2a\end{cases}}\Rightarrow\hept{\begin{cases}\Sigma\frac{a^2b}{c}\ge ab+bc+ca\\\Sigma\frac{a^2}{b}\ge a+b+c\end{cases}}\)

"=" \(\Leftrightarrow\)\(a=b=c\)

\(VT=\sqrt{\left(2+2a^2\right)\left(1+b^2\right)\left(1+c^2\right)}\)

\(VT=\sqrt{\left[a^2-2a+1+a^2+2a+1\right]\left[b^2+2bc+c^2+b^2c^2-2bc+1\right]}\)

\(VT=\sqrt{\left[\left(1-a\right)^2+\left(a+1\right)^2\right]\left[\left(bc-1\right)^2+\left(b+c\right)^2\right]}\)

Bunhiacopxki:

\(VT\ge\left(1-a\right)\left(bc-1\right)+\left(a+1\right)\left(b+c\right)=\left(1+a\right)\left(1+b\right)\left(1+c\right)-2\left(1+abc\right)\)

1.

BĐT cần chứng minh tương đương:

\(\left(ab-1\right)\left(bc-1\right)\left(ca-1\right)\ge\left(a^2-1\right)\left(b^2-1\right)\left(c^2-1\right)\)

Ta có:

\(\left(ab-1\right)^2=a^2b^2-2ab+1=a^2b^2-a^2-b^2+1+a^2+b^2-2ab\)

\(=\left(a^2-1\right)\left(b^2-1\right)+\left(a-b\right)^2\ge\left(a^2-1\right)\left(b^2-1\right)\)

Tương tự: \(\left(bc-1\right)^2\ge\left(b^2-1\right)\left(c^2-1\right)\)

\(\left(ca-1\right)^2\ge\left(c^2-1\right)\left(a^2-1\right)\)

Do \(a;b;c\ge1\)  nên 2 vế của các BĐT trên đều không âm, nhân vế với vế:

\(\left[\left(ab-1\right)\left(bc-1\right)\left(ca-1\right)\right]^2\ge\left[\left(a^2-1\right)\left(b^2-1\right)\left(c^2-1\right)\right]^2\)

\(\Rightarrow\left(ab-1\right)\left(bc-1\right)\left(ca-1\right)\ge\left(a^2-1\right)\left(b^2-1\right)\left(c^2-1\right)\) (đpcm)

Dấu "=" xảy ra khi \(a=b=c\)

Câu 2 em kiểm tra lại đề có chính xác chưa

2.

Câu 2 đề thế này cũng làm được nhưng khá xấu, mình nghĩ là không thể chứng minh bằng Cauchy-Schwaz được, phải chứng minh bằng SOS

Không mất tính tổng quát, giả sử \(c=max\left\{a;b;c\right\}\)

\(\Rightarrow\left(c-a\right)\left(c-b\right)\ge0\) (1)

BĐT cần chứng minh tương đương:

\(\dfrac{1}{a}-\dfrac{a+b}{bc+a^2}+\dfrac{1}{b}-\dfrac{b+c}{ac+b^2}+\dfrac{1}{c}-\dfrac{c+a}{ab+c^2}\ge0\)

\(\Leftrightarrow\dfrac{b\left(c-a\right)}{a^3+abc}+\dfrac{c\left(a-b\right)}{b^3+abc}+\dfrac{a\left(b-c\right)}{c^3+abc}\ge0\)

\(\Leftrightarrow\dfrac{c\left(b-a\right)+a\left(c-b\right)}{a^3+abc}+\dfrac{c\left(a-b\right)}{b^3+abc}+\dfrac{a\left(b-c\right)}{c^3+abc}\ge0\)

\(\Leftrightarrow c\left(b-a\right)\left(\dfrac{1}{a^3+abc}-\dfrac{1}{b^3+abc}\right)+a\left(c-b\right)\left(\dfrac{1}{a^3+abc}-\dfrac{1}{c^3+abc}\right)\ge0\)

\(\Leftrightarrow\dfrac{c\left(b-a\right)\left(b^3-a^3\right)}{\left(a^3+abc\right)\left(b^3+abc\right)}+\dfrac{a\left(c-b\right)\left(c^3-a^3\right)}{\left(a^3+abc\right)\left(c^3+abc\right)}\ge0\)

\(\Leftrightarrow\dfrac{c\left(b-a\right)^2\left(a^2+ab+b^2\right)}{\left(a^3+abc\right)\left(b^3+abc\right)}+\dfrac{a\left(c-b\right)\left(c-a\right)\left(a^2+ac+c^2\right)}{\left(a^3+abc\right)\left(c^3+abc\right)}\ge0\)

Đúng theo (1)

Dấu "=" xảy ra khi \(a=b=c\)

\(\dfrac{a^3}{\left(b+1\right)\left(c+2\right)}+\dfrac{b+1}{12}+\dfrac{c+2}{18}\ge3\sqrt[3]{\dfrac{a^3\left(b+1\right)\left(c+2\right)}{216\left(b+1\right)\left(c+2\right)}}=\dfrac{a}{2}\)

Tương tự: \(\dfrac{b^3}{\left(c+1\right)\left(a+2\right)}+\dfrac{c+1}{12}+\dfrac{a+2}{18}\ge\dfrac{b}{2}\)

\(\dfrac{c^3}{\left(a+1\right)\left(b+2\right)}+\dfrac{a+1}{12}+\dfrac{b+2}{18}\ge\dfrac{c}{2}\)

Cộng vế:

\(VT+\dfrac{5}{36}\left(a+b+c\right)+\dfrac{7}{12}\ge\dfrac{1}{2}\left(a+b+c\right)\)

\(\Rightarrow VT\ge\dfrac{13}{36}\left(a+b+c\right)-\dfrac{7}{12}\ge\dfrac{13}{36}.3\sqrt[3]{abc}-\dfrac{7}{12}=\dfrac{1}{2}\) (đpcm)

Bài 1 : Áp dụng BĐT trong tam giác ta có :

\(\left\{{}\begin{matrix}a< b+c\\b< c+a\\c< a+b\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}a^2-\left(b-c\right)^2\le a^2\\b^2-\left(c-a\right)^2\le b^2\\c^2-\left(a-b\right)^2\le c^2\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}\left(a+b-c\right)\left(a-b+c\right)\le a^2\\\left(b-c+a\right)\left(b+c-a\right)\le b^2\\\left(c-a+b\right)\left(c+a-b\right)\le c^2\end{matrix}\right.\)

Nhân từng vế BĐT ta được :

\(\left(a+b-c\right)\left(a-b+c\right)\left(-a+b+c\right)\le abc\) ( đpcm )

Bài 2 : Theo BĐT Cô - si ta có :

\(\left\{{}\begin{matrix}a+b\ge2\sqrt{ab}\\b+c\ge2\sqrt{bc}\\c+a\ge2\sqrt{ca}\end{matrix}\right.\)

\(\Rightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge8abc\)

\(\Rightarrow\dfrac{1}{8}\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge abc\) (1)

Theo câu 1 ta lại có :

\(abc\ge\left(a+b-c\right)\left(a-b+c\right)\left(-a+b+c\right)\)

\(\Leftrightarrow abc\ge\sqrt{abc\left(a+b-c\right)\left(a-b+c\right)\left(-a+b+c\right)}\) (2)

Từ (1) và (2) \(\Rightarrow\dfrac{1}{8}\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\sqrt{abc\left(a+b-c\right)\left(a-b+c\right)\left(-a+b+c\right)}\)

@Akai Haruma

1) Ta có: (a + b - c)(a - b + c) ≤ \(\dfrac{1}{4}\)(a + b - c + a - b + c)² = \(\dfrac{1}{4}\)(2a)² = a²

cmtt rồi nhân theo vế: a²b²c² ≥ (a + b - c)²(a - b + c)²(- a + b + c)²

=> đpcm