Lời giải:

Đặt \(\left\{\begin{matrix} a+b-c=x\\ b+c-a=y\\ c+a-b=z\end{matrix}\right.\Rightarrow \left\{\begin{matrix} b=\frac{x+y}{2}\\ c=\frac{y+z}{2}\\ a=\frac{x+z}{2}\end{matrix}\right.\) \((x,y,z>0\) do $a,b,c$ là ba cạnh tam giác ).

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

\(\frac{1}{x^2}+\frac{1}{y^2}+\frac{1}{z^2}\geq \frac{4}{(x+y)^2}+\frac{4}{(y+z)^2}+\frac{4}{(z+x)^2}\)

Áp dụng BĐT Cauchy:

\(\frac{1}{x^2}+\frac{1}{y^2}\geq \frac{2}{xy}\)

\(\Rightarrow 2\left(\frac{1}{x^2}+\frac{1}{y^2}\right)\geq \left(\frac{1}{x}+\frac{1}{y}\right)^2\)

Theo BĐT S.Vacso: \(\frac{1}{x}+\frac{1}{y}\geq \frac{4}{x+y}\Rightarrow 2\left(\frac{1}{x^2}+\frac{1}{y^2}\right)\geq \frac{16}{(x+y)^2}(*)\)

Hoàn toàn tương tự:

\(2\left(\frac{1}{y^2}+\frac{1}{z^2}\right)\geq \frac{16}{(y+z)^2}; 2\left(\frac{1}{z^2}+\frac{1}{x^2}\right)\geq \frac{16}{(z+x)^2}(**)\)

Cộng theo vế \((*); (**)\) và rút gọn suy ra:

\(\frac{1}{x^2}+\frac{1}{y^2}+\frac{1}{z^2}\geq \frac{4}{(x+y)^2}+\frac{4}{(y+z)^2}+\frac{4}{(z+x)^2}\)

Ta có đpcm

Dấu bằng xảy ra khi $x=y=z$ hay $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)

Nhìn qua đã biết là đề sai rồi bạn

Cho \(a,b,c\) các giá trị lớn ví dụ \(a=b=c=2\) là thấy sai ngay

Để chứng minh bất đẳng thức (a^2 + b^2 + c^2)[(a-b)^2 + (b-c)^2 + (c-a)^2] ≥ 9/2, ta sẽ sử dụng phương pháp chứng minh bất đẳng thức bằng phương pháp chứng minh định lý hình học.

Giả sử a, b, c là các số thực và (a, b, c) không phải là (0, 0, 0). Ta có thể viết lại bất đẳng thức trên dưới dạng:

(a^2 + b^2 + c^2)[(a-b)^2 + (b-c)^2 + (c-a)^2] - 9/2 ≥ 0

Mở rộng và rút gọn biểu thức ta có:

2a^4 + 2b^4 + 2c^4 + 4a^2b^2 + 4b^2c^2 + 4c^2a^2 - 2a^3b - 2ab^3 - 2b^3c - 2bc^3 - 2c^3a - 2ca^3 - 9/2 ≥ 0

Đặt x = a^2, y = b^2, z = c^2, ta có:

2x^2 + 2y^2 + 2z^2 + 4xy + 4yz + 4zx - 2x^(3/2)√y - 2x√y^(3/2) - 2y^(3/2)√z - 2yz^(3/2) - 2z^(3/2)√x - 2zx^(3/2) - 9/2 ≥ 0

Đặt t = √x, u = √y, v = √z, ta có:

2t^4 + 2u^4 + 2v^4 + 4t^2u^2 + 4u^2v^2 + 4v^2t^2 - 2t^3u - 2tu^3 - 2u^3v - 2uv^3 - 2v^3t - 2vt^3 - 9/2 ≥ 0

Nhận thấy rằng biểu thức trên có thể viết dưới dạng tổng của các bình phương:

(t^2 + u^2 + v^2 - tu - uv - vt)^2 + (t^2 - u^2)^2 + (u^2 - v^2)^2 + (v^2 - t^2)^2 ≥ 0

Vì mọi số thực bình phương đều không âm, nên bất đẳng thức trên luôn đúng. Từ đó, ta có chứng minh rằng (a^2 + b^2 + c^2)[(a-b)^2 + (b-c)^2 + (c-a)^2] ≥ 9/2.

Đặt \(x=\dfrac{1}{a},y=\dfrac{1}{b},z=\dfrac{1}{c}\) khi đó thu được \(xyz=1\)

Ta có:

\(\dfrac{1}{a^2\left(b+c\right)}=\dfrac{x^2}{\dfrac{1}{y}+\dfrac{1}{z}}=\dfrac{x^2yz}{y+z}=\dfrac{x}{y+z}\)

BĐT cần chứng minh được viết lại thành:\(\dfrac{x}{y+z}+\dfrac{y}{z+x}+\dfrac{z}{x+y}\ge\dfrac{3}{2}\)

\(\Leftrightarrow\left(\dfrac{x}{y+z}+1\right)+\left(\dfrac{y}{z+x}+1\right)+\left(\dfrac{z}{x+y}+1\right)\ge\dfrac{9}{2}\)

\(\Leftrightarrow\left(x+y+z\right)\left(\dfrac{1}{y+z}+\dfrac{1}{z+x}+\dfrac{1}{x+y}\right)\ge\dfrac{9}{2}\)

Đánh giá cuối cùng đúng theo BĐT Cauchy

Vậy BĐT được chứng minh. Đẳng thức xảy ra khi và chỉ khi  a = b = c = 1.

Cảm ơn bạn nhé!

Hình như sai đề =)))

vế phải bình phương hầy

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\)

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

\(\Leftrightarrow\frac{abc}{a^2\left(b+c\right)}+\frac{abc}{b^2\left(c+a\right)}+\frac{abc}{c^2\left(a+b\right)}\ge\frac{3}{2}\)( GT abc = 1 )

\(\Leftrightarrow\frac{bc}{ab+ac}+\frac{ac}{ab+ac}+\frac{ab}{ac+bc}\ge\frac{3}{2}\). Đặt \(\hept{\begin{cases}ab=x\\bc=y\\ac=z\end{cases}\left(x,y,z>0\right)}\)ta được bất đẳng thức Nesbitt quen thuộc :

\(\frac{x}{y+z}+\frac{y}{x+z}+\frac{z}{x+y}\ge\frac{3}{2}\)( em không chứng minh )

Vậy ta có đpcm

Đẳng thức xảy ra <=> x = y = z <=> a = b = c = 1

Do giả thiết  $abc=1$ nên

            $\genfrac{}{}{0ex}{}{1}{a^2\left(b+c\right)}=\genfrac{}{}{0ex}{}{bc}{a^{2}bc\left(b+c\right)}=\genfrac{}{}{0ex}{}{bc}{a\left(b+c\right)}=\genfrac{}{}{0ex}{}{bc}{ab+ac}$

Đặt       $x=bc,y=ca,z=ab$ thì $x,y,z>0$ và bất đẳng thức cần chứng minh trở thành bất đẳng thức quen thuộc 

      $\genfrac{}{}{0ex}{}{x}{y+z}+\genfrac{}{}{0ex}{}{y}{z+x}+\genfrac{}{}{0ex}{}{z}{x+y}\ge \genfrac{}{}{0ex}{}{3}{2}$.