MathDB
Nice and hard "nt" problem on digital representati

Source: German TST 2004, IMO ShortList 2003, combinatorics problem 6

July 15, 2004
modular arithmeticcombinatoricsdecimal representationcountingfunctionIMO Shortlist

Problem Statement

Let f(k)f(k) be the number of integers nn satisfying the following conditions:
(i) 0n<10k0\leq n < 10^k so nn has exactly kk digits (in decimal notation), with leading zeroes allowed;
(ii) the digits of nn can be permuted in such a way that they yield an integer divisible by 1111.
Prove that f(2m)=10f(2m1)f(2m) = 10f(2m-1) for every positive integer mm.
Proposed by Dirk Laurie, South Africa