sei die Zahl \( n \) in der Form
\( n = \sum_{i=0}^{k} a_i 10^i\)
gegeben. Zieht man von \( n \) ihre Quersumme \( q \) ab, so ergibt sich
\( n - q = \sum_{i=0}^{k} a_i (10^i - 1) \).
Nun ist zu zeigen, dass \( 10^i - 1 \) immer durch \( 9 \) teilbar ist, da eine Summe aus durch \( 9 \) teilbaren Zahlen durch \( 9 \) teilbar ist. \( n - q \) ist eine solche Summe.
Sei also \( i = 0 \). Dann ist \( 10^0 - 1 = 0 \) durch \( 9 \) teilbar.
Für \( i = 1 \) ist \( 10^1 - 1 = 9 \) ebenso durch \( 9 \) teilbar.
Sei nun \( 10^i - 1 \) durch \( 9 \) teilbar. Dann ist
\( 10^{i+1} - 1 = 10 \cdot 10^i + 9 - 10 = 10(10^i - 1) + 9 \).
Da die letzten beiden Summanden durch \( 9 \) teilbar sind, ist auch ihre Summe durch \( 9 \) teilbar und der Beweis ist abgeschlossen.
Mister