1
$\begingroup$

Having trouble proving this equality for all real numbers. I understand that the left side simplifies to $\lceil x \rceil$ - $\lceil y \rceil$, however I cannot for the life of me get the right side simplified to equal the left side.

$\lceil x-\lceil y \rceil \rceil =\lfloor \lceil x \rceil - y \rfloor$

$\endgroup$
3
  • 5
    $\begingroup$ Note that you can pull integers out of floors or ceilings, $\lfloor k + z\rfloor = k + \lfloor z\rfloor$ if $k\in \mathbb{Z}$. $\endgroup$ Feb 15, 2016 at 20:40
  • $\begingroup$ Take $x = \pi$ and $y = e$ to see what happens. $\endgroup$
    – J.-E. Pin
    Feb 15, 2016 at 20:45
  • 1
    $\begingroup$ @J.-E.Pin What happens? I get $\;1\;$ in both sides. $\endgroup$
    – DonAntonio
    Feb 15, 2016 at 21:25

3 Answers 3

2
$\begingroup$

Building on Daniel Fischer's comment: \begin{align}\lfloor\lceil x\rceil-y\rfloor&=\lceil x\rceil+\lfloor-y\rfloor\\ &=\lceil x\rceil-\lceil y\rceil\end{align}

$\endgroup$
1
  • $\begingroup$ Can't be simpler. $\endgroup$
    – user65203
    Feb 16, 2016 at 9:26
0
$\begingroup$

For any real numbers, $x, y$ there are integers $n_x$ and $n_y$ such that

$n_x \le x < n_x + 1$ and $n_y \le y < n_y + 1$.

Case 1: Neither $x$ nor $y$ are integers.

$\lceil x-\lceil y \rceil \rceil = \lceil x-(n_y + 1) \rceil= \lceil x\rceil-(n_y + 1)= n_x + 1 - n_y - 1 = n_x - n_y$

While $\lfloor \lceil x \rceil - y \rfloor = \lfloor n_x + 1 - n_y - (y - n_y) \rfloor = n_x - n_y + \lfloor 1 - (y - n_y) \rfloor = n_x - n_y + 0 = n_x - n_y$

Case 2: $x = n_x$ is an integer. $y$ is not.

$\lceil x-\lceil y \rceil \rceil = x-(n_y + 1)= n_x - n_y - 1 $

While $\lfloor \lceil x \rceil - y \rfloor = \lfloor n_x - n_y - (y - n_y) \rfloor = n_x - n_y + \lfloor - (y - n_y) \rfloor = n_x - n_y -1$

Case 3: $x$ is not and integer. $y = n_y$ is.

$\lceil x-\lceil y \rceil \rceil = \lceil x-n_y \rceil= \lceil x\rceil-n_y= n_x + 1 - n_y $

While $\lfloor \lceil x \rceil - y \rfloor = \lfloor n_x + 1 - n_y \rfloor = n_x +1 - n_y$

Case 4: $x = n_x$ and $y = n_y$ are both integers.

$\lceil x-\lceil y \rceil \rceil =\lceil x_n-y_n \rceil = x_n - y_n= \lfloor x_n - y_n \rfloor = \lfloor \lceil x \rceil - y \rfloor$

$\endgroup$
0
$\begingroup$

$$\lceil x-\lceil y \rceil \rceil \overset{?}=\lfloor \lceil x \rceil - y \rfloor$$

Note that I used @Daniel Fischer's comment

$$\boxed{\color{red}{\lceil x - \lceil y \rceil \rceil}= \lceil x \rceil -\lceil y \rceil = \lceil x \rceil+\lfloor - y \rfloor = \color{red}{\lfloor \lceil x \rceil -y \rfloor}}$$

$\endgroup$

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.