§1. Bất đẳng thức

Bạn chưa đăng nhập. Vui lòng đăng nhập để hỏi bài
Neet

Cho a,b,c>0 thỏa abc=1. Chứng minh :

\(\dfrac{a}{\left(a+1\right)^2}+\dfrac{b}{\left(b+1\right)^2}+\dfrac{c}{\left(c+1\right)^2}-\dfrac{4}{\left(a+1\right)\left(b+1\right)\left(c+1\right)}\le\dfrac{1}{4}\)

Alchemy4869
30 tháng 12 2017 lúc 11:47

Đành giải tạm bằng nick này vì sợ một vài thành phần trẻ trâu anti phá phách :poor:

Phân tích và giải

Dễ thấy: Dấu "=" khi \(a=b=c=1\)

\(\Rightarrow L=Σ\dfrac{a}{\left(a+1\right)^2}=\dfrac{3}{4}\text{ và }F=-\dfrac{4}{\left(a+1\right)\left(b+1\right)\left(c+1\right)}=-\dfrac{1}{2}\)

Khi đó \(VT=L-F=\dfrac{3}{4}-\dfrac{1}{2}=\dfrac{1}{4}\)

Ta sẽ chia làm 2 bước cm:

B1: \(Σ\dfrac{a}{\left(a+1\right)^2}\le\dfrac{3}{4}\). Ta xét BĐT :

\(\dfrac{a}{\left(a+1\right)^2}=\dfrac{a}{a^2+2a+1}\le\dfrac{3\left(a^{2k}+a^k\right)}{8\left(a^{2k}+a^k+1\right)}\) (cần tìm \(k\) thỏa mãn)

\(\Leftrightarrow8a\left(a^{2k}+a^k+1\right)-3\left(a^{2k}+a^k\right)\left(a^2+2a+1\right)\le0\)\(\Leftrightarrow f\left(a\right)=-3a^{2k}+2a^{k+1}-3a^{k+2}+2a^{2k+1}-3a^{2k+2}-3a^k+8a\)

