Please Login to access more options.


Problem 37: (Existence Proof Of The Division Algorithm)

Let $a$ and $b$ be integers with $b>0$. Prove that there exists integers $q$ and $r$ such that $a=qb+r$ and $0\leq r<b$.

Click for a hint.

Consider the set $S=\{a-mb\mid m\in \mathbb{Z} \text{ and } a-mb\geq 0\}$. This set $S$ naturally arises when you try to divide numbers. It shows up in the solution to the previous exercise.

Once you have this set $S$, either $0\in S$ or $0\not\in S$. If $0\in S$, what does that mean? If $0\not \in S$, can you show that $S$ is nonempty? What does the well ordering principle tell you?



The following pages link to this page.

Here are the old pages.