cho a,b,c là các số thực dương thoả mãn \(a+b+c=3\)
Chứng minh rằng:
\(\sqrt{\dfrac{a+b}{c+ab}}+\sqrt{\dfrac{b+c}{a+bc}}+\sqrt{\dfrac{c+a}{b+ca}}\ge3\)
Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
\(VT=\sqrt{\dfrac{a^2b^2}{c\left(a+b+c\right)+ab}}+\sqrt{\dfrac{b^2c^2}{a\left(a+b+c\right)+bc}}+\sqrt{\dfrac{a^2c^2}{b\left(a+b+c\right)+ac}}\\ VT=\sqrt{\dfrac{a^2b^2}{ac+ab+bc+c^2}}+\sqrt{\dfrac{b^2c^2}{a^2+ac+ab+bc}}+\sqrt{\dfrac{a^2c^2}{ab+bc+b^2+ac}}\\ VT=\sqrt{\dfrac{a^2b^2}{\left(c+a\right)\left(b+c\right)}}+\sqrt{\dfrac{a^2c^2}{\left(b+c\right)\left(a+b\right)}}+\sqrt{\dfrac{b^2c^2}{\left(a+b\right)\left(a+c\right)}}\)
Áp dụng BĐT Cauchy-Schwarz:
\(\Leftrightarrow\left\{{}\begin{matrix}\sqrt{\dfrac{b^2c^2}{\left(a+b\right)\left(a+c\right)}}\le\dfrac{\dfrac{bc}{a+b}+\dfrac{bc}{a+c}}{2}\\\sqrt{\dfrac{a^2c^2}{\left(a+b\right)\left(b+c\right)}}\le\dfrac{\dfrac{ca}{a+b}+\dfrac{ca}{b+c}}{2}\\\sqrt{\dfrac{a^2b^2}{\left(b+c\right)\left(a+c\right)}}\le\dfrac{\dfrac{ab}{b+c}+\dfrac{ab}{a+c}}{2}\end{matrix}\right.\)
\(\Rightarrow VT\le\dfrac{\left(\dfrac{bc}{a+b}+\dfrac{ca}{a+b}\right)+\left(\dfrac{ca}{b+c}+\dfrac{ab}{b+c}\right)+\left(\dfrac{bc}{a+c}+\dfrac{ab}{a+c}\right)}{2}\\ \Rightarrow VT\le\dfrac{a+b+c}{2}=\dfrac{2}{2}=1\)
Dấu \("="\Leftrightarrow a=b=c=\dfrac{2}{3}\)
\(\sum_{sym}\sqrt{\dfrac{a^4+b^4}{1+ab}}=\sum_{sym}\sqrt{\dfrac{2\left(a^4+b^4\right)}{2+2ab}}>=\sum_{cyc}\dfrac{a^2}{\sqrt{2+2ab}}+\sum_{cyc}\dfrac{b^2}{\sqrt{2+2ab}}\)
\(\sum_{cyc}\dfrac{a^2}{\sqrt{2+2ab}}>=\dfrac{2\left(a+b+c\right)^2}{\sum2\sqrt{2+2ab}}>=\dfrac{3}{2}\)
\(\sum_{cyc}\dfrac{b^2}{\sqrt{2+2ab}}>=\dfrac{3}{2}\)
Cộng các BĐT trên, ta được ĐPCM
Ta có:
\(\Sigma_{sym}\sqrt{\dfrac{a^4+b^4}{1+ab}}=\Sigma_{sym}\sqrt{\dfrac{2\left(a^4+b^4\right)}{2+2ab}}\ge\Sigma_{cyc}\dfrac{a^2}{\sqrt{2+2ab}}+\Sigma_{cyc}\dfrac{b^2}{\sqrt{2+2ab}}\)
Sử dụng BĐT Cauchy - Schwarz và AM - GM có:
\(\Sigma_{cyc}\dfrac{a^2}{\sqrt{2+2ab}}\ge\dfrac{2\left(a+b+c\right)^2}{\Sigma2\sqrt{2+2ab}}\ge\dfrac{2\left(a+b+c\right)^2}{ab+bc+ca+9}\ge\dfrac{3}{2}\)
Tương tự: \(\Sigma_{cyc}\dfrac{b^2}{\sqrt{2+2ab}}\ge\dfrac{3}{2}\)
Cộng 2 BĐT ta được:
\(\sqrt{\dfrac{a^4+b^4}{1+ab}}+\sqrt{\dfrac{b^4+c^4}{1+bc}}+\sqrt{\dfrac{c^4+a^4}{1+ca}}\ge3\)
Đẳng thức xảy ra khi và chỉ khi a = b = c = 1.
Bất đẳng thức cần chứng minh tương đương với:
\(\dfrac{a}{a+3\sqrt{bc}}+\dfrac{b}{b+3\sqrt{ca}}+\dfrac{c}{c+3\sqrt{ab}}\)
Ta áp dụng bất đẳng thức Cô si dạng \(2\sqrt{xy}\le x+y\) cho các căn thức ở mẫu, khi đó ta được:
\(\dfrac{a}{a+3\sqrt{bc}}+\dfrac{b}{b+3\sqrt{ca}}+\dfrac{c}{c+3\sqrt{ab}}\ge\) với biểu thức
\(\dfrac{2a}{2a+3b+3c}+\dfrac{2b}{3a+2b+3c}+\dfrac{2c}{3a+3b+2c}\)
Khi đó ta cần chứng minh:
\(\dfrac{2a}{2a+3b+3c}+\dfrac{2b}{3a+2b+3c}+\dfrac{2c}{3a+3b+2c}\ge\dfrac{3}{4}\)
Đặt: \(\left\{{}\begin{matrix}x=2a+3b+3c\\y=3a+2b+3c\\z=3a+3b+2c\end{matrix}\right.\Rightarrow\left\{{}\begin{matrix}2a=\dfrac{1}{4}\left(3y+3z-5x\right)\\2b=\dfrac{1}{4}\left(3z+3x-5y\right)\\2c=\dfrac{1}{4}\left(3x+3y-5z\right)\end{matrix}\right.\)
Khi đó đẳng thức trên được viết lại thành:
\(\dfrac{3y+3z-5x}{4x}+\dfrac{3z+3x-5y}{4y}+\dfrac{3x+3y-5z}{4z}\ge\dfrac{3}{4}\)
Hay: \(3\left(\dfrac{x}{y}+\dfrac{y}{x}+\dfrac{y}{z}+\dfrac{z}{y}+\dfrac{x}{z}+\dfrac{z}{x}\right)-15\ge3\)
Bất đẳng thức cuối cùng luôn đúng theo bất đẳng thức Cô si.
Vậy bất đẳng thức được chứng minh. Đẳng thức xảy ra khi và chỉ khi \(a=b=c\)
Đặt \(x=\sqrt{a};y=\sqrt{b};z=\sqrt{c}\)
Khi đó bđt đã tro chở thành:
\(\dfrac{yz}{x^2+3yz}+\dfrac{zx}{y^2+3zx}+\dfrac{xy}{z^2+3xy}\le\dfrac{3}{4}\)
\(\Leftrightarrow\dfrac{1}{3}-\dfrac{yz}{x^2+3yz}+\dfrac{1}{3}-\dfrac{zx}{y^2+3zx}+\dfrac{1}{3}-\dfrac{xy}{z^2+3xy}\ge1-\dfrac{3}{4}\)
\(\Leftrightarrow\dfrac{x^2}{x^2+3yz}+\dfrac{y^2}{y^2+3zx}+\dfrac{z^2}{z^2+3xy}\ge\dfrac{3}{4}\) (đpcm)
Lời giải:
Đổi \((\sqrt{a}, \sqrt{b}, \sqrt{c})=(x,y,z)\) thì bài toán trở thành
Cho $x,y,z$ thực dương phân biệt tm: $\frac{xy+1}{x}=\frac{yz+1}{y}=\frac{xz+1}{z}$
CMR: $xyz=1$
-----------------------------
Có:
$\frac{xy+1}{x}=\frac{yz+1}{y}=\frac{xz+1}{z}$
$\Leftrightarrow y+\frac{1}{x}=z+\frac{1}{y}=x+\frac{1}{z}$
\(\Rightarrow \left\{\begin{matrix} y-z=\frac{x-y}{xy}\\ z-x=\frac{y-z}{yz}\\ x-y=\frac{z-x}{xz}\end{matrix}\right.\)
\(\Rightarrow (y-z)(z-x)(x-y)=\frac{(x-y)(y-z)(z-x)}{x^2y^2z^2}\)
Mà $x,y,z$ đôi một phân biệt nên $(x-y)(y-z)(z-x)\neq 0$
$\Rightarrow 1=\frac{1}{x^2y^2z^2}$
$\Rightarrow x^2y^2z^2=1$
$\Rightarrow xyz=1$ (do $xyz>0$)
Ta có đpcm.
Áp dụng bất đẳng thức Cauchy
\(\Rightarrow VT\ge3\sqrt[6]{\dfrac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{\left(c+ab\right)\left(a+bc\right)\left(b+ac\right)}}\)
Chứng minh \(3\sqrt[6]{\dfrac{\left(a+b\right)\left(b+c\right)\left(c+a\right)}{\left(c+ab\right)\left(a+bc\right)\left(b+ac\right)}}\ge3\)
\(\Leftrightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge\left(c+ab\right)\left(a+bc\right)\left(b+ac\right)\)
Áp dụng bất đẳng thức Cauchy
\(\Rightarrow\left(c+ab\right)\left(a+bc\right)\le\dfrac{\left(c+a+ab+bc\right)^2}{4}=\dfrac{\left[b\left(a+c\right)+c+a\right]^2}{4}=\dfrac{\left(b+1\right)^2\left(c+a\right)^2}{4}\)
Thiết lập tương tự và thu lại ta có
\(\Rightarrow\left(c+ab\right)^2\left(a+bc\right)^2\left(b+ac\right)^2\le\dfrac{\left(a+b\right)^2\left(b+c\right)^2\left(c+a\right)^2\left(b+1\right)^2\left(a+1\right)^2\left(c+1\right)^2}{64}\)
\(\Rightarrow64\left(c+ab\right)^2\left(a+bc\right)^2\left(b+ac\right)^2\le\left(a+b\right)^2\left(b+c\right)^2\left(c+a\right)^2\left(b+1\right)^2\left(c+1\right)^2\left(a+1\right)^2\)
\(\Leftrightarrow8\left(c+ab\right)\left(a+bc\right)\left(b+ac\right)\le\left(a+b\right)\left(b+c\right)\left(c+a\right)\left(b+1\right)\left(c+1\right)\left(a+1\right)\)
Cần chứng minh rằng \(\left(a+1\right)\left(b+1\right)\left(c+1\right)\le8\)
Áp dụng bất đẳng thức Cauchy \(\left(a+1\right)\left(b+1\right)\left(c+1\right)\le\left(\dfrac{3+3}{3}\right)^3=8\left(đpcm\right)\)
\(\Rightarrowđpcm\)