Question

[Serena chuchoe]

Cho a,b,c là 3 số thức dương thỏa mãn a + b + c = 1/a + 1/b + 1/c . CMR

2( a + b + c) \(\ge\) \(\sqrt{a^2+3}+\sqrt{b^2+3}+\sqrt{c^2+3}\)

Giải:

Dễ thấy bđt cần cm tương đương với mỗi bđt trong dãy sau:

\(\left(2a-\sqrt{a^2+3}\right)+\left(2b-\sqrt{b^2+3}\right)+\left(2c-\sqrt{c^2+3}\right)\ge0\),

\(\dfrac{a^2-1}{2a+\sqrt{a^2+3}}+\dfrac{b^2-1}{2b+\sqrt{b^2+3}}+\dfrac{c^2-1}{2c+\sqrt{c^2+3}}\ge0\),

\(\dfrac{\dfrac{a^2-1}{a}}{2+\sqrt{1+\dfrac{3}{a^2}}}+\dfrac{\dfrac{b^2-1}{b}}{2+\sqrt{1+\dfrac{3}{b^2}}}+\dfrac{\dfrac{c^2-1}{c}}{2+\sqrt{1+\dfrac{3}{b^2}}}\ge0\)

Các bđt trên đầu mang tính đối xứng giữa các biến nên k mất tính tổng quát ta có thể giả sử \(a\ge b\ge c\)

=> \(\dfrac{a^2-1}{a}\ge\dfrac{b^2-1}{b}\ge\dfrac{c^2-1}{c}\)

và \(\dfrac{1}{2+\sqrt{1+\dfrac{3}{a^2}}}\ge\dfrac{1}{2+\sqrt{1+\dfrac{3}{b^2}}}\ge\dfrac{1}{2+\sqrt{1+\dfrac{3}{c^2}}}\)

Áp dụng bđt Chebyshev có:

\(\dfrac{\dfrac{a^2-1}{a}}{2+\sqrt{1+\dfrac{3}{a^2}}}+\dfrac{\dfrac{b^2-1}{b}}{2+\sqrt{1+\dfrac{3}{b^2}}}+\dfrac{\dfrac{c^2-1}{c}}{2+\sqrt{1+\dfrac{3}{c^2}}}\ge\dfrac{1}{3}\left(\sum\dfrac{a^2-1}{a}\right)\left(\sum\dfrac{1}{2+\sqrt{1+\dfrac{3}{a^2}}}\right)\)

Theo gia thiết lại có: \(\sum\dfrac{a^2-1}{a}=\left(a+b+c\right)-\left(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)=0\)

nên ta có thể suy ra \(\dfrac{\dfrac{a^2-1}{a}}{2+\sqrt{1+\dfrac{3}{a^2}}}+\dfrac{\dfrac{b^2-1}{b}}{2+\sqrt{1+\dfrac{3}{b^2}}}+\dfrac{\dfrac{c^2-1}{c}}{2+\sqrt{1+\dfrac{3}{c^2}}}\ge0\)

Vì vậy bđt đã cho ban đầu cũng đúng.

@Ace Legona

Answer 1

[Lightning Farron]

Nice proof, nhưng đã quy đồng là phải thế này :v

\(BDT\Leftrightarrow\left(2a-\sqrt{a^2+3}\right)+\left(2b-\sqrt{b^2+3}\right)+\left(2c-\sqrt{c^2+3}\right)\)

\(\Leftrightarrow\dfrac{a^2-1}{2a+\sqrt{a^2+3}}+\dfrac{b^2-1}{2b+\sqrt{b^2+3}}+\dfrac{c^2-1}{2c+\sqrt{c^2+3}}\ge0\)

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

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

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

\(\Leftrightarrow\dfrac{\left(a^2-1\right)^2}{a\left(2a+\sqrt{a^2+3}\right)^2}+\dfrac{\left(b^2-1\right)^2}{b\left(2b+\sqrt{b^2+3}\right)^2}+\dfrac{\left(c^2-1\right)^2}{c\left(2c+\sqrt{c^2+3}\right)^2}\ge0\) (luôn đúng)

Answer 2

[Lightning Farron]

Khi \(f\left(t\right)=\sqrt{1+t}\) là hàm lõm trên \([-1, +\infty)\) ta có:

\(f(t)\le f(3)+f'(3)(t-3)\forall t\ge -1\)

Tức là \(f\left(t\right)\le2+\dfrac{1}{4}\left(t-3\right)=\dfrac{5}{4}+\dfrac{1}{4}t\forall t\ge-1\)

Áp dụng BĐT này ta có:

\(\sqrt{a^2+3}=a\sqrt{1+\dfrac{3}{a^2}}\le a\left(\dfrac{5}{4}+\dfrac{1}{4}\cdot\dfrac{3}{a^2}\right)=\dfrac{5}{4}a+\dfrac{3}{4}\cdot\dfrac{1}{a}\)

Tương tự cho 2 BĐT còn lại ta cũng có:

\(\sqrt{b^2+3}\le\dfrac{5}{4}b+\dfrac{3}{4}\cdot\dfrac{1}{b};\sqrt{c^2+3}\le\dfrac{5}{4}c+\dfrac{3}{4}\cdot\dfrac{1}{c}\)

Cộng theo vế 3 BĐT trên ta có:

\(VP\le\dfrac{5}{4}\left(a+b+c\right)+\dfrac{3}{4}\left(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)=2\left(a+b+c\right)=VT\)