Question

[Lê Minh Đức]

Cho a,b,c là các số thực dương thỏa mãn \(a^2b^2+b^2c^2+c^2a^2\ge a^2b^2c^2\). Chứng minh rằng:

\(\frac{a^2b^2}{c^3\left(a^2+b^2\right)}+\frac{b^2c^2}{a^3\left(b^2+c^2\right)}+\frac{c^2a^2}{b^3\left(c^2+a^2\right)}\ge\frac{\sqrt{3}}{3}\).

Answer 1

[Akai Haruma]

Ta có \(a^2b^2+b^2c^2+c^2a^2\geq a^2b^2c^2\Leftrightarrow \frac{1}{a^2}+\frac{1}{b^2}+\frac{1}{c^2}\geq 1\)

BĐT cần chứng minh tương đương với \(\frac{\frac{1}{c^3}}{\frac{1}{a^2}+\frac{1}{b^2}}+\frac{\frac{1}{b^3}}{\frac{1}{a^2}+\frac{1}{c^2}}+\frac{\frac{1}{a^3}}{\frac{1}{b^2}+\frac{1}{c^2}}\geq \frac{\sqrt{3}}{2}\)

Đặt \((\frac{1}{a},\frac{1}{b},\frac{1}{c})=(x,y,z)\). Bài toán trở thành: 

Cho \(x,y,z>0|x^2+y^2+z^2\geq 1\). CMR \(P=\frac{x^3}{y^2+z^2}+\frac{y^3}{z^2+x^2}+\frac{z^3}{x^2+y^2}\geq \frac{\sqrt{3}}{2}\)

Lời giải:

 Áp dụng BĐT Cauchy -Schwarz:

\(P=\frac{x^4}{xy^2+xz^2}+\frac{y^4}{yz^2+yx^2}+\frac{z^4}{zx^2+zy^2}\geq \frac{(x^2+y^2+^2)^2}{x^2(y+z)+y^2(x+z)+z^2(x+y)}\) (1)

Không mất tính tổng quát, giả sử \(x\geq y\geq z\Rightarrow x^2\geq y^2\geq z^2\) 

Và \(y+z\leq z+x\leq x+y\). Khi đó, áp dụng BĐT Chebyshev: 

\(3[x^2(y+z)+y^2(x+z)+z^2(x+y)]\leq (x^2+y^2+z^2)(y+z+x+z+x+y)\)

\(\Leftrightarrow x^2(y+z)+y^2(x+z)+z^2(x+y)\leq \frac{2(x^2+y^2+z^2)(x+y+z)}{3}\)

Theo hệ quả của BĐT Am-Gm thì: \((x+y+z)^2\leq 3(x^2+y^2+z^2)\Rightarrow x+y+z\leq \sqrt{3(x^2+y^2+z^2)}\)

\(\Rightarrow x^2(y+z)+y^2(x+z)+z^2(x+y)\leq \frac{2(x^2+y^2+z^2)\sqrt{3(x^2+y^2+z^2)}}{3}\) (2)

Từ (1),(2) suy ra \(P\geq \frac{3(x^2+y^2+z^2)^2}{2(x^2+y^2+z^2)\sqrt{3(x^2+y^2+z^2)}}=\frac{\sqrt{3(x^2+y^2+z^2)}}{2}\geq \frac{\sqrt{3}}{2}\)

Ta có đpcm

Dáu bằng xảy ra khi \(x=y=z=\frac{1}{\sqrt{3}}\Leftrightarrow a=b=c=\sqrt{3}\)

Answer 2

[Kiệt Nguyễn]

Đặt \(x=\frac{1}{a};y=\frac{1}{b};z=\frac{1}{c}\)

Khi đó giả thiết được viết lại là \(x^2+y^2+z^2\ge1\)và ta cần chứng minh \(\frac{x^3}{y^2+z^2}+\frac{y^3}{z^2+x^2}+\frac{z^3}{x^2+y^2}\ge\frac{\sqrt{3}}{2}\)(*)

Áp dụng BĐT Bunhiacopxki dạng phân thức, ta được:

\(VT_{\left(^∗\right)}=\frac{x^4}{x\left(y^2+z^2\right)}+\frac{y^4}{y\left(z^2+x^2\right)}+\frac{z^4}{z\left(x^2+y^2\right)}\)\(\ge\frac{\left(x^2+y^2+z^2\right)^2}{x\left(y^2+z^2\right)+y\left(z^2+x^2\right)+z\left(x^2+y^2\right)}\)

Đến đây ta đi chứng minh \(\frac{\left(x^2+y^2+z^2\right)^2}{x\left(y^2+z^2\right)+y\left(z^2+x^2\right)+z\left(x^2+y^2\right)}\ge\frac{\sqrt{3}}{2}\)

\(\Leftrightarrow2\left(x^2+y^2+z^2\right)^2\)\(\ge\sqrt{3}\left[x\left(y^2+z^2\right)+y\left(z^2+x^2\right)+z\left(x^2+y^2\right)\right]\)

Ta có: \(x\left(y^2+z^2\right)=\frac{1}{\sqrt{2}}\sqrt{2x^2\left(y^2+z^2\right)\left(y^2+z^2\right)}\)\(\le\frac{1}{\sqrt{2}}\sqrt{\left(\frac{2x^2+y^2+z^2+y^2+z^2}{3}\right)^3}\)

\(=\frac{2\sqrt{3}}{9}\left(x^2+y^2+z^2\right)\sqrt{x^2+y^2+z^2}\)

Tương tự ta có: \(y\left(z^2+x^2\right)\le\frac{2\sqrt{3}}{9}\left(x^2+y^2+z^2\right)\sqrt{x^2+y^2+z^2}\)

\(z\left(x^2+y^2\right)\le\frac{2\sqrt{3}}{9}\left(x^2+y^2+z^2\right)\sqrt{x^2+y^2+z^2}\)

Cộng theo vế của 3 BĐT trên, ta được: 

\(\text{∑}_{cyc}\left[x\left(y^2+z^2\right)\right]\le\frac{2\sqrt{3}}{3}\left(x^2+y^2+z^2\right)\sqrt{x^2+y^2+z^2}\)

\(\Leftrightarrow\sqrt{3}\text{∑}_{cyc}\left[x\left(y^2+z^2\right)\right]\le2\left(x^2+y^2+z^2\right)\sqrt{x^2+y^2+z^2}\)

Cuối cùng ta cần chứng minh được

\(2\left(x^2+y^2+z^2\right)\sqrt{x^2+y^2+z^2}\le2\left(x^2+y^2+z^2\right)^2\)

\(\Leftrightarrow x^2+y^2+z^2\ge1\)(đúng)

Đẳng thức xảy ra khi \(x=y=z=\frac{1}{\sqrt{3}}\Rightarrow a=b=c=\sqrt{3}\)