Find , such that for and
and show that the numbers are uniquely determined by these conditions.
Solution
Existence: Dividing both sides by , we require
Now . Also , for So
So and gives a solution.
Uniqueness: More generally, for , each odd integer with has a unique expression as
We prove this by induction on . The base case is just the statement that and .
Let and assume the result for . Then there is a unique integer such that . Clearly . So and is odd. The inductive hypothesis implies that
This gives the expression for . The uniqueness of the expression is apparent from the construction. It is also a consequence of the fact that there are odd integers with , but only expressions .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.