Numeration Systems and Whole Number Operations

3.5 Division of Whole Numbers

Defining Division

Anytime we can go forwards, the closely following question is inevitably, can we go backwards? While multplication is repeated addition, division can be thought of as repeated subtraction. That means that we can still define division in terms of mutliplication using any of your models we explored up to this point.

Definition: Whole Number Division

Let $a,b\in\mathbb{W}$ with $b\ne0$. Then $a\div b$ is the integer $q$ such that

$$bq=a$$

when such an integer exists.

  • $a$ is the dividend
  • $b$ is the divisor
  • $q$ is the quotient

The definition of division is a little more fragile however. We define it when such an integer exists to satisfy the relationship above. Like subtraction is defined sometimes ($3-5=?$), division is also limited in its definition.

Block Model

Example: Block model

Compute $10\div2$.

Show Solution

With physcial blocks, or even sets, division can be thought of as removing some fixed number of elements several times and counting the remainder. This problem is asking to start with $10$ and removed groups of $2$ until we're finished. Lets use

$$\{a,b,c,d,e,f,g,h,i,j\}$$

to represent 10. Now we'll removed $2$ at a time.

$$\{a,b\}\quad \{c,d,e,f,g,h,i,j\}$$

After our first subtraction we have $2+8=10$ or $10-2=8$. Repeating this process

$$\{a,b\},\quad \{c,d\},\quad \{e,f\}, \quad \{g,h\},\quad \{i,j\}$$

we find there are 5 sets containing to elements.

step subtraction remainder
0 10
1 10-2 8
2 8-2 6
3 6-2 4
4 4-2 2
5 2-2 0

We end up with $10-5(2)=0$, which means $5(2)=10$

MyOpenMath: Defining division

Numberline Model

The numberline model also works well with groups of subtraction. We already defined subtraction as adding an arrow to the tip of one arrow and then moving in the opposite direction to find the difference. With division, we can repeatedly draw arrows of the divisors size until we've gotten back to zero. Then we count the arrows up to find the quotient.

Numberline division here is a bit snappy because there are several values that are simply undefined. $5\div 3$ has no solution, because there is no integer that you can write that makes $5=3(k)$ true.

Example: Using the numberline to divide

Use a numberline model to evaluate $12\div 3$

Show Solution
MyOpenMath: Defining division

The Division Algorithm

When division is not exact in whole numbers, we can still get a quotient and a remainder. This brings us to one of the more important ideas in the section.

Theorem: Division Algorithm

For whole numbers $a,b$ with $b\ne0$, there are unique whole numbers $q,r$ such that

$$ a=bq+r $$

with

$$ 0\le r<b $$

a is called the dividend, b is the divisor, q is the quotient, and r is the remainder.

This process is essentially our repeated subtraction model from above, but if the subtraction doesn't lead to zero we're left with a remainder. A very important part of the definition above is that $0<r<b$. This ensures we've subtracted all we can without going below zero.

Example: Quotient and Remainder

Find quotient and remainder for:

  1. $111\div10$
  2. $17\div3$
  3. $23\div4$
Show Solution
  1. We're going to start by subtracting $10$'s from $111$ until we get as close to zero as possible.

    subtraction process remainder
    111
    1 111-10(1) 101
    2 111-10(2) 91
    3 111-10(3) 81
    $$\vdots$$ $$\vdots$$ $$\vdots$$
    11 111-10(11) 1

    After 11 subtractions, we can't take anymore. The final row of our table is our answer, it just needs to be rearranged.

    \[ \begin{align*} 111-10(11)&=1\\ 111&=10(11)+1\\ a&=b(q)+r\\ \end{align*} \]

    Our quotient is $11$ and our remainder is $1$. $10$ goes into $111$ elevent times with a remainder of 1.

  2. A quick count of how many 3's are in 17 $$3,6,9,12,15,18$$ There are $5$, $6$ would be too many. $5$ threes gets us up to $15$ and we would need $2$ ones to get to $17$. We have

    $$17=3(5)+2$$

    Which means our quotient is $5$ and the our remainder is $2$

  3. $23=4(5)+3$, so $q=5, r=3$.
