Mở rộng: Tổng quát bài toán với n biến (n lẻ)
Cho $a_1, a_2, a_3,...., a_n$ là những só thực dương thỏa mãn:
$\sum\frac{1}{a_{1}^{n+1}+a_2+a_3+...+a_n}\leq \frac{n}{a_1+a_2+...+a_n}$
Bất đẳng thức đã cho tương đương với:
$\sum\frac{a_1^{n+1}-a_1}{a_1^{n+1}+a_2+...+a_n}\geq 0$
*Áp dụng AM-GM ta có:
$a_1^{n+1}+a_2+..+a_n\geq na_1.\sqrt[n]{a_1a_2a_3..a_n}$
$a_2^{n+1}+a_3+..+a_n+a_1\geq na_2.\sqrt[n]{a_1a_2a_3..a_n}$
........
$a_n^{n+1}+a_1+..+a_{n-1}\geq na_n.\sqrt[n]{a_1a_2a_3..a_n}$
và
$(n+1)a_1a_2..a_n=1+a_1+a_2+..+a_n\geq (n+1)\sqrt[n+1]{a_1a_2..a_n}$
Suy ra: $a_1a_2a_3..a_n\geq 1$
Do đó:
$\sum\frac{a_1}{a_1^{n+1}+a_2+..+a_n}\leq \frac{1}{\sqrt[n]{a_1a_2..a_n}}\leq 1$ (1)
*Áp dụng BĐT Cauchy-Schwart ta có:
$\sum\frac{a_1^{n+1}}{a_1^{n+1}+a_2+..+a_n}\geq \frac{(a_1^{\frac{n+1}{2}}+a_2^{\frac{n+1}{2}}+..+a_n^{\frac{n+1}{2}})^2}{a_1^{n+1}+a_2^{n+1}+..a_n^{n+1}+(n-1)(\sum a_1)}= S$
Ta chứng minh $S\geq 1$ (2)
Tương đương:
$\sum a_1^{\frac{n+1}{2}}a_2^{\frac{n+1}{2}}\geq \frac{n-1}{2}(\sum a_1)$
Áp dụng AM-GM cho $\frac{(n-1)(n+1)(n-2}{2}$ số ta có:
$(n-3)(\sum_{i,j=2}^n a_i^{\frac{n+1}{2}}a_j^{\frac{n+1}{2}})+2(n-2)a_1^{\frac{n+1}{2}}(a_2^{\frac{n+1}{2}}+a_3^{\frac{n+1}{2}}+..+a_n^{\frac{n+1}{2}})\geq \frac{(n-1)(n+1)(n-1)}{2}a_1^2a_2a_3...a_n$
($i< j$)
Tương tự với các biến còn lại rồi cộng vế ta được:
$(n+1)(n-2)\sum a_1^{\frac{n+1}{2}}a_2^{\frac{n+1}{2}}\geq \frac{(n+1)(n-1)(n-2)}{2}a_1a_2..a_n(a_1+a_2+..+a_n)$
Do đó (2) đúng. (Do $a_1a_2a_3..a_n\geq 1$) (3)
Từ (1), (2), (3) suy ra ĐPCM. Dấu bằng xảy ra khi $a_1=a_2=..=a_n=1$
Điểm mở rộng: 5
Bài viết đã được chỉnh sửa nội dung bởi CD13: 21-09-2012 - 05:20