The function that maps a real number x to the smallest integer not less than x. (See also (floor-function).)

learn more… | top users | synonyms

1
vote
1answer
55 views

Proof, that the floor and ceiling functions exist

I want to proof the following, with elementary properties of the integers and reals: Let $x\in \mathbb{R}$. Then there are unique $p,q\in \mathbb{Z}$, such that: $$p\leq x < p+1\text{ and ...
0
votes
2answers
19 views

Rounding half-integers to approximate product

Given two half-integers $a,b\in\mathbb Z+\frac 1 2$, the integers nearest to each is given by $N_a=\{a-0.5,\ a+0.5\}$ and $N_b=\{b-0.5,\ b+0.5\}$. Is there a general method to find, for the two given ...
0
votes
2answers
11 views

Expressing n mod m in terms of floor values?

I'm trying to prove the expression: $$\left\lceil\frac{n}m\right\rceil = \left\lfloor n+m-\frac1m\right\rfloor\;,$$ where $n,m$ are integers` So I've come across this article (PDF) which gives a ...
0
votes
0answers
48 views

Proof of nearest integer equality

Let $N(n)$ be the nearest-integer function undefined on half-integers. There are many valid ways to define $N(n)$, I like to choose $N(n) =\arg \min_{z \in \mathbb{Z}} |n-z|$. Consider the function ...
1
vote
2answers
40 views

Proof of a nearest-integer inequality

Let $N(y)$ be the nearest-integer function and undefined on half-integers. For all $r \in \mathbb R$ that are not half-integers, prove $$\forall{\ i \in \mathbb ...
2
votes
1answer
42 views

How to prove this apparent identity?

While solving the problem in my other question, I've come across an identity, which I've empirically found to be true, but can't seem to prove. Here I've simplified the problem a bit, so that the ...
2
votes
3answers
100 views

Proving Floor and Ceiling of a Rational Number

Suppose x,y $ \in \mathbb{Z}^+ $ Prove $\lceil x/y \rceil = \lfloor (x-1)/y \rfloor + 1$ I was considering using the definition of floor and ceiling to prove this. But this does not seem like a ...
0
votes
5answers
78 views

What is an example of a bijective function f: Z to N that isn't piecewise?

Like without using if even or odd. Like how you can define a bijection $f\colon\mathbb{N}\to\mathbb{Z}$ by is $f(n)=\lfloor n/2\rfloor\cdot(-1)^n$.
0
votes
2answers
435 views

⎣⎡x⎤⎦=⎡x⎤ for all real numbers x

Let LHS = ⎣⎡x⎤⎦ and RHS = ⎡x⎤ Let us call n=⎡x⎤ Case 1: n is even, there exists k in Z such that n=2k I'm not sure how to go on or if I'm setting this up right.
1
vote
2answers
91 views

Growth of $\sum_{x=1}^{n-1} \left\lceil n-\sqrt{n^{2}-x^{2} } \right\rceil$

I'm interested in the growth of $$f(n):=\sum_{x=1}^{n-1} \left\lceil n-\sqrt{n^{2}-x^{2} } \right\rceil \quad \text{for}\quad n\rightarrow\infty $$ Progress (From comments) I've got ...
0
votes
2answers
50 views

How to calculate with $\lceil \; \;\; \rceil$

I have a problem calculating with ceils. So If I have $\frac{\lceil \frac{n}{2} \rceil}{np}$, this is not the same as $\frac{\lceil \frac{1}{2} \rceil}{p}$. So do you have some rules how to ...
0
votes
1answer
49 views

Calculate floor of a non-negative value, without using ceiling, round, modulo, abs or if

I want to calculate floor of a non-negative value, without using ceiling, round, modulo, abs or if. I can calculate ceiling of a non-negative value, without using floor, round, modulo, abs or if: ...
0
votes
0answers
19 views

Manipulating a logarithmic expression with ceilings

How can I simplify the first expression so that it satisfies the following inequality? $$ c(n+2) \log\lceil n/3\rceil - cn\log n \le 2\log\lceil n/3 \rceil-cn\log \left(\frac{3n}{n+2}\right)$$
1
vote
2answers
27 views

Inverse of a function containing the ceiling function over the natural numbers

I am wondering if there exists an inverse function for $\lceil{e^{x}}\rceil$ over the natural numbers. I don't think it is a trivial task to derive an inverse function for a function containing a ...
0
votes
0answers
38 views

Limit value of ceiling function in a trigonometric function.

What is the Left Hand Limit(LHL) and Right Hand Limit(RHL) of the $\lim_{x->0}({\sin[x]}/{[x]})$? where $[x]$ is the greatest integer function(step function) I got LHL as $\sin(1)$. Can anybody ...
11
votes
3answers
499 views

Very challenging: max{floor,ceil}=?

I spotted a pattern while trying to generalize a problem. (EDIT: said problem has been removed from this post to avoid confusion. EDIT(2): Here is the problem again: ...
0
votes
1answer
18 views

Bounding a logarithmic relation

If I have the following relation $T(n) \le an\lceil \operatorname{lg} (n) \rceil - an +2bn + n$, is it possible to bound $T(n)$ such that it is in the form $T(n) \le an\operatorname{lg}(n) + bn $ for ...
3
votes
1answer
83 views

Interesting identity arising from fractional factorial design of resolution III

I am learning about statistical design of experiments, and in the process of mathematically rigorizing the concepts behind fractional factorial designs of resolution III, I derived an interesting ...
1
vote
3answers
103 views

Solving equations with dozens of ceil and floor functions efficiently?

I am tackling a problem which uses lots of equations in the form of: $$ q_i(x) = c_i(x) + \sum_{j=1}^N \left\lfloor \frac{q_i(x)}{P_j} \right\rfloor C_j $$ where $q_i(x)$ is the only unknown, ...
1
vote
2answers
72 views

Is there also an other way to show the equality?

I want to show that: $$ \left\lfloor \frac{n}{2}\right\rfloor + \left\lceil \frac{n}{2} \right\rceil=n$$ That's what I have tried: $ \left\lfloor \frac{n}{2}\right\rfloor=\max \{ m \in \mathbb{Z}: ...
1
vote
1answer
31 views

Equation with ceiling

I have to show that: $$ \lceil{ \frac{\lceil{ \frac{n}{a} \rceil }}{b}} \rceil=\lceil {\frac{n}{ab} } \rceil$$ That`s what I tried: If $n=ka, k \in \mathbb{Z}$: $ \lceil{ \frac{n}{a}} ...
0
votes
3answers
114 views

Proof for Concrete Mathematics 3.24

I'm reading Concrete Mathematics by Graham, Knuth, Patashnik . I found that for every integer $n$, this holds : $$n = \lceil n/m \rceil + \lceil (n-1)/m \rceil + \cdots + \lceil (n-m+1)/m \rceil$$ I ...
0
votes
1answer
22 views

Solving Logarithms involving ceiling function

I need to solve the equation $\lceil \log_B(M) \rceil = S$ for $B$ when $M$ and $S$ are known, $M$ and $S$ are integers, and $B < M$. Were the ceiling function not there, it would be trivial, ...
1
vote
1answer
80 views

Algebraic manipulation of floors and ceilings

I am trying to solve the summation $$ \sum_{n=3}^{\infty} \frac{1}{2^n} \sum_{i=3}^{n} \left\lceil\frac{i-2}{2}\right\rceil $$ I will list some of the simplifications that I've found so far, and ...
2
votes
1answer
65 views

Polynomial equal to the ceiling of x

For a few days, I've been looking for a polynomial who's value is equal to the ceiling function of the only variable it contains. I thought about it for while and I haven't got a clue.
-2
votes
1answer
62 views

Comparing floor and ceiling fractions

Is the following true for all integers x>1: $\lfloor{\frac{2x}{3}}\rfloor \geq \lceil \frac{x}{2}\rceil$
2
votes
3answers
109 views

Summation with Ceilinged Logarithmic Function

According to Johann Blieberger's paper - "Discrete Loops and Worst Case Performance" (1994): $$ \sum_{i = 1}^{n}\left \lceil \log_2{(i)} \right \rceil = n\left \lceil \log_2{(n)} \right \rceil - ...
0
votes
0answers
56 views

Given a non-negative integer $m$ and a positive integer $n$, calculate $\lfloor \frac{m}{n} \rfloor$

Here is the problem: I have a non-negative integer $m$ and a positive integer $n$ I would like to calculate $\lfloor \frac{m}{n} \rfloor$, $\lceil \frac{m}{n} \rceil$ and $m \bmod n$ But I want to ...
0
votes
3answers
92 views

Given $\lceil x−1 \rceil$, how can I compute $\lfloor x \rfloor$ without using $modulo$?

I have $\lceil x \rceil = -\lfloor -x \rfloor$, but I can't figure out how to rely on this in order to get $\lfloor x \rfloor$ from $\lceil x−1 \rceil$. For the record, I am only interested in ...
0
votes
0answers
36 views

Inequality with nesting floors and ceilings

EDIT: I changed the inequality to a simpler more indicative format. I need to solve the following inequality for $x$ (find the minimum value of $x$) but I have trouble removing the ceiling and floors ...
3
votes
2answers
148 views

A mathematical way for defining the Floor and Ceiling functions

Given: $Floor(x)=\lfloor x \rfloor$ $Ceiling(x)=\lceil x \rceil$ Where $x$ is a real number. Is there any other (mathematical) way for defining $Floor(x)$ and $Ceiling(x)$? Restrictions: Do ...
1
vote
1answer
149 views

Solving equation involving the ceiling function

How can I solve the equation $$\lceil \log_{b}{1024} \rceil = n$$ where $n \in \mathbb{N}$ in terms of $b$? I have seen equations of a similar form (Solving an equation with floor function before), ...
1
vote
5answers
119 views

Floor and ceiling functions in a inequality

Given $f(x)= x/\lfloor x\rfloor$, find $f(x) \geq 3/2$. I have been stuck on this for a couple of hours. Thanks in advance.
1
vote
2answers
73 views

Prove that $\lfloor -a \rfloor=-\lceil a \rceil$

Let $\lfloor a \rfloor$ be the least element of {$k \in \Bbb Z : k\ge a$} and $\lceil a \rceil$ the greatest element of {$k \in \Bbb Z : k\le a$}. How can I prove that for all $a \in \Bbb R$, ...
1
vote
0answers
61 views

May someone tell me where I went wrong when finding a closed-form solution to a recursion?

Let $r(n)=\left\lceil\frac{n}{4}\right\rceil$, where $k \in \mathbb{N}$. Note that this can be rewritten as a recursion $R(n)=R(n-4)+1$, where, $R(0)=0, R(1)=1, R(2)=1, R(3)=1$. Since this recursion ...
2
votes
2answers
85 views

Is it possible to rewrite floor functions applied to a fraction using only the addition, multiplication, and exponentiation operators?

Let's restate this question in using mathematical notation. Let $n,k \in \mathbb{N}$. Let $f(n)=\left\lfloor{\frac{n}{k}}\right\rfloor$. Is it possible to rewrite this using the addition, ...
2
votes
0answers
99 views

How to solve a ceiling expression or recurrence equation?

I am trying to express the following in term of n, $$\underbrace{\hbox{$ \left \lceil \frac{3}{2}.\left \lceil { \frac{3}{2}.\left \lceil { \ldots \left \lceil \frac{3}{2}.\left \lceil { ...
0
votes
2answers
543 views

Prove that if m and n are positive integers, and x is a real number, then: ceiling((ceiling(x)+n)/m) = ceiling((x+n)/m)

I can't get eq (1) and eq (2) Question: Prove that if m and n are positive integers, and x is a real number, then: ceiling((ceiling(x)+n)/m) = ceiling((x+n)/m) Answer: Let us define the real ...
1
vote
1answer
134 views

sum of ceiling function inequality

I need to show the following inequality: $$\sum_{j=1}^n \left(\frac{D_j}{Q_j} \left\lceil\frac{Q_j}{T_c}\right\rceil \right) \ge \frac{\sum_{j=1}^n D_j}{\sum_{j=1}^n Q_j} ...
4
votes
3answers
129 views

Proving that Spec(α) and Spec(ß) partition positive integers iff α and ß are irrational and 1/α + 1/ß = 1

From Concrete Math, problem 3.13 asks: "Let α and ß be positive real numbers. Prove that Spec(α) and Spec(ß) partition positive integers if and only if α and ß are irrational and 1/α + 1/ß = 1" The ...
0
votes
1answer
74 views

Stuck solving an equation using the floor operator.

I am not entirely familiar with the equation ninja'ing involving the floor operators. Here is my problem. I need to solve for $x$. Everything is an integer, including $x$: $$ a - 1 = \lfloor {\frac{x ...
1
vote
0answers
38 views

Is this a valid argument ? function floor property

I'm new in that stuff in proving things. I'm always confused about when is a really valid reasoning. Then is this property, i appreciate any help. Prove, for any real x: x - 1 < ...
1
vote
0answers
77 views

How does a piecewise step function work?

The wiki pages aren't helping at all. What is a step function and how does it work? I've seen them used in the floor, ceil, frac and even signum functions. And although it is easy to understand what ...
1
vote
1answer
149 views

Solving an equation involving floor/ceiling as a summation bound

Is it possible to solve the following equation for $\alpha$? $$ M = \lfloor \alpha \rfloor + \alpha \sum_{k=\lfloor \alpha \rfloor +1}^N \frac{1}{k}$$ where $\alpha \geq 1$. Intuitively, $M$ is a ...
0
votes
3answers
447 views

How do you use floor/ceil in math, e.g. how does it work exactly?

I read the Wiki, but I am still somewhat confused. Supposedly floor returns the number lowest, and ceil the number highest. However, I am not sure I understand how this works in freehand form, or how ...
1
vote
0answers
940 views

Proof of floor and ceiling functions

By definition: $ \lfloor {x}\rfloor = i \Rightarrow i \le x \lt i + 1 $ (floor function) and $ \lceil {x} \rceil = j \Rightarrow j - 1 \lt x \le j $ (ceiling function) So, how is the proof that ...
0
votes
1answer
19 views

We have $T(n) \leq T(\lceil \frac{n}{5} \rceil) + T(\lceil \frac{7n}{10} \rceil)$. Show that $T(n) < c'n$.

We have $T(n) \leq T(\lceil \frac{n}{5} \rceil) + T(\lceil \frac{7n}{10} \rceil)$. Show that $T(n) < c'n$ for all $n$ and for some constant $c'$. Looks straightforward enough, but suprisingly I ...
2
votes
2answers
118 views

Derivative of $\lceil 1/x \rceil$

I'm looking for the derivative $\frac{d}{dx}\lceil 1/x \rceil$. I would like to find a real number $1<x \le y$ satisfying the minimum of $\left\lceil \frac{y}{x} \right\rceil x$, when $y$ is a ...
0
votes
1answer
66 views

Solving for variable in quotient of ceil function

Given $k=\lceil\frac m {n}\rceil$, I would like to solve for $m$ given $k$ and $n$ as positive integers. How do I solve for $m$, and is there a single solution for $m$? Perhaps one way to do this ...
1
vote
1answer
119 views

Is it possible to truncate a number just with Arithmetic operations?

Hi is it possible to truncate a number just with Arithmetic operations? For example if i have 2.5 i want to get "2" without using modulo or something other ...