Nhìn phát thấy ngay là $Holder$3,(tổng quát bài 1 lên) với 2n số không âm
$\sqrt[n]{a_{1}a_{2}....a_{n}} +\sqrt[n]{b_{1}b_{2}...b_{n}}\leq \sqrt[n]{(a_{1}+b_{1})(a_{2}+b_{2})...(a_{n}+b_{n})}\(*)$
---
-Nếu $\exists a_i+b_i=0\Rightarrow a_i=b_i=0\Rightarrow VT(*)=VP(*)$
-Nếu các biến đều dương: áp dụng BĐT $AM-GM$ cho $n$ số, ta có:
$$\dfrac{a_1}{a_1+b_1}+\dfrac{a_2}{a_2+b_2}+...+\dfrac{a_n}{a_n+b_n}\ge \dfrac{n\sqrt[n]{a_1a_2...a_n}}{(a_{1}+b_{1})(a_{2}+b_{2})...(a_{n}+b_{n})}\\
\dfrac{b_1}{a_1+b_1}+\dfrac{b_2}{a_2+b_2}+...+\dfrac{b_n}{a_n+b_n}\ge \dfrac{n\sqrt[n]{b_1b_2...b_n}}{(a_{1}+b_{1})(a_{2}+b_{2})...(a_{n}+b_{n})}$$
Cộng vế với vế của 2 BĐT cùng chiều trên, sau vài bước biến đổi ta có ĐPCM. Dấu bằng xảy ra chẳng hạn khi $a_1=a_2=...=a_n;b_1=b_2=...=b_n\ \square$
---
Hai bài trên là hệ quả trực tiếp của BĐT này