The original question is as follows:

For any real number $x$, let $\lfloor x \rfloor$ denote the largest integer less than or equal to $x$ and $\langle x \rangle = x - \lfloor x \rfloor$, that is, the fractional part of $x$. For arbitrary real numbers $x$, $y$ and $z$, only one of the following statements is correct. Which one is it?

  1. $\lfloor x + y + z \rfloor = \lfloor x \rfloor + \lfloor y \rfloor + \lfloor z \rfloor$
  2. $\lfloor x + y + z \rfloor = \lfloor x + y \rfloor + \lfloor z \rfloor = \lfloor x \rfloor + \lfloor y + z \rfloor = \lfloor x + z \rfloor + \lfloor y \rfloor$
  3. $\langle x +y + z \rangle = y + z - \lfloor y + z \rfloor + \langle x \rangle$
  4. $\lfloor x + y + z \rfloor = \lfloor x + y \rfloor + \lfloor z + \langle y + x \rangle \rfloor$

For options $(1)$, $(2)$ and $(3)$, I proved those relations to be false (actually special cases) from the definitions. Therefore, Option $(4)$ must be the correct one. In fact, it is.

However, my question is, how should I prove it as it were, if there were no other options? I tried using the definitions alone, but I got stuck. Should I consider proving it using cases? Or is there a simple approach?

  • $\begingroup$ Try a simpler version $\lfloor a+b \rfloor = \lfloor a \rfloor + \lfloor b + \langle a \rangle \rfloor$ using $a= \lfloor a \rfloor + \langle a \rangle$ and $ \lfloor \lfloor a \rfloor +c \rfloor = \lfloor a \rfloor +\lfloor c \rfloor$ $\endgroup$ – Henry Jan 3 '17 at 21:19

We have $\def\fl#1{\left\lfloor#1\right\rfloor}\def\fr#1{\left<#1\right>}$ $$ x+y+z = \fl{x+y} + \fr{x+y} + z $$ by the very definition of $\fl\cdot$ and $\fr\cdot$, hence as $\fl{x+y}$ is an integer, we have $$ \fl{x+y+z} = \fl{\fl{x+y} + \fr{x+y} + z} = \fl{x+y} + \fl{\fr{x+y} + z} $$


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.