An integer is divisible by nine precisely when the sum of its decimal digits is divisible by nine

Prove that if a = \sum_{i=0}^n a_i 10^i is any positive integer then a = \sum_{i=0}^n a_i\ (\mod 9). Note that this is the usual arithmetic rule that the remained after division by 9 is the same as the sum of the decimal digits mod 9 – in particular an integer is divisible by 9 if and only if the sum of its digits is divisible by 9.)


Letting bars denote arithmetic mod 9, we have \overline{a} = \overline{\sum_{i=0}^n a_i 10^i} = \sum_{i=0}^n \overline{a_i} \overline{10}^i = \sum_{i=0}^n \overline{a_i} \cdot 1, and we’re done.

Advertisements
Post a comment or leave a trackback: Trackback URL.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: