LAST EDITED ON Jul-25-03 AT 07:44 PM (EST)
In any base b, the first line (in binary system at the same time the last line) is obviously true:(b - 1) * 1 + 1 + 1 = b + 1 = (10)b + 1 = (11)b
Suppose that in base b the n-th line is correct and n + 1 < b is a digit in this base:
(b - 1) * (12...n)b + (n + 1) = (111...1)b (n + 1 ones)
(b - 1) S0n-1 (n - k - 1)bk + (n + 1) = S0n bk
Let's try the (n+1)-th line:
(b - 1) S0n (n - k)bk + (n + 2) =
= (b - 1) S1n (n - k)bk + (b - 1)(n + 1) + (n + 2) =
= (b - 1) S0n-1 (n - p - 1)bp+1 + b(n + 1) + 1 =
= b{(b - 1) S0n-1 (n - p - 1)bp + (n + 1)} + 1 =
(now substitute the n-th line)
= b S0n bp + 1 = S0n bp+1 + 1 = S1n+1 bk + 1 = S0n+1 bk
(b - 1) * (12...n+1)b + (n + 2) = (111...1)b (n + 2 ones)
The (n+1)-th line is then also correct.