Bài toán 10.[IMO 2012.] Cho a_2, a_3, \ldots, a_n là n-1 số thực dương thỏa mãn a_2a_3\cdots a_n = 1. Chứng minh rằng (1+a_2)^2(1+a_3)^2\cdots (1+a_n)^n > n^n. |
Lời giải
Từ bất đẳng thức Cauchy cho 2 số, 3 số, 4 số, \ldots, n số thực dương ta có: \begin{align*} &1 + a_2 \ge 2\sqrt{1\cdot a_2}=2 \sqrt{a_2} \Rightarrow (1+a_2)^2 \ge \left(2\sqrt{a_2}\right)^2 = 2^2 \cdot a_2\\ &1 + a_3 = \dfrac{1}{2} +\dfrac{1}{2} + a_3\ge3\sqrt[3]{\dfrac{1}{2}\cdot \dfrac{1}{2}\cdot a_3}\Rightarrow (1+a_3)^3 \ge 3^3 \cdot \dfrac{1}{2^2} \cdot a_3\\ &1 + a_4 = \dfrac{1}{3} +\dfrac{1}{3} + \dfrac{1}{3}+ a_4\ge4\sqrt[4]{\dfrac{1}{3}\cdot \dfrac{1}{3}\cdot \dfrac{1}{3}\cdot a_4}\Rightarrow (1+a_4)^4 \ge 4^4 \cdot \dfrac{1}{3^3} \cdot a_4\\ &\ldots\ldots\ldots\ldots\ldots\ldots\\ &1+a_{n}=\frac{1}{n-1}+\frac{1}{n-1}+\cdots+\frac{1}{n-1}+a_{n} \ge n\cdot \sqrt[n]{\dfrac{1}{n-1}\cdot \dfrac{1}{n-1} \cdots \dfrac{1}{n-1}\cdot a_n}.\tag{*} \end{align*}Suy ra (1+a_n)^n \ge n^n \cdot \dfrac{1}{(n-1)^{n-1}}\cdot a_n . ((*) có n-1 số hạng \dfrac{1}{n-1} và n-1 thừa số \dfrac{1}{n-1}). Nhân theo vế các bất đẳng thức cùng chiều ta được \begin{align*} &(1+a_2)^2(1+a_3)^3(1+a_4)^4\cdots(1+a_n)^n \geq 2^2\cdot a_2 \cdot 3^3 \cdot \dfrac{1}{2^2}\cdot a_3 \cdot 4^4 \cdot \dfrac{1}{3^3} \cdot a^4 \cdots n^n \cdot \dfrac{1}{(n-1)^{n-1}}\cdot a_n\\ &\Leftrightarrow \, (1+a_2)^2(1+a_3)^3 \cdots (1+a_n)^n \geq\, \dfrac{2^2\cdot 3^3 \cdot 4^4 \cdots n^n}{2^2 \cdot 3^3 \cdots (n-1)^{n-1}}\cdot a_2a_3\cdots a_n = n^n\cdot 1 = n^n.\\ &\Rightarrow \, (1+a_2)^2(1+a_3)^3\cdots (1+a_n)^n \geq n^n \tag{1} \end{align*} Dấu = xảy ra khi \begin{eqnarray*} &&\left\{ \begin{array}{l}&a_2 = 1, a_3 = \dfrac{1}{2}, a_4 = \dfrac{1}{3},\ldots,a_n = \dfrac{1}{n-1}\\&a_2a_3\cdots a_n =1\end{array} \right.\\ &\Rightarrow&\left\{ \begin{array}{l}&a_2a_3a_4\cdots a_n = 1\cdot \dfrac{1}{2} \cdot \dfrac{1}{3} \cdots \dfrac{1}{n-1}\\&a_2a_3\cdots a_n = 1\end{array} \right.\\ &\Rightarrow& \dfrac{1}{2\cdot 3 \cdots (n-1) }=1 \;\text{(vô lý).} \end{eqnarray*} Do đó dấu = của bất đẳng thức (1) không xảy ra. Từ (1) suy ra: (1+a_2)^2(1+a_3)^3\cdots (1+a_n)^n > n^n và ta có điều phải chứng minh.
0 nhận xét:
Đăng nhận xét