Floor function proof

  • Thread starter nicnicman
  • Start date
  • #1
136
0

Homework Statement


Note: [x] denotes the floor of x.

Prove that [3x] = [x] + [x + 1/3] + [x + 2/3]


Homework Equations





The Attempt at a Solution



Let x = n + E, where n is an integer and 0≤ E < 1. We have three cases:

Case 1: 0 ≤ E < 1/3
3x = 3n + 3E and [3x] = 3n, since 0 ≤ 3E < 1.
[x + 1/3} = n, since x + 1/3 = n + (1/3 + E) and 0 ≤ 1/3 + E < 1.
[x + 2/3} = n, since x + 2/3 = n + (2/3 + E) and 0 ≤ 1/3 + E < 1.
Thus, [3x] = 3n, and [x] + [x + 1/3] + [x + 2/3] = n + n + n = 3n.

Case 2: 1/3 ≤ E < 2/3
3x = 3n = 3E = (3n + 1) + (3E -1) and [3x] = 3n + 1, since 0 ≤ 3E - 1 < 1.
[x + 1/3] = n, since x + 1/3 = n + (1/3 + E) and 0 ≤ 1/3 + E < 1.
[x + 2/3] = [n + (2/3 + E)] = [n + 1 + (E - 1/3)] = n + 1, since 0 ≤ E - 1/3 < 1.
Thus, [3x] = 3n + 1, and [x] + [x + 1/3] + [x + 2/3] = n + n + (n + 1) = 3n + 1.

Case 3: 2/3 ≤ E < 1
3x = 3n = 3E = (3n + 2) + (3E -2) and [3x] = 3n + 2, since 0 ≤ 3E - 2 < 1.
[x + 1/3] = [n + (1/3 + E)] = [n + 1 + (E - 2/3)] = n + 1, since 0 ≤ E - 2/3 < 1.
[x + 2/3] = [n + (2/3 + E)] = [n + 1 + (E - 1/3)] = n + 1, since 0 ≤ E - 1/3 < 1.
Thus, [3x] = 3n + 2, and [x] + [x + 1/3] + [x + 2/3] = n + (n + 1) + (n + 1) = 3n + 2.

How does this look? I just want to make sure I'm not over looking something.

Thanks.
 

Answers and Replies

  • #2
136
0
Any comments?
 
  • #3
Dick
Science Advisor
Homework Helper
26,263
619
Any comments?

Doesn't look like you missed anything to me. I might have missed a typo in a line or two, but it's certainly the right idea.
 
  • #4
136
0
Yeah, there's a pretty good chance there's at least one typo. Thanks for looking it over I know it's tedious--I spent more time writing it than I care to admit.
 

Related Threads on Floor function proof

Replies
0
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
4
Views
8K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
9
Views
8K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
1
Views
5K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
2
Views
1K
Replies
1
Views
2K
Top