Quotient and Remainder to Number Base

Theorem
Let $n \in \Z: n > 0$ be an integer.

Let $n$ be expressed in base $b$:
 * $\displaystyle n = \sum_{j \mathop = 0}^m {r_j b^j}$

i.e.
 * $n = \left[{r_m r_{m-1} \ldots r_2 r_1 r_0}\right]_b$

Then:
 * $\displaystyle \left \lfloor {\frac n b} \right \rfloor = \left[{r_m r_{m-1} \ldots r_2 r_1}\right]_b$
 * $n \bmod b = r_0$

where:
 * $\left \lfloor {.} \right \rfloor$ denotes the floor function;
 * $n \bmod b$ denotes the modulo operation.

Proof
From the Quotient-Remainder Theorem, we have:


 * $\exists q, r \in \Z: n = q b + r$

where $0 \le b < r$.

We have that:

Hence we can express $n = q b + r$ where:
 * $\displaystyle q = \sum_{j \mathop = 1}^m {r_{j} b^{j-1}}$
 * $r = r_0$

where:
 * $\displaystyle \sum_{j \mathop = 1}^m {r_j b^{j-1}} = \left[{r_m r_{m-1} \ldots r_2 r_1}\right]_b$

The result follows from the definition of the modulo operation.

Example
This result is often used in computer algorithms for converting a date (in $yyyymmdd$ format) into a date object with separate day, month and year.

Performing the above "mod and div" operations on $20100209$, we get: