Number Theory Section Summary: 4.3

Special Divisibility Tests

  1. Summary

    You all knew that an even integer is divisible by two, and you probably all knew the rule for divisibility by three: that if the sum of the digits is divisible by three, then so is the number itself. Do you know the rule for divisibility by 9, or by 11?

    These are curious rules, because they're based in part on the base of the number system in use. As we saw in the case of the sieve of Eratosthenes, the spiraling patterns that developed were a consequence of the wrapping of the integers at every 10th.

    This section delves into bases, and proves that these rules for divisibility work.

  2. Definitions

    base b place-value notation: the representation of a number as as string of coefficients of powers of b (e.g. decimal notation, or binary - base 2 - number system):

    displaymath247

    which stands for

    displaymath248

    where tex2html_wrap_inline259 and tex2html_wrap_inline261 .

    You've got to hear Tom Lehrer do a subtraction problem (342 - 173) in his song ``New Math''.

  3. Theorems

    Theorem: Given any integer b>1, any integer may be written uniquely in base b place-value notation.

    Proof: repeated applications of the division algorithm.

    Theorem 4.4: Let tex2html_wrap_inline267 be a polynomial function of x with integral coefficients tex2html_wrap_inline271 . If tex2html_wrap_inline273 , then tex2html_wrap_inline275 .

    Proof:

    displaymath249

    Therefore,

    displaymath250

    and the sums of all the coefficients are equal as well, i.e. tex2html_wrap_inline275 .

    Corollary: If a is a solution of the congruence tex2html_wrap_inline281 , and tex2html_wrap_inline273 , then b is also a solution.

    Theorem 4.5/4.6: Let

    displaymath251

    be the decimal expansion of positive integer N, tex2html_wrap_inline289 , and let tex2html_wrap_inline291 . Then

  4. Properties/Tricks/Hints/Etc.

    Often ``the trick'' to solving the problems involves




Tue Feb 21 16:53:27 EST 2006