Problem

Source: Romanian JBMO TST 1999, Day 1, P3

Tags: algebra



Let be a subset of the interval $ (0,1) $ that contains $ 1/2 $ and has the property that if a number is in this subset, then, both its half and its successor's inverse are in the same subset. Prove that this subset contains all the rational numbers of the interval $ (0,1). $