Problem

Source: CRMO 2012 region 5 p3 Mumbai

Tags: algebra, number theory, fractional part, solve- integer part, Integer Part, solve- fractional part



Solve for real $x$ : $2^{2x} \cdot 2^{3\{x\}} = 11 \cdot 2^{5\{x\}} + 5 \cdot 2^{2[x]}$ (For a real number $x, [x]$ denotes the greatest integer less than or equal to x. For instance, $[2.5] = 2$, $[-3.1] = -4$, $[\pi ] = 3$. For a real number $x, \{x\}$ is defined as $x - [x]$.)