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.
Áp dụng Bất đẳng thức Cauchy Schwarz dạng Engel ta có :
\(\frac{a^2}{a+2b}+\frac{b^2}{b+2a}\ge\frac{\left(a+b\right)^2}{a+2b+b+2a}=\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)
\(2\left(\frac{a^2}{2a+b}+\frac{b^2}{2b+a}\right)\ge2\left(\frac{\left(a+b\right)^2}{2a+b+2b+a}\right)=2.\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)
Cộng theo vế các bất đẳng thức cùng chiều ta được :
\(\left(\frac{a^2}{a+2b}+\frac{b^2}{b+2a}\right)+2\left(\frac{a^2}{2a+b}+\frac{b^2}{2b+a}\right)\ge\frac{\left(a+b\right)^2}{3\left(a+b\right)}+2.\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)
Vậy ta có ngay điều phải chứng minh
Bài này không đúng nhé. Với a = b = c = 1 thì bất đẳng thức sai. Tuy nhiên bài này đúng theo chiều ngược lại.
Ta sẽ chứng minh bất đẳng thức phụ sau đây \(x^2+y^2+z^2\ge xy+yz+zx\)
\(< =>2\left(x^2+y^2+z^2\right)\ge2\left(xy+yz+zx\right)\)
\(< =>2x^2+2y^2+2z^2-2xy-2yz-2zx\ge0\)
\(< =>\left(x-y\right)^2+\left(y-z\right)^2+\left(z-x\right)^2\ge0\)*đúng*
Đặt \(\left\{2a+2b-c;2b+2c-a;2c+2a-b\right\}\rightarrow\left\{x;y;z\right\}\)
Vì a,b,c là ba cạnh của 1 tam giác nên x,y,z dương
Ta có : \(x^2+y^2+z^2=9\left(a^2+b^2+c^2\right)\)
\(x+y=c+a+4b\); \(y+z=a+b+4c\); \(z+x=b+c+4a\)
Bất đẳng thức cần chứng minh quy về : \(\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}\ge\frac{x^2+y^2+z^2}{2}\)
Áp dụng bất đẳng thức AM-GM ta có :
\(\frac{x^3}{y+z}+\frac{x\left(y+z\right)}{4}\ge2\sqrt{\frac{x^3.x\left(y+z\right)}{\left(y+z\right)4}}=2\sqrt{\frac{x^4}{4}}=2\frac{x^2}{2}=x^2\)
\(\frac{y^3}{x+z}+\frac{y\left(x+z\right)}{4}\ge2\sqrt{\frac{y^3.y\left(x+z\right)}{\left(x+z\right)4}}=2\sqrt{\frac{y^4}{4}}=2\frac{y^2}{2}=y^2\)
\(\frac{z^3}{x+y}+\frac{z\left(x+y\right)}{4}\ge2\sqrt{\frac{z^3.z\left(x+y\right)}{\left(x+y\right)4}}=2\sqrt{\frac{z^4}{4}}=2\frac{z^2}{2}=z^2\)
Cộng theo vế các bất đẳng thức cùng chiều ta được :
\(\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}+\frac{x\left(y+z\right)}{4}+\frac{y\left(x+z\right)}{4}+\frac{z\left(x+y\right)}{4}\ge x^2+y^2+z^2\)
\(< =>\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}+\frac{xy+yz+zx+xy+yz+zx}{4}\ge x^2+y^2+z^2\)
\(< =>\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}+\frac{xy+yz+zx}{2}\ge x^2+y^2+z^2\)
\(< =>\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{x+y}\ge x^2+y^2+z^2-\frac{xy+yz+zx}{2}\)
Sử dụng bất đẳng thức phụ \(x^2+y^2+z^2\ge xy+yz+zx\)khi đó ta được :
\(\frac{x^3}{y+z}+\frac{y^3}{x+z}+\frac{z^3}{y+x}\ge x^2+y^2+z^2-\frac{x^2+y^2+z^2}{2}\)
\(< =>\frac{x^3}{y+z}+\frac{y^3}{z+x}+\frac{z^3}{x+y}\ge\frac{x^2+y^2+z^2}{2}\left(đpcm\right)\)
Đẳng thức xảy ra khi và chỉ khi \(x=y=z< =>a=b=c\)
Vậy ta có điều phải chứng minh
Bài 3)
BĐT cần chứng minh tương đương với:
\(\left ( \frac{a}{a+b} \right )^2+\left ( \frac{b}{b+c} \right )^2+\left ( \frac{c}{c+a} \right )^2\geq \frac{1}{2}\left ( 3-\frac{a}{a+b}-\frac{b}{b+c}-\frac{c}{c+a} \right )\)
Để cho gọn, đặt \((x,y,z)=\left (\frac{b}{a},\frac{c}{b},\frac{a}{c}\right)\) \(\Rightarrow xyz=1\).
BĐT được viết lại như sau:
\(A=2\left [ \frac{1}{(x+1)^2}+\frac{1}{(y+1)^2}+\frac{1}{(z+1)^2} \right ]+\frac{1}{x+1}+\frac{1}{y+1}+\frac{1}{z+1}\geq 3\) \((\star)\)
Ta nhớ đến hai bổ đề khá quen thuộc sau:
Bổ đề 1: Với \(a,b>0\) thì \(\frac{1}{(a+1)^2}+\frac{1}{(b+1)^2}\geq \frac{1}{ab+1}\)
Cách CM rất đơn giản, Cauchy - Schwarz:
\((a+1)^2\leq (a+b)(a+\frac{1}{b})\Rightarrow \frac{1}{(a+1)^2}\geq \frac{b}{(a+b)(ab+1)}\)
Tương tự với biểu thức còn lại và cộng vào thu được đpcm
Bổ đề 2: Với \(x,y>0,xy\geq 1\) thì \(\frac{1}{x^2+1}+\frac{1}{y^2+1}\geq \frac{2}{xy+1}\)
Cách CM: Quy đồng ta có đpcm.
Do tính hoán vị nên không mất tổng quát giả sử \(z=\min (x,y,z)\)
\(\Rightarrow xy\geq 1\). Áp dụng hai bổ đề trên:
\(A\geq 2\left [ \frac{1}{xy+1}+\frac{1}{(z+1)^2} \right ]+\frac{2}{\sqrt{xy}+1}+\frac{1}{z+1}=2\left [ \frac{z}{z+1}+\frac{1}{(z+1)^2} \right ]+\frac{2\sqrt{z}}{\sqrt{z}+1}+\frac{1}{z+1}\)
\(\Leftrightarrow A\geq \frac{2(z^2+z+1)}{(z+1)^2}+\frac{1}{z+1}+2-\frac{2}{\sqrt{z}+1}\geq 3\)
\(\Leftrightarrow 2\left [ \frac{z^2+z+1}{(z+1)^2}-\frac{3}{4} \right ]+\frac{1}{z+1}-\frac{1}{2}-\left ( \frac{2}{\sqrt{z}+1}-1 \right )\geq 0\)
\(\Leftrightarrow \frac{(z-1)^2}{2(z+1)^2}-\frac{z-1}{2(z+1)}+\frac{z-1}{(\sqrt{z}+1)^2}\geq 0\Leftrightarrow (z-1)\left [ \frac{1}{(\sqrt{z}+1)^2}-\frac{1}{(z+1)^2} \right ]\geq 0\)
\(\Leftrightarrow \frac{\sqrt{z}(\sqrt{z}-1)^2(\sqrt{z}+1)(z+\sqrt{z}+2)}{(\sqrt{z}+1)^2(z+1)^2}\geq 0\) ( luôn đúng với mọi \(z>0\) )
Do đó \((\star)\) được cm. Bài toán hoàn tất.
Dấu bằng xảy ra khi \(a=b=c\)
P/s: Nghỉ tuyển lâu rồi giờ mới gặp mấy bài BĐT phải động não. Khuya rồi nên xin phép làm bài 3 trước. Hai bài kia xin khiếu. Nếu làm đc chắc tối mai sẽ post.
Bài 1:
Cho \(a=b=c=\dfrac{1}{\sqrt{3}}\). Khi đó \(M=\sqrt{3}-2\)
Ta sẽ chứng minh nó là giá trị nhỏ nhất
Thật vậy, đặt c là giá trị nhỏ nhất của a,b,c. Khi đó, ta cần chứng minh
\(\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a}-\frac{2(a^2+b^2+c^2)}{\sqrt{ab+ac+bc}}\geq(\sqrt3-2)\sqrt{ab+ac+bc}\)
\(\Leftrightarrow\sqrt{ab+ac+bc}\left(\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a}-\sqrt{3(ab+ac+bc)}\right)\geq2(a^2+b^2+c^2-ab-ac-bc)\)
\(\Leftrightarrow\frac{a^2}{b}+\frac{b^2}{a}-a-b+\frac{b^2}{c}+\frac{c^2}{a}-\frac{b^2}{a}-c+a+b+c-\sqrt{3(ab+ac+bc)}\geq\)
\(\geq2((a-b)^2+(c-a)(c-b))\)
\(\Leftrightarrow(a-b)^2\left(\frac{1}{a}+\frac{1}{b}-2\right)+(c-a)(c-b)\left(\frac{1}{a}+\frac{b}{ac}-2\right)+a+b+c-\sqrt{3(ab+ac+bc)}\geq0\)
Đúng bởi \(\frac{1}{a}+\frac{1}{b}-2>0;\frac{1}{a}+\frac{b}{ac}-2\geq\frac{1}{a}+\frac{1}{a}-2>0\) và
\(a+b+c-\sqrt{3(ab+ac+bc)}=\frac{(a-b)^2+(c-a)(c-b)}{a+b+c+\sqrt{3(ab+ac+bc)}}\geq0\)
BĐT đã được c/m. Vậy \(M_{Min}=\sqrt{3}-2\Leftrightarrow a=b=c=\dfrac{1}{\sqrt{3}}\)
P/s: Nhìn qua thấy ngon mà làm mới thấy thật sự là "choáng"
2/ Không mất tính tổng quát, giả sử \(c=min\left\{a,b,c\right\}\).
Nếu abc = 0 thì có ít nhất một số bằng 0. Giả sử c = 0. BĐT quy về: \(a^2+b^2\ge2ab\Leftrightarrow\left(a-b\right)^2\ge0\) (luôn đúng)
Đẳng thức xảy ra khi a = b; c = 0.
Nếu \(abc\ne0\). Chia hai vế của BĐT cho \(\sqrt[3]{\left(abc\right)^2}\)
BĐT quy về: \(\Sigma_{cyc}\sqrt[3]{\frac{a^4}{b^2c^2}}+3\ge2\Sigma_{cyc}\sqrt[3]{\frac{ab}{c^2}}\)
Đặt \(\sqrt[3]{\frac{a^2}{bc}}=x;\sqrt[3]{\frac{b^2}{ca}}=y;\sqrt[3]{\frac{c^2}{ab}}=z\Rightarrow xyz=1\)
Cần chúng minh: \(x^2+y^2+z^2+3\ge2\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)\)
\(\Leftrightarrow x^2+y^2+z^2+2xyz+1\ge2\left(xy+yz+zx\right)\) (1)
Theo nguyên lí Dirichlet thì trong 3 số x - 1, y - 1, z - 1 tồn tại ít nhất 2 số có tích không âm. Không mất tính tổng quát, giả sử \(\left(x-1\right)\left(y-1\right)\ge0\)
\(\Rightarrow2xyz\ge2xz+2yz-2z\). Thay vào (1):
\(VT\ge x^2+y^2+z^2+2xz+2yz-2z+1\)
\(=\left(x-y\right)^2+\left(z-1\right)^2+2xy+2xz+2yz\)
\(\ge2\left(xy+yz+zx\right)\)
Vậy (1) đúng. BĐT đã được chứng minh.
Đẳng thức xảy ra khi a = b = c hoặc a = b, c = 0 và các hoán vị.
Check giúp em vs @Nguyễn Việt Lâm, bài dài quá:(
Để đưa về chứng minh $(1)$ và $(2)$ ta dùng:
Định lí SOS: Nếu \(X+Y+Z=0\) thì \(AX^2+BY^2+CZ^2\ge0\)
khi \(\left\{{}\begin{matrix}A+B+C\ge0\\AB+BC+CA\ge0\end{matrix}\right.\)
Chứng minh: Vì \(\sum\left(A+C\right)=2\left(A+B+C\right)\ge0\)
Nên ta có thể giả sử \(A+C\ge0\). Mà $X+Y+Z=0$ nên$:$
\(AX^2+BY^2+CZ^2=AX^2+BY^2+C\left[-\left(X+Y\right)\right]^2\)
\(={\frac { \left( AX+CX+CY \right) ^{2}}{A+C}}+{\frac {{Y}^{2} \left( AB+AC+BC \right) }{A+C}} \geq 0\)
Đề cần bổ sung \(a,b>0\) nhé
\(BDT\Leftrightarrow\frac{\left(a-b\right)^2\left(a^2+6ab+7b^2\right)}{4b^2\left(a+b\right)^2\left(a+2b\right)}\ge0\) *luôn đúng*
\("="\Leftrightarrow a=b\)