Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Divisibility rules/Rule for 3 and 9 proof"
(Added category)
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
−
A [[number]] is [[divisible]] by 3 or 9 if the sum of its [[digit]]s is divisible by 3 or 9, respectively. Note that this does not work for higher powers of 3. For instance, the sum of the digits of 1899 is divisible by 27, but 1899 is not itself divisible by 27.
+
A [[number]] <math>N</math> is [[divisible]] by 3 or 9 if the sum of its [[digit]]s is divisible by 3 or 9, respectively. Note that this does not work for higher powers of 3. For instance, the sum of the digits of 1899 is divisible by 27, but 1899 is not itself divisible by 27.
  
 
== Proof ==
 
== Proof ==
−
 
+
''An understanding of [[Introduction to modular arithmetic | basic modular arithmetic]] is necessary for this proof.''
−
An understanding of [[Introduction to modular arithmetic | basic modular arithmetic]] is necessary for this proof.
 
  
 
Arithmetic [[modular arithmetic | mod]] <math>9</math> can be used to give an easy [[proof]] of this criterion:
 
Arithmetic [[modular arithmetic | mod]] <math>9</math> can be used to give an easy [[proof]] of this criterion:
Line 9: Line 8:
 
Suppose that the [[base numbers | base-ten]] representation of <math>N</math> is
 
Suppose that the [[base numbers | base-ten]] representation of <math>N</math> is
  
−
<math>N = a_k a_{k-1} \cdots a_2 a_1 a_0</math>,
+
<center><math>N = a_k a_{k-1} \cdots a_2 a_1 a_0</math>,</center>
  
 
where <math>a_i</math> is a digit for each <math>i</math>.  Then the numerical value of <math>N</math> is given by
 
where <math>a_i</math> is a digit for each <math>i</math>.  Then the numerical value of <math>N</math> is given by
  
−
<math>N = a_k \cdot 10^k + a_{k-1} \cdot 10^{k-1} + \cdots + a_1 \cdot 10^1 + a_0 \cdot 10^0</math>.
+
<center><math>N = a_k \cdot 10^k + a_{k-1} \cdot 10^{k-1} + \cdots + a_1 \cdot 10^1 + a_0 \cdot 10^0</math>.</center>
  
−
Now we know that, since <math>10 - 1 = 9</math>, we have <math>10 \equiv 1</math> (mod <math>9</math>).  So by the "exponentiation" property above, we have <math>10^j \equiv 1^j \equiv 1</math> (mod <math>9</math>) for every <math>j</math>.
+
Now we know that, since <math>10 - 1 = 9</math>, we have <math>10 \equiv 1</math> (mod <math>9</math>) and so we have <math> 10^{j}\equiv 1^{j}\equiv 1 \pmod{9} </math> for every <math>j</math>.
  
−
Therefore, by repeated uses of the "addition" and "multiplication" properties, we can write
+
Therefore, we can write
  
−
<math>a_k \cdot 10^k + a_{k-1} \cdot 10^{k-1} + \cdots + a_1 \cdot 10^1 + a_0 \cdot 10^0 \equiv a_k \cdot 1 + a_{k-1} \cdot 1 + \cdots + a_1 \cdot 1 + a_0 \cdot 1</math> (mod <math>9</math>).
+
<center><math>a_k \cdot 10^k + a_{k-1} \cdot 10^{k-1} + \cdots + a_1 \cdot 10^1 + a_0 \cdot 10^0 \equiv a_k \cdot 1 + a_{k-1} \cdot 1 + \cdots + a_1 \cdot 1 + a_0 \cdot 1 \pmod{9} </math>.</center>
  
 
Therefore, we have
 
Therefore, we have
  
−
<math>N \equiv a_k + a_{k-1} + \cdots + a_1 + a_0</math> (mod <math>9</math>).
+
<center><math>N \equiv a_k + a_{k-1} + \cdots + a_1 + a_0 \pmod{9}</math>.</center>
  
 
That is, <math>N</math> differs from the sum of its digits by a multiple of <math>9</math>.  It follows, then, that <math>N</math> is a multiple of <math>9</math> if and only if the sum of its digits is a multiple of <math>9</math>.
 
That is, <math>N</math> differs from the sum of its digits by a multiple of <math>9</math>.  It follows, then, that <math>N</math> is a multiple of <math>9</math> if and only if the sum of its digits is a multiple of <math>9</math>.
  
−
Since we also have <math>10 \equiv 1 \pmod 3</math>, the same proof also gives the divisibility rule for 3.  The proof fails for 27 because <math>10 \not\equiv 1 \pmod{27}</math>.
+
Since we also have <math>10 \equiv 1 \pmod{3}</math>, the same proof also gives the divisibility rule for 3.  The proof fails for 27 because <math>10 \not\equiv 1 \pmod{27}</math>.
  
−
<center>[[Divisibility rules | Back to divisibility rules]]</center>
+
== See also ==
 +
* [[Divisibility rules | Back to divisibility rules]]
 +
[[Category:Divisibility Rules]]

Latest revision as of 19:29, 6 March 2014

A number $N$ is divisible by 3 or 9 if the sum of its digits is divisible by 3 or 9, respectively. Note that this does not work for higher powers of 3. For instance, the sum of the digits of 1899 is divisible by 27, but 1899 is not itself divisible by 27.

Proof

An understanding of basic modular arithmetic is necessary for this proof.

Arithmetic mod $9$ can be used to give an easy proof of this criterion:

Suppose that the base-ten representation of $N$ is

$N = a_k a_{k-1} \cdots a_2 a_1 a_0$,

where $a_i$ is a digit for each $i$. Then the numerical value of $N$ is given by

$N = a_k \cdot 10^k + a_{k-1} \cdot 10^{k-1} + \cdots + a_1 \cdot 10^1 + a_0 \cdot 10^0$.

Now we know that, since $10 - 1 = 9$, we have $10 \equiv 1$ (mod $9$) and so we have $10^{j}\equiv 1^{j}\equiv 1 \pmod{9}$ for every $j$.

Therefore, we can write

$a_k \cdot 10^k + a_{k-1} \cdot 10^{k-1} + \cdots + a_1 \cdot 10^1 + a_0 \cdot 10^0 \equiv a_k \cdot 1 + a_{k-1} \cdot 1 + \cdots + a_1 \cdot 1 + a_0 \cdot 1 \pmod{9}$.

Therefore, we have

$N \equiv a_k + a_{k-1} + \cdots + a_1 + a_0 \pmod{9}$.

That is, $N$ differs from the sum of its digits by a multiple of $9$. It follows, then, that $N$ is a multiple of $9$ if and only if the sum of its digits is a multiple of $9$.

Since we also have $10 \equiv 1 \pmod{3}$, the same proof also gives the divisibility rule for 3. The proof fails for 27 because $10 \not\equiv 1 \pmod{27}$.

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Divisibility_rules/Rule_for_3_and_9_proof&oldid=60700"