A nice equation with the floor function

  • Thread starter Thread starter Gp7417
  • Start date Start date
  • Tags Tags
    Function
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
11 replies · 2K views
Gp7417
Messages
8
Reaction score
0
Moved from a technical forum, so homework template missing
Hi all!
I should solve the following equation involving the ceil or floor function:
[tex] x \cdot \lceil x \cdot \lceil x \rceil \rceil = 82[/tex]
I have found just one solution 41/9, but I have no idea about how finding the other solutions.
Thanks you in advance!
 
Physics news on Phys.org
Gp7417 said:
I should solve the following equation involving the ceil or floor function:
[tex] x \cdot \lceil x \cdot \lceil x \rceil \rceil = 82[/tex]
I have found just one solution 41/9, but I have no idea about how finding the other solutions.
What convinces you that there are other solutions?
 
Can the expression stay the same or decrease if you increase x?
Can the expression stay the same or increase if you decrease x?
 
jbriggs444 said:
What convinces you that there are other solutions?
The problem says: 'Find all possibile solutions'. I find this solution numerically.
mfb said:
Can the expression stay the same or decrease if you increase x?
Can the expression stay the same or increase if you decrease x?
The expression must be the same.
 
Gp7417 said:
The expression must be the same.
Right, so can this be possible with a different x?
Gp7417 said:
The problem says: 'Find all possibile solutions'.
That does not tell you how many solutions there are.
 
I propose this solution, check it out!
We must find solution on the positive real axis.
Let be [itex]x= n + \delta[/itex], where [itex]n[/itex] is the integer part and [itex]\delta[/itex] is the fractional part with [itex]0 \leq \delta < 1[/itex].
Given that [itex]x \lfloor x \lfloor x \rfloor \rfloor=82[/itex] and [itex]x \lfloor x \lfloor x \rfloor \rfloor \leq x^3[/itex] , we get [itex]x \geq 82^{\frac{1}{3}} \approx 4.344[/itex]. Therefore [itex]n \geq 4[/itex].
If 5 is not solution the equation, then every number greater than 5 are not solutions. Therefore [itex]n=4[/itex].
With the previous statements, the equation becames:
[itex](4+\delta)\cdot \lfloor 16+4\delta \rfloor=82[/itex]
This equation is equivalent to the following equations:
[itex]0 \leq \delta < 1/4[/itex] and [itex](4+\delta)\cdot(16+0)=82[/itex]
[itex]1/4 \leq \delta < 2/4[/itex] and [itex](4+\delta)\cdot(16+1)=82[/itex]
[itex]2/4 \leq \delta < 3/4[/itex] and [itex](4+\delta)\cdot(16+2)=82[/itex]
[itex]3/4 \leq \delta < 4/4[/itex] and [itex](4+\delta)\cdot(16+3)=82[/itex]
Only the third equation admits a solution that is [itex]\delta=5/9[/itex].
 
Last edited:
You write the ceil function and then derive things for the floor function? For the floor function that works.
fresh_42 said:
So the inner ceiling is 5 and the outer at least 21.
See the floor/ceil mixup.
 
With [itex]\lceil x \rceil[/itex] I want to denote the floor function of [itex]x[/itex].
 
Gp7417 said:
The problem says: 'Find all possibile solutions'. I find this solution numerically.

The expression must be the same.

No. The function ##f(x) = x \lfloor x \lfloor x \rfloor \rfloor## is strictly increasing in ##x##, sometimes linearly and sometimes through a jump discontinuity.
To see this, let ##x = n + r## where ##n \geq 0 ## is an integer and ##0 \leq r < 1##. Then the inner floor function is ##\lfloor n + r \rfloor = n##, so
[tex]f(n+r) = (n+r) \lfloor (n+r)n \rfloor[/tex]
The function ## g(n,r) = \lfloor (n+r)n \rfloor## is positve and nondecreasing in ##n## and ##r##, so ##f(n+r) = (n+r) g(n,r)## is strictly increasing.

That means that ##f(x) = 82## has at most one root.