AM-GM thôi :))
từ giả thiết :\(\frac{1}{1+x_1}+\frac{1}{1+x_2}+...+\frac{1}{1+x_{n-1}}=\frac{x_n}{1+x_n}\)
Áp dụng BĐT AM-GM: \(\frac{x_n}{1+x_n}\ge\left(n-1\right)\sqrt[n-1]{\frac{1}{\left(1+x_1\right)\left(1+x_2\right)..\left(1+x_{n-1}\right)}}\)
từ giả thiết ta cũng có: \(\frac{x_{n-1}}{1+x_{n-1}}=\frac{1}{1+x_1}+\frac{1}{1+x_2}+...+\frac{1}{1+x_{n-2}}+\frac{1}{1+x_n}\ge\left(n-1\right)\sqrt[n-1]{\frac{1}{\left(1+x_1\right)\left(1+x_2\right)...\left(1+x_{n-2}\right)\left(1+x_n\right)}}\)
cứ như thế,chuyễn 1 hạng tử từ vế trái sang vế phải, ta được n bất đẳng thức
Nhân chúng lại với nhau: \(\frac{x_1.x_2...x_n}{\left(1+x_1\right)\left(1+x_2\right)..\left(1+x_n\right)}\ge\frac{\left(n-1\right)^n}{\left(1+x_1\right)\left(1+x_2\right)..\left(1+x_n\right)}\)
do đó \(x_1.x_2.x_3...x_n\ge\left(n-1\right)^n\)
P/s: Nếu thắc mắc vì sao nó hết căn,để ý rằng nhân tử \(x_n\)xuất hiện (n-1) lần , nó chỉ không xuất hiện ở BĐT thứ 2 ở trên . căn (n-1) ắt sẽ hết
