Re:Why are Soviet math textbooks so hardcore in comparison t...
by dan-robertson on Wednesday April 22, 2020 @04:34AM
(#22943438)
If induction is the only tool you have then it’s ok. What you really want is modular arithmetic. If you don’t have modular arithmetic then pricing it directly is hard:
n = Sum(d_k 10^k)
Let S = sum of digits = Sum(d_k)
n - S = Sum(d_k (10^k - 1))
But (10^k - 1) = ((9 + 1)^k - 1) = ((1 + k*9 + (2 choose k)*9^2 + ... + 9^k) - 1)
by binomial expansion so is divisible by 9.
Therefore n - S is divisible by 9, so n is divisible by 9 iff S is.
The same is true when you replace divisibility by 9 with divisibility by 3.
I remember being asked this in an interview for a place at university and I solved it by induction (which was all I had) and was then shown this direct proof.
Re:Why are Soviet math textbooks so hardcore in comparison t...
by Arnt on Wednesday April 22, 2020 @05:24AM
(#22943693)
Odd if you're looking for the simplest way to prove that. Less odd, perhaps, if you're looking for something that can be proved simply using induction, in order to make students do their first proof by induction.
I don't remember precisely what it was we were asked to prove. It may have been the converse.
The converse claim (every multiple of 3 has a digit sum that is a multiple of 3) is a more natural one for induction, though that's not the most standard proof there either.