|
|
Sử dụng BDT Jensen mở rộng.Đại khái như sau: f(x) liên tục khả vi trên I và f″ thì với x_1;x_2;...;x_n \in I ta luôn có: f(x_1)+f(x_2)+...+f(x_n) \ge nf(\sqrt[n]{x_1x_2...x_n}) (Chứng minh tương tự ở đây http://toan.hoctainha.vn/Hoi-Dap/Cau-Hoi/113703/bai-nay-kho-qua-co-anh-nao-giup-em-dc-k) BDT đã cho tương đương với: \sqrt[m]{\frac{1}{1+\frac{n^m-1}{a_1}}}+...+ \sqrt[m]{\frac{1}{1+\frac{n^m-1}{a_n}}} \ge 1 Đặt: x_1= \frac{n^m-1}{a_1};...;x_n=\frac{n^m-1}{a_n}.Khi đó ta có: x_1.....x_n=(n^m-1)^n Xét hàm số f(x)=\sqrt[m]{\frac{1}{1+x}} trên [0;+\infty] f''(x)= (\frac{1}{m^2}+\frac{1}{m})(\frac{1}{\sqrt[m]{(1+x)^{2m+1}}})>0 Do đó theo Jensen ta có: f(x_1)+f(x_2)+...+f(x_n) \ge nf(\sqrt[n]{x_1x_2...x_n})=1 Ta có dpcm.
|