Chứng minh bất đẳng thức :
\(\log_ab\ge\log_{a+c}b\) với \(a,b>1\) và \(c\ge0\)
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.
Ta có :
\(\log_ab\ge\log_{a+c}\left(b+c\right)\Leftrightarrow\log_ab-1\ge\log_{a+c}\left(b+c\right)-1\)
\(\Leftrightarrow\log_a\frac{b}{a}\ge\log_{a+c}\frac{b+c}{a+c}\)
Với \(1< a\le b\) và \(c\ge0\Rightarrow\frac{b}{a}\ge\frac{b+c}{a+c}\ge1\) nên \(\log_a\frac{b}{a}\ge\log_a\frac{b+c}{a+c}\) (*)
Mặt khác, ta được : \(\log_a\frac{b+c}{a+c}\ge\log_{a+c}\frac{b+c}{a+c}\) (**)
Từ (*) và (**) \(\Rightarrow\log_ab\ge\log_{a+c}\left(b+c\right)\)
Dấu "=" xảy ra khi c = 0 hoặc a = b
Ta có :
\(a^{\log_bc}=c^{\log_ba}\Rightarrow a^{\log_bc}+c^{\log_ab}=c^{\log_ba}+c^{\log_ab}\ge2\sqrt{c^{\log_ba}.c^{\log_ab}}=2\sqrt{c^{\log_ba+\log_ab}}\) (1)
Vì \(a,b>1\) nên áp dụng BĐT Cauchy cho 2 số không âm \(\log_ba\) và \(\log_ab\), ta được :
\(\log_ab+\log_ba\ge2\sqrt{\log_ab.\log_ba}=2\) (2)
Từ (1) và (2) \(\Rightarrow a^{\log_bc}+b^{\log_ab}\ge2\sqrt{c^2}=2c\)
hay \(\Rightarrow a^{\log_bc}+c^{\log_ab}\ge2c\)
Chứng minh tương tự ta được :
\(a^{\log_bc}+b^{\log_ca}\ge2a\)
\(b^{\log_ca}+c^{\log_ab}\ge2b\)
\(\Rightarrow2\left(a^{\log_bc}+b^{\log_ca}+c^{\log_ab}\right)\ge2\left(a+b+c\right)\)
hay :
\(a^{\log_bc}+b^{\log_ca}+c^{\log_ab}\ge a+b+c\) (*)
Mặt khác theo BĐT Cauchy ta có : \(a+b+c\ge3\sqrt[3]{abc}\) (2*)
Từ (*) và (2*) ta có :
\(a^{\log_bc}+b^{\log_ca}+c^{\log_ab}\ge3\sqrt[3]{abc}\)
Ta có: BĐT\(\Leftrightarrow\dfrac{a}{a+b}-\dfrac{1}{2}+\dfrac{b}{b+c}-\dfrac{1}{2}+\dfrac{c}{c+a}-\dfrac{1}{2}\ge0\)
\(\Leftrightarrow\dfrac{2a-\left(a+b\right)}{2\left(a+b\right)}+\dfrac{2b-\left(b+c\right)}{2\left(b+c\right)}+\dfrac{2c-\left(c+a\right)}{2\left(c+a\right)}\ge0\)
\(\Leftrightarrow\dfrac{a-b}{2\left(a+b\right)}+\dfrac{b-c}{2\left(b+c\right)}+\dfrac{c-a}{2\left(c+a\right)}\ge0\)
\(\Leftrightarrow\dfrac{a-b}{2\left(a+b\right)}+\dfrac{b-a+a-c}{2\left(b+c\right)}+\dfrac{c-a}{2\left(c+a\right)}\ge0\)
\(\Leftrightarrow\dfrac{a-b}{2}\left(\dfrac{1}{a+b}-\dfrac{1}{b+c}\right)+\dfrac{a-c}{2}\left(\dfrac{1}{b+c}-\dfrac{1}{c+a}\right)\ge0\)
\(\Leftrightarrow\dfrac{a-b}{2}\left(\dfrac{c-a}{\left(a+b\right)\left(b+c\right)}+\dfrac{a-c}{\left(b+c\right)\left(c+a\right)}\right)\ge0\)
\(\Leftrightarrow\dfrac{\left(a-b\right)\left(a-c\right)\left(b-c\right)}{2\left(a+b\right)\left(b+c\right)\left(c+a\right)}\ge0\) (đúng)
Vậy BĐT luôn đúng với \(a\ge b\ge c>0\)
BĐT cần chứng minh tương đương :
\(\dfrac{a^8+b^8+c^8}{a^3b^3c^3}\ge\dfrac{ab+bc+ac}{abc}\)
\(\Leftrightarrow\dfrac{a^8+b^8+c^8}{a^2b^2c^2}\ge ab+bc+ac\)
\(\Leftrightarrow\dfrac{a^6}{b^2c^2}+\dfrac{b^6}{a^2c^2}+\dfrac{c^6}{a^2b^2}\ge ab+bc+ac\)
Do \(a^2+b^2+c^2\ge ab+bc+ac\)
Ta phải cm
\(\dfrac{a^6}{b^2c^2}+\dfrac{b^6}{a^2c^2}+\dfrac{c^6}{a^2b^2}\ge a^2+b^2+c^2\)(1)
Đặt : \(\left(a^2;b^2;c^2\right)=\left(x;y;z\right)\)
\(\Rightarrow\left(1\right)\Leftrightarrow\dfrac{x^3}{yz}+\dfrac{y^3}{xz}+\dfrac{z^3}{xy}\ge x+y+z\)
Áp dụng C.B.S
\(\Rightarrow\dfrac{x^3}{yz}+\dfrac{y^3}{xz}+\dfrac{z^3}{xy}=\dfrac{x^4}{xyz}+\dfrac{y^4}{xyz}+\dfrac{z^4}{xyz}\ge\dfrac{\left(x^2+y^2+z^2\right)^2}{3xyz}\)
Theo Bunhiacopxki: \(x^2+y^2+z^2\ge\dfrac{\left(x+y+z\right)^2}{3}\)\(\Rightarrow\left(x^2+y^2+z^2\right)^2\ge\dfrac{\left(x+y+z\right)^4}{9}\)
Theo Cauchy : \(\Rightarrow3xyz\le\dfrac{\left(x+y+z\right)^3}{9}\)
\(\Rightarrow\dfrac{\left(x^2+y^2+z^2\right)^2}{3xyz}\ge\dfrac{\dfrac{\left(x+y+z\right)^4}{9}}{\dfrac{\left(x+y+z\right)^3}{9}}=x+y+z\)
\(\Rightarrow\)\(\Rightarrow\dfrac{x^3}{yz}+\dfrac{y^3}{xz}+\dfrac{z^3}{xy}\ge x+y+z\)
=> đpcm
BĐT cần chứng minh tương đương :
a8+b8+c8a3b3c3≥ab+bc+acabca8+b8+c8a3b3c3≥ab+bc+acabc
⇔a8+b8+c8a2b2c2≥ab+bc+ac⇔a8+b8+c8a2b2c2≥ab+bc+ac
⇔a6b2c2+b6a2c2+c6a2b2≥ab+bc+ac⇔a6b2c2+b6a2c2+c6a2b2≥ab+bc+ac
Do a2+b2+c2≥ab+bc+aca2+b2+c2≥ab+bc+ac
Ta phải cm
a6b2c2+b6a2c2+c6a2b2≥a2+b2+c2a6b2c2+b6a2c2+c6a2b2≥a2+b2+c2(1)
Đặt : (a2;b2;c2)=(x;y;z)(a2;b2;c2)=(x;y;z)
⇒(1)⇔x3yz+y3xz+z3xy≥x+y+z⇒(1)⇔x3yz+y3xz+z3xy≥x+y+z
Áp dụng C.B.S
⇒x3yz+y3xz+z3xy=x4xyz+y4xyz+z4xyz≥(x2+y2+z2)23xyz⇒x3yz+y3xz+z3xy=x4xyz+y4xyz+z4xyz≥(x2+y2+z2)23xyz
Theo Bunhiacopxki: x2+y2+z2≥(x+y+z)23x2+y2+z2≥(x+y+z)23⇒(x2+y2+z2)2≥(x+y+z)49⇒(x2+y2+z2)2≥(x+y+z)49
Theo Cauchy : ⇒3xyz≤(x+y+z)39⇒3xyz≤(x+y+z)39
⇒(x2+y2+z2)23xyz≥(x+y+z)49(x+y+z)39=x+y+z⇒(x2+y2+z2)23xyz≥(x+y+z)49(x+y+z)39=x+y+z
⇒⇒⇒x3yz+y3xz+z3xy≥x+y+z⇒x3yz+y3xz+z3xy≥x+y+z
=> đpcm
\(\frac{a}{a+b}\)>= \(\frac{a}{a+a}\)= \(\frac{1}{2}\)( vì a + a >= a + b vì a >= b )
\(\frac{b}{b+c}\) >= \(\frac{b}{b+b}\)= \(\frac{1}{2}\)( vì b + b >= b + c vì b >= c )
\(\frac{c}{c+a}\)>= \(\frac{c}{c+c}\) = \(\frac{1}{2}\)( vì c + c >= c + a vì c>=0 )
Từ 3 điều này suy ra
\(\frac{a}{a+b}\)+ \(\frac{b}{b+c}\)+ \(\frac{c}{c+a}\)>= \(\frac{3}{2}\)
dễ dàng c/m (x+y+z)(1/x+1/y+1/z) \(\ge\) 9,dấu "=" khi x=y=z (*)
a/a+b +b/b+c +c/c+a >= 3/2
<=>(a/b+c + 1) + (b/c+a + 1) + (c/a+b + 1) >= 3/2+1+1+1
<=>(a+b+c)/(b+c) + (a+b+c)/(c+a) + (a+b+c)/(a+b) >= 9/2
<=>2(a+b+c)(1/b+c + 1/c+a + 1/a+b) >= 9/2
<=>[(b+c)+(c+a)+(a+b)](1/b+c + 1/c+a + 1/a+b) >= 9/2 (bđt (*))
Đặt: a + b = x; b + c = y; c + a = z
Thì ta có: x \(\ge\)z \(\ge\)y
Theo đề bài ta có:
\(\frac{a}{a+b}+\frac{b}{b+c}+\frac{c}{c+a}\ge\frac{3}{2}\)
\(\Leftrightarrow\frac{a}{a+b}-\frac{1}{2}+\frac{b}{b+c}-\frac{1}{2}+\frac{c}{c+a}-\frac{1}{2}\ge0\)
\(\Leftrightarrow\frac{a-b}{2\left(a+b\right)}+\frac{b-c}{2\left(b+c\right)}+\frac{c-a}{2\left(c+a\right)}\ge0\)
\(\Leftrightarrow\frac{z-y}{2x}+\frac{x-z}{2y}+\frac{y-x}{2z}\ge0\)
\(\Leftrightarrow xy^2+yz^2+zx^2-x^2y-y^2z-z^2x\ge0\)
\(\Leftrightarrow\left(y-x\right)\left(z-y\right)\left(z-x\right)\ge0\)(1)
Mà ta lại có
\(\hept{\begin{cases}y-x\le0\\z-x\le0\\z-y\ge0\end{cases}}\)nên (1) đúng
\(\Rightarrow\)ĐPCM
Đấu = xảy ra khi x = y = z hay a = b = c
Đặt b+c=m
a+c=n
a+b=p
=>a+b+c =\(\frac{m+n+p}{2}\)
a=\(\frac{n+p-m}{2}\)
b=\(\frac{m+p-n}{2}\)
c=\(\frac{m+n-p}{2}\)
=>\(\frac{n+p-m}{2m}+\frac{m+n-p}{2n}+\frac{m+n-p}{2p}\)
=\(\frac{1}{2}\left(\frac{n}{m}+\frac{m}{n}\right)\) +\(\frac{1}{2}\left(\frac{p}{m}+\frac{m}{p}\right)\) +\(\frac{1}{2}\left(\frac{p}{n}+\frac{n}{p}\right)\) -\(\frac{3}{2}\) \(\ge\) \(\frac{3}{2}\)
Áp dụng BĐT Cosi cho 2 số \(\frac{n}{m};\frac{m}{n}\) ta được:
Từ chứng minh tiếp ....
Ta có: ( √a - √b)² ≥ 0 ( voi moi a , b ≥ 0 )
<=> a - 2√ab + b ≥ 0
<=> a + b ≥ 2√ab
<=> (a + b)/2 ≥ √ab
dau "=" xay ra khi √a - √b = 0 <=> a = b
Vì \(a,b>1\) và \(c\ge0\Rightarrow0< \log_ba\le\log_b\left(a+c\right)\)
\(\Rightarrow\frac{1}{\log_ba}\ge\frac{1}{\log_b\left(a+c\right)}\Leftrightarrow\log_ab\ge\log_{a+c}b\)
\(\Rightarrow\) điều phải chứng minh