Floor Function (Greatest Integer Function) Identity

  • Thread starter tylerc1991
  • Start date
  • #1
166
0

Homework Statement



Prove that, for all [itex]x, y \in \mathbb{R}[/itex],

[itex][2x] + [2y] \geq [x] + [y] + [x + y][/itex].

Homework Equations



I am using [itex][\cdot][/itex] to represent the floor function, and [itex]\{\cdot\}[/itex] to represent the fractional part of a real number ([itex]\{x\} = x - [x][/itex] for real numbers [itex]x[/itex]).

We may take for granted that [itex][x + y] \geq [x] + [y][/itex]. (1)

We may also take for granted that [itex][x + n] = [x] + n[/itex] for [itex]n \in \mathbb{Z}[/itex].

The Attempt at a Solution



Let [itex]x[/itex] and [itex]y[/itex] be real numbers. Using inequality (1) above, we see that [itex][2x] \geq 2[x][/itex] and [itex][2y] \geq 2[y][/itex]. So I can say that

[itex][2x] + [2y] \geq 2[x] + 2[y][/itex]. (a)

By definition, [itex]x = \{x\} + [x][/itex], so we see that [itex][x + y] = [\{x\} + [x] + \{y\} + [y]] = [\{x\} + \{y\}] + [x] + [y] \leq 1 + [x] + [y][/itex]. This is equivalent to

[itex]-[x + y] \geq -1 - [x] - [y][/itex]. (b)

Adding equations (a) and (b), we see that

[itex][2x] + [2y] + 1 \geq [x] + [y] + [x + y][/itex].

I am annoyingly close, and as much as I wish I could get rid of that pesky '1', I can't seem to at the moment. Could someone please give me a little direction? Thank you!
 

Answers and Replies

  • #2
166
0
Using the fact that [itex][2x] = [x] + [x + 1/2][/itex], I figured it out!!
 

Related Threads on Floor Function (Greatest Integer Function) Identity

Replies
7
Views
2K
Replies
4
Views
3K
Replies
1
Views
4K
Replies
2
Views
555
  • Last Post
Replies
3
Views
2K
Replies
6
Views
13K
  • Last Post
Replies
9
Views
7K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
4
Views
8K
  • Last Post
Replies
3
Views
7K
Top