Ta có:

\(\left(\sqrt{n+a}+\sqrt{n-a}\right)^2< \left(1+1\right)\left(n+a+n-a\right)=4n\)

\(\Rightarrow\sqrt{n+a}+\sqrt{n-a}< \sqrt{4n}=2\sqrt{n}\)

cm thì xong r` mà BĐT trên thì + biểu thức dưới là - là sao ??

a) Áp dụng bất đẳng thức Cauchy cho các số dương, ta có :

\(\log_23+\log_32>2\sqrt{\log_23.\log_32}=2\sqrt{1}=2\)

Không xảy ra dấu "=" vì \(\log_23\ne\log_32\)

Mặt khác, ta lại có :

\(\log_23+\log_32<\frac{5}{2}\Leftrightarrow\log_23+\frac{1}{\log_23}-\frac{5}{2}<0\)

                             \(\Leftrightarrow2\log^2_23-5\log_23+2<0\)

                            \(\Leftrightarrow\left(\log_23-1\right)\left(\log_23-2\right)<0\) (*)

Hơn nữa, \(2\log_23>2\log_22>1\) nên \(2\log_23-1>0\)

Mà \(\log_23<\log_24=2\Rightarrow\log_23-2<0\)

Từ đó suy ra (*) luôn đúng. Vậy \(2<\log_23+\log_32<\frac{5}{2}\)

b) Vì \(a,b\ge1\) nên \(\ln a,\ln b,\ln\frac{a+b}{2}\) không âm. 

Áp dụng bất đẳng thức Cauchy ta có

\(\ln a+\ln b\ge2\sqrt{\ln a.\ln b}\)

Suy ra 

\(2\left(\ln a+\ln b\right)\ge\ln a+\ln b+2\sqrt{\ln a\ln b}=\left(\sqrt{\ln a}+\sqrt{\ln b}\right)^2\)

Mặt khác :

\(\frac{a+b}{2}\ge\sqrt{ab}\Rightarrow\ln\frac{a+b}{2}\ge\frac{1}{2}\left(\ln a+\ln b\right)\)

Từ đó ta thu được :

\(\ln\frac{a+b}{2}\ge\frac{1}{4}\left(\sqrt{\ln a}+\sqrt{\ln b}\right)^2\)

hay \(\frac{\sqrt{\ln a}+\sqrt{\ln b}}{2}\le\sqrt{\ln\frac{a+b}{2}}\)

c) Ta chứng minh bài toán tổng quát :

\(\log_n\left(n+1\right)>\log_{n+1}\left(n+2\right)\) với mọi n >1

Thật vậy, 

\(\left(n+1\right)^2=n\left(n+2\right)+1>n\left(n+2\right)>1\) 

suy ra :

\(\log_{\left(n+1\right)^2}n\left(n+2\right)<1\Leftrightarrow\frac{1}{2}\log_{n+1}n\left(n+2\right)<1\)

                                  \(\Leftrightarrow\log_{n+1}n+\log_{\left(n+1\right)}n\left(n+2\right)<2\)

Áp dụng bất đẳng thức Cauchy ta có :

\(2>\log_{\left(n+1\right)}n+\log_{\left(n+1\right)}n\left(n+2\right)>2\sqrt{\log_{\left(n+1\right)}n.\log_{\left(n+1\right)}n\left(n+2\right)}\)

Do đó ta có :

\(1>\log_{\left(n+1\right)}n.\log_{\left(n+1\right)}n\left(n+2\right)\) và \(\log_n\left(n+1>\right)\log_{\left(n+1\right)}\left(n+2\right)\) với mọi n>1

\(\frac{1}{2\sqrt{n+1}}=\frac{1}{\sqrt{n+1}+\sqrt{n+1}}< \frac{1}{\sqrt{n+1}+\sqrt{n}}=\frac{\sqrt{n+1}-\sqrt{n}}{\left(\sqrt{n+1}-\sqrt{n}\right)\left(\sqrt{n+1}+\sqrt{n}\right)}=\frac{\sqrt{n+1}-\sqrt{n}}{n+1-n}=\sqrt{n+1}-\sqrt{n}\)

=> \(\frac{1}{2\sqrt{n+1}}< \sqrt{n+1}-\sqrt{n}\)(1)

\(\frac{1}{2\sqrt{n}}=\frac{1}{\sqrt{n}+\sqrt{n}}>\frac{1}{\sqrt{n+1}+\sqrt{n}}=\frac{\sqrt{n+1}-\sqrt{n}}{\left(\sqrt{n+1}-\sqrt{n}\right)\left(\sqrt{n+1}+\sqrt{n}\right)}=\frac{\sqrt{n+1}-\sqrt{n}}{n+1-n}=\sqrt{n+1}-\sqrt{n}\)=> \(\frac{1}{2\sqrt{n}}>\sqrt{n+1}-\sqrt{n}\)(2)

Từ (1) và (2) => \(\frac{1}{2\sqrt{n+1}}< \sqrt{n+1}-\sqrt{n}< \frac{1}{2\sqrt{n}}\)