Problem

Source: 2006 MOP Homework Blue NT 1

Tags: set, rational numbers, rational, number theory, strong induction



Let $S$ be a set of rational numbers with the following properties: (a) $\frac12$ is an element in $S$, (b) if $x$ is in $S$, then both $\frac{1}{x+1}$ and $\frac{x}{x+1}$ are in $S$. Prove that $S$ contains all rational numbers in the interval $(0, 1)$.