2004 AIME II Problems/Problem 10
Problem
Let be the set of integers between 1 and whose binary expansions have exactly two 1's. If a number is chosen at random from the probability that it is divisible by 9 is where and are relatively prime positive integers. Find
Solution
A positive integer has exactly two 1s in its binary representation exactly when for nonnegative integers. Thus, the set is equal to the set . (The second condition ensures simultaneously that and that each such number less than is counted exactly once.) This means there are total such numbers.
Now, consider the powers of 2 mod 9: .
It's clear what the pairs can look like. If one is of the form (7 choices), the other must be of the form (7 choices). If one is of the form (7 choices) the other must be of the form (6 choices). And if one is of the form (7 choices), the other must be of the form (6 choices). This means that there are total "good" numbers.
So our probability is and our answer is .