Xét hàm \(f\left(t\right)=\frac{ln\left(a^t+b^t\right)}{t}\) với \(t>0\)
\(f'\left(t\right)=\frac{t.\frac{a^t.lna+b^t.lnb}{a^t+b^t}-ln\left(a^t+b^t\right)}{t^2}=\frac{a^tlna^t-a^tln\left(a^t+b^t\right)+b^tlnb^t-b^tln\left(a^t+b^t\right)}{\left(a^t+b^t\right)t^2}\)
\(=\frac{a^t.\left(lna^t-ln\left(a^t+b^t\right)\right)+b^t\left(lnb^t-ln\left(a^t+b^t\right)\right)}{\left(a^t+b^t\right)t^2}< 0\)
\(\Rightarrow f\left(t\right)\) nghịch biến \(\Leftrightarrow f\left(x\right)< f\left(y\right)\Leftrightarrow x>y>0\)
\(\Leftrightarrow\frac{ln\left(a^x+b^x\right)}{x}< \frac{ln\left(a^y+b^y\right)}{y}\)
\(\Leftrightarrow y.ln\left(a^x+b^x\right)< x.ln\left(a^y+b^y\right)\)
\(\Leftrightarrow ln\left(a^x+b^x\right)^y< ln\left(a^y+b^y\right)^x\)
\(\Leftrightarrow\left(a^x+b^x\right)^y< \left(a^y+b^y\right)^x\)