\(\Rightarrow f'\left(a\right)=2k\cdot-3a^{2k-1}+\left(k+1\right)2a^k-\left(k+2\right)3a^{k+1}+\left(2k+1\right)2a^{2k}-\left(2k+2\right)3a^{2k+1}-k\cdot3a^{k-1}+8a\)

\(\Rightarrow f'\left(1\right)=0\Rightarrow-12k=0\Rightarrow k=0\)

Hay BĐT phụ cần tìm là \(\dfrac{a}{a^2+2a+1}\le\dfrac{3\left(a^{2\cdot0}+a^0\right)}{8\left(a^{2\cdot0}+a^0+1\right)}=\dfrac{1}{4}\) (bài này \(k\) đẹp ra luôn \(\farac{1}{4}\) cộng vào là ok =))

\(\Leftrightarrow-\dfrac{\left(a-1\right)^2}{4\left(a+1\right)^2}\le0\) *Đúng* \(\RightarrowΣ\dfrac{a}{\left(a+1\right)^2}\leΣ\dfrac{1}{4}=\dfrac{3}{4}\)

B2: CM \(-\dfrac{4}{\left(a+1\right)\left(b+1\right)\left(c+1\right)}\le-\dfrac{1}{2}\)

Tự cm nhé Goodluck :v

Dong tran le
31 tháng 12 2017 lúc 22:33

đây là hệ số bất định

Neet
1 tháng 1 2018 lúc 2:38

Một lời giải sơ cấp:

Đổi \(\left(a;b;c\right)\rightarrow\left(\dfrac{x}{y};\dfrac{y}{z};\dfrac{z}{x}\right)\).BDT cần chứng minh tương đương:

\(\sum\dfrac{xy}{\left(x+y\right)^2}-\dfrac{4xyz}{\left(x+y\right)\left(y+z\right)\left(z+x\right)}\le\dfrac{1}{4}\)

\(\Leftrightarrow\left[\dfrac{3}{4}-\sum\dfrac{xy}{\left(x+y\right)^2}\right]+\left[\dfrac{4xyz}{\left(x+y\right)\left(y+z\right)\left(z+x\right)}-\dfrac{1}{2}\right]\ge0\)

\(\Leftrightarrow\sum\left[\dfrac{1}{4}-\dfrac{xy}{\left(x+y\right)^2}\right]-\dfrac{\sum\left(x^2+y^2\right)z-6xyz}{2\left(x+y\right)\left(y+z\right)\left(z+x\right)}\ge0\)

\(\Leftrightarrow\sum\dfrac{\left(x-y\right)^2}{4\left(x+y\right)^2}-\dfrac{\sum z\left(x-y\right)^2}{2\left(x+y\right)\left(y+z\right)\left(z+x\right)}\ge0\)

\(\Leftrightarrow\sum\left(x-y\right)^2\left[\dfrac{1}{4\left(x+y\right)^2}-\dfrac{z}{2\left(x+y\right)\left(y+z\right)\left(z+x\right)}\right]\ge0\)

hay \(S_a\left(y-z\right)^2+S_b\left(z-x\right)^2+S_c\left(x-y\right)^2\ge0\)(*)

với \(\left\{{}\begin{matrix}S_a=\dfrac{1}{4\left(y+z\right)^2}-\dfrac{x}{2\prod\left(x+y\right)}=\dfrac{\left(x-y\right)\left(x-z\right)}{4\left(y+z\right)^2\left(x+y\right)\left(x+z\right)}\\S_b=\dfrac{1}{4\left(x+z\right)^2}-\dfrac{y}{2\prod\left(x+y\right)}=\dfrac{\left(y-x\right)\left(y-z\right)}{4\left(x+z\right)^2\left(x+y\right)\left(y+z\right)}\\S_c=\dfrac{1}{4\left(x+y\right)^2}-\dfrac{z}{2\prod\left(x+y\right)}=\dfrac{\left(z-x\right)\left(z-y\right)}{4\left(x+y\right)^2\left(y+z\right)\left(z+x\right)}\end{matrix}\right.\)

Dễ thấy \(S_a;S_b;S_c\) không phải là luôn không âm.Giả sử \(x=max\left\{x;y;z\right\}\).

Từ đó suy ra \(S_a\ge0\).Xét \(S_b+S_c=\dfrac{\left(y-z\right)^2}{4\left(x+y\right)^2\left(x+z\right)^2}\ge0,\forall x;y;z>0\)

Do đó \(VT=S_a\left(x-y\right)^2+\left[S_b\left(z-x\right)^2+S_c\left(x-y\right)^2\right]\ge0\)

Ta sẽ chứng minh \(S_b\left(z-x\right)^2+S_c\left(x-y\right)^2\ge0\) với \(S_b+S_c\ge0\)

và điều này đúng hay không e không biết, quan trọng là .. Chúc Mừng Năm Mới !!

Neet
1 tháng 1 2018 lúc 15:02

( tiếp tục )

Xét dạng TQ: \(S_a\left(b-c\right)^2+S_b\left(c-a\right)^2+S_c\left(a-b\right)^2\ge0\)

Đưa về tam thức bậc 2 ẩn a :

\(\left(S_b+S_c\right)a^2-2a.\left(c.S_b+b.S_c\right)+\left[S_a\left(b-c\right)^2+S_b.c^2+S_c.b^2\right]\ge0\)(*)

Do \(S_b+S_c\ge0\) như ở trên nên chỉ cần có \(\Delta'\le0\)

hay \(-\left(S_a.S_b+S_b.S_c+S_c.S_a\right)\left(b-c\right)^2\le0\)

nên ta chỉ cần chứng minh \(S_a.S_b+S_b.S_c+S_c.S_a\ge0\)

\(S_a.S_b+S_b.S_c+S_c.S_a=0\) : |

Do vậy BĐT vẫn đúng , dấu của (*) vẫn cùng dấu với \(S_b+S_c\)

Vậy BĐT được chứng minh. Dấu = xảy ra khi x=y=z hay a=b=c=1


Các câu hỏi tương tự
Phạm Kim Oanh
Xem chi tiết
Đức Huy ABC
Xem chi tiết
Thư Trần
Xem chi tiết
Phạm Lợi
Xem chi tiết
Phụng Nguyễn Thị
Xem chi tiết
Hồ Thị Hồng Nghi
Xem chi tiết
Phạm Kim Oanh
Xem chi tiết
Nguyễn Thanh Thủy
Xem chi tiết
Anxiety
Xem chi tiết