Cho a,b,c là 3 cạnh của 1 tam giác. Chứng minh rằng \(4a^2b^2>\left(a^2+b^2-c^2\right)^2\)
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.
![](https://rs.olm.vn/images/avt/0.png?1311)
![](https://rs.olm.vn/images/avt/0.png?1311)
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
![](https://rs.olm.vn/images/avt/0.png?1311)
\(A=4a^2b^2-\left(a^2+b^2-c^2\right)^2=\left(2ab-a^2-b^2+c^2\right)\left(2ab+a^2+b^2-c^2\right)\)
\(=\left[c^2-\left(a-b\right)^2\right]\left[c^2+\left(a+b\right)^2\right]\)
\(=\left(c-a+b\right)\left(c-b+a\right)\left[c^2+\left(a+b\right)^2\right]>0\)
(vì theo bất đẳng thức tam giác thì \(b+c-a>0,a+c-b>0\))
![](https://rs.olm.vn/images/avt/0.png?1311)
A=(2ab-a^2-b^2+c^2).(2ab+a^2+b^2-c^2)
A=(c^2-(a-b)^2).((a+b)^2-c^2)
A=(c-a+b)(c+a-b)(a+b-c)(a+b+c)
Do c+b-a>0
c+a-b>0
a+b-c>0
a+b+c>0
=>A>0
![](https://rs.olm.vn/images/avt/0.png?1311)
BĐT cần chứng minh tương đương \(a^4+b^4+c^4\ge2\left(a^2b^2+b^2c^2+c^2a^2\right)-abc\left(a+b+c\right)\)
mà \(a^2b^2+b^2c^2+c^2a^2\ge abc\left(a+b+c\right)\)(BĐT cauchy)
\(\Leftrightarrow a^4+b^4+c^4\ge a^2b^2+b^2c^2+c^2a^2\)(cần chứng minh)
ÁP dụng bất đẳng thức bunyakovsky:
\(3\left(a^4+b^4+c^4\right)\ge\left(a^2+b^2+c^2\right)^2\)
mà \(\left(a^2+b^2+c^2\right)^2\ge3\left(a^2b^2+b^2c^2+c^2a^2\right)\)(hệ quả BĐT cauchy)
\(\Rightarrow3\left(a^4+b^4+c^4\right)\ge3\left(a^2b^2+b^2c^2+c^2a^2\right)\)
\(\Leftrightarrow a^4+b^4+c^4\ge a^2b^2+b^2c^2+c^2a^2\)(đpcm)
dấu = xảy ra khi a=b=c
![](https://rs.olm.vn/images/avt/0.png?1311)
\(\left(a^2+b^2-c^2\right)^2-4a^2b^2\\ =\left(a^2+b^2-c^2+2ab\right)\left(a^2+b^2-c^2-2ab\right)\\ =\left[\left(a+b\right)^2-c^2\right]\left[\left(a-b\right)^2-c^2\right]\\ =-\left(a+b+c\right)\left(a+b-c\right)\left(a+c-b\right)\left(b+c-a\right)\)
Tổng 2 cạnh tam giác > cạnh thứ 3 nên cả 4 thừa số trên đều dương.
=> đpcm
![](https://rs.olm.vn/images/avt/0.png?1311)
A=(2ab-a^2-b^2+c^2).(2ab+a^2+b^2-c^2)
A=(c^2-(a-b)^2).((a+b)^2-c^2)
A=(c-a+b)(c+a-b)(a+b-c)(a+b+c)
Do c+b-a>0
c+a-b>0
a+b-c>0
a+b+c>0
=>A>0
@Hà Nhung Huyền Trang
Tk mình đi mọi người mình bị âm nè!
Ai tk mình mình tk lại cho!!