Floor Functions is the habit of handling greatest-integer expressions through intervals, fractional parts, and case splits. In contest math, that habit turns a crowded setup into a relation the student can test, bound, count, or compute. MathGrit teaches it as a recognizable signal, a deliberate move, and a final translation back to the original question.
$$\lfloor x \rfloor = n \iff n \le x < n + 1\ (n \in \mathbb{Z}),\qquad x = \lfloor x \rfloor + \{x\},\ 0 \le \{x\} < 1.$$
The floor of $x$ is the greatest integer not exceeding it; splitting $x$ into its integer part plus a fractional part in $[0, 1)$ is what tames greatest-integer problems.
Why It Works
1
Define $\lfloor x \rfloor$ as the unique integer $n$ with $n \le x < n + 1$; this exists because the integers partition the real line into unit intervals.
2
The fractional part is $\{x\} = x - \lfloor x \rfloor$, which lies in $[0, 1)$ by the defining inequality.
3
So any real splits as $x = \lfloor x \rfloor + \{x\}$, separating an integer from a value in $[0, 1)$.
4
To solve floor equations, write $x = n + f$ with $n = \lfloor x \rfloor$ integer and $f = \{x\} \in [0,1)$, then use the integrality of $n$ to constrain cases.
Worked Examples
Example 1
Solve $\lfloor x \rfloor = 2x - 3$ for real $x$.
1
The right side $2x - 3$ must be an integer (it equals a floor), so let $\lfloor x \rfloor = n$, giving $2x - 3 = n$, i.e. $x = \frac{n + 3}{2}$.
2
Apply the floor bound $n \le x < n + 1$: $n \le \frac{n+3}{2} < n + 1$.
3
Left inequality: $2n \le n + 3 \Rightarrow n \le 3$. Right inequality: $n + 3 < 2n + 2 \Rightarrow n > 1$. So $n \in \{2, 3\}$, giving $x = \frac{5}{2}$ or $x = 3$.
So $7 \le \sqrt{50} < 8$, placing $\sqrt{50}$ in the unit interval $[7, 8)$.
3
By definition the floor is the lower integer endpoint, $7$.
Answer:
$7$.
Contest level
How many trailing zeros does $100!$ have? (Equivalently, find the exponent of $5$ in $100!$.)
1
Trailing zeros are limited by the number of factors of $5$ (there are more $2$s), counted by Legendre's formula $\sum_{i\ge 1}\left\lfloor\dfrac{100}{5^i}\right\rfloor$.
Recognize Hermite's identity $\sum_{k=0}^{n-1}\left\lfloor x + \dfrac{k}{n}\right\rfloor = \lfloor nx \rfloor$, here with $n = 3$ and $x = \dfrac{2024}{3}$.
2
Apply it: the sum equals $\left\lfloor 3 \cdot \dfrac{2024}{3}\right\rfloor = \lfloor 2024 \rfloor$.
3
Since $2024$ is already an integer, $\lfloor 2024 \rfloor = 2024$.
Answer:
$2024$.
Going Deeper
Generalization: Legendre's formula $v_p(n!) = \sum_{i\ge 1}\lfloor n/p^i\rfloor = \frac{n - s_p(n)}{p - 1}$ (where $s_p(n)$ is the digit sum in base $p$) and Hermite's identity $\sum_{k=0}^{n-1}\lfloor x + k/n\rfloor = \lfloor nx\rfloor$ are the two workhorse floor identities; both follow from writing $x = \lfloor x\rfloor + \{x\}$.
Where it appears: counting trailing zeros / prime exponents in factorials, AIME greatest-integer equations (set $x = n + f$ and split by the integer part), and lattice-point counts under lines (Gauss / Hermite sums).
Pitfall: $\lfloor x + y\rfloor \ne \lfloor x\rfloor + \lfloor y\rfloor$ in general — the true relation is $\lfloor x\rfloor + \lfloor y\rfloor \le \lfloor x + y\rfloor \le \lfloor x\rfloor + \lfloor y\rfloor + 1$. And for NEGATIVE $x$, floor rounds DOWN (toward $-\infty$): $\lfloor -2.3\rfloor = -3$, not $-2$ — truncation toward zero is a frequent and costly error.
Spot the Signal
Look for problems where the key step is handling greatest-integer expressions through intervals, fractional parts, and case splits.
You can describe the hard part as handling greatest-integer expressions through intervals, fractional parts, and case splits, but a direct attack starts producing clutter.
The problem rewards preserving structure instead of expanding, listing, or guessing too early.
Learn the Move
Start by identify the expression or equation that calls for floor functions, then rewrite the givens around it.
Name the relation that makes Floor Functions legal before doing computation.
Use the new relation to replace the messiest part of the problem with a cleaner one.
Translate the result back to the quantity the problem actually asks for.
Avoid These Traps
Do not use Floor Functions just because the surface looks familiar; verify the required condition first.
Applying Floor Functions because it sounds relevant, without checking the trigger first.
Stopping after spotting the technique instead of finishing the calculation or proof.
MathGrit Coach Note
Let floor functions reveal the algebraic structure; then compute only what remains.
Try it on:
Practice a contest problem where the key step is handling greatest-integer expressions through intervals, fractional parts, and case splits.