Find all pairs of non-negative integers for which and are two consecutive integers.
Solution
Obviously, (since ). First, we prove the following lemma.
Lemma. For any natural number , the inequality holds.
*Proof.* We prove the statement by induction. For , we have that . Suppose that the statement holds for some . Then
*Lemma proved.*
Note that the equality is only achieved when .
Consider the difference:
For this equality to hold, all intermediate inequalities must also be equalities, so the following conditions must be satisfied: and , which gives us the answer stated above.
If , then
But we have proved that for all natural numbers , , so we obtain a contradiction in this case.
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.