Chứng minh rằng : \(\log_an.\log_bn+\log_bn.\log_cn+\log_cn\log_an=\frac{\log_an.\log_bn.\log_cn}{\log_{abc}n}\) trong đó a, b, c, d là các số dương và \(a,b,c,abc\ne1\)
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)
Theo giả thiết, nếu ba dố a, b, c lập thành cấp số nhân thì : \(ac=b^2\)(1)
Lấy Logarit cơ số N hai vế của (1) ta có :
\(\Leftrightarrow\log_N\left(ac\right)=\log_Nb^2\Leftrightarrow\log_Na+\log_Nc=2\log_Nb\left(2\right)\)
Sử dụng công thức đổi cơ số :
Từ (2) \(\Leftrightarrow\frac{1}{\log_aN}+\frac{1}{\log_cN}=\frac{2}{\log_bN}\Leftrightarrow\frac{1}{\log_aN}-\frac{1}{\log_bN}=\frac{1}{\log_bN}-\frac{1}{\log_cN}\)
\(\Leftrightarrow\frac{\log_bN-\log_aN}{\frac{1}{\log_aN}.\frac{1}{\log_bN}}=\frac{\log_cN-\log_bN}{\frac{1}{\log_cN}.\frac{1}{\log_bN}}\Leftrightarrow\frac{\log_bN-\log_aN}{\frac{1}{\log_cN}-\frac{1}{\log_bN}}=\frac{\log_aN}{\log_cN}\)
\(\Rightarrow\frac{\log_aN-\log_bN}{\frac{1}{\log_bcN}-\frac{1}{\log_cN}}=\frac{\log_aN}{\frac{1}{\log_cN}}\)
![](https://rs.olm.vn/images/avt/0.png?1311)
1. Đề thiếu
2. BĐT cần chứng minh tương đương:
\(a^4+b^4+c^4\ge abc\left(a+b+c\right)\)
Ta có:
\(a^4+b^4+c^4\ge\dfrac{1}{3}\left(a^2+b^2+c^2\right)^2\ge\dfrac{1}{3}\left(ab+bc+ca\right)^2\ge\dfrac{1}{3}.3abc\left(a+b+c\right)\) (đpcm)
3.
Ta có:
\(\left(a^6+b^6+1\right)\left(1+1+1\right)\ge\left(a^3+b^3+1\right)^2\)
\(\Rightarrow VT\ge\dfrac{1}{\sqrt{3}}\left(a^3+b^3+1+b^3+c^3+1+c^3+a^3+1\right)\)
\(VT\ge\sqrt{3}+\dfrac{2}{\sqrt{3}}\left(a^3+b^3+c^3\right)\)
Lại có:
\(a^3+b^3+1\ge3ab\) ; \(b^3+c^3+1\ge3bc\) ; \(c^3+a^3+1\ge3ca\)
\(\Rightarrow2\left(a^3+b^3+c^3\right)+3\ge3\left(ab+bc+ca\right)=9\)
\(\Rightarrow a^3+b^3+c^3\ge3\)
\(\Rightarrow VT\ge\sqrt{3}+\dfrac{6}{\sqrt{3}}=3\sqrt{3}\)
4.
Ta có:
\(a^3+1+1\ge3a\) ; \(b^3+1+1\ge3b\) ; \(c^3+1+1\ge3c\)
\(\Rightarrow a^3+b^3+c^3+6\ge3\left(a+b+c\right)=9\)
\(\Rightarrow a^3+b^3+c^3\ge3\)
5.
Ta có:
\(\dfrac{a}{b}+\dfrac{b}{c}\ge2\sqrt{\dfrac{a}{c}}\) ; \(\dfrac{a}{b}+\dfrac{c}{a}\ge2\sqrt{\dfrac{c}{b}}\) ; \(\dfrac{b}{c}+\dfrac{c}{a}\ge2\sqrt{\dfrac{b}{a}}\)
\(\Rightarrow\sqrt{\dfrac{b}{a}}+\sqrt{\dfrac{c}{b}}+\sqrt{\dfrac{a}{c}}\le\dfrac{a}{b}+\dfrac{b}{c}+\dfrac{c}{a}=1\)
![](https://rs.olm.vn/images/avt/0.png?1311)
Dễ dàng dự đoán được dấu "=" xảy ra khi \(a=b=c=\frac{1}{3}\)Nhận thấy các đại lượng trong căn và mẫu đồng chưa bậc nên suy nghĩ đầu tiên là đồng bậc. Để ý đến giả thiết a+b+c=1 ta thấy \(a^2+abc=a^2\left(a+b+c\right)+abc=a\left(a+b\right)\left(a+c\right)\)
\(c+ab=a\left(a+b+c\right)+ab=\left(a+c\right)\left(b+c\right)\)
Hoàn toàn tương tự ta có \(b^2+abc=b\left(b+a\right)\left(b+c\right);c^2+abc=c\left(c+b\right)\left(c+a\right)\)
\(b+ac=\left(a+b\right)\left(b+c\right);a+bc=\left(a+b\right)\left(b+c\right)\)
Khi đó bất đẳng thức cần chứng minh trở thành
\(\frac{\sqrt{a\left(a+b\right)\left(a+c\right)}}{\left(a+c\right)\left(b+c\right)}+\frac{\sqrt{b\left(b+c\right)\left(b+a\right)}}{\left(a+b\right)\left(a+c\right)}+\frac{\sqrt{c\left(c+a\right)\left(c+b\right)}}{\left(b+a\right)\left(b+c\right)}\le\frac{1}{2\sqrt{abc}}\)
hay \(\frac{a\sqrt{bc\left(a+b\right)\left(a+c\right)}}{\left(a+c\right)\left(c+b\right)}+\frac{b\sqrt{ab\left(b+c\right)\left(a+b\right)}}{\left(a+b\right)\left(a+c\right)}+\frac{c\sqrt{ab\left(a+b\right)\left(b+c\right)}}{\left(c+b\right)\left(b+a\right)}\le\frac{1}{2\sqrt{abc}}\)
Quan sát bất đẳng thức trên ta liên tưởng đến bất đẳng thức Cauchy, để ý là
\(bc\left(a+b\right)\left(a+c\right)=c\left(a+b\right)\cdot b\left(a+c\right)=b\left(a+b\right)\cdot c\left(a+c\right)\)
Trong 2 cách viết trên ta chọn cách viết thứ nhất vì khi sử dụng bất đẳng thức Cauchy dạng \(2\sqrt{xy}\le x+y\)thì không tạo ra các đại lượng có chứa các bình phương. Khi đó áp dụng bất đẳng thức Cauchy ta được
\(\sqrt{bc\left(a+b\right)\left(a+c\right)}\le\frac{b\left(a+c\right)+c\left(a+b\right)}{2}=\frac{ab+2bc+ca}{2}\)
Áp dụng tương tự ta được
\(\frac{a\sqrt{bc\left(a+b\right)\left(a+c\right)}}{\left(c+a\right)\left(c+b\right)}+\frac{b\sqrt{ac\left(b+c\right)\left(a+b\right)}}{\left(a+b\right)\left(a+c\right)}+\frac{c\sqrt{ab\left(a+c\right)\left(b+c\right)}}{\left(b+c\right)\left(b+a\right)}\)\(\le\frac{a\left(ab+2bc+ca\right)}{2\left(c+a\right)\left(c+b\right)}+\frac{b\left(ab+bc+2ac\right)}{2\left(a+b\right)\left(a+c\right)}+\frac{c\left(2ab+bc+ca\right)}{2\left(b+c\right)\left(b+a\right)}\)
Phép chứng minh sẽ hoàn tất nếu ta chỉ ra được \(\frac{a\left(ab+2bc+ca\right)}{2\left(c+a\right)\left(c+b\right)}+\frac{b\left(ab+bc+2ac\right)}{2\left(a+b\right)\left(a+c\right)}+\frac{c\left(2ab+bc+ca\right)}{2\left(b+c\right)\left(b+a\right)}\le1\)
hay \(a\left(ab+2bc+ca\right)\left(a+b\right)+b\left(b+c\right)\left(ab+bc+2ca\right)+c\left(c+b\right)\left(2ab+bc+ca\right)\)\(\le\left(a+b\right)\left(b+c\right)\left(c+a\right)\)
Vế trái của bất đẳng thức là bậc bốn còn vế phải là bậc ba nên ta có thể đồng bậc là
\(a\left(ab+2bc+ca\right)+b\left(b+c\right)\left(ab+bc+2ac\right)+c\left(c+b\right)\left(2ab+bc+ca\right)\)
\(\le\left(a+b\right)\left(b+c\right)\left(c+a\right)\left(a+b+c\right)\)
Triển khai và thu gọn ta được \(a^3\left(b+c\right)+b^3\left(c+a\right)+c^3\left(a+b\right)+a^2b^2+b^2c^2+c^2a^2+5\left(a^2bc+ab^2c+abc^2\right)\)
\(\le a^3\left(b+c\right)+b^3\left(a+c\right)+c^3\left(a+b\right)+2\left(a^2b^2+b^2c^2+c^2a^2\right)+4\left(a^2bc+ba^2c+abc^2\right)\)
hay \(abc\left(a+b+c\right)\le a^2b^2+b^2c^2+c^2a^2\), đây là một đánh giá đúng
Dấu đẳng thức xảy ra tại \(a=b=c=\frac{1}{3}\)
![](https://rs.olm.vn/images/avt/0.png?1311)
bài 2
(bài này là đề thi olympic Toán,Ireland 1997),nhưng cũng dễ thôi
Giả sử ngược lại \(a^2+b^2+c^2< abc\)
khi đó \(abc>a^2+b^2+c^2>a^2\)nên \(a< bc\)
Tương tự \(b< ac,c< ab\)
Từ đó suy ra :\(a+b+c< ab+bc+ac\left(1\right)\)
mặt khác ta lại có:\(a^2+b^2+c^2\ge ab+bc+ac\)nên
\(abc>a^2+b^2+c^2\ge ab+bc+ac\)
\(\Rightarrow abc>ab+ac+bc\left(2\right)\)
Từ (1),(2) ta có\(abc>a+b+c\)(trái với giả thuyết)
Vậy bài toán được chứng minh
3)để đơn giản ta đặt \(x=\frac{1}{a},y=\frac{1}{b},z=\frac{1}{c}\).Khi đó \(x,y,z>0\)
và \(xy+yz+xz\ge1\)
ta phải chứng minh có ít nhất hai trong ba bất đẳng thức sau đúng
\(2x+3y+6z\ge6,2y+3z+6x\ge6,2z+3x+6y\ge6\)
Giả sử khẳng định này sai,tức là có ít nhất hai trong ba bất đẳng thức trên sai.Không mất tính tổng quát,ta giả sử
\(2x+3y+6z< 6\)và \(2y+3z+6x< 6\)
Cộng hai bất đẳng thức này lại,ta được:\(8x+5y+9z< 12\)
Từ giả thiết \(xy+yz+xz\ge1\Rightarrow x\left(y+z\right)\ge1-yz\)
\(\Rightarrow x\ge\frac{1-yz}{y+z}\)Do đó
\(8\frac{1-yz}{y+z}+5y+9z< 12\Leftrightarrow8\left(1-yz\right)+\left(5y+9z\right)\left(y+z\right)< 12\left(y+z\right)\)
\(\Leftrightarrow5y^2+6yz+9z^2-12y-12z+8< 0\)
\(\Leftrightarrow\left(y+3z-2\right)^2+4\left(y-1\right)^2< 0\)(vô lý)
mâu thuẫn này chứng tỏ khẳng định bài toán đúng.Phép chứng minh hoàn tất.
![](https://rs.olm.vn/images/avt/0.png?1311)
Tham khảo:
Gỉa sử : a+b+c> 1/a + 1/b + 1/c nhưng không thỏa mãn một và chỉ một trong 3 số a,b,c lớn hơn 1
*TH1:Cả 3 số a,b,c đều lớn hơn 1 hoặc đều nhỏ hơn 1 suy ra mâu thẫn( vì abc=1)
*TH2: có 2 số lớn hơn 1
Gỉa sử: a>1, b>1, c<1 <=> a-1>0 , b-1>0 , c-1<0
=> (a-1)(b-1)(c-1)<0
=>abc+a+b+c-(ab+bc+ca)-1<0
<=>a+b+c<ab+bc+ca
<=>a+b+c<abc/c+abc/a+abc/b
Thay abc=1 ta được:
a+b+c<1/a+1/b+1/c(mâu thuẫn với giả thuyết nên điều giả sử sai)
=>đpcm
Trường hợp 1: Giả sử ba số , , đều lớn hơn hoặc ba số , , đều nhỏ hơn .
Khi đó
a.b.c (trái với giả thiết).
Trường hợp 2: Giả sử hai trong ba số , , lớn hơn 1.
Không mất tính tổng quát, giả sử và .
Vì nên do đó:
a + b + c < + \(\dfrac{abc}{a}\) + \(\dfrac{abc}{b}\)
⇔ a + b + c < \(\dfrac{1}{c}\) + \(\dfrac{1}{a}\) + \(\dfrac{1}{b}\) (mâu thuẫn với giả thiết)
Vậy chỉ có một và chỉ một trong ba số , , lớn hơn
![](https://rs.olm.vn/images/avt/0.png?1311)
Ta có:
\(\left(a+b+c\right)^3=a^3+b^3+c^3+3\left(a+b\right)\left(b+c\right)\left(c+a\right)\)
Dễ dàng chứng minh được:
\(\left(a+b\right)\left(b+c\right)\left(c+a\right)\ge8abc\)
\(\Rightarrow\left(a+b+c\right)^3\ge a^3+b^3+c^3+24abc\)
Khi đó ta được bất đẳng thức:
\(\frac{\left(a+b+c\right)^3}{abc}+\frac{ab+bc+ca}{a^2+b^2+c^2}\ge\frac{a^3+b^3+c^3+24abc}{abc}+\frac{ab+bc+ca}{a^2+b^2+c^2}\)
Vậy ta cần chứng minh:
\(\frac{a^3+b^3+c^3+24abc}{abc}+\frac{ab+bc+ca}{a^2+b^2+c^2}\ge28\)
\(\Leftrightarrow\frac{a^2}{bc}+\frac{b^2}{ca}+\frac{c^2}{ab}+\frac{ab+bc+ca}{a^2+b^2+c^2}\ge4\)
Theo bất đẳng thức Bunhiacopxki dạng phân thức ta được:
\(\frac{a^2}{bc}+\frac{b^2}{ca}+\frac{c^2}{ab}\ge\frac{\left(a+b+c\right)^2}{ab+bc+ca}=\frac{a^2+b^2+c^2}{ab+bc+ca}+2\)
Để hoàn thành chứng minh ta cần chỉ ra được:
\(\frac{a^2+b^2+c^2}{ab+bc+ca}+2+\frac{ab+bc+ca}{a^2+b^2+c^2}\ge4\)
\(\Leftrightarrow\frac{a^2+b^2+c^2}{ab+bc+ca}+\frac{ab+bc+ca}{a^2+b^2+c^2}\ge2\)
Theo bất đẳng thức Cauchy thì bất đẳng thức cuối cùng hiển nhiên đúng.
Như vậy bất đẳng thức được chứng minh. Dấu đẳng thức xẩy ra tại \(a=b=c\)
\(\log_an.\log_bn+\log_bn.\log_cn+\log_cn.\log_an=\frac{\log n.\log n}{\log_a.\log_b}+\frac{\log n.\log n}{\log_b.\log_b}+\frac{\log n.\log n}{\log_c.\log_a}\)
\(=\left(\log n\right)^2\frac{\log a+\log b+\log c}{\log a\log b\log c}\)
\(=\frac{\log abc}{\log a\log b\log c}.\frac{\left(\log n\right)^3}{\log n}\)
\(=\frac{\log_an\log_bn\log_cn}{\log_{abc}n}\)
=> Điều phải chứng minh