Math100 said:
Homework Statement:: Is the integer ## (447836)_{9} ## divisible by ## 3 ## and ## 8 ##?
Relevant Equations:: None.
Observe that ## (447836)_{9}=6+3\cdot 9+8\cdot 9^{2}+7\cdot 9^{3}+4\cdot 9^{4}+4\cdot 9^{5}=268224 ##.
Then ## 2+6+8+2+2+4=24 ##.
Thus ## 3\mid (2+6+8+2+2+4)\implies 3\mid (447836)_{9} ## and ## 8\mid (2+6+8+2+2+4)\implies 8\mid (447836)_{9} ##.
Therefore, the integer ## (447836)_{9} ## is divisible by ## 3 ## and ## 8 ##.
Yes, ##(447836)_{9}## which is 268224 in base ten, is divisible by ##8##. Notice that ##4+4+7+8+3+6=32## which is divisible by ##8##. That
is a valid test of divisibility by 8 for a base 9 number. The reason this works is that ##9\equiv 1\pmod 8##.
The fact that ## 8## divides ## 2+6+8+2+2+4 ## is merely a coincidence.
Take the decimal number ##267496##. It's divisible by ##8##, but the sum of those digits is not divisible by ##8##.
If I did my calculation correctly, that is ##(446837)_{9}## in base 9.
As for testing for divisibility by ##3## of a number written in base 9 : simply check the one's digit. After all, ##9\equiv 0\pmod 3## .
No need to convert to decimal representation.
Observe that ##(447836)_{9}=6+3\cdot 9+8\cdot 9^{2}+7\cdot 9^{3}+4\cdot 9^{4}+4\cdot 9^{5}\equiv 6\pmod 9##.
And 6 is equivalent to 0 .
Added in
Edit:
I should have said: ##(447836)_{9}=6+3\cdot 9+8\cdot 9^{2}+7\cdot 9^{3}+4\cdot 9^{4}+4\cdot 9^{5}\equiv 6\equiv 0\pmod 3##.
We only needed to check the one's digit, base 9. This is similar to the test for divisibility by 5 or by ten in the case of decimal representation.