I am taking a numerical analysis course and I am doing some practice problems dealing with IEEE floating point arithmetic. A big part of this process seems to be the identity: $3\times2^{-53} = 2^{-52}+2^{-53}$.
The book claims this to be true due to the mantissa (truncating) after the 52nd bit. However, I cannot comprehend how this can be true. The book also states that $3\times2^{-52} = 2^{-51}+2^{-52}$ is also true.
How can I show such an equality to be true?
