Ta có : \(8^x+8^x+8^2\ge3\sqrt[3]{8^x.8^x.8^2}=12.4^x\)
\(8^y+8^y+8^2\ge3\sqrt[3]{8^y.8^y.8^2}=12.4^y\)
\(8^z+8^z+8^2\ge3\sqrt[3]{8^z.8^z.8^2}=12.4^z\)
\(8^x+8^y+8^z\ge3\sqrt[3]{8^x.8^y.8^z}=3\sqrt[3]{8^6}=192\)
Cộng các vế , ta được :
\(3\left(8^x+8^y+8^z+64\right)\ge3\left(4^{x+1}+4^{y+1}+4^{z+1}+64\right)\)
hay \(8^x+8^y+8^z\ge4^{x+1}+4^{y+1}+4^{z+1}\)