An Inequality from RMM with Powers of 2


An Inequality from RMM with Powers of 2


Note that

$\begin{align} 2^x+2^y+2^z+2^{x+y+z}&-2^{x+y}-2^{y+z}-2^{z+x}-1\\ &=(2^x-1)(2^y-1)(2^z-1)\\ &\gt 0, \end{align}$

implying that

$2^x+2^y+2^z+2^{x+y+z}\gt 2^{x+y}+2^{y+z}+2^{z+x}+1.$


$\begin{align} 2^{x+y}&=4^{\frac{x+y}{2}}\\ &\ge 4^{\frac{2xy}{x+y}}\\ &=\sqrt[x+y]{16^{xy}} \end{align}$

The required inequality follows from the above by cycling through the pairs $(y,z)\;$ and $(z,x)\;$ then adding.


Dan Sitaru has kindly posted the above problem from the Romanian Mathematical Magazine, with a proof by Ravi Prakash (India), at the CutTheKnotMath facebook page.

The proof appears to work for real positive $x,y,z.$


|Contact| |Front page| |Contents| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny


Search by google: