Criteria of divisibility by 9 and 11
Here we shall compare the criterion of the divisibility of an integer by 9 with that of the divisibility by 11 and later learn that similar criteria are carried over to other number systems.
Start with a decimal representation of a positive integer a:
a = a_{n}10^{n} + a_{n-1}10^{n-1} + ... + a_{1}10^{1} + a_{0} |
Divisibility by 9
a is divisible by 9 if and only if the sum of the digits |
Divisibility by 11
a is divisible by 11 if and only if the alternating sum of the digits |
In what follows I shall be using representation of a number in various base systems. In the decimal (base 10) system a number a is written as
a = (a)_{10} = a_{n}10^{n} + a_{n-1}10^{n-1} + ... + a_{1}10^{1} + a_{0} |
Generally speaking, for an integer base b the same number a will be written as
a = (a)_{b} = c_{k}b^{k} + c_{k-1}b^{k-1} + ... + c_{1}b^{1} + c_{0} |
Notation (a)_{b} is meant to underscore the base in which a is expanded. The most customary is the decimal system. But, say, the French still use remnants of the system in base 20. With the advent of computers the binary (base 2) and hexadecimal (base 16) have been thrust into prominence. The octal system (base 8) is very useful in handling lengthy binary representations.
Conversion between different bases is a good exercise that helps test your understanding of relevant techniques.
Theorem
Let b be an integer. Then an integer a
- is divisible by (b-1) if and only if the sum of digits in its expansion (a)_{b} is divisible by (b-1)
- is divisible by (b+1) if and only if the alternating sum of digits in its expansion (a)_{b} is divisible by (b+1)
Proof
The proof is based on Modulo Arithmetic. Thus we have
b-1=0 (mod (b-1)) which implies
Similarly,
Example 1
Let a=164. Is it divisible by 4? On the one hand, 164=125+25+2·5+4=(1124)_{5}. The sum of digits is 1+1+2+4=8 and is divisible by 4. Therefore 164 is divisible by 4.
On the other hand, 164=2·81+0·27+0·9+0·3+2=(20002)_{3}. The alternating sum of digits is 2-0+0-0+2=4 and is divisible by 4. Therefore, again, 164 is divisible by 4.
For divisibility by 7 there are two criteria:
- a = (a)_{6} = c_{k}6^{k}+c_{k-1}6^{k-1}+...+c_{1}6^{1}+c_{0} is divisible by 7 iff the alternating sum of digits (-1)^{k}c_{k}+(-1)^{k-1}c_{k-1}+...+c_{0} is divisible by 7.
- a = (a)_{8}=c_{k}8^{k}+c_{k-1}8^{k-1}+...+c_{1}8^{1}+c_{0} is divisible by 7 iff the sum of digits c_{k}+c_{k-1}+...+c_{0} is divisible by 7.
Example 2
512=8^{3}. Therefore (512)_{10}=(1000)_{8}. This implies that divided by 7 the remainder will be 1. Then, for example, 511 is divisible by 7.
1296=6^{4}. Therefore (1296)_{10}=(10000)_{6}. From here (1296+6)_{10}=(10010)_{6}. Its alternating sum of digits is 1-0+0-1+0=0. As a result, 1302 is divisible by 7.
|Contact| |Front page| |Contents| |Generalizations| |Arithmetic|
Copyright © 1996-2018 Alexander Bogomolny