MyOpenMath: Using the divison algorithm

Example: A harder problem.

If dividing 123 by $b$ gives remainder 13, what can $b$ be?

Show Solution

The division algorithm tells us that if $123$ is divided by some number and give a remainder of $13$, then

$$ 123=bq+13 \Rightarrow 110=bq $$

$b$ and $q$ are being multiplied together to get 110.So $b$ must divide 110.

Divisors of 110 are $1,2,5,10,11,22,55,110$.

But not all of these values will work. For example,

$$123=1(2)+121$$

is a valid equation, but it doesn't line up with the definition of our divion algorithm. Namely, that remainder is way too big. That equation implies we divided by $1$, repeated our subtraction $2$ times, and had $121$ left over. We could have taken so many more $1$'s out of that dividend!

The condition we're missing is that the remainder must be smaller than the divisor. Or another way to think about it is that the divisor is larger than the remainder. We know the remainder is $13$ from the given problem. Of the divisors that are larger than 13, we know

$$ b\in{22,55,110} $$

These give us 3 valid solutions.

$$123=22(5)+13$$ $$123=55(2)+13$$ $$123=110(1)+13$$

Fact: Division by Zero

$3\div0$ is undefined. There is no number you can multiply by 0 to get 3.


Partial-Quotients (Scaffold) Algorithm

The scaffold algorithm is probably what you remember if your primary education was in an American public school. It mimics repeated subtraction by removing groupings of the divisor from each position of a dividend in a particular base. Consider $500\div 4$. The algorithm starts by enclosing the dividend in a division bracket.

\[ \require{enclose} \begin{array}{rll} 4 \enclose{longdiv}{500}\kern-.2ex \end{array} \]

Then you begin by the largest position in the number, in this case $100$'s. We have $5$ of them. We ask, *how many groups of $4(100)$ can be removed from $500$? The answer is 1.

\[ \require{enclose} \begin{array}{rll} 1\phantom{00} && \hbox{(record subtractions)} \\[-3pt] 4 \enclose{longdiv}{500}\kern-.2ex \\[-3pt] \underline{4\phantom{00}} && \hbox{($4 \times 1 = 4$)} \\[-3pt] 1\phantom{00} && \hbox{($5 - 4 = 1$)} \end{array} \]

We're left with $100$ which is too small to take anymore $400$'s away from. So we break the $100$ into $10$ tens. We can continue to take groups of $4$ tens from that. This is visualized by "bringing down" the zero in the next position.

\[ \require{enclose} \begin{array}{rll} 1\phantom{00} && \hbox{(subtractions)} \\[-3pt] 4 \enclose{longdiv}{500}\kern-.2ex \\[-3pt] \underline{4\phantom{00}} && \hbox{($4 \times 1 = 4$)} \\[-3pt] 10\phantom{0} && \hbox{($5 - 4 = 1$)} \end{array} \]

How many $4$'s can be removed from $10$? $2$. So our next subtraction is $4(2)=8$.

\[ \require{enclose} \begin{array}{rll} 12\phantom{0} && \hbox{(subtractions)} \\[-3pt] 4 \enclose{longdiv}{500}\kern-.2ex \\[-3pt] \underline{4\phantom{00}} && \hbox{($4 \times 1 = 4$)} \\[-3pt] 10\phantom{0} && \hbox{($5 - 4 = 1$)} \\[-3pt] \underline{\phantom{0}8\phantom{0}} && \hbox{($4 \times 2 = 8$)} \\[-3pt] \phantom{0}2\phantom{0} && \end{array} \]

We can't remove any $4$'s from $2$, its too small. So we break that $2$ (which was in the tens place) into $20$ ones so we can keep removing $4$'s. There are $5$ to be taken, so our next subtraction is $4(5)=20$.

