Cách 1, sử dụng BĐT Jensen cho hàm lồi $f(x)=x.lnx$ với $x>0$, ta được:Bài 54: Cho $a,b,c>0$ chứng minh $a^ab^bc^c\geq abc^{\frac{a+b+c}{3}}$
Canada 1995Spoiler
$$a.lna+b.lnb+c.lnc\geq 3.\frac{a+b+c}{3}.ln\frac{a+b+c}{3}\Leftrightarrow a^ab^bc^c\geq \left ( \frac{a+b+c}{3} \right )^{a+b+c}\geq (abc)^{\frac{a+b+c}{3}}$$
Cách 2, lấy logarit hai vế, ta được:
$$a^{3a}b^{3b}c^{3c}\geq (abc)^{a+b+c}\Leftrightarrow \sum 3a.lna\geq \sum (a+b+c).lna\Leftrightarrow \sum (2a-b-c).lna\geq 0$$
$$\Leftrightarrow (a-b).(lna-lnb)+(b-c).(lnb-lnc)+(c-a).(lnc-lna)\geq 0$$
Đúng