Prove $∀x,y\ (x,y\in \mathbb{R}: \lfloor{x+y}\rfloor=\lfloor{x}\rfloor+\lfloor{y}\rfloor∨\lfloor{x+y}\rfloor=\lfloor{x}\rfloor+\lfloor{y}\rfloor+1)$

So, I let

$\lfloor{x}\rfloor=m ≡ m≤x<m+1$

$\lfloor{y}\rfloor=n ≡ n≤y<n+1$

Now, I have that $m+n≤x+y<m+n+2$

... And I get stuck in here.

I found this proof over the the internet:

Let $[x] = m$ and $[y] = n$, then we have $$ m \leq x < m + 1 \quad > \text{and} \quad n \leq y < n + 1.$$ So, adding, we obtain, $$ m+n > \leq x+y < m+n+2.$$ Thus, $$ [x+y] = m+n = [x] + [y] \quad \text{or} \quad [x+y] = m+n+1 = [x] + [y] + 1.$$

Which seems to state that where I am is sufficient to conclude the theorem, however I don't see how,because it escalates too quickly.

How do you think i should follow?

Thanks in advance.

  • $\begingroup$ I suggest to use Latex, if you can. $\endgroup$ – peterh Aug 18 '18 at 7:40
  • $\begingroup$ Is the following clear to you? If $n\le z <n+2$ then either $n\le z<n+1$ or $n+1\le z<n+2$. If not, think about it. Draw the number line, and place the numbers $n,n+1,n+2$ on it. Then check out where $z$ may land? $\endgroup$ – Jyrki Lahtonen Aug 19 '18 at 5:47

Hint: How many $k \in \mathbb{Z}$ are there such that

$m + n \leq k < m + n + 2$

and what are they? Now, what does this, along with the fact that

$m + n \leq x + y < m + n + 2$

tell you about $\lfloor x + y \rfloor $?


Remark that if $a = \lfloor x+y \rfloor$, then the inequalities $$a \leq x+y < a+1$$ can be rearranged as $$x+y-1 < a \leq x+y$$ Do you see how combining this with $$m+n \leq x+y < m+n+2$$ gives you the possible values of $a$?


Perhaps one may add that either $x+y<m+n+1$ or $m+n+1 \leq x+y$, from which the result readily follows.

  • $\begingroup$ This does not provide an answer to the question. To critique or request clarification from an author, leave a comment below their post. - From Review $\endgroup$ – Adrian Keister Aug 18 '18 at 19:59
  • $\begingroup$ It is a simple fact that the OP may have overlooked that directs him straight to the desired conclusion, right from where he is/was stuck. $\endgroup$ – SEBASTIAN VARGAS LOAIZA Aug 18 '18 at 22:20

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.