Example 14([13.3]) Proof: In the sequence , there must exist an infinite subsequence, in which any two numbers are coprime.
Solution
Prove (i) For any odd number , there must be a such that , and and are coprime (Chapter 1, §3, Example 5).
(ii) Based on (i), use induction to construct the sequence. Take . If have been chosen, then take
, where satisfies . Thus, an infinite subsequence of the sequence is inductively defined.
(iii) From and the fact that are all odd, the desired conclusion follows (why).
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.