\[ \require{enclose} \begin{array}{rll} 125 && \hbox{(Quotient)} \\[-3pt] 4 \enclose{longdiv}{500}\kern-.2ex \\[-3pt] \underline{4\phantom{00}} && \hbox{($4 \times 1 = 4$)} \\[-3pt] 10\phantom{0} && \hbox{($5 - 4 = 1$)} \\[-3pt] \underline{\phantom{0}8\phantom{0}} && \hbox{($4 \times 2 = 8$)} \\[-3pt] \phantom{0}20 && \hbox{($10 - 8 = 2$)} \\[-3pt] \underline{\phantom{0}20} && \hbox{($4 \times 5 = 20$)} \\[-3pt] \phantom{00}0 \end{array} \]

We have a remainder of $0$. Our division was cleanly defined. Algebraically this algorithm went like this:

Take away $400$'s. $$500-1(400)=100$$

Take away $40$'s. $$100-2(40)=20$$

Take away $4$'s. $$20-5(4)=0$$

Putting it all together,

\[ \begin{align*} 500&=1(400)+2(40)+5(4)\\ 500&=4(100)+4(20)+4(5)\\ 500&=4(100+20+5)\\ 500&=4(125)\\ \end{align*} \]

Example: Scaffold division

Compute $234\div7$.

Show Solution

Let's walk this one slowly using the same scaffold process.

Set up the division bracket:

\[ \require{enclose} \begin{array}{rll} 7 \enclose{longdiv}{234}\kern-.2ex \end{array} \]

Now we ask: how many groups of $7$ can we remove from the first usable chunk of the dividend? Since $2<7$, that answer is none. So we break that $2$ and instead we look at $23$. We can take $3$ groups of $7$ (because $3(7)=21$, but $4(7)=28$ is too large).

\[ \require{enclose} \begin{array}{rll} 3\phantom{0} && \hbox{(start quotient)} \\[-3pt] 7 \enclose{longdiv}{234}\kern-.2ex \\[-3pt] \underline{21\phantom{0}} && \hbox{($7 \times 3 = 21$)} \\[-3pt] \phantom{0}2\phantom{0} && \hbox{($23 - 21 = 2$)} \end{array} \]

We are not done yet, so we bring down the $4$ to make $24$.

\[ \require{enclose} \begin{array}{rll} 3\phantom{0} && \hbox{(quotient so far)} \\[-3pt] 7 \enclose{longdiv}{234}\kern-.2ex \\[-3pt] \underline{21\phantom{0}} && \\[-3pt] \phantom{0}24 && \hbox{(bring down 4)} \end{array} \]

Now ask again: how many $7$'s are in $24$? That is $3$, since $3(7)=21$ and $4(7)=28$ is too big.

\[ \require{enclose} \begin{array}{rll} 33 && \hbox{(quotient)} \\[-3pt] 7 \enclose{longdiv}{234}\kern-.2ex \\[-3pt] \underline{21\phantom{0}} && \\[-3pt] \phantom{0}24 && \\[-3pt] \underline{\phantom{0}21} && \hbox{($7 \times 3 = 21$)} \\[-3pt] \phantom{00}3 && \hbox{(remainder)} \end{array} \]

So the final result is

$$ 234\div7=33\text{ remainder }3. $$

Quick check with the division algorithm form:

$$ 234=7(33)+3 $$

and the remainder condition is satisfied since $0\le 3<7$.

Division in Other Bases

This is where mastery of the algorithm will happen, because we're going to remove the familiar numbering system. Let's divide in other bases! First, lets look at a multiplication table and how it can be helpful for these division problems. For base 5, a multiplication table looks like this:

$\times$ $0$ $1$ $2$ $3$ $4$
$0$ $0$ $0$ $0$ $0$ $0$
$1$ $0$ $1$ $2$ $3$ $4$
$2$ $0$ $2$ $4$ $11$ $13$
$3$ $0$ $3$ $11$ $14$ $22$
$4$ $0$ $4$ $13$ $22$ $31$

Remember, all entries in this table are written in base five. If we go to the $3_{\text{five}}\times 4_{\text{five}}$ column and row entry we find $22_{\text{five}}$ because $$3\times 4 = 12 = 2(5)+2(1)$$

