Problem: If the decimal expansion of contains all digits (), then the number of length strings (shorted as -strings) is greater than .
If you’ve established the simple lemma, the solution is instant. Otherwise very impossible.
Lemma: The number of -strings is strictly greater than , that of -strings.
Actually, we always have : Every -string corresponds to an -string by continuing 1 more digit. The map is clearly injective. If , it is bijective, meaning we have a way to continue uniquely, which means rationality. Rigidly, at least one of the -strings occurs infinitely, but all digits after some -string is totally determined by it. So if an -string appears twice, it must appear every such distances, and so do the digits between.
(Further discussion: For a rational number, split it into a finite part, and a recurring part. If the minimal length of recurring string is , then any -string starting in the recurring part has exactly variations, if . Additional variations brought by the finite irregular part is finite (regardless of ), as the starting point is finite. So in this case is not decreasing but bounded. So it reaches some certain number and stays stable. In a purely recurring case, the number is exactly (meaning afore-defined).
Now , as holds, the problem is solved.
This may not be really hard. But the most important thing is to see the principle behind it.
(I WILL FURTHER COMPLETE THIS POST.)
Saturday, August 10, 2013