Let $ \mathsf{LHS} = \lfloor \lceil x \rceil \rfloor $ and $ \mathsf{RHS} = \lceil x \rceil $.

Let us call $ n = \lceil x \rceil $.

Case 1: $ n $ is even, i.e., there exists a $ k \in \mathbb{Z} $ such that $ n = 2 k $.

I’m not sure how to go on or if I’m setting this up right.

  • $\begingroup$ What is ⎤? Floor? Ceil? $\endgroup$
    – Joao
    Nov 14 '14 at 6:59
  • $\begingroup$ You have to show that, if $n=\lceil x\rceil$, then $\lfloor n\rfloor=n$? If $n$ is the floor of some number then $n$ is its own ceiling? If $n$ is in the range of the floor function, then $n$ is a fixed point of the ceiling function? It would help a lot if I knew (a) what is the range of the floor function, and (b) what are the fixed points of the ceiling function. Beats me. You have any ideas? $\endgroup$
    – bof
    Mar 1 '15 at 8:30

$\lceil x\rceil$ is an integer, and if $n$ is an integer then $\lfloor n\rfloor=n$.


First notice that $ \left \lfloor{n}\right \rfloor = n$ for all integers $ n$. And $ \lceil x \rceil $ is an integer


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.