IMO LongList 1987 - Base-r expansion
Source:
September 6, 2010
algebra proposedalgebra
Problem Statement
Let be a real number, and let be the largest integer smaller than . Consider an arbitrary real number with By a base- expansion of we mean a representation of in the form
where the are integers with You may assume without proof that every number with has at least one base- expansion.Prove that if is not an integer, then there exists a number , , which has infinitely many distinct base- expansions.