Difference between revisions of "Divisibility rules/Rule 1 for 13 proof"
m |
m (→Proof) |
||
Line 4: | Line 4: | ||
''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.'' | ||
− | Let <math>N = d_0\cdot10^0 + d_1\cdot 10^1 +d_2\cdot 10^2 + \cdots</math> be a positive integer with units digit <math>d_0</math>, tens digit <math>d_1</math> and so on. Then <math>k=d_110^0+d_210^1+d_310^2+\cdots</math> is the result of truncating the last digit from <math>N</math>. Note that <math>N = 10k + d_0 \equiv d_0 - 3k \pmod {13}</math>. Now <math>N \equiv 0 \pmod {13}</math> if and only if <math>4N \equiv 0 \pmod {13}</math>, so <math>n \equiv 0 \pmod{13}</math> if and only if <math>4d_0 - 12k \equiv 0 \pmod{13}</math>. But <math>-12k \equiv k \pmod{13}</math>, and the result | + | Let <math>N = d_0\cdot10^0 + d_1\cdot 10^1 +d_2\cdot 10^2 + \cdots</math> be a positive integer with units digit <math>d_0</math>, tens digit <math>d_1</math> and so on. Then <math>k=d_110^0+d_210^1+d_310^2+\cdots</math> is the result of truncating the last digit from <math>N</math>. Note that <math>N = 10k + d_0 \equiv d_0 - 3k \pmod {13}</math>. Now <math>N \equiv 0 \pmod {13}</math> if and only if <math>4N \equiv 0 \pmod {13}</math>, so <math>n \equiv 0 \pmod{13}</math> if and only if <math>4d_0 - 12k \equiv 0 \pmod{13}</math>. But <math>-12k \equiv k \pmod{13}</math>, and the result |
== See also == | == See also == | ||
[[Divisibility rules | Back to divisibility rules]] | [[Divisibility rules | Back to divisibility rules]] | ||
[[Category:Divisibility Rules]] | [[Category:Divisibility Rules]] |
Latest revision as of 14:20, 12 April 2021
Truncate the last digit, multiply it by 4 and add it to the rest of the number. The result is divisible by 13 if and only if the original number was divisble by 13. This process can be repeated for large numbers, as with the second divisibility rule for 7.
Proof
An understanding of basic modular arithmetic is necessary for this proof.
Let be a positive integer with units digit
, tens digit
and so on. Then
is the result of truncating the last digit from
. Note that
. Now
if and only if
, so
if and only if
. But
, and the result