Problem 6
An international society has its members from six different countries. The list of members contains names, numbered . Prove that there is at least one member whose number is the sum of the numbers of two members from his own country, or twice as large as the number of one member from his own country.
Step 5 of 6: Finish with two differences
In plain words
At the last stage, addition or doubling is unavoidable.
Detailed analysis
The final three numbers produce two positive differences both in the last country. Their difference is in one of the six countries. If it is in the last country, then gives the desired sum; if it is in an earlier country, unwinding the nested representations gives the same conclusion there. The equality is exactly the allowed doubling case when .