Re:Why are Soviet math textbooks so hardcore in comparison t...
by Arnt on Wednesday April 22, 2020 @03:35AM
(#22943149)
My maths teacher made me prove that, my first proof by induction. Try it. You know you want to procrastinate with a nice proof by induction now.
[ Parent
| on HN ]
Re:Why are Soviet math textbooks so hardcore in comparison t...
by dmurray on Wednesday April 22, 2020 @04:00AM
(#22943272)
Induction seems like an odd way to prove this. Do you need to preform induction over all the numbers that are not multiples of three?
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.
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.