Chứng minh bất đẳng thức :
\(a^{\log_bc}+b^{\log_ca}+c^{\log_ab}\ge3\sqrt[3]{abc}\) với a,b,c dương khác 1
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 thấy rằng do a < b nên \(\log_ab>1\)
Khi đó nếu xét cùng cơ số là b thì : \(\log_a\left(\log_ab\right)>\log_b\left(\log_ab\right)>0\)
Ta cũng có \(\log_ca< 1\) do a < c, suy ra \(0>\log_c\left(\log_ca\right)>\log_b\left(\log_ca\right)\)
Từ đó suy ra :
\(\log_a\left(\log_ab\right)+\log_b\left(\log_bc\right)+\log_c\left(\log_ca\right)>\log_b\left(\log_ab.\log_bc.\log_ca\right)=0\)
Bạn tham khảo cách chứng minh tại đây :
Câu hỏi của Nguyễn Huy Thắng - Toán lớp 10 | Học trực tuyến
Áp dụng : Theo BĐT \(AM-GM\) ta có :
\(a+b+c\ge3\sqrt[3]{abc}\)
\(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\ge3\sqrt[3]{\dfrac{1}{abc}}\)
Nhân vế theo vế ta được :
\(\left(a+b+c\right)\left(\dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}\right)\ge3\sqrt[3]{abc}.3\sqrt[3]{\dfrac{1}{abc}}=3.3.1=9\)
Dấu \("="\) xảy ra khi \(a=b=c\)
Đặt \(A=\frac{a^3}{a^2+b^2}+\frac{b^3}{b^2+c^2}+\frac{c^3}{c^2+a^2}\left(a,b,c>0\right)\).
Ta có:
\(\frac{a^3}{a^2+b^2}=\frac{a\left(a^2+b^2-b^2\right)}{a^2+b^2}=\frac{a\left(a^2+b^2\right)-ab^2}{a^2+b^2}=a-\frac{ab^2}{a^2+b^2}\).
Vì \(a,b>0\)nên áp dụng bất đẳng thức Cô-si cho 2 số dương, ta được:
\(a^2+b^2\ge2ab\).
\(\Rightarrow\frac{1}{a^2+b^2}\le\frac{1}{2ab}\).
\(\Leftrightarrow\frac{ab^2}{a^2+b^2}\le\frac{ab^2}{2ab}=\frac{b}{2}\).
\(\Rightarrow\frac{-ab^2}{a^2+b^2}\ge\frac{-b}{2}\).
\(\Leftrightarrow a-\frac{ab^2}{a^2+b^2}\ge a-\frac{b}{2}\).
\(\Leftrightarrow\frac{a^3}{a^2+b^2}\ge a-\frac{b}{2}\left(1\right)\).
Dấu bằng xảy ra \(\Leftrightarrow a=b>0\).
Chứng minh tương tự, ta được:
\(\frac{b^3}{b^2+c^2}\ge b-\frac{c}{2}\).với \(b,c>0\)\(\left(2\right)\)
Dấu bẳng xảy ra \(\Leftrightarrow b=c>0\).
Chứng minh tương tự, ta được:
\(\frac{c^3}{c^2+a^2}\ge c-\frac{a}{2}\)với \(a,c>0\)\(\left(3\right)\).
Dấu bằng xảy ra \(\Leftrightarrow a=c>0\).
Từ \(\left(1\right),\left(2\right),\left(3\right)\), ta được:
\(\frac{a^3}{a^2+b^2}+\frac{b^3}{b^2+c^2}+\frac{c^3}{c^2+a^2}\)\(\ge\)\(a+b+c-\frac{a}{2}-\frac{b}{2}-\frac{c}{2}\).
\(\Leftrightarrow A\ge\frac{a+b+c}{2}\).
\(\Leftrightarrow A\ge\frac{6}{2}\)(vì \(a+b+c=6\)).
\(\Leftrightarrow A\ge3\)(điều phải chứng minh).
Dấu bằng xảy ra.
\(\Leftrightarrow\hept{\begin{cases}a=b=c>0\\a+b+c=6\end{cases}}\Leftrightarrow a=b=c=2\).
Vậy nếu \(a,b,c\)là các số thực dương thỏa mãn \(a+b+c=6\)thì:
\(\frac{a^3}{a^2+b^2}+\frac{b^3}{b^2+c^2}+\frac{c^3}{c^2+a^2}\ge3\).
Lời giải:
Áp dụng BĐT AM-GM:
$\text{VT}=\sqrt{ab+c(a+b+c)}+\sqrt{bc+a(a+b+c)}+\sqrt{ca+b(a+b+c)}$
$=\sqrt{(c+a)(c+b)}+\sqrt{(a+b)(a+c)}+\sqrt{(b+a)(b+c)}$
$\leq \frac{c+a+c+b}{2}+\frac{a+b+a+c}{2}+\frac{b+a+b+c}{2}$
$=2(a+b+c)=2$
Ta có đpcm.
Dấu "=" xảy ra khi $a=b=c=\frac{1}{3}$
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
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 chứng minh BĐT phụ sau:
\(\dfrac{a^3}{a^2+b^2}\ge\dfrac{2a-b}{2}\)
Thật vậy, BĐT tương đương:
\(2a^3-\left(2a-b\right)\left(a^2+b^2\right)\ge0\)
\(\Leftrightarrow b\left(a-b\right)^2\ge0\) (luôn đúng với a;b dương)
Tương tự: \(\dfrac{b^3}{b^3+c^3}\ge\dfrac{2b-c}{2}\) ; \(\dfrac{c^3}{c^3+a^3}\ge\dfrac{2c-a}{2}\)
Cộng vế với vế:
\(VT\ge\dfrac{a+b+c}{2}=3\) (đpcm)
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}\)