Skip to main content
\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Mathematics LibreTexts

2.6: Division Algorithm

  • Page ID
    7554
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Example \(\PageIndex{1}\) : Absolute Value

    |2|=2,|-2|=2

     

    Theorem \(\PageIndex{1}\): Well ordering principle

    Every non-empty subset of \(\bf N\) has a smallest element.

    Theorem \(\PageIndex{2}\): Division Algorithm

    Let \(n\) and \(d\) be integers. Then there exist unique integers \(q\) and \(r\) such that \(n=dq+r, 0\leq r <|d|\), where \(q\) is the quotient and \(r\) is the reminder, and the absolute value of \(d\) is defined as:

    $$|d|= \left\{ \begin{array}{c}
    d, \mbox{if } d \geq 0\\
    \\
    -d, \mbox{if } d<0.
    \end{array}
    \right.$$

    Proof

    Let then there exists a unique s.t. .

    We will show prove that exist and that they are unique.

    Let s.t. .

    Let be a set defined by  .

    We will show existence by examining the possible cases.

    Case 1: 

    If , then for some .

    Thus,

    Since , and .

    Therefore existence has been proved.

     

    Case 2:  .

    Since , we will show that by examining the possible cases.  Note: .

    Case a:  .

    Since , .

    Therefore .

    Case b: .

    Consider , where .

    Thus .

    Consider  is always negative since , thus greatest can be in .

    Therefore since .

    Note: The could be > without loss of generality.

    Since both case a & b are non empty sets, .

    Thus has a smallest element by the well ordering principle and lets call it .  

    That means , for some where .

    Thus the non empty set is .

     

    We shall show that by proceeding with a proof by contradiction.

    Assume that .

    Then for some .

    Then and . Note

    This contradicts that is the smallest element of .

    Therefore .

     

    Having examined all possible cases, exists.

    Let s.t. and with .

    Consider , .

    Further since , , but has to be .

    Since, , and .

    Hence .

    Therefore uniqueness has been shown.

    Let \(n\) and \(d\) be integers. Then there exist unique integers \(q\) and \(r\) such that \(n=dq+r, 0\leq r <|d|\), where \(q\) is the quotient and \(r\) is the reminder, and the absolute value of \(d\) is defined as:

    $$|d|= \left\{ \begin{array}{c}
    d, \mbox{if } d \geq 0\\
    \\
    -d, \mbox{if } d<0.
    \end{array}
    \right.$$

    Example \(\PageIndex{2}\):

    Find the \(q\) is the quotient and \(r\) is the reminder for the following values of \(n\) and \(d\).

    1. \(n=2018\) and \(d=343\).

    00001.jpg

    Thus \(2018=(5)(343)+303\).

    2. \(n=-2018\) and \(d=343\).

    Thus \(-2018=(-6)(343)+40\).-

    3, . \(n=2018\) and \(d=-343\).

    Thus \(2018=(6)(-343)+40\).

    4.

    \(n=-2018\) and \(d=-343\).

    Thus \(-2018=(6)(-343)+ 40\).

    Example \(\PageIndex{3}\):

    Today is March 3, 2018, and it is Friday. What day will it be on March 3, 2019?

    At first, note that 2019 is not a leap year. Therefore, there are \(365\) days between March 3, 2018, and March 3, 2019. Also \(365=(52)(7)+1\). There are seven days in a week and keeping Friday as 0, we can conclude that March 3, 2019, will be a Saturday.

     

    Leap Year

    The Gregorian calendar is the calendar we most commonly use today throughout the world. The Gregorian calendar consists of both common years with 365 days and Leap years consisting of 366 days due to the intercalary day added on February 29th.Leap years are necessary in order to keep the Gregorian calendar aligned with the Earth’s revolution around the sun.

     

    Following our modern day Gregorian calendar there are three rules to take into consideration to identify leap years:

    1. The year must be evenly divided by 4.
    2. If the year is evenly divided by 100, it is not a leap year unless:
    3. The year is also evenly divided by 400.

     

    leapyear.png

     

    For example: the years 1600, 1800, 2000 are all leap years, but the years 1700 and 1900 aren’t leap years.

    Example \(\PageIndex{4}\):

    Each day, Ms. Mary visits grocery stores A, B, C, D in that order. Further, she spends exactly \( \$ 27, \$ 35, \$ 12, \$ 40\) in the stores A, B, C, D respectively. Her total expenditure, from the beginning of the month up to a certain day of the month, was \(\$924\). Which store would she be visiting next?

    Example \(\PageIndex{5}\)

    In a 101-digit multiple of 13, the first 50 digits are all 5s and the last 50 digits are all 8s. What is the middle digit? 

    Solution

     

    Since \( 13 | 555555 \) and \( 13 | 888888,\) we need to consider what the value of \( X \in  ℤ\)  is such that \(13 | 55X88 \), since
    the first and last \(48\) digits of the number will produce multiples of \(13. \)  At this point (Solution 1), trial and error can be applied to this calculation, resulting in X = 5.  

     

    A more elegant solution (Solution 2) can be obtained by recognizing that any number \( Q ∈ ℤ+ \) can be written as:

    \( Q = 10a + b, \) where \( a, b ∈ \{0, 1, ..., 8, 9\}. \) 

    Next find a multiple of \(13\) that has a \(1 \) as the last digit.  This condition is satisfied with \(91\). Next, rewrite the equation to be \(Q - 91b = 10a + b - 91b \) and simplify to \(Q -  91b = 10(a - 9b). \) Using this formula, \(55X8 - 9(8)\) a number whose last digit is a \(6\), is divisible by \(13 \) and the first two digits must be either \(55 \) or \(54 \) will satisfy the condition \( 13 | 55X88.\)  The only number that satisfies these conditions is  \(5486. \) Adding back \(72,\) we obtain \(5558,\) thus confirming that \(X = 5.\)

     

    A more deductive solution (Solution 3) can be seen using long division as follows:

    ASSIGNMENT 3.jpg