Browse · MathNet
PrintIreland_2017
Ireland 2017 number theory
Problem
Determine, with proof, the smallest positive multiple of all of whose digits are either or .
Solution
We call a number eligible if its digits are all either or . A number is divisible by if and only if it is divisible by both and . Suppose has base-10 expansion . We define three digit-sums (full, odd, even):
As is well known (and easily established), is divisible by if and only if is divisible by , while is divisible by if and only if is divisible by .
Suppose first that . Then has at least five digits, and , are of opposite parity. Consequently, , and so cannot be divisible by .
Thus, we must have for eligible to be divisible by . Suppose next that . To minimize eligible with , we must certainly minimize the number of digits in . We immediately rule out nine s, since then is not divisible by .
The next smallest number of digits involves picking eight s and two s. The smallest such number is the one with s in the leading positions, i.e. . Then , and is divisible by , and hence by . Thus, this is the minimal example with .
It remains only to consider eligible numbers with . Such numbers have at least digits, so are larger than the one we found above. Thus, the minimal number is indeed .
As is well known (and easily established), is divisible by if and only if is divisible by , while is divisible by if and only if is divisible by .
Suppose first that . Then has at least five digits, and , are of opposite parity. Consequently, , and so cannot be divisible by .
Thus, we must have for eligible to be divisible by . Suppose next that . To minimize eligible with , we must certainly minimize the number of digits in . We immediately rule out nine s, since then is not divisible by .
The next smallest number of digits involves picking eight s and two s. The smallest such number is the one with s in the leading positions, i.e. . Then , and is divisible by , and hence by . Thus, this is the minimal example with .
It remains only to consider eligible numbers with . Such numbers have at least digits, so are larger than the one we found above. Thus, the minimal number is indeed .
Final answer
1122222222
Techniques
Divisibility / FactorizationIntegers