How to Prove the Statement [x-1][x+1]+1 = ([x])^2 for the Floor Function

  • Thread starter Thread starter dgamma3
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion focuses on proving the equation [x-1][x+1]+1 = ([x])^2, where [x] denotes the floor function. Participants clarify that x can be expressed as a + r, with a as an integer and r as a real number between 0 and 1. The proof involves analyzing three distinct cases based on the value of x: when x is an integer, when x is a non-integer greater than zero, and when x is a non-integer less than zero. Each case requires careful application of the floor function's definition and algebraic manipulation to validate the equation.

PREREQUISITES
  • Understanding of the floor function and its properties
  • Basic algebraic manipulation skills
  • Knowledge of real numbers and their classifications
  • Familiarity with rational and integer numbers
NEXT STEPS
  • Study the properties of the floor function in detail
  • Explore algebraic techniques for manipulating equations
  • Investigate cases in mathematical proofs involving piecewise functions
  • Learn about rational numbers and their representation
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding the floor function and its applications in algebraic proofs.

dgamma3
Messages
12
Reaction score
0

Homework Statement


Ok, So I've tried to prove this statement unsuccessfully.
how would you guys do it? (assume [] means floor)

[x-1][x+1]+1 = ([x])^2
 
Physics news on Phys.org
Let x= a+ r for some integer a and r between 0 and 1. [x-1]= a-1, [x+ 1]= a+1, and [x]= a.
 
I'll assume were working with [itex]x \in \mathbb{R}[/itex].

Just to be clear of the definition of the floor function, it is the function [itex]\left\lfloor \right\rfloor : \mathbb{R} \longrightarrow \mathbb{Z}[/itex], with the mapping [itex]x \in \mathbb{R} \longmapsto \mathrm{max} \left\{ y \in \mathbb{Z} : y \leq x \right\}[/itex], i.e. the floor of a real number is the maximum integer in that set.

Notice that you have a few cases, from different numbers giving different results for the floor function:
  1. [itex]x[/itex] being an integer
  2. [itex]x[/itex] not being an integer, but greater than zero
  3. [itex]x[/itex] not being an integer, but less than zero

The first case requires only a correct application of the definition of the floor function and some algebraic manipulations; just start with the left-hand side of the equation and work your way to the right-hand side (same for the other two cases), or the other way.

The second and third cases are more difficult. As already suggested, write [itex]x[/itex] in the way [itex]x = \alpha + \beta[/itex], where [itex]\alpha \in \mathbb{Z}[/itex], [itex]\beta \in \mathbb{Q} - \mathbb{Z}[/itex], i.e. [itex]\beta[/itex] to be a rational number that is not an integer. For the second case, what additional conditions would and must you apply to [itex]\alpha[/itex] and [itex]\beta[/itex]? Similarly for the third case? Hint: [itex]2.7 = 2 + 0.7[/itex].
 

Similar threads

Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K
Replies
4
Views
4K
Replies
8
Views
2K