We can derive division from this table by rearranging that relationship. $$3_{\text{five}}\times 4_{\text{five}}=22_{\text{five}}$$ can be interpreted as $$22_{\text{five}}\div 4_{\text{five}}=3_{\text{five}}$$ or $$22_{\text{five}}\div 3_{\text{five}}=4_{\text{five}}$$

Example: Division in Base 5

Evaluate $2134_{\text{five}}\div 3_{\text{five}}$ using the scaffold algorithm.

Show Solution

We're start by setting up the saffold. I'll exclude the subscripts from the scaffolding for ease of reading, just remember everything here is in base 5.

\[ \require{enclose} \begin{array}{rll} 3 \enclose{longdiv}{2134}\kern-.2ex \end{array} \]

Our first question is, how many $3_{\text{five}}$'s can be taken from $2_{\text{five}}$, but there are none. So we break and move to the next position and ask again. How many $3_{\text{five}}$'s can be taken from $21_{\text{five}}$? This is where our multiplication table comes in handy, go to the row that corresponds with $3$, and go through that row trying to get as close to $21$ but not going over. We find $3_{\text{five}}\times 3_{\text{five}} =14_{\text{five}}$. That means the closest we can get to $21_{\text{five}}$ is $14_{\text{five}}$ and that partial-quotient is $3_{\text{five}}$.

\[ \require{enclose} \begin{array}{rll} \phantom{0}3\phantom{00} && \hbox{(start quotient)} \\[-3pt] \phantom{0}3\enclose{longdiv}{2134}\kern-.2ex \\[-3pt] \underline{14\phantom{00}} && \hbox{($3_{\text{five}} \times 3_{\text{five}} = 14_{\text{five}}$)} \\[-3pt] \phantom{0}2\phantom{00} && \hbox{($21_{\text{five}} - 14_{\text{five}} = 2_{\text{five}}$)} \end{array} \]

Now we break the $2_{\text{five}}$ we're left with by bringing down the $3_{\text{five}}$ and we go back to the table. In that $3_{\text{five}}$ row, how close can we get to $23_{\text{five}}$ without going over?

\[ \require{enclose} \begin{array}{rll} \phantom{0}34\phantom{0} && \hbox{(start quotient)} \\[-3pt] \phantom{0}3\enclose{longdiv}{2134}\kern-.2ex \\[-3pt] \underline{14\phantom{00}} && \hbox{($3_{\text{five}} \times 3_{\text{five}} = 14_{\text{five}}$)} \\[-3pt] \phantom{0}23\phantom{0} && \hbox{($21_{\text{five}} - 14_{\text{five}} = 2_{\text{five}}$)} \\[-3pt] \underline{\phantom{0}22\phantom{0}} && \hbox{($3_{\text{five}} \times 4_{\text{five}} = 22_{\text{five}}$)}\\[-3pt] \phantom{00}1\phantom{0} && \hbox{($23_{\text{five}} - 22_{\text{five}} = 1_{\text{five}}$)} \end{array} \]

We do our final break and bring down that $4_{\text{five}}$ to finish up.

\[ \require{enclose} \begin{array}{rll} \phantom{0}34\phantom{0} && \hbox{} \\[-3pt] \phantom{0}3\enclose{longdiv}{2134}\kern-.2ex \\[-3pt] \underline{14\phantom{00}} && \hbox{} \\[-3pt] \phantom{0}23\phantom{0} && \hbox{} \\[-3pt] \underline{\phantom{0}22\phantom{0}} && \hbox{}\\[-3pt] \phantom{00}14 && \hbox{}\\[-3pt] \end{array} \]

Back at the multiplication table we find $$3_{\text{five}}\times 3_{\text{five}}=14_{\text{five}}$$

