Bài 176

| 2 cách giải | Unknow | Độ khó: 3 | Loại: Tự luận | Lượt xem: 1095

BẢN IN

Cho các số dương \(x, y, z\) thỏa mãn \(x+y+z=1\). Chứng minh rằng

\[\frac{x}{x+\sqrt{x+y z}}+\frac{y}{y+\sqrt{y+z x}}+\frac{z}{z+\sqrt{z+x y}} \leq 1\]

Cách giải 1

Trước hết, sử dụng giả thiết và bất đẳng thức Cauchy - Schwarz, ta có

\[\sqrt{x+y z}=\sqrt{x(x+y+z)+y z}=\sqrt{(x+y)(x+z)} \geq x+\sqrt{y z}\]

Do vậy

\[\frac{x}{x+\sqrt{x+y z}} \leq \frac{x}{2 x+\sqrt{y z}}\]

Đến đây ta thiết lập thêm hai đánh giá tương tự để suy ra

\[\frac{x}{x+\sqrt{x+y z}}+\frac{y}{y+\sqrt{y+z x}}+\frac{z}{z+\sqrt{z+x y}} \leq \frac{x}{2 x+\sqrt{y z}}+\frac{y}{2 y+\sqrt{z x}}+\frac{z}{2 z+\sqrt{x y}}\]

Do vậy, để kết thúc chứng minh, ta cần chỉ ra rằng

\[\frac{x}{2 x+\sqrt{y z}}+\frac{y}{2 y+\sqrt{z x}}+\frac{z}{2 z+\sqrt{x y}} \leq 1\]

Đặt \(a=\sqrt{x}, b=\sqrt{y}\) và \(c=\sqrt{z}\), khi đó ta đưa bài toán về việc chứng minh

\[\frac{a^{2}}{2 a^{2}+b c}+\frac{b^{2}}{2 b^{2}+c a}+\frac{c^{2}}{2 c^{2}+a b} \leq 1\]

Bất đẳng thức này tương đương với dãy sau

\[(\frac{1}{2}-\frac{a^{2}}{2 a^{2}+b c})+(\frac{1}{2}-\frac{b^{2}}{2 b^{2}+c a})+(\frac{1}{2}-\frac{c^{2}}{2 c^{2}+a b}) \geq \frac{3}{2}-1 \frac{b c}{2 a^{2}+b c}+\frac{c a}{2 b^{2}+c a}+\frac{a b}{2 c^{2}+a b} \geq 1\]

Đây là một đánh giá đúng vì theo bất đẳng thức Cauchy - Schwarz

\[\begin{aligned}\frac{b c}{2 a^{2}+b c}+\frac{c a}{2 b^{2}+c a}+\frac{a b}{2 c^{2}+a b} & =\frac{b^{2} c^{2}}{2 a^{2} b c+b^{2} c^{2}}+\frac{c^{2} a^{2}}{2 b^{2} c a+c^{2} a^{2}}+\frac{a^{2} b^{2}}{2 c^{2} a b+a^{2} b^{2}} \\& \geq \frac{(a b+b c+c a)^{2}}{a^{2} b^{2}+b^{2} c^{2}+c^{2} a^{2}+2 a b c(a+b+c)}=1\end{aligned}\]

Đẳng thức xảy ra khi và chỉ khi \(x=y=z=\frac{1}{3}\).

Bài toán được chứng minh xong.

Cách giải 2

Áp dụng bất đẳng thức Cauchy-Schwarz tương tự như trên nhưng bắt cặp khác

\[x+\sqrt{x+y z}=x+\sqrt{x(x+y+z)+y z}=x+\sqrt{(x+z)(x+y)} \geq x+\sqrt{x y}+\sqrt{x z}\]

Từ đó ta có:

\[\frac{x}{x+\sqrt{x+y z}} \leq \frac{x}{x+\sqrt{x y}+\sqrt{x z}}=\frac{\sqrt{x}}{\sqrt{x}+\sqrt{y}+\sqrt{z}}\]

Làm tương tự và cộng các bất đẳng thức lại ta được điều phải chứng minh.

Bài toán được chứng minh xong.