MathLabs

Problem 5

Is it possible to choose 19831983 distinct positive integers, all less than or equal to 10510^5, no three of which are consecutive terms of an arithmetic progression? Justify your answer.
Step 4 of 4: Finish the construction
{a1,a2,…,a1983} works\{a_1,a_2,\ldots,a_{1983}\}\text{ works}
Detailed analysis

The binary-to-ternary digit map is injective, so the ana_n are distinct positive integers. Step 2 excludes every three-term arithmetic progression, and Step 3 gives the size bound. Thus the answer is yes.