Cho các số thực a, b, c thỏa mãn 1 < a < b < c. Chứng minh rằng :
\(\log_a\left(\log_ab\right)+\log_b\left(\log_bc\right)+\log_c\left(\log_ca\right)>0\)
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.
Đặt \(a\left(1-b\right)=x;b\left(1-c\right)=y;c\left(1-a\right)=x\)
\(\Rightarrow1-\left(a+b+c\right)+ab+bc+ca=1-a\left(1-b\right)-b\left(1-c\right)-c\left(1-a\right)=1-x-y-z\)
BĐT cần c/m trở thành:
\(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\ge\dfrac{3}{1-x-y-z}\)
\(\Leftrightarrow\left(1-x-y-z\right)\left(\dfrac{1}{x}+\dfrac{1}{y}+\dfrac{1}{z}\right)-3\ge0\)
\(\Leftrightarrow\dfrac{1-x-y-z}{x}+\dfrac{1-x-y-z}{y}+\dfrac{1-x-y-z}{z}-3\ge0\)
\(\Leftrightarrow\dfrac{1-y-z}{x}+\dfrac{1-z-x}{y}+\dfrac{1-x-y}{z}-6\ge0\) (1)
Lại có: \(1-y-z=1-b\left(1-c\right)-c\left(1-a\right)=1-b-c+bc+ca=\left(1-b\right)\left(1-c\right)+ca\)
Nên (1) tương đương:
\(\dfrac{\left(1-b\right)\left(1-c\right)+ca}{a\left(1-b\right)}+\dfrac{\left(1-a\right)\left(1-c\right)+ab}{b\left(1-c\right)}+\dfrac{\left(1-a\right)\left(1-b\right)+bc}{c\left(1-a\right)}-6\ge0\)
\(\Leftrightarrow\dfrac{1-c}{a}+\dfrac{c}{1-b}+\dfrac{1-a}{b}+\dfrac{a}{1-c}+\dfrac{1-b}{c}+\dfrac{b}{1-a}\ge6\)
BĐT trên hiển nhiên đúng theo AM-GM do:
\(\dfrac{1-c}{a}+\dfrac{c}{1-b}+\dfrac{1-a}{b}+\dfrac{a}{1-c}+\dfrac{1-b}{c}+\dfrac{b}{1-a}\ge6\sqrt[6]{\dfrac{abc\left(1-a\right)\left(1-b\right)\left(1-c\right)}{abc\left(1-a\right)\left(1-b\right)\left(1-c\right)}}=6\) (đpcm)
Dấu "=" xảy ra khi \(a=b=c=\dfrac{1}{2}\)
Cám ơn bài giải của thầy Lâm ạ!
Và từ bài bất đăng thức này, đã được chế thành bài toán hình học trong 1 kì thi học sinh giỏi toán cấp tỉnh thầy ạ!
ta có: \(\frac{a}{\left(a+1\right)\left(b+1\right)}+\frac{b}{\left(b+1\right)\left(c+1\right)}+\frac{c}{\left(c+1\right)\left(a+1\right)}.\)
\(\ge3\sqrt[3]{\frac{a.b.c}{\left(a+1\right)^2.\left(b+1\right)^2.\left(c+1\right)^2}}=\frac{3}{\sqrt[3]{\left(a+1\right)^2.\left(b+1\right)^2.\left(c+1\right)^2}}\) (vì abc=1) (*)
Mặt khác: \(\left(a+1\right)^2.\left(b+1\right)^2.\left(c+1\right)^2\ge64abc=64=4^3\) (vì abc=1)
=> \(\sqrt[3]{\left(a+1\right)^2.\left(b+1\right)^2.\left(c+1\right)^2}\ge4\) (**)
Từ (*), (**)=> đpcm
Bạn dưới kia làm ngược dấu thì phải,mà bài này hình như là mũ 3
\(\frac{a^3}{\left(a+1\right)\left(b+1\right)}+\frac{a+1}{8}+\frac{b+1}{8}\ge3\sqrt[3]{\frac{a^3\left(a+1\right)\left(b+1\right)}{64\left(a+1\right)\left(b+1\right)}}=\frac{3a}{4}\)
Tương tự rồi cộng lại:
\(RHS+\frac{2\left(a+b+c\right)+6}{8}\ge\frac{3\left(a+b+c\right)}{4}\)
\(\Leftrightarrow RHS\ge\frac{3}{4}\) tại a=b=c=1
\(\frac{1}{\left(1+a\right)^2}+\frac{1}{\left(1+b\right)^2}+\frac{1}{\left(1+b\right)^2}+\frac{2}{\left(1+a\right)\left(1+b\right)\left(1+c\right)}\ge1\)
<=> \(\left(1+b\right)^2\left(1+c\right)^2+\left(1+a\right)^2\left(1+b\right)^2+\left(1+a\right)\left(1+c\right)^2\)
\(+2\left(1+a\right)\left(1+b\right)\left(1+c\right)\ge\left(1+a\right)^2\left(1+b\right)^2\left(1+c\right)^2\)
<=> \(a^2+b^2+c^2\ge3\)đúng vì \(a^2+b^2+c^2\ge3\sqrt[3]{\left(abc\right)^2}=3\)
Dấu "=" xảy ra <=> a = b = c = 1
thử bài bất :D
Ta có: \(\dfrac{1}{a^3\left(b+c\right)}+\dfrac{a}{2}+\dfrac{a}{2}+\dfrac{a}{2}+\dfrac{b+c}{4}\ge5\sqrt[5]{\dfrac{1}{a^3\left(b+c\right)}.\dfrac{a^3}{2^3}.\dfrac{\left(b+c\right)}{4}}=\dfrac{5}{2}\) ( AM-GM cho 5 số ) (*)
Hoàn toàn tương tự:
\(\dfrac{1}{b^3\left(c+a\right)}+\dfrac{b}{2}+\dfrac{b}{2}+\dfrac{b}{2}+\dfrac{c+a}{4}\ge5\sqrt[5]{\dfrac{1}{b^3\left(c+a\right)}.\dfrac{b^3}{2^3}.\dfrac{\left(c+a\right)}{4}}=\dfrac{5}{2}\) (AM-GM cho 5 số) (**)
\(\dfrac{1}{c^3\left(a+b\right)}+\dfrac{c}{2}+\dfrac{c}{2}+\dfrac{c}{2}+\dfrac{a+b}{4}\ge5\sqrt[5]{\dfrac{1}{c^3\left(a+b\right)}.\dfrac{c^3}{2^3}.\dfrac{\left(a+b\right)}{4}}=\dfrac{5}{2}\) (AM-GM cho 5 số) (***)
Cộng (*),(**),(***) vế theo vế ta được:
\(P+\dfrac{3}{2}\left(a+b+c\right)+\dfrac{2\left(a+b+c\right)}{4}\ge\dfrac{15}{2}\) \(\Leftrightarrow P+2\left(a+b+c\right)\ge\dfrac{15}{2}\)
Mà: \(a+b+c\ge3\sqrt[3]{abc}=3\) ( AM-GM 3 số )
Từ đây: \(\Rightarrow P\ge\dfrac{15}{2}-2\left(a+b+c\right)=\dfrac{3}{2}\)
Dấu "=" xảy ra khi a=b=c=1
1. \(a^3+b^3+c^3+d^3=2\left(c^3-d^3\right)+c^3+d^3=3c^3-d^3\) :D
BĐT này do giáo sư Vasile đề xuất, và đây là lời giải của ông ấy:
Do vai trò của các biến là như nhau, ko mất tính tổng quát, giả sử \(a^2=max\left\{a^2;b^2;c^2;d^2\right\}\)
\(\Rightarrow a^2\ge\dfrac{b^2+c^2+d^2}{3}\)
Đặt \(x^2=\dfrac{b^2+c^2+d^2}{3}\Rightarrow x^2\le a^2\) (1)
Đồng thời \(x^2=\dfrac{b^2+c^2+d^2}{3}\ge\dfrac{1}{9}\left(b+c+d\right)^2=\dfrac{a^2}{9}\Rightarrow a^2\le9x^2\) (2)
\(\left(1\right);\left(2\right)\Rightarrow\left(a^2-x^2\right)\left(a^2-9x^2\right)\le0\) (3)
Ta có:
\(b^4+c^4+d^4=\left(b^2+c^2+d^2\right)^2-2\left(b^2c^2+c^2d^2+b^2d^2\right)\le\left(b^2+c^2+d^2\right)^2-\dfrac{2}{3}\left(bc+cd+bd\right)^2\)
\(=\left(b^2+c^2+d^2\right)^2-\dfrac{1}{6}\left[\left(b+c+d\right)^2-\left(b^2+c^2+d^2\right)\right]^2=9x^4-\dfrac{1}{6}\left(a^2-3x^2\right)^2=\dfrac{45x^4+6a^2x^2-a^4}{6}\)
Do đó:
\(12\left(a^4+b^4+c^4+d^4\right)\le12a^4+12.\dfrac{45x^4+6a^2x^2-a^4}{6}=90x^4+12a^2x^2+10a^4\)
Nên ta chỉ cần chứng minh:
\(7\left(a^2+3x^2\right)^2\ge90x^4+12a^2x^2+10a^4\)
\(\Leftrightarrow a^4-10a^2x^2+9x^4\le0\)
\(\Leftrightarrow\left(a^2-9x^2\right)\left(a^2-x^2\right)\le0\) (đúng theo (3))
Vậy BĐT được chứng minh hoàn tất.
Dấu "=" xảy ra khi \(b=c=d=-\dfrac{a}{3}\) và các hoán vị của chúng
Ta có:
\(\frac{a\left(b+c\right)}{b^2+bc+c^2}=\frac{a\left(b+c\right)\left(ab+bc+ca\right)}{\left(b^2+bc+c^2\right)\left(ab+bc+ca\right)}\)
\(\ge\frac{4a\left(b+c\right)\left(ab+bc+ca\right)}{\left(b^2+bc+c^2+ab+bc+ca\right)^2}=\frac{4a\left(ab+bc+ca\right)}{\left(b+c\right)\left(a+b+c\right)^2}\)
Tương tự ta được:
\(\frac{a\left(b+c\right)}{b^2+bc+c^2}+\frac{b\left(c+a\right)}{c^2+ca+a^2}+\frac{c\left(a+b\right)}{a^2+ab+b^2}\)
\(\ge\frac{4a\left(ab+bc+ca\right)}{\left(b+c\right)\left(a+b+c\right)^2}+\frac{4b\left(ab+bc+ca\right)}{\left(c+a\right)\left(a+b+c\right)^2}+\frac{4c\left(ab+bc+ca\right)}{\left(a+b\right)\left(a+b+c\right)^2}\)
Vậy ta cần chứng minh:
\(\frac{4a\left(ab+bc+ca\right)}{\left(b+c\right)\left(a+b+c\right)^2}+\frac{4b\left(ab+bc+ca\right)}{\left(c+a\right)\left(a+b+c\right)^2}+\frac{4c\left(ab+bc+ca\right)}{\left(a+b\right)\left(a+b+c\right)^2}\ge2\)
Ta viết lại bất đẳng thức trên thành:
\(\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}\ge\frac{\left(a+b+c\right)^2}{2\left(ab+bc+ca\right)}\)
Đánh giá trên đúng theo bất đẳng thức Bunhiacopxki dạng phân thức. Vậy bất đẳng thức đã được chứng minh.
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\)