Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Prove the following identity holds for all real numbers $x$: $$\lfloor4x\rfloor=\lfloor x \rfloor +\left\lfloor x+\frac14 \right\rfloor+\left\lfloor x+\frac24\right\rfloor+\left\lfloor x+\frac34\right\rfloor$$

I understand that $\lfloor4.3\rfloor$ would be $4$ and $\lfloor-2.4\rfloor$ would be $-3$

I am trying to prove this by cases. I think that I should prove each case first such as $\lfloor x\rfloor$ first and then $\left\lfloor x+\frac14\right\rfloor$ and on but I'm having trouble proving it in generality

share|improve this question

2 Answers 2

Hint: Separate all real numbers into a few groups, depending on the relation of their fractional part to the intervals formed by $0$, $\frac14$ , $\frac12$ , $\frac34$ and $1$.

share|improve this answer

Let $\{x\}=x-[x]$, (i.e., the fractional part of $x$).

First Case: if $\{x\}\in[0,0.25)$ then $$4\{x\}<1\Rightarrow [4x]=4[x],$$ and also $$[x]=[x+1/4]=[x+2/4]=[x+3/4],$$ so for this case we have $$[4x]=4[x]=[x]+[x+1/4]+[x+2/4]+[x+3/4].$$

$${}_{}$$

Second Case: if $\{x\}\in[0.25,0.5)$ then $$1\le4\{x\}<2\Rightarrow [4x]=4[x]+1,$$ and also $$[x]=[x+1/4]=[x+2/4],$$ but now $$[x+3/4]=[x]+1.$$ So for this case we have $$[4x]=4[x]+1=[x]+[x+1/4]+[x+2/4]+[x+3/4].$$

$${}_{}$$

I think you see the pattern and can complete the last two cases.

$${}_{}$$

EDIT: I added lots of spacing and made the equations display style for readability.

share|improve this answer
    
With the mix of math and english, I find it almost impossible to read your answer. –  Quincunx Jan 30 at 4:48
    
@Quincunx: I think this answer is quite well-written and to the point, and fully detailed. –  ShreevatsaR Jan 30 at 5:11
    
@ShreevatsaR This is a well written answer, but I think it could use a little spacing (would you hand in a proof that looks like that? I know I would split it into more lines). –  Quincunx Jan 30 at 6:45

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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