Maths Olympiad Prep

Library / /18 of 22

Combinatorics Difficulty 5.5 AIME, harder Prove it United States

Problem:

Call a positive integer one-full if it satisfies the following criteria:

a. Every digit is either 00, 11, or 22.

b. Out of every two consecutive digits, at least one of them is a 11.

For n2n \geq 2, calculate the number of nn-digit one-full numbers. (Numbers beginning with the digit 00 are not allowed.)

Solution

Solution:

The answer is 2n2^{n}. It is clear that there are four 22-digit one-full numbers: 1010, 1111, 1212, and 2121.

To prove that the required number is 2n2^{n} for all n3n \geq 3, it is enough to show that there are twice as many nn-digit one-full numbers as (n1)(n-1)-digit one-full numbers for every nn.

Given an (n1)(n-1)-digit one-full number, we construct two different nn-digit one-full numbers via the following rules:

- If the first digit is 11, we replace it with 1111 and then with 2121.
- If the first digit is 22, we replace it with 1212 and then with 1010.

Since 22's and 00's have the same function in the middle of a number, the two numbers that we get using this process are both one-full. Moreover, since any nn-digit one-full number must begin with one of the four 22-digit one-full numbers, we can get all nn-digit one-full numbers in this way. Thus there are twice as many nn-digit one-full numbers as (n1)(n-1)-digit ones.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.