\[ \require{enclose} \begin{array}{rll} \phantom{0}343 && \hbox{} \\[-3pt] \phantom{0}3\enclose{longdiv}{2134}\kern-.2ex \\[-3pt] \underline{14\phantom{00}} && \hbox{} \\[-3pt] \phantom{0}23\phantom{0} && \hbox{} \\[-3pt] \underline{\phantom{0}22\phantom{0}} && \hbox{}\\[-3pt] \phantom{00}14 && \hbox{}\\[-3pt] \underline{\phantom{00}14} && \hbox{$3_{\text{five}}\times 3_{\text{five}}=14_{\text{five}}$}\\[-3pt] \phantom{000}0 && \hbox{$14_{\text{five}}- 14_{\text{five}}=0_{\text{five}}$} \end{array} \]

And we're done!

$$2134_{\text{five}} \div 3_{\text{five}} = 343_{\text{five}}$$

MyOpenMath: Division in base 5

Example: Division in Base Two

Compute $110110_{\text{two}}\div101_{\text{two}}$.

Show Solution

We'll follow the exact same rhythm as the base-5 example: table first, then scaffold.

Here is the base-2 multiplication table:

$\times$ $0$ $1$
$0$ $0$ $0$
$1$ $0$ $1$

For this problem, we mostly use the fact that multiplying by $1_2$ keeps the value the same, and multiplying by $0_2$ gives $0_2$.

Now set up the scaffold (again, I'll omit repeated base-two subscripts in the scaffold itself for readability):

\[ \require{enclose} \begin{array}{rll} 101\enclose{longdiv}{110110}\kern-.2ex \end{array} \]

The divisor is $101_2$, so we look for the first chunk big enough to divide by $101_2$. Since $11_2<101_2$, we start with $110_2$.

From the table, $101_2\times 1_2=101_2$, so the first quotient digit is $1_2$.

\[ \require{enclose} \begin{array}{rll} 1\phantom{000} && \hbox{(start quotient)} \\[-3pt] 101\enclose{longdiv}{110110}\kern-.2ex \\[-3pt] \underline{101\phantom{000}} && \hbox{($101_2\times 1_2=101_2$)} \\[-3pt] \phantom{00}1\phantom{000} && \hbox{($110_2-101_2=1_2$)} \end{array} \]

Bring down the next digit (a $1_2$) to get $11_2$. Since $11_2<101_2$, the next quotient digit is $0_2$.

\[ \require{enclose} \begin{array}{rll} 10\phantom{00} && \hbox{(quotient so far)} \\[-3pt] 101\enclose{longdiv}{110110}\kern-.2ex \\[-3pt] \underline{101\phantom{000}} && \\[-3pt] \phantom{00}11\phantom{00} && \hbox{($11_2<101_2$, so put 0)} \end{array} \]

Bring down the next digit (another $1_2$) to get $111_2$. Now it fits once: $101_2\times 1_2=101_2$.

\[ \require{enclose} \begin{array}{rll} 101\phantom{0} && \hbox{(quotient so far)} \\[-3pt] 101\enclose{longdiv}{110110}\kern-.2ex \\[-3pt] \underline{101\phantom{000}} && \\[-3pt] \phantom{00}111\phantom{0} && \\[-3pt] \underline{\phantom{00}101\phantom{0}} && \hbox{($101_2\times 1_2=101_2$)}\\[-3pt] \phantom{000}10\phantom{0} && \hbox{($111_2-101_2=10_2$)} \end{array} \]

Bring down the final digit ($0_2$) to get $100_2$. This is still less than $101_2$, so the last quotient digit is $0_2$.

\[ \require{enclose} \begin{array}{rll} 1010 && \hbox{(quotient)} \\[-3pt] 101\enclose{longdiv}{110110}\kern-.2ex \\[-3pt] \underline{101\phantom{000}} && \\[-3pt] \phantom{00}111\phantom{0} && \\[-3pt] \underline{\phantom{00}101\phantom{0}} && \\[-3pt] \phantom{000}100 && \hbox{($100_2<101_2$, remainder)} \end{array} \]

So,

$$ 110110_{\text{two}}\div101_{\text{two}}=1010_{\text{two}}\text{ remainder }100_{\text{two}}. $$

MyOpenMath: Division of Whole Numbers