For example:
$12$ reversed is $21$ and $12$ + $9$ = $21$.
$17$ with the two values swapped is $71$, and $17$ + $9$ + $9$ + $9$ + $9$ + $9$ + $9$ = $71$.
Take the number $123$ and add $9$ a total of $22$ times you get $321$, which is the reverse.
It seems to work for every number. Why is this the case? Is it just a addition thing?
Any number is congruent modulo $9$ to the sum of its digits: $$a_na_{n-1}\ldots a_1a_0\equiv a_n+a_{n-1}+\ldots +a_1+a_0\pmod 9$$ If you reverse the digits, the sum is unchanged. Therefore $$a_0a_1\ldots a_{n-1}a_n\equiv a_na_{n-1}\ldots a_1a_0\pmod 9$$ which is equivalent to your statement.
Note a stronger statement implied by the same reasoning:
By adding or subtracting a suitable amount of $9$'s, you can reach any permutation of the digits.
This isn't a formal proof or anything, but it's the way that makes the most sense to me. Adding 9 to something is the same as adding 10 then subtracting 1, which means that you're bumping one place up and the other down. Therefore, the sum of the digits in a number doesn't change when you add or subtract 9 to it, and by repeatedly adding (or subtracting) 9 to a number you can cycle through all the different numbers whose digit sum equals your original number. As the reverse of a number still has the same digit sum as your original number, you can get to it through adding or subtracting 9's. Hope this makes sense!
Well, take a number $N=a_na_{n-1}a_{n-2}.....a_2a1$.
This is $N=\sum_{k=0}^n a_i*10^n$. Reverse the digits and you get $M = \sum_{k=0}^n a_i 10^{n-i}$.
Subtract them and you get:
$N-M = \sum_{k=0}^n a_i*(10^i - 10^{n-i})$.
Now I claim that for any $j,k$ that $10^j - 10^k$ is a multiple of $9$. If $k< j$ then $10^j - 10^k = 10^k(10^{j-1} - 1) = 10^k*9999....9$. That's clearly a multiple of $9$. (Actually, if this were a formal proof we'd have to prove that... sigh... but we won't).
So $N - M$ is ... a multiple of $9$.
So.... if you add $9$ enough times, you'll eventually get from $N$ to $M$.
=====
It's actually kind of interesting.
Take $8364$ and $4638$ then $8364 - 4638= 8*1000 + 3*100 + 6*10 + 4 - 6*100 - 4*1000 - 3*100- 6*10 -4 = 8*(1000-1) + 3*(100 - 10) - 6*(100-10) - 4*(1000 -1)$.
Kind of an interesting symmetry, isn't it? (I had never noticed it before.)
Have you ever seen this trick:
Take a three digit number: $abc$, reverse it $cba$, subtract them $abc- cba = def$. Reverse it $fed$ and add them. $def + fed = 1089$. Always.
\cdot ($\cdot$) or \times ($\times$) instead of * for multiplication.
$\endgroup$
\ast habit... but what's really unreadable are those inline chain equations.
$\endgroup$
Commented
May 18, 2018 at 14:19
Good observation! To flesh out the proof a little bit, let’s write out your number in base $b$, from right to left (like when you add, subtract or multiply). Call the smallest digit $a_0$, the next-smallest $a_1$ and so on, and since they’re digits, $0 \leq a_i < b$. Then any number has the form $a_0 b^0 + a_1 b^1 + a_2 b^2 + ...$ For example, the number 117 in base 10 is $7 \cdot 10^0 + 1 \cdot 10^1 + 1 \cdot 10^2 + 0 \cdot 10^3$, and we can write out as many more zero digits as we want.
Now let’s pick a $c$ so $b \equiv 1 \;(\operatorname{mod} c)$. (When $b = 10$, one value of $c$ that works is $9$. What’s the other?) Apply that equivalence to the general form we just found for any number in terms of its digits:
$$a_0 b^0 + a_1 b^1 + a_2 b^2 + ... \equiv a_0 1^0 + a_1 1^1 + a_2 1^2 + ... \equiv a_0 + a_1 + a_2 + ... \;(\operatorname{mod} c)$$
A special case of this is, that when $b = 10$ and $c = 9$, you can rearrange the digits any way you want and they will still have the same sum, which means the same remainder divided by 9, so the difference between them will be a multiple of 9.
This theorem has a number of mildly-practical applications. One is the method of “casting out nines,” which people have used to check their arithmetic for centuries. A corollary of that is that any number will be congruent, modulo 9, to the sum of its digits. So let’s say we want to check the answer $123 + 456 = 589$. $123 \equiv 1 + 2 + 3 \equiv 6 \;(\operatorname{mod} 9)$ and $456 \equiv 4 + 5 + 6 \equiv 9 + 6 \equiv 6 \;(\operatorname{mod} 9)$. So, we know $123 + 456 \equiv 6 + 6 \equiv 3 \;(\operatorname{mod} 9)$. But, $589 \equiv 5 + 8 + 9 \equiv 4 \;(\operatorname{mod} 9)$, and therefore, our answer was wrong. In fact, our intuition tells us that the sum of our digits was off by one, so probably one of our digits was also off by one. There are similar tricks we can use with the numbers 6, 7, and 11 in our heads. (Hint: what happens when $b \equiv -1 \;(\operatorname{mod} c)$ or $b \equiv b^2 \;(\operatorname{mod} c)$?)
Cheap microchips have made that particular trick less useful, and I don’t think it’s even taught any more. But it’s also created real-world applications for the technique in computer science. For example, we might want to interpret an object as some arbitrary sequence of 32-bit unsigned words, representing the digits of a number in base $2^{32}$, then take mod 65,537 in order to calculate a hash value for it. Or we might do bignum arithmetic, or find a remainder on a CPU with no mod instruction.
It's a simple consequence of 9 being 1 less than 10, the base of our system of numeration.
Consider $10^n$ for $n \in \mathbb Z^+$. The reversal of $10^n$ is 1, and $10^n - 1$ is all 9s.
Next consider the table of multiplication for 9: $1 \times 9 = 9$, $2 \times 9 = 18$, $3 \times 9 = 27$, etc. Notice how the one's place decreases by 1 each time, until getting to $10 \times 9 = 90$ and $11 \times 9 = 99$, and so the cycle repeats again.
This is not a proof either, but I hope it helps you see this more clearly.
Lemma: $\overline{ab}-\overline{ba}\equiv 0 \pmod 9$. Proof: $(10a+b)-(10b+a)=9(a-b)\equiv 0 \pmod 9$.
Based on the Lemma, $\overline{abc}-\overline{cba}\equiv 0\pmod 9$, because: $$\overline{abc}-\overline{acb}\equiv \overline{acb}-\overline{cab}\equiv \overline{cab}-\overline{cba}\equiv 0 \pmod 9 \iff \\ (\overline{abc}-\overline{acb})+(\overline{acb}-\overline{cab})+(\overline{cab}-\overline{cba})\equiv 0 \pmod 9 \iff \\ \overline{abc}-\overline{cba}\equiv 0\pmod 9.$$ Note: It is $T(2)=3:\overline{abc}\Rightarrow \color{red}{\overline{acb}\Rightarrow \overline{cab}\Rightarrow \overline{cba}}$.
In general, $\overline{a_1a_2...a_n}-\overline{a_na_{n-1}...a_1}\equiv 0 \pmod 9$ and: $$\overline{a_1a_2...a_n}\overbrace{\Rightarrow}^{T(n-1)} \overline{a_na_{n-1}...a_1}